dblp.uni-trier.de

Stavros Tripakis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL - ACM Guide - CiteSeer - CSB - Google

2008
54EEPaul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis: Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embedded Comput. Syst. 7(2): (2008)
2007
53EEFranck Cassez, Stavros Tripakis, Karine Altisen: Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD 2007: 90-99
52EESaddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck: Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135
51EEFranck Cassez, Stavros Tripakis, Karine Altisen: Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE 2007: 316-325
2006
50EEKarine Altisen, Franck Cassez, Stavros Tripakis: In this work, we propose two translations: one from extended. ACSD 2006: 101-110
49EEAlbert 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
48EEChristos Sofronis, Stavros Tripakis, Paul Caspi: A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. EMSOFT 2006: 21-33
47EEMoez Krichen, Stavros Tripakis: State-Identification Problems for Finite-State Transducers. FATES/RV 2006: 148-162
46EEMoez Krichen, Stavros Tripakis: Interesting Properties of the Real-Time Conformance Relation. ICTAC 2006: 317-331
45EERadu 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
44EEJean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis: Ultimately Periodic Simple Temporal Problems (UPSTPs). TIME 2006: 69-77
43EEStavros Tripakis: Folk theorems on the determinization and minimization of timed automata. Inf. Process. Lett. 99(6): 222-226 (2006)
2005
42EEStavros Tripakis: Two-Phase Distributed Observation Problems. ACSD 2005: 98-105
41EEStavros 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
40EEKarine Altisen, Stavros Tripakis: Implementation of Timed Automata: An Issue of Semantics or Modeling? FORMATS 2005: 273-288
39EEJean-François Condotta, Gérard Ligozat, Stavros Tripakis: Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning. ICTAI 2005: 584-588
38EESaddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Generating Path Conditions for Timed Systems. IFM 2005: 5-19
37EEMoez Krichen, Stavros Tripakis: State Identification Problems for Timed Automata. TestCom 2005: 175-191
36EEMoez Krichen, Stavros Tripakis: An Expressive and Implementable Formal Framework for Testing Real-Time Systems. TestCom 2005: 209-225
35EEStavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic: Translating discrete-time simulink to lustre. ACM Trans. Embedded Comput. Syst. 4(4): 779-818 (2005)
34EESaddek 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)
33EEStavros Tripakis, Sergio Yovine, Ahmed Bouajjani: Checking Timed Büchi Automata Emptiness Efficiently. Formal Methods in System Design 26(3): 267-292 (2005)
2004
32EENorman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi: Defining and translating a "safe" subset of simulink/stateflow into lustre. EMSOFT 2004: 259-268
31EEMoez Krichen, Stavros Tripakis: Real-Time Testing with Timed Automata Testers and Coverage Criteria. FORMATS/FTRTFT 2004: 134-151
30EEMoez Krichen, Stavros Tripakis: Black-Box Conformance Testing for Real-Time Systems. SPIN 2004: 109-126
29EEStavros Tripakis: Undecidable problems of decentralized observation and control on regular languages. Inf. Process. Lett. 90(1): 21-28 (2004)
2003
28EEPaul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis: Translating Discrete-Time Simulink to Lustre. EMSOFT 2003: 84-99
27EEStavros Tripakis: Folk Theorems on the Determinization and Minimization of Timed Automata. FORMATS 2003: 182-188
26EEPaul 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
25EEStavros Tripakis: Automated Module Composition. TACAS 2003: 347-362
24 Joseph Sifakis, Stavros Tripakis, Sergio Yovine: Building models of real-time systems from application software. Proceedings of the IEEE 91(1): 100-111 (2003)
2002
23EEStavros Tripakis: Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System. EMSOFT 2002: 123-137
22EEAlbert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis: A Protocol for Loosely Time-Triggered Architectures. EMSOFT 2002: 252-265
21EEStavros Tripakis: Fault Diagnosis for Timed Automata. FTRTFT 2002: 205-224
20EEAnuj Puri, Stavros Tripakis: Algorithms for the Multi-constrained Routing Problem. SWAT 2002: 338-347
19EEStavros Tripakis: Automated Composition of Module Chains. Electr. Notes Theor. Comput. Sci. 65(4): (2002)
2001
18EEAlberto 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
17EEStavros Tripakis, Sergio Yovine: Timing Analysis and Code Generation of Vehicle Control Software using Taxys. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
16 Stavros Tripakis, Sergio Yovine: Analysis of Timed Systems Using Time-Abstracting Bisimulations. Formal Methods in System Design 18(1): 25-68 (2001)
2000
15EEOleg Botchkarev, Stavros Tripakis: Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations. HSCC 2000: 73-88
1999
14EEStavros Tripakis: Verifying Progress in Timed Systems. ARTS 1999: 299-314
13EEMarius Bozga, Oded Maler, Stavros Tripakis: Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. CHARME 1999: 125-141
12EEKarine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine: A Framework for Scheduler Synthesis. IEEE Real-Time Systems Symposium 1999: 154-163
11EEStavros Tripakis: Timed Diagnostics for Reachability Properties. TACAS 1999: 59-73
10EEStavros Tripakis, Karine Altisen: On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. World Congress on Formal Methods 1999: 233-252
1998
9 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
8EEMarius 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
7EEStavros 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-
6EEConrado Daws, Stavros Tripakis: Model Checking of Real-Time Reachability Properties Using Abstractions. TACAS 1998: 313-329
1997
5EESébastien Bornot, Joseph Sifakis, Stavros Tripakis: Modeling Urgency in Timed Systems. COMPOS 1997: 103-129
4EEAhmed Bouajjani, Stavros Tripakis, Sergio Yovine: On-the-fly symbolic model checking for real-time systems. IEEE Real-Time Systems Symposium 1997: 25-
1996
3 Stavros Tripakis, Sergio Yovine: Analysis of Timed Systems Based on Time-Abstracting Bisimulation. CAV 1996: 232-243
2 Stavros Tripakis, Costas Courcoubetis: Extending Promela and Spin for Real Time. TACAS 1996: 329-348
1995
1 Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine: The Tool KRONOS. Hybrid Systems 1995: 208-219

