Stavros Tripakis

	2011
81		Uli Fahrenberg, Stavros Tripakis: Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings Springer 2011
80		Stavros Tripakis, Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Guang Yang, Jacob Kornerup, Ian Wong: Correct and non-defensive glue design using abstract models. CODES+ISSS 2011: 59-68
79		Marc Geilen, Stavros Tripakis, Maarten Wiggers: The earlier the better: a theory of timed actor interfaces. HSCC 2011: 23-32
78		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)
	2010
77		Luca P. Carloni, Stavros Tripakis: Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010 ACM 2010
76		Christopher X. Brooks, Edward A. Lee, Stavros Tripakis: Exploring models of computation with ptolemy II. CODES+ISSS 2010: 331-332
75		Edward A. Lee, Stavros Tripakis: Modal Models in Ptolemy. EOOLT 2010: 11-21
74		Franck Cassez, Stavros Tripakis: Fault Diagnosis with Dynamic Observers CoRR abs/1004.2810: (2010)
	2009
73		Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee: On relational interfaces. EMSOFT 2009: 67-76
72		Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis: Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC 2009: 46-60
71		Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis: Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM 2009: 717-736
70		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
69		Roberto Lublinerman, Christian Szegedy, Stavros Tripakis: Modular code generation from synchronous block diagrams: modularity vs. code size. POPL 2009: 78-89
68		Stavros Tripakis: A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis. RV 2009: 152-167
67		Stavros Tripakis: Checking timed Büchi automata emptiness on simulation graphs. ACM Trans. Comput. Log. 10(3): (2009)
66		Moez Krichen, Stavros Tripakis: Conformance testing for real-time systems. Formal Methods in System Design 34(3): 238-304 (2009)
	2008
65		Roberto Lublinerman, Stavros Tripakis: Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. DATE 2008: 1504-1509
64		Roberto Lublinerman, Stavros Tripakis: Translating data flow to synchronous block diagrams. ESTImedia 2008: 101-106
63		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
62		Nazha Abed, Stavros Tripakis, Jean-Marc Vincent: Resource-Aware Verification Using Randomized Exploration of Large State Spaces. SPIN 2008: 214-231
61		Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis: Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embedded Comput. Syst. 7(2): (2008)
60		Franck Cassez, Stavros Tripakis: Fault Diagnosis with Static and Dynamic Observers. Fundam. Inform. 88(4): 497-540 (2008)
59		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)
58		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)
	2007
57		Franck Cassez, Stavros Tripakis, Karine Altisen: Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD 2007: 90-99
56		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
55		Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck: Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135
54		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
53		Stavros Tripakis: Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks. Runtime Verification 2007
52		Franck Cassez, Stavros Tripakis, Karine Altisen: Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE 2007: 316-325
	2006
51		Karine Altisen, Franck Cassez, Stavros Tripakis: Monitoring and fault-diagnosis with digital clocks ACSD 2006: 101-110
50		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
49		Christos Sofronis, Stavros Tripakis, Paul Caspi: A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. EMSOFT 2006: 21-33
48		Moez Krichen, Stavros Tripakis: State-Identification Problems for Finite-State Transducers. FATES/RV 2006: 148-162
47		Moez Krichen, Stavros Tripakis: Interesting Properties of the Real-Time Conformance Relation. ICTAC 2006: 317-331
46		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
45		Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis: Ultimately Periodic Simple Temporal Problems (UPSTPs). TIME 2006: 69-77
44		Stavros Tripakis: Folk theorems on the determinization and minimization of timed automata. Inf. Process. Lett. 99(6): 222-226 (2006)
	2005
43		Stavros Tripakis: Two-Phase Distributed Observation Problems. ACSD 2005: 98-105
42		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
41		Karine Altisen, Stavros Tripakis: Implementation of Timed Automata: An Issue of Semantics or Modeling? FORMATS 2005: 273-288
40		Jean-François Condotta, Gérard Ligozat, Stavros Tripakis: Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning. ICTAI 2005: 584-588
39		Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Generating Path Conditions for Timed Systems. IFM 2005: 5-19
38		Moez Krichen, Stavros Tripakis: State Identification Problems for Timed Automata. TestCom 2005: 175-191
37		Moez Krichen, Stavros Tripakis: An Expressive and Implementable Formal Framework for Testing Real-Time Systems. TestCom 2005: 209-225
36		Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic: Translating discrete-time simulink to lustre. ACM Trans. Embedded Comput. Syst. 4(4): 779-818 (2005)
35		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)
34		Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani: Checking Timed Büchi Automata Emptiness Efficiently. Formal Methods in System Design 26(3): 267-292 (2005)
	2004
33		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
32		Moez Krichen, Stavros Tripakis: Real-Time Testing with Timed Automata Testers and Coverage Criteria. FORMATS/FTRTFT 2004: 134-151
31		Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) 2004: 243-249
30		Moez Krichen, Stavros Tripakis: Black-Box Conformance Testing for Real-Time Systems. SPIN 2004: 109-126
29		Stavros Tripakis: Undecidable problems of decentralized observation and control on regular languages. Inf. Process. Lett. 90(1): 21-28 (2004)
	2003
