| 2009 |
|---|
| 68 | EE | Paul Caspi,
Albert Benveniste,
Roberto Lublinerman,
Stavros Tripakis:
Actors without Directors: A Kahnian View of Heterogeneous Systems.
HSCC 2009: 46-60 |
| 67 | EE | Roberto Lublinerman,
Christian Szegedy,
Stavros Tripakis:
Modular code generation from synchronous block diagrams: modularity vs. code size.
POPL 2009: 78-89 |
| 66 | EE | Stavros Tripakis:
Checking timed Büchi automata emptiness on simulation graphs.
ACM Trans. Comput. Log. 10(3): (2009) |
| 2008 |
|---|
| 65 | EE | Roberto Lublinerman,
Stavros Tripakis:
Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams.
DATE 2008: 1504-1509 |
| 64 | EE | Roberto Lublinerman,
Stavros Tripakis:
Translating data flow to synchronous block diagrams.
ESTImedia 2008: 101-106 |
| 63 | EE | 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 | EE | Nazha Abed,
Stavros Tripakis,
Jean-Marc Vincent:
Resource-Aware Verification Using Randomized Exploration of Large State Spaces.
SPIN 2008: 214-231 |
| 61 | EE | Paul Caspi,
Norman Scaife,
Christos Sofronis,
Stavros Tripakis:
Semantics-preserving multitask implementation of synchronous programs.
ACM Trans. Embedded Comput. Syst. 7(2): (2008) |
| 60 | EE | Franck Cassez,
Stavros Tripakis:
Fault Diagnosis with Static and Dynamic Observers.
Fundam. Inform. 88(4): 497-540 (2008) |
| 59 | EE | 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 | EE | 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 | EE | Franck Cassez,
Stavros Tripakis,
Karine Altisen:
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis.
ACSD 2007: 90-99 |
| 56 | EE | 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 | EE | 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 | EE | Stavros Tripakis:
Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks.
Runtime Verification 2007 |
| 52 | EE | 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 | EE | Karine Altisen,
Franck Cassez,
Stavros Tripakis:
Monitoring and fault-diagnosis with digital clocks
ACSD 2006: 101-110 |
| 50 | EE | 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 | EE | Christos Sofronis,
Stavros Tripakis,
Paul Caspi:
A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling.
EMSOFT 2006: 21-33 |
| 48 | EE | Moez Krichen,
Stavros Tripakis:
State-Identification Problems for Finite-State Transducers.
FATES/RV 2006: 148-162 |
| 47 | EE | Moez Krichen,
Stavros Tripakis:
Interesting Properties of the Real-Time Conformance Relation.
ICTAC 2006: 317-331 |
| 46 | EE | 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 | EE | Jean-François Condotta,
Gérard Ligozat,
Mahmoud Saade,
Stavros Tripakis:
Ultimately Periodic Simple Temporal Problems (UPSTPs).
TIME 2006: 69-77 |
| 44 | EE | Stavros Tripakis:
Folk theorems on the determinization and minimization of timed automata.
Inf. Process. Lett. 99(6): 222-226 (2006) |
| 2005 |
|---|
| 43 | EE | Stavros Tripakis:
Two-Phase Distributed Observation Problems.
ACSD 2005: 98-105 |
| 42 | EE | 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 | EE | Karine Altisen,
Stavros Tripakis:
Implementation of Timed Automata: An Issue of Semantics or Modeling?
FORMATS 2005: 273-288 |
| 40 | EE | Jean-François Condotta,
Gérard Ligozat,
Stavros Tripakis:
Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning.
ICTAI 2005: 584-588 |
| 39 | EE | Saddek Bensalem,
Doron Peled,
Hongyang Qu,
Stavros Tripakis:
Generating Path Conditions for Timed Systems.
IFM 2005: 5-19 |
| 38 | EE | Moez Krichen,
Stavros Tripakis:
State Identification Problems for Timed Automata.
TestCom 2005: 175-191 |
| 37 | EE | Moez Krichen,
Stavros Tripakis:
An Expressive and Implementable Formal Framework for Testing Real-Time Systems.
TestCom 2005: 209-225 |
| 36 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Moez Krichen,
Stavros Tripakis:
Black-Box Conformance Testing for Real-Time Systems.
SPIN 2004: 109-126 |
| 29 | EE | Stavros Tripakis:
Undecidable problems of decentralized observation and control on regular languages.
Inf. Process. Lett. 90(1): 21-28 (2004) |
| 2003 |
|---|
| 28 | EE | Paul Caspi,
Adrian Curic,
Aude Maignan,
Christos Sofronis,
Stavros Tripakis:
Translating Discrete-Time Simulink to Lustre.
EMSOFT 2003: 84-99 |
| 27 | EE | Stavros Tripakis:
Folk Theorems on the Determinization and Minimization of Timed Automata.
FORMATS 2003: 182-188 |
| 26 | EE | 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 | EE | 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 | EE | Stavros Tripakis:
Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System.
EMSOFT 2002: 123-137 |
| 22 | EE | 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 | EE | Stavros Tripakis:
Fault Diagnosis for Timed Automata.
FTRTFT 2002: 205-224 |
| 20 | EE | Anuj Puri,
Stavros Tripakis:
Algorithms for the Multi-constrained Routing Problem.
SWAT 2002: 338-347 |
| 19 | EE | Stavros Tripakis:
Automated Composition of Module Chains.
Electr. Notes Theor. Comput. Sci. 65(4): (2002) |
| 2001 |
|---|
| 18 | EE | 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 | EE | Stavros 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 |
|---|
| 15 | EE | Oleg Botchkarev,
Stavros Tripakis:
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations.
HSCC 2000: 73-88 |
| 1999 |
|---|
| 14 | EE | Stavros Tripakis:
Verifying Progress in Timed Systems.
ARTS 1999: 299-314 |
| 13 | EE | Marius Bozga,
Oded Maler,
Stavros Tripakis:
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics.
CHARME 1999: 125-141 |
| 12 | EE | 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 | EE | Stavros Tripakis:
Timed Diagnostics for Reachability Properties.
TACAS 1999: 59-73 |
| 10 | EE | 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 | EE | 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 | EE | 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 | EE | Conrado Daws,
Stavros Tripakis:
Model Checking of Real-Time Reachability Properties Using Abstractions.
TACAS 1998: 313-329 |
| 1997 |
|---|
| 5 | EE | Sébastien Bornot,
Joseph Sifakis,
Stavros Tripakis:
Modeling Urgency in Timed Systems.
COMPOS 1997: 103-129 |
| 4 | EE | 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 |
