Technical Reports - Stavros Tripakis

Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems (EECS-2014-106)
David Broman, Edward A. Lee, Stavros Tripakis and Martin Törngren

Bridging the Semantic Gap Between Heterogeneous Modeling Formalisms and FMI (EECS-2014-30)
Stavros Tripakis and David Broman

From Relational Interfaces to Assume-Guarantee Contracts (EECS-2014-21)
Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis and Alberto L. Sangiovanni-Vincentelli

Basic Problems in Multi-View Modeling (EECS-2014-4)
Jan Reineke and Stavros Tripakis

Reactive Synthesis vs. Supervisory Control: Bridging the Gap (EECS-2013-162)
Ruediger Ehlers, Stephane Lafortune, Stavros Tripakis and Moshe Vardi

Determinate Composition of FMUs for Co-Simulation (EECS-2013-153)
David Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis and Michael Wetter