Publications

The list of papers below is unfortunately incomplete and not up to date. Please check the DBLP and Google Scholar lists instead:

• DBLP
• Google scholar
• Microsoft academic search

Incomplete/outdated list:

• Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions. In Science of Computer Programming. Free access link valid until Sept 13, 2018.
• Georgios Giantamidis and Stavros Tripakis, Learning Moore Machines from Input-Output Traces. In 21st International Symposium on Formal Methods (FM 2016), 2016. Extended arxiv.org version.
• Maria Pittou and Stavros Tripakis. Checking Multi-View Consistency of Discrete Systems with respect to Periodic Sampling Abstractions. In Formal Aspects of Component Software - The 13th International Conference (FACS 2016), 2016.
• Maria Pittou and Stavros Tripakis. Multi-View Consistency for Infinitary Regular Languages. In International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation - SAMOS XVI, 2016.
• Stavros Tripakis, Compositionality in the science of system design. Proceedings of the IEEE, May 2016.
• Viorel Preoteasa and Stavros Tripakis, Towards compositional feedback in non-deterministic and non-input-receptive systems. In LICS 2016.
• Srinivas Pinisetty and Stavros Tripakis. Compositional Runtime Enforcement. In 8th NASA Formal Methods Symposium (NFM), June 2016.
• Iulia Dragomir, Viorel Preoteasa, and Stavros Tripakis, Compositional Semantics and Analysis of Hierarchical Block Diagrams. In SPIN 2016.
• Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, and Abhishek Udupa, Automatic Completion of Distributed Protocols with Symmetry. In CAV 2015. See also extended version.
• Antti Siirtola, Stavros Tripakis, and Keijo Heljanko, When Do We (Not) Need Complex Assume-Guarantee Rules?. In ACSD 2015.
• Viorel Preoteasa and Stavros Tripakis, Refinement Calculus of Reactive Systems. In EMSOFT 2014. See also extended version.
• R. Alur, M. Martin, M. Raghothaman, C. Stergiou, S. Tripakis, and A. Udupa, Synthesizing Finite-state Protocols from Scenarios and Requirements. In HVC 2014. The NP-completeness proof can be found in the arxiv version.
• Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, and Guoqiang Wang, On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations. In SAMOS 2014. Journal version published in Journal of Signal Processing Systems, Spring, 2015.
• Jan Reineke and Stavros Tripakis, Basic Problems in Multi-View Modeling. In TACAS 2014.
• Ruediger Ehlers, Stephane Lafortune, Stavros Tripakis, and Moshe Vardi, Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. In WODES 2014. See also extended technical report.

Other publications by members of my group

• M. Renard, Y. Falcone, A. Rollet, S, Pinisetty, T. Jéron, H. Marchand. Runtime Enforcement of (Timed) Properties with Uncontrollable Events. In ICTAC 2015, the 12th International Colloquium on Theoretical Aspects of Computing, Cali, Colombia, October 2015.
• S, Pinisetty, Y. Falcone, T. Jéron, H. Marchand. TiPEX: a tool chain for Timed Property Enforcement during eXecution. In RV 2015, 15th International Conference on Runtime Verification, Vienna, Austria, September 2015.