Biblio

Filters: Author is Stavros Tripakis  [Clear All Filters]
2018-05-14
Rajeev Alur, Stavros Tripakis.  2017.  Automatic Synthesis of Distributed Protocols. {SIGACT} News. 48:55–90.
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.
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).
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.
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.
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.
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.
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.
Stavros Tripakis.  2016.  Compositional Model-Based System Design and Other Foundations for Mastering Change. T. Foundations for Mastering Change. 1:113–129.
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.
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.
Stavros Tripakis.  2016.  Compositionality in the Science of System Design. Proceedings of the {IEEE}. 104:960–972.
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.
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.
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.
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.
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, 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.
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.
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.
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.
Stavros Tripakis.  2015.  Bridging the semantic gap between heterogeneous modeling formalisms and FMI. 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, {SAMOS} 2015, Samos, Greece, July 19-23, 2015. :60–69.
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.
Yang Yang, Stavros Tripakis, Alberto L. Sangiovanni{-}Vincentelli.  2015.  Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms. 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, {SAMOS} 2015, Samos, Greece, July 19-23, 2015. :113–122.