Coauthor Index

1Karine Altisen [10] [12] [40] [50] [51] [53]
2Saddek Bensalem [34] [38] [52]
3Albert Benveniste [22] [49]
4Sébastien Bornot [5]
5Oleg Botchkarev [15]
6Ahmed Bouajjani [4] [33]
7Marius Bozga [8] [9] [13] [34]
8Benoît Caillaud [49]
9Luca P. Carloni [49]
10Paul Caspi [22] [26] [28] [32] [35] [41] [48] [49] [54]
11Franck Cassez [50] [51] [53]
12Jean-François Condotta [39] [44]
13Costas Courcoubetis [2]
14Adrian Curic [26] [28] [35]
15Conrado Daws [1] [6] [8] [9]
16Gregor Gößler [12]
17Radu Grosu [45]
18Paul Le Guernic [22]
19Thomas A. Henzinger [18]
20Xiaowan Huang [45]
21Moez Krichen [30] [31] [34] [36] [37] [46] [47]
22Bruce H. Krogh [18]
23Gérard Ligozat (Gerard Ligozat) [39] [44]
24Aude Maignan [26] [28]
25Oded Maler [8] [9] [13] [18]
26Florence Maraninchi [32]
27Hervé Marchand [22]
28Manfred Morari [18]
29Peter Niebert [26]
30Alfredo Olivero [1] [8] [9]
31Costas C. Pantelides [18]
32George J. Pappas [18]
33Doron Peled [38] [52]
34Amir Pnueli [12]
35Anuj Puri [20]
36Hongyang Qu [38] [52]
37Mahmoud Saade [44]
38Alberto L. Sangiovanni-Vincentelli [18] [49]
39Norman Scaife [32] [41] [54]
40Joseph Sifakis [5] [12] [24]
41Tunc Simsec [18]
42Scott A. Smolka [45]
43Christos Sofronis [26] [28] [32] [35] [41] [48] [54]
44Janos Sztipanovits [18]
45Jean-Pierre Talpin [22]
46Wenkai Tan [45]
47Sergio Yovine [1] [3] [4] [7] [8] [9] [12] [16] [17] [24] [33]
48Lenore D. Zuck [52]

Colors in the list of coauthors

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Wed Mar 12 02:24:58 2008