Stavros Tripakis

	Stavros Tripakis
	Adjunct Associate Professor and Associate Researcher Department of Electrical Engineering and Computer Sciences University of California, Berkeley Contact Information
Biography \| Publications \| Talks \| Projects \| Teaching \| Software \| Events \| CV (in PDF)
Areas of Interest System Modeling, Verification, Testing and Synthesis; Abstraction and Compositionality; Semantics-Preserving Implementation; Embedded and Cyber-Physical Systems. H-index: 37 according to Google Scholar. Recent and selected papers: Determinate Composition of FMUs for Co-Simulation. EMSOFT 2013. A Characterization of Integrated Multi-View Modeling for Embedded Systems. EMSOFT 2013. On the Verification of Timed Discrete-Event Models. FORMATS 2013. Error-Completion in Interface Theories. SPIN 2013. Cyber-physical system design contracts. ICCPS 2013. technical report. Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems. MPM 2012. A Theory of Synchronous Relational Interfaces. ACM TOPLAS Jul 2011. pre-print. Modular Code Generation from Synchronous Block Diagrams --- Modularity vs. Code Size. POPL 2009. Conformance Testing for Real-Time Systems. Formal Methods in System Design Jun 2009. Checking Timed Buchi Automata Emptiness on Simulation Graphs. ACM Trans. Computational Logic Apr 2009. Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Trans. Computers Oct 2008. Selected Recent Talks: Modularity and compositionality in embedded system design: interface synthesis and interface theories. Invited talks: UIUC, Sep 24, 2012; UMich Sep 28, 2012; Dagstuhl Seminar Divide and Conquer: the Quest for Compositional Design and Analysis, Dec 16, 2012. Model-based design: semantics-preserving implementations of synchronous models. Invited talk at the Innovative Centre for Embedded Systems (ICES), KTH, Sweden, Dec 5, 2012. Projects CPS: Breakthrough: Compositional System Modeling with Interfaces (COSMOI), funded by NSF, Aug 2013 -- Jul 2016 ExCAPE: Expeditions in Computer Augmented Program Engineering, funded by NSF, 2012 -- 2017 iCyPhy: Industrial Cyber-Physical Systems Center Terraswarm Research Center CHESS: Center for Hybrid and Embedded Software Systems MuSyC: Multiscale Systems Center The Ptolemy project Teaching Recent courses: EECS 144/244: Fundamental Algorithms for System Modeling, Analysis, and Optimization, UC Berkeley, Spring 2013, Fall 2013 Systems, Models, and Algorithms, Aalto University, Fall 2012 Software Tools that I have contributed to or exclusively developed: The Simulink/Stateflow to Lustre translator. KRONOS : a tool for model-checking TCTL properties on Timed Automata OPEN-KRONOS: another model-checker for timed automata RT-Spin: an extension of Spin to timed systems MINIM: state-minimization w.r.t. time-abstracting bisimulations Other Professional Activities PC member, upcoming conferences: EMSOFT 2013. FORMATS 2013. CAV 2013. A complete list of my professional activities is available in my CV.