Professorship Tripakis S.

Yksikkö: Tutkimusryhmä

Tutkimustuotokset

  1. 2019
  2. Julkaistu

    Constrained synthesis from component libraries

    Iannopollo, A., Tripakis, S. & Sangiovanni-Vincentelli, A., 15 helmikuuta 2019, julkaisussa : Science of Computer Programming. 171, s. 21-41 21 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  3. 2018
  4. Julkaistu

    Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions

    Pittou, M., Manolios, P., Reineke, J. & Tripakis, S., 1 joulukuuta 2018, julkaisussa : Science of Computer Programming. 167, s. 1-24 24 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  5. Julkaistu

    Thirty Years of the Ramadge-Wonham Theory of Supervisory Control: A Retrospective and Future Perspectives [Conference Reports]

    Lafortune, S., Rudie, K. & Tripakis, S., 1 elokuuta 2018, julkaisussa : IEEE CONTROL SYSTEMS MAGAZINE. 38, 4, s. 111-112 2 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  6. Julkaistu

    Modeling for verification

    Seshia, S. A., Sharygina, N. & Tripakis, S., 18 toukokuuta 2018, Handbook of Model Checking. Springer International Publishing AG, s. 75-105 31 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  7. Julkaistu

    Data-driven and model-based design

    Tripakis, S., 1 toukokuuta 2018, 2018 IEEE Industrial Cyber-Physical Systems (ICPS). IEEE, s. 103-108 6 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  8. Julkaistu

    Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts

    Iannopollo, A., Tripakis, S. & Sangiovanni-Vincentelli, A., 19 huhtikuuta 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers, s. 1574-1579 6 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  9. Julkaistu

    Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality

    Tripakis, S. & Lublinerman, R., 1 tammikuuta 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, s. 449-477 29 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 10760 LNCS).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  10. Julkaistu

    The refinement calculus of reactive systems toolset

    Dragomir, I., Preoteasa, V. & Tripakis, S., 1 tammikuuta 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Beyer, D. & Huisman, M. (toim.). Springer Verlag, s. 201-208 8 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 10806 LNCS).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  11. Julkaistu

    The Science of Software and System Design

    Tripakis, S., 1 tammikuuta 2018, julkaisussa : IFAC-PapersOnLine. 51, 7, s. 505-507 3 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  12. Hyväksytty/In press

    Multi-Agent Coordination Subject to Counting Constraints: A Hierarchical Approach

    Sahin, Y. E., Ozay, N. & Tripakis, S., 2018, (Hyväksytty/In press) Proceedings of the 14th International Symp. on Distributed Autonomous Robotic Systems (DARS).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  13. 2017
  14. Julkaistu

    Runtime enforcement of cyber-physical systems

    Pinisetty, S., Roop, P. S., Smyth, S., Allen, N., Tripakis, S. & Von Hanxleden, R., 1 syyskuuta 2017, julkaisussa : ACM Transactions on Embedded Computing Systems. 16, 5s, s. 1-25 178.

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  15. Julkaistu

    Supervisory Control and Reactive Synthesis: A Comparative Introduction

    Ehlers, R., Lafortune, S., Tripakis, S. & Vardi, M., kesäkuuta 2017, julkaisussa : DISCRETE EVENT DYNAMIC SYSTEMS: THEORY AND APPLICATIONS. 27, 2, s. 209–260 52 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  16. Julkaistu

    Hybrid Co-simulation: It's About Time

    Cremona, F., Lohstroh, M., Broman, D., Tripakis, S., Lee, E. A. & Masin, M., 1 huhtikuuta 2017, University of California, Berkeley, s. 1-36.

    Tutkimustuotos: Työpaperi

  17. Julkaistu

    When do we not need complex assume-guarantee rules?

    Siirtola, A., Tripakis, S. & Heljanko, K., 1 tammikuuta 2017, julkaisussa : ACM Transactions on Embedded Computing Systems. 16, 2, s. 1-25 48.

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  18. Julkaistu

    Automatic Synthesis of Distributed Protocols

    Alur, R. & Tripakis, S., 2017, julkaisussa : ACM SIGACT News. 48, 1, s. 55-90 36 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  19. Julkaistu

    Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions

    Pittou, M. & Tripakis, S., 2017, Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. s. 73-91 (Lecture Notes in Computer Science ; painos 10231).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  20. Julkaistu

    Constrained Synthesis from Component Libraries

    Iannopollo, A., Tripakis, S. & Sangiovanni-Vincentelli, A., 2017, Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. s. 92-110 (Lecture Notes in Computer Science ; painos 10231).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  21. Sähköinen julkaisu (e-pub) ennen painettua julkistusta

    Hybrid co-simulation: it’s about time

    Cremona, F., Lohstroh, M., Broman, D., Lee, E. A., Masin, M. & Tripakis, S., 2017, julkaisussa : SOFTWARE AND SYSTEMS MODELING. 25 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  22. Julkaistu

    Predictive runtime enforcement

    Pinisetty, S., Preoteasa, V., Tripakis, S., Jéron, T., Falcone, Y. & Marchand, H., 2017, julkaisussa : FORMAL METHODS IN SYSTEM DESIGN. 51, 1, s. 154–199 46 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  23. Julkaistu

    Predictive runtime verification of timed properties

    Pinisetty, S., Jéron, T., Tripakis, S., Falcone, Y., Marchand, H. & Preoteasa, V., 2017, julkaisussa : Journal of Systems and Software. 132, s. 353-365 13 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  24. Julkaistu

    Runtime enforcement of reactive systems using synchronous enforcers

    Pinisetty, S., Roop, P., Smyth, S., Tripakis, S. & Hanxleden, R. V., 2017, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Erdogmus, H. & Havelund, K. (toim.). ACM, s. 80-89

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  25. Julkaistu

    Type inference of simulink hierarchical block diagrams in isabelle

    Preoteasa, V., Dragomir, I. & Tripakis, S., 2017, Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Proceedings. Vuosikerta 10321 LNCS. s. 194-209 16 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 10321 LNCS).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  26. 2016
  27. Julkaistu

    Learning Moore Machines from Input-Output Traces

    Giantamidis, G. & Tripakis, S., 8 marraskuuta 2016, FM 2016: Formal Methods. Fitzgerald, J., Heitmeyer, C., Gnesi, S. & Philippou, A. (toim.). s. 291-309 (Lecture Notes in Computer Science; painos 9995).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  28. Julkaistu

    FIDE - An FMI Integrated Development environment

    Cremona, F., Lohstroh, M., Tripakis, S., Brooks, C. & Lee, E. A., 4 huhtikuuta 2016, 2016 Symposium on Applied Computing, SAC 2016. Vuosikerta 04-08-April-2016. s. 1759-1766 8 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  29. Julkaistu

    Predictive runtime enforcement

    Pinisetty, S., Jéron, T., Preoteasa, V., Falcone, Y., Tripakis, S. & Marchand, H., 4 huhtikuuta 2016, 2016 Symposium on Applied Computing, SAC 2016. Vuosikerta 04-08-April-2016. s. 1628-1633 6 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  30. Julkaistu

    Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations

    Vyatkin, V., Pang, C. & Tripakis, S., 25 tammikuuta 2016, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers, s. 1970-1975 6 Sivumäärä 7392389

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  31. Julkaistu

    Compositionality in the Science of System Design

    Tripakis, S., 2016, julkaisussa : Proceedings of the IEEE. 104, 5, s. 960-972

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  32. Julkaistu

    Compositional model-based system design and other foundations for mastering change

    Tripakis, S., 2016, julkaisussa : Lecture Notes in Computer Science. 9960, s. 113-129 17 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  33. Julkaistu

    Compositional runtime enforcement

    Pinisetty, S. & Tripakis, S., 2016, NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Rayadurgam, S. & Tkachuk, O. (toim.). Springer International Publishing, Vuosikerta 9690. s. 82-99 (Lecture Notes in Computer Science; painos 9690).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  34. Julkaistu

    Compositional semantics and analysis of hierarchical block diagrams

    Dragomir, I., Preoteasa, V. & Tripakis, S., 2016, Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings . Bosnacki, D. & Wijs, A. (toim.). s. 38-56 19 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 9641).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  35. Julkaistu

    Multi-View Consistency for Infinitary Regular Languages

    Pittou, M. & Tripakis, S., 2016, International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation : 2016 IEEE International Conference (IC-SAMOS 2016). IEEE, s. 148-155

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  36. Julkaistu

    Step Revision in Hybrid Co-simulation with FMI

    Cremona, F., Lohstroh, M., Broman, D., Di Natale, M., Lee, E. A. & Tripakis, S., 2016, 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) . IEEE, s. 173-183

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  37. Julkaistu

    Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware

    Tripakis, S., Limaye, R., Ravindran, K., Wang, G., Andrade, H. & Ghosal, A., 2016, julkaisussa : JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY. 85, 1, s. 23–43 21 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  38. Julkaistu

    Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems

    Preoteasa, V. & Tripakis, S., 2016, LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. s. 768-777 10 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  39. Julkaistu

    Verifying pointer programs using separation logic and invariant based programming in Isabelle

    Preoteasa, V., 2016, Integrated Formal Methods - 12th International Conference, IFM 2016, Proceedings. Springer-Verlag, Vuosikerta 9681. s. 457-473 17 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); painos 9681).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  40. 2015
  41. Julkaistu

    Bridging the semantic gap between heterogeneous modeling formalisms and FMI

    Tripakis, S., 28 joulukuuta 2015, Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), 2015 International Conference on . IEEE, s. 60-69

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

ID: 4319695