Visible to the public Biblio

Filters: Keyword is 1329759  [Clear All Filters]
2018-05-14
[Anonymous].  2016.  Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016.
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.
[Anonymous].  2016.  International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, SAMOS 2016, Agios Konstantinos, Samos Island, Greece, July 17-21, 2016.
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.
[Anonymous].  2016.  Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Lecture Notes in Computer Science. 9641
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.
[Anonymous].  2015.  15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015.
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.
[Anonymous].  2015.  Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. Lecture Notes in Computer Science. 9207
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.
[Anonymous].  2015.  Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015.
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.
[Anonymous].  2015.  2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2015, Samos, Greece, July 19-23, 2015.
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.
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.
[Anonymous].  2014.  From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Lecture Notes in Computer Science. 8415
Stavros Tripakis, Chris Shaver.  2014.  Feedback in Synchronous Relational Interfaces. From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. :249–266.
[Anonymous].  2014.  2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014.
Viorel Preoteasa, Stavros Tripakis.  2014.  Refinement calculus of reactive systems. 2014 International Conference on Embedded Software, {EMSOFT} 2014, New Delhi, India, October 12-17, 2014. :2:1–2:10.
[Anonymous].  2014.  Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Lecture Notes in Computer Science. 8855
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa.  2014.  Synthesizing Finite-State Protocols from Scenarios and Requirements. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings. :75–91.
[Anonymous].  2014.  Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014.
Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni{-}Vincentelli.  2014.  Are interface theories equivalent to contract theories? Twelfth {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October 19-21, 2014. :104–113.