Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences


UC Berkeley


Technical Reports - Stavros Tripakis

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