Visible to the public Biblio

Filters: Author is Stavros Tripakis  [Clear All Filters]
2018-05-14
Srinivas Pinisetty, Partha S Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden.  2017.  Runtime Enforcement of Cyber-Physical Systems. International Conference on Embedded Software (EMSOFT).
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi.  2017.  Supervisory control and reactive synthesis: a comparative introduction. Discrete Event Dynamic Systems. 27:209–260.
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand.  2017.  Predictive runtime enforcement. Formal Methods in System Design. 51:154–199.
Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa.  2017.  Predictive runtime verification of timed properties. Journal of Systems and Software. 132:353–365.
Rajeev Alur, Stavros Tripakis.  2017.  Automatic Synthesis of Distributed Protocols. {SIGACT} News. 48:55–90.
Antti Siirtola, Stavros Tripakis, Keijo Heljanko.  2017.  When Do We Not Need Complex Assume-Guarantee Rules? {ACM} Trans. Embedded Comput. Syst.. 16:48:1–48:25.
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis.  2017.  Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. 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, Neuchâtel, Sw. :194–209.
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden.  2017.  Runtime enforcement of reactive systems using synchronous enforcers. Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. :80–89.
Stavros Tripakis.  2016.  Compositional Model-Based System Design and Other Foundations for Mastering Change. T. Foundations for Mastering Change. 1:113–129.
Stavros Tripakis.  2016.  Compositionality in the Science of System Design. Proceedings of the {IEEE}. 104:960–972.
Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal.  2016.  Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware. Signal Processing Systems. 85:23–43.
Maria Pittou, Stavros Tripakis.  2016.  Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. Formal Aspects of Component Software - 13th International Conference, {FACS} 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. :73–91.
Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni{-}Vincentelli.  2016.  Constrained Synthesis from Component Libraries. Formal Aspects of Component Software - 13th International Conference, {FACS} 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. :92–110.
Georgios Giantamidis, Stavros Tripakis.  2016.  Learning Moore Machines from Input-Output Traces. {FM} 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. :291–309.
Viorel Preoteasa, Stavros Tripakis.  2016.  Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016. :768–777.
Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis.  2016.  Step revision in hybrid Co-simulation with FMI. 2016 {ACM/IEEE} International Conference on Formal Methods and Models for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20, 2016. :173–183.
Srinivas Pinisetty, Stavros Tripakis.  2016.  Compositional Runtime Enforcement. {NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. :82–99.
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand.  2016.  Predictive runtime enforcement. Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. :1628–1633.
Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee.  2016.  FIDE: an FMI integrated development environment. Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. :1759–1766.
Maria Pittou, Stavros Tripakis.  2016.  Multi-view consistency for infinitary regular languages. International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, {SAMOS} 2016, Agios Konstantinos, Samos Island, Greece, July 17-21, 2016. :148–155.
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis.  2016.  Compositional Semantics and Analysis of Hierarchical Block Diagrams. Model Checking Software - 23rd International Symposium, {SPIN} 2016, Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. :38–56.
Sergiy Bogomolov, Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikucionis, Thomas Strump, Stavros Tripakis.  2015.  Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. Proceedings of the 11th International Modelica Conference.
Antti Tapani Siirtola, Stavros Tripakis, Keijo Heljanko.  2015.  When Do We (Not) Need Complex Assume-Guarantee Rules? 15th International Conference on Application of Concurrency to System Design, {ACSD} 2015, Brussels, Belgium, June 21-26, 2015. :30–39.
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa.  2015.  Automatic Completion of Distributed Protocols with Symmetry. Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {II}. :395–412.
David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter.  2015.  Requirements for hybrid cosimulation standards. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015. :179–188.