Stavros Tripakis

Stavros Tripakis, Dai N. Bui, Marc Geilen, Bert Rodiers, Edward A. Lee: Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs. ACM Trans. Embedded Comput. Syst. 12(3): 83 (2013)

Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis: Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Sci. Comput. Program. 77(12): 1235-1271 (2012)

Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Stavros Tripakis, Ankita Prasad, Guoqiang Wang, Trung N. Tran, Hugo A. Andrade: Static dataflow with access patterns: semantics and analysis. DAC 2012: 656-663

Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi: An overview of the career of Paul Caspi. EMSOFT 2012: 195-196

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee: A Theory of Synchronous Relational Interfaces. ACM Trans. Program. Lang. Syst. 33(4): 14 (2011)

Stavros Tripakis, Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Guang Yang, Jacob Kornerup, Ian C. Wong: Correct and non-defensive glue design using abstract models. CODES+ISSS 2011: 59-68

Marc Geilen, Stavros Tripakis, Maarten Wiggers: The earlier the better: a theory of timed actor interfaces. HSCC 2011: 23-32

Uli Fahrenberg, Stavros Tripakis (Eds.): Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Lecture Notes in Computer Science 6919, Springer 2011, isbn 978-3-642-24309-7

Christopher X. Brooks, Edward A. Lee, Stavros Tripakis: Exploring models of computation with ptolemy II. CODES+ISSS 2010: 331-332

Edward A. Lee, Stavros Tripakis: Modal Models in Ptolemy. EOOLT 2010: 11-21

Stavros Tripakis, Dai N. Bui, Bert Rodiers, Edward A. Lee: Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs. ICCPS 2010: 199

Luca P. Carloni, Stavros Tripakis (Eds.): Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010. ACM 2010, isbn 978-1-60558-904-6

Franck Cassez, Stavros Tripakis: Fault Diagnosis with Dynamic Observers. CoRR abs/1004.2810 (2010)

Moez Krichen, Stavros Tripakis: Conformance testing for real-time systems. Formal Methods in System Design 34(3): 238-304 (2009)

Stavros Tripakis: Checking timed Büchi automata emptiness on simulation graphs. ACM Trans. Comput. Log. 10(3) (2009)

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee: On relational interfaces. EMSOFT 2009: 67-76

Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis: Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC 2009: 46-60

Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis: Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM 2009: 717-736

Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly: Scalable Semantic Annotation Using Lattice-Based Ontologies. MoDELS 2009: 393-407

Roberto Lublinerman, Christian Szegedy, Stavros Tripakis: Modular code generation from synchronous block diagrams: modularity vs. code size. POPL 2009: 78-89

Stavros Tripakis: A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis. RV 2009: 152-167

Franck Cassez, Stavros Tripakis: Fault Diagnosis with Static and Dynamic Observers. Fundam. Inform. 88(4): 497-540 (2008)

Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale: Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Trans. Computers 57(10): 1300-1314 (2008)

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic generation of path conditions for concurrent timed systems. Theor. Comput. Sci. 404(3): 275-292 (2008)

Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis: Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embedded Comput. Syst. 7(2) (2008)

Roberto Lublinerman, Stavros Tripakis: Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. DATE 2008: 1504-1509

Roberto Lublinerman, Stavros Tripakis: Translating data flow to synchronous block diagrams. ESTImedia 2008: 101-106

Roberto Lublinerman, Stavros Tripakis: Modular Code Generation from Triggered and Timed Block Diagrams. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 147-158

Nazha Abed, Stavros Tripakis, Jean-Marc Vincent: Resource-Aware Verification Using Randomized Exploration of Large State Spaces. SPIN 2008: 214-231

Franck Cassez, Stavros Tripakis, Karine Altisen: Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD 2007: 90-99

Stavros Tripakis: Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks. Runtime Verification 2007

Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis: Loosely time-triggered architectures based on communication-by-sampling. EMSOFT 2007: 231-239

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck: Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135

Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis: A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. ISoLA 2007: 191-202

Franck Cassez, Stavros Tripakis, Karine Altisen: Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE 2007: 316-325

Stavros Tripakis: Folk theorems on the determinization and minimization of timed automata. Inf. Process. Lett. 99(6): 222-226 (2006)

Karine Altisen, Franck Cassez, Stavros Tripakis: Monitoring and fault-diagnosis with digital clocks. ACSD 2006: 101-110

Christos Sofronis, Stavros Tripakis, Paul Caspi: A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. EMSOFT 2006: 21-33

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis: Communication by sampling in time-sensitive distributed systems. EMSOFT 2006: 152-160

Moez Krichen, Stavros Tripakis: State-Identification Problems for Finite-State Transducers. FATES/RV 2006: 148-162

Moez Krichen, Stavros Tripakis: Interesting Properties of the Real-Time Conformance Relation. ICTAC 2006: 317-331

Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis: Deep Random Search for Efficient Model Checking of Timed Automata. Monterey Workshop 2006: 111-124

Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis: Ultimately Periodic Simple Temporal Problems (UPSTPs). TIME 2006: 69-77

Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis: Testing Conformance of Real-Time Applications by Automatic Generation of Observers. Electr. Notes Theor. Comput. Sci. 113: 23-43 (2005)

Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani: Checking Timed Büchi Automata Emptiness Efficiently. Formal Methods in System Design 26(3): 267-292 (2005)

Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic: Translating discrete-time simulink to lustre. ACM Trans. Embedded Comput. Syst. 4(4): 779-818 (2005)