28		Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis: Translating Discrete-Time Simulink to Lustre. EMSOFT 2003: 84-99
27		Stavros Tripakis: Folk Theorems on the Determinization and Minimization of Timed Automata. FORMATS 2003: 182-188
26		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
25		Stavros 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
23		Stavros Tripakis: Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System. EMSOFT 2002: 123-137
22		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
21		Stavros Tripakis: Fault Diagnosis for Timed Automata. FTRTFT 2002: 205-224
20		Anuj Puri, Stavros Tripakis: Algorithms for the Multi-constrained Routing Problem. SWAT 2002: 338-347
19		Stavros Tripakis: Automated Composition of Module Chains. Electr. Notes Theor. Comput. Sci. 65(4): 81-90 (2002)
	2001
18		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
17		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)
16		Stavros Tripakis, Sergio Yovine: Analysis of Timed Systems Using Time-Abstracting Bisimulations. Formal Methods in System Design 18(1): 25-68 (2001)
	2000
15		Oleg Botchkarev, Stavros Tripakis: Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations. HSCC 2000: 73-88
	1999
14		Stavros Tripakis: Verifying Progress in Timed Systems. ARTS 1999: 299-314
13		Marius Bozga, Oded Maler, Stavros Tripakis: Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. CHARME 1999: 125-141
12		Karine 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
11		Stavros Tripakis: Timed Diagnostics for Reachability Properties. TACAS 1999: 59-73
10		Stavros 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
8		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
7		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-
6		Conrado Daws, Stavros Tripakis: Model Checking of Real-Time Reachability Properties Using Abstractions. TACAS 1998: 313-329
	1997
5		Sébastien Bornot, Joseph Sifakis, Stavros Tripakis: Modeling Urgency in Timed Systems. COMPOS 1997: 103-129
4		Ahmed 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

1	Nazha Abed	[62]
2	Karine Altisen	[10] [12] [41] [51] [52] [57]
3	Hugo A. Andrade	[80]
4	Kyungmin Bae	[71]
5	Saddek Bensalem	[31] [35] [39] [54] [55] [58]
6	Albert Benveniste	[22] [50] [56] [59] [72]
7	Sébastien Bornot	[5]
8	Oleg Botchkarev	[15]
9	Ahmed Bouajjani	[4] [34]
10	Marius Bozga	[8] [9] [13] [35]
11	Christopher X. Brooks	[76]
12	Benoît Caillaud	[50]
13	Luca P. Carloni	[50] [77]
14	Paul Caspi	[22] [26] [28] [33] [36] [42] [49] [50] [56] [59] [61] [72]
15	Franck Cassez	[51] [52] [57] [60] [74]
16	Jean-François Condotta	[40] [45]
17	Costas Courcoubetis	[2]
18	Adrian Curic	[26] [28] [36]
19	Conrado Daws	[1] [6] [8] [9]
20	Ulrich Fahrenberg (Uli Fahrenberg)	[81]
21	Thomas Huining Feng	[71]
22	Marc Geilen (Marc C. W. Geilen)	[79]
23	Arkadeb Ghosal	[80]
24	Gregor Gößler (Gregor Goessler)	[12]
25	Radu Grosu	[46]
26	Paul Le Guernic	[22]
27	Thomas A. Henzinger	[18] [73] [78]
28	Xiaowan Huang	[46]
29	Jacob Kornerup	[80]
30	Moez Krichen	[30] [32] [35] [37] [38] [47] [48] [54] [66]
31	Bruce H. Krogh	[18]
32	Elizabeth Latronico	[70]
33	Edward A. Lee	[70] [73] [75] [76] [78]
34	Man-Kit Leung	[70]
35	Ben Lickly	[70] [73] [78]
36	Gérard Ligozat (Gerard Ligozat)	[40] [45]
37	Rhishikesh Limaye	[80]
38	Roberto Lublinerman	[63] [64] [65] [69] [72]
39	Aude Maignan	[26] [28]
40	Lotfi Majdoub	[54]
41	Oded Maler	[8] [9] [13] [18]
42	Thomas Mandl	[70]
43	Florence Maraninchi	[33]
44	Hervé Marchand	[22]
45	Manfred Morari	[18]
46	Marco Di Natale	[56] [59]
47	Peter Niebert	[26]
48	Alfredo Olivero	[1] [8] [9]
49	Peter Csaba Ölveczky	[71]
50	Constantinos C. Pantelides (Costas C. Pantelides)	[18]
51	George J. Pappas	[18]
52	Doron Peled	[31] [39] [55] [58]
53	Claudio Pinello	[56] [59]
54	Amir Pnueli	[12]
55	Anuj Puri	[20]
56	Hongyang Qu	[31] [39] [55] [58]
57	Kaushik Ravindran	[80]
58	Riadh Robbana	[54]
59	Mahmoud Saade	[45]
60	Alberto L. Sangiovanni-Vincentelli	[18] [50] [56] [59]
61	Norman Scaife	[33] [42] [61]
62	Charles P. Shelton	[70]
63	Joseph Sifakis	[5] [12] [24]
64	Tunc Simsec	[18]
65	Scott A. Smolka	[46]
66	Christos Sofronis	[26] [28] [33] [36] [42] [49] [61]
67	Christian Szegedy	[69]
68	Janos Sztipanovits	[18]
69	Jean-Pierre Talpin	[22]
70	Wenkai Tan	[46]
71	Jean-Marc Vincent	[62]
72	Guoqiang Wang	[80]
73	Maarten Wiggers	[79]
74	Ian Wong	[80]
75	Guang Yang	[80]
76	Sergio Yovine	[1] [3] [4] [7] [8] [9] [12] [16] [17] [24] [34]
77	Lenore D. Zuck	[55]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page