M. D. Natale, Q. Zhu, A. L. Sangiovanni-Vincentelli, and S. Tripakis, "Optimized implementation of synchronous models on industrial LTTA systems," Journal of Systems Architecture - Embedded Systems Design, vol. 60, no. 4, pp. 315-328, 2014.
S. Tripakis, C. Stergiou, C. Shaver, and E. A. Lee, "A modular formal semantics for Ptolemy," Mathematical Structures in Computer Science, vol. 23, pp. 834--881, Aug. 2013.
S. Tripakis, B. Lickly, T. A. Henzinger, and E. A. Lee, "A Theory of Synchronous Relational Interfaces," ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 33, no. 4, July 2011.
F. Cremona, M. Lohstroh, S. Tripakis, C. Brooks, and E. A. Lee, "FIDE -- An FMI Integrated Development Environment," in 31st ACM/SIGAPP Symposium on Applied Computing, Embedded Systems Track (SAC), 2016.
D. Broman, L. Greenberg, E. A. Lee, M. Masin, S. Tripakis, and M. Wetter, "Requirements for Hybrid Cosimulation Standards," in Hybrid Systems: Computation and Control (HSCC 2015), 2015.
R. Alur, M. Raghothaman, C. Stergiou, S. Tripakis, and A. Udupa, "Automatic Completion of Distributed Protocols with Symmetry," in 27th International Conference on Computer Aided Verification (CAV), 2015.
S. Tripakis, "Bridging the Semantic Gap Between Heterogeneous Modeling Formalisms and FMI," in International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation -- SAMOS XV, 2015.
Y. Yang, S. Tripakis, and A. L. Sangiovanni-Vincentelli, "Efficient Distribution of Triggered Synchronous Block Diagrams on Asynchronous Platforms," in International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation -- SAMOS XV, 2015.
S. Bogomolov, M. Greitschus, P. G. Jensen, K. G. Larsen, M. Mikucionis, T. Strump, and S. Tripakis, "Co-Simulation of Hybrid Systems with SpaceEx and Uppaal," in Proceedings of the 11th International Modelica Conference, Linkoping University Electronic Press, 2015.
J. Reineke and S. Tripakis, "Basic Problems in Multi-View Modeling," in Tools and Algorithms for the Construction and Analysis of Systems -- TACAS 2014, 2014.
P. Nuzzo, A. Iannopollo, S. Tripakis, and A. L. Sangiovanni-Vincentelli, "Are Interface Theories Equivalent to Contract Theories?," in 12th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2014.
R. Alur, M. Martin, M. Raghothaman, C. Stergiou, S. Tripakis, and A. Udupa, "Synthesizing Finite-state Protocols from Scenarios and Requirements," in Haifa Verification Conference, LNCS, Vol. 8855, Springer, 2014.
Technical Reports
F. Cremona, M. Lohstroh, D. Broman, S. Tripakis, E. A. Lee, and M. Masin, "Hybrid Co-simulation: It's About Time," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2017-6, April 2017.
D. Broman, L. Greenberg, E. A. Lee, M. Masin, S. Tripakis, and M. Wetter, "Requirements for Hybrid Cosimulation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2014-157, Aug. 2014.
P. Nuzzo, A. Iannopollo, S. Tripakis, and A. L. Sangiovanni-Vincentelli, "From Relational Interfaces to Assume-Guarantee Contracts," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2014-21, March 2014.
J. Reineke and S. Tripakis, "Basic Problems in Multi-View Modeling," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2014-4, Jan. 2014.
D. Broman, C. Brooks, L. Greenberg, E. A. Lee, M. Masin, S. Tripakis, and M. Wetter, "Determinate Composition of FMUs for Co-Simulation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2013-153, Aug. 2013.