Stavros Tripakis: Two-Phase Distributed Observation Problems. ACSD 2005: 98-105

Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi: Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. EMSOFT 2005: 353-360

Karine Altisen, Stavros Tripakis: Implementation of Timed Automata: An Issue of Semantics or Modeling? FORMATS 2005: 273-288

Jean-François Condotta, Gérard Ligozat, Stavros Tripakis: Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning. ICTAI 2005: 584-588

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Generating Path Conditions for Timed Systems. IFM 2005: 5-19

Moez Krichen, Stavros Tripakis: State Identification Problems for Timed Automata. TestCom 2005: 175-191

Moez Krichen, Stavros Tripakis: An Expressive and Implementable Formal Framework for Testing Real-Time Systems. TestCom 2005: 209-225

Stavros Tripakis: Undecidable problems of decentralized observation and control on regular languages. Inf. Process. Lett. 90(1): 21-28 (2004)

Stavros Tripakis: Decentralized control of discrete-event Systems With bounded or Unbounded Delay communication. IEEE Trans. Automat. Contr. 49(9): 1489-1501 (2004)

Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi: Defining and translating a "safe" subset of simulink/stateflow into lustre. EMSOFT 2004: 259-268

Moez Krichen, Stavros Tripakis: Real-Time Testing with Timed Automata Testers and Coverage Criteria. FORMATS/FTRTFT 2004: 134-151

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) 2004: 243-249

Moez Krichen, Stavros Tripakis: Black-Box Conformance Testing for Real-Time Systems. SPIN 2004: 109-126

Joseph Sifakis, Stavros Tripakis, Sergio Yovine: Building models of real-time systems from application software. Proceedings of the IEEE 91(1): 100-111 (2003)

Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis: Translating Discrete-Time Simulink to Lustre. EMSOFT 2003: 84-99

Stavros Tripakis: Folk Theorems on the Determinization and Minimization of Timed Automata. FORMATS 2003: 182-188

Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert: From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. LCTES 2003: 153-162

Stavros Tripakis: Automated Module Composition. TACAS 2003: 347-362

Stavros Tripakis: Automated Composition of Module Chains. Electr. Notes Theor. Comput. Sci. 65(4): 81-90 (2002)

Stavros Tripakis: Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System. EMSOFT 2002: 123-137

Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis: A Protocol for Loosely Time-Triggered Architectures. EMSOFT 2002: 252-265

Stavros Tripakis: Fault Diagnosis for Timed Automata. FTRTFT 2002: 205-224

Anuj Puri, Stavros Tripakis: Algorithms for the Multi-constrained Routing Problem. SWAT 2002: 338-347

Stavros Tripakis, Sergio Yovine: Timing Analysis and Code Generation of Vehicle Control Software using Taxys. Electr. Notes Theor. Comput. Sci. 55(2): 277-286 (2001)

Stavros Tripakis, Sergio Yovine: Analysis of Timed Systems Using Time-Abstracting Bisimulations. Formal Methods in System Design 18(1): 25-68 (2001)

Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis: Hybrid Systems Applications: An Oxymoron? HSCC 2001: 5-6

Oleg Botchkarev, Stavros Tripakis: Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations. HSCC 2000: 73-88

Stavros Tripakis: Verifying Progress in Timed Systems. ARTS 1999: 299-314

Marius Bozga, Oded Maler, Stavros Tripakis: Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. CHARME 1999: 125-141

Stavros Tripakis, Karine Altisen: On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. World Congress on Formal Methods 1999: 233-252

Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine: A Framework for Scheduler Synthesis. RTSS 1999: 154-163

Stavros Tripakis: Timed Diagnostics for Reachability Properties. TACAS 1999: 59-73

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine: Kronos: A Model-Checking Tool for Real-Time Systems. CAV 1998: 546-550

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine: KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). FTRTFT 1998: 298-302

Stavros Tripakis, Sergio Yovine: Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos. IEEE Real Time Technology and Applications Symposium 1998: 165-

Conrado Daws, Stavros Tripakis: Model Checking of Real-Time Reachability Properties Using Abstractions. TACAS 1998: 313-329

Sébastien Bornot, Joseph Sifakis, Stavros Tripakis: Modeling Urgency in Timed Systems. COMPOS 1997: 103-129

Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine: On-the-fly symbolic model checking for real-time systems. RTSS 1997: 25-34

Stavros Tripakis, Sergio Yovine: Analysis of Timed Systems Based on Time-Abstracting Bisimulation. CAV 1996: 232-243

Stavros Tripakis, Costas Courcoubetis: Extending Promela and Spin for Real Time. TACAS 1996: 329-348

Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine: The Tool KRONOS. Hybrid Systems 1995: 208-219