Visible to the public Biblio

Filters: Author is Stavros Tripakis  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
W
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.
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.
T
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.
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.
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.
Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang.  2014.  On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations. XIVth International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, {SAMOS} 2014, Agios Konstantinos, Samos, Greece, July 14-17, 2014. :51–58.
S
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.
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.
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.
R
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.
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).
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.
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.
P
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, 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, 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.
M
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.
L
Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni{-}Vincentelli.  2014.  Library-based scalable refinement checking for contract-based design. Design, Automation {&} Test in Europe Conference {&} Exhibition, {DATE} 2014, Dresden, Germany, March 24-28, 2014. :1–6.
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.
F
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.
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.
E
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.
D
David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter.  2013.  Determinate composition of FMUs for co-simulation. Proceedings of the International Conference on Embedded Software, {EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013. :2:1–2:12.
C
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.
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.