Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Stavros Tripakis
2010 – today
- 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)- [c66]Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee: Error-Completion in Interface Theories. SPIN 2013: 358-375
- 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]
2000 – 2009
- 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
1990 – 1999
- 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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-02 22:13 CEST by the dblp team