| 2013 | ||
|---|---|---|
| j19 | 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) | |
| 2012 | ||
| j18 | 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) | |
| c65 | 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 | |
| c64 | Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi: An overview of the career of Paul Caspi. EMSOFT 2012: 195-196 | |
| 2011 | ||
| j17 | 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) | |
| c63 | 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 | |
| c62 | Marc Geilen, Stavros Tripakis, Maarten Wiggers: The earlier the better: a theory of timed actor interfaces. HSCC 2011: 23-32 | |
| e2 | 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 | |
| 2010 | ||
| c61 | Christopher X. Brooks, Edward A. Lee, Stavros Tripakis: Exploring models of computation with ptolemy II. CODES+ISSS 2010: 331-332 | |
| c60 | ||
| c59 | 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 | |
| e1 | 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 | |
| i1 | ||
| 2009 | ||
| j16 | Moez Krichen, Stavros Tripakis: Conformance testing for real-time systems. Formal Methods in System Design 34(3): 238-304 (2009) | |
| j15 | Stavros Tripakis: Checking timed Büchi automata emptiness on simulation graphs. ACM Trans. Comput. Log. 10(3) (2009) | |
| c58 | Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee: On relational interfaces. EMSOFT 2009: 67-76 | |
| c57 | Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis: Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC 2009: 46-60 | |
| c56 | Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis: Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM 2009: 717-736 | |
| c55 | 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 | |
| c54 | Roberto Lublinerman, Christian Szegedy, Stavros Tripakis: Modular code generation from synchronous block diagrams: modularity vs. code size. POPL 2009: 78-89 | |
| c53 | Stavros Tripakis: A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis. RV 2009: 152-167 | |
| 2008 | ||
| j14 | Franck Cassez, Stavros Tripakis: Fault Diagnosis with Static and Dynamic Observers. Fundam. Inform. 88(4): 497-540 (2008) | |
| j13 | 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) | |
| j12 | 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) | |
| j11 | Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis: Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embedded Comput. Syst. 7(2) (2008) | |
| c52 | Roberto Lublinerman, Stavros Tripakis: Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. DATE 2008: 1504-1509 | |
| c51 | Roberto Lublinerman, Stavros Tripakis: Translating data flow to synchronous block diagrams. ESTImedia 2008: 101-106 | |
| c50 | 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 | |
| c49 | Nazha Abed, Stavros Tripakis, Jean-Marc Vincent: Resource-Aware Verification Using Randomized Exploration of Large State Spaces. SPIN 2008: 214-231 | |
| 2007 | ||
| c48 | Franck Cassez, Stavros Tripakis, Karine Altisen: Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD 2007: 90-99 | |
| c47 | Stavros Tripakis: Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks. Runtime Verification 2007 | |
| c46 | 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 | |
| c45 | Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck: Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135 | |
| c44 | 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 | |
| c43 | Franck Cassez, Stavros Tripakis, Karine Altisen: Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE 2007: 316-325 | |
| 2006 | ||
| j10 | Stavros Tripakis: Folk theorems on the determinization and minimization of timed automata. Inf. Process. Lett. 99(6): 222-226 (2006) | |
| c42 | Karine Altisen, Franck Cassez, Stavros Tripakis: Monitoring and fault-diagnosis with digital clocks. ACSD 2006: 101-110 | |
| c41 | Christos Sofronis, Stavros Tripakis, Paul Caspi: A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. EMSOFT 2006: 21-33 | |
| c40 | 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 | |
| c39 | Moez Krichen, Stavros Tripakis: State-Identification Problems for Finite-State Transducers. FATES/RV 2006: 148-162 | |
| c38 | Moez Krichen, Stavros Tripakis: Interesting Properties of the Real-Time Conformance Relation. ICTAC 2006: 317-331 | |
| c37 | 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 | |
| c36 | Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis: Ultimately Periodic Simple Temporal Problems (UPSTPs). TIME 2006: 69-77 | |
| 2005 | ||
| j9 | 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) | |
| j8 | Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani: Checking Timed Büchi Automata Emptiness Efficiently. Formal Methods in System Design 26(3): 267-292 (2005) | |
| j7 | Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic: Translating discrete-time simulink to lustre. ACM Trans. Embedded Comput. Syst. 4(4): 779-818 (2005) | |
| c35 | ||
| c34 | 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 | |
| c33 | Karine Altisen, Stavros Tripakis: Implementation of Timed Automata: An Issue of Semantics or Modeling? FORMATS 2005: 273-288 | |
| c32 | Jean-François Condotta, Gérard Ligozat, Stavros Tripakis: Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning. ICTAI 2005: 584-588 | |
| c31 | Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Generating Path Conditions for Timed Systems. IFM 2005: 5-19 | |
| c30 | Moez Krichen, Stavros Tripakis: State Identification Problems for Timed Automata. TestCom 2005: 175-191 | |
| c29 | Moez Krichen, Stavros Tripakis: An Expressive and Implementable Formal Framework for Testing Real-Time Systems. TestCom 2005: 209-225 | |
| 2004 | ||
| j6 | Stavros Tripakis: Undecidable problems of decentralized observation and control on regular languages. Inf. Process. Lett. 90(1): 21-28 (2004) | |
| j5 | Stavros Tripakis: Decentralized control of discrete-event Systems With bounded or Unbounded Delay communication. IEEE Trans. Automat. Contr. 49(9): 1489-1501 (2004) | |
| c28 | 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 | |
| c27 | Moez Krichen, Stavros Tripakis: Real-Time Testing with Timed Automata Testers and Coverage Criteria. FORMATS/FTRTFT 2004: 134-151 | |
| c26 | Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) 2004: 243-249 | |
| c25 | Moez Krichen, Stavros Tripakis: Black-Box Conformance Testing for Real-Time Systems. SPIN 2004: 109-126 | |
| 2003 | ||
| j4 | Joseph Sifakis, Stavros Tripakis, Sergio Yovine: Building models of real-time systems from application software. Proceedings of the IEEE 91(1): 100-111 (2003) | |
| c24 | Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis: Translating Discrete-Time Simulink to Lustre. EMSOFT 2003: 84-99 | |
| c23 | Stavros Tripakis: Folk Theorems on the Determinization and Minimization of Timed Automata. FORMATS 2003: 182-188 | |
| c22 | 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 | |
| c21 | ||
| 2002 | ||
| j3 | Stavros Tripakis: Automated Composition of Module Chains. Electr. Notes Theor. Comput. Sci. 65(4): 81-90 (2002) | |
| c20 | Stavros Tripakis: Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System. EMSOFT 2002: 123-137 | |
| c19 | 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 | |
| c18 | ||
| c17 | ||
| 2001 | ||
| j2 | 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) | |
| j1 | Stavros Tripakis, Sergio Yovine: Analysis of Timed Systems Using Time-Abstracting Bisimulations. Formal Methods in System Design 18(1): 25-68 (2001) | |
| c16 | 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 | |
| 2000 | ||
| c15 | Oleg Botchkarev, Stavros Tripakis: Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations. HSCC 2000: 73-88 | |
| 1999 | ||
| c14 | ||
| c13 | Marius Bozga, Oded Maler, Stavros Tripakis: Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. CHARME 1999: 125-141 | |
| c12 | Stavros Tripakis, Karine Altisen: On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. World Congress on Formal Methods 1999: 233-252 | |
| c11 | Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine: A Framework for Scheduler Synthesis. RTSS 1999: 154-163 | |
| c10 | ||
| 1998 | ||
| c9 | 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 | |
| c8 | 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 | |
| c7 | 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- | |
| c6 | Conrado Daws, Stavros Tripakis: Model Checking of Real-Time Reachability Properties Using Abstractions. TACAS 1998: 313-329 | |
| 1997 | ||
| c5 | Sébastien Bornot, Joseph Sifakis, Stavros Tripakis: Modeling Urgency in Timed Systems. COMPOS 1997: 103-129 | |
| c4 | Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine: On-the-fly symbolic model checking for real-time systems. RTSS 1997: 25-34 | |
| 1996 | ||
| c3 | Stavros Tripakis, Sergio Yovine: Analysis of Timed Systems Based on Time-Abstracting Bisimulation. CAV 1996: 232-243 | |
| c2 | Stavros Tripakis, Costas Courcoubetis: Extending Promela and Spin for Real Time. TACAS 1996: 329-348 | |
| 1995 | ||
| c1 | Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine: The Tool KRONOS. Hybrid Systems 1995: 208-219 | |
Colors in the list of coauthors
Last update Sun May 19 17:04:13 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page