Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarStavros Tripakis
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
[j32]Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Constrained synthesis from component libraries. Sci. Comput. Program. 171: 21-41 (2019)- [c102]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations. VMCAI 2019: 577-600 - 2018
- [j31]Maria Pittou, Panagiotis Manolios, Jan Reineke, Stavros Tripakis:
Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions. Sci. Comput. Program. 167: 1-24 (2018) - [c101]Stavros Tripakis, Roberto Lublinerman:
Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality. Principles of Modeling 2018: 449-477 - [c100]Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts. DATE 2018: 1574-1579 - [c99]
- [c98]Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis:
Hybrid Co-simulation: It's About Time. MoDELS 2018: 368 - [c97]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
The Refinement Calculus of Reactive Systems Toolset. TACAS (2) 2018: 201-208 - [p1]Sanjit A. Seshia, Natasha Sharygina, Stavros Tripakis:
Modeling for Verification. Handbook of Model Checking 2018: 75-105 - [i16]Artem Yushkovskiy, Stavros Tripakis:
Comparison of Two Theorem Provers: Isabelle/HOL and Coq. CoRR abs/1808.09701 (2018) - 2017
- [j30]Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi:
Supervisory control and reactive synthesis: a comparative introduction. Discrete Event Dynamic Systems 27(2): 209-260 (2017) - [j29]Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. Formal Methods in System Design 51(1): 154-199 (2017) - [j28]Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa:
Predictive runtime verification of timed properties. Journal of Systems and Software 132: 353-365 (2017) - [j27]Rajeev Alur, Stavros Tripakis:
Automatic Synthesis of Distributed Protocols. SIGACT News 48(1): 55-90 (2017) - [j26]Antti Siirtola, Stavros Tripakis, Keijo Heljanko:
When Do We Not Need Complex Assume-Guarantee Rules? ACM Trans. Embedded Comput. Syst. 16(2): 48:1-48:25 (2017) - [j25]Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden:
Runtime Enforcement of Cyber-Physical Systems. ACM Trans. Embedded Comput. Syst. 16(5): 178:1-178:25 (2017) - [c96]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. FORTE 2017: 194-209 - [c95]Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden:
Runtime enforcement of reactive systems using synchronous enforcers. SPIN 2017: 80-89 - [i15]Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
Synthesis of Property-Preserving Mappings. CoRR abs/1705.03618 (2017) - [i14]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
The Refinement Calculus of Reactive Systems. CoRR abs/1710.03979 (2017) - [i13]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
The Refinement Calculus of Reactive Systems Toolset. CoRR abs/1710.08195 (2017) - 2016
- [j24]Stavros Tripakis:
Compositional Model-Based System Design and Other Foundations for Mastering Change. Trans. Found. Mastering Chang. 1: 113-129 (2016) - [j23]Stavros Tripakis:
Compositionality in the Science of System Design. Proceedings of the IEEE 104(5): 960-972 (2016) - [j22]Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal:
Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware. Signal Processing Systems 85(1): 23-43 (2016) - [c94]Maria Pittou, Stavros Tripakis:
Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. FACS 2016: 73-91 - [c93]Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Constrained Synthesis from Component Libraries. FACS 2016: 92-110 - [c92]Georgios Giantamidis, Stavros Tripakis:
Learning Moore Machines from Input-Output Traces. FM 2016: 291-309 - [c91]Viorel Preoteasa, Stavros Tripakis:
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. LICS 2016: 768-777 - [c90]Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis:
Step revision in hybrid Co-simulation with FMI. MEMOCODE 2016: 173-183 - [c89]
- [c88]Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. SAC 2016: 1628-1633 - [c87]Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher X. Brooks, Edward A. Lee:
FIDE: an FMI integrated development environment. SAC 2016: 1759-1766 - [c86]Maria Pittou, Stavros Tripakis:
Multi-view consistency for infinitary regular languages. SAMOS 2016: 148-155 - [c85]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
Compositional Semantics and Analysis of Hierarchical Block Diagrams. SPIN 2016: 38-56 - [i12]Georgios Giantamidis, Stavros Tripakis:
Learning Moore Machines from Input-Output Traces. CoRR abs/1605.07805 (2016) - [i11]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams. CoRR abs/1611.01337 (2016) - [i10]Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden:
Runtime enforcement of reactive systems using synchronous enforcers. CoRR abs/1612.05030 (2016) - [i9]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. CoRR abs/1612.05494 (2016) - 2015
- [c84]Antti Tapani Siirtola, Stavros Tripakis, Keijo Heljanko:
When Do We (Not) Need Complex Assume-Guarantee Rules? ACSD 2015: 30-39 - [c83]Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Automatic Completion of Distributed Protocols with Symmetry. CAV (2) 2015: 395-412 - [c82]David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter:
Requirements for hybrid cosimulation standards. HSCC 2015: 179-188 - [c81]Stavros Tripakis:
Bridging the semantic gap between heterogeneous modeling formalisms and FMI. SAMOS 2015: 60-69 - [c80]Yang Yang, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms. SAMOS 2015: 113-122 - [i8]Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Automatic Completion of Distributed Protocols with Symmetry. CoRR abs/1505.04409 (2015) - [i7]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
Translating Hierarchical Block Diagrams into Composite Predicate Transformers. CoRR abs/1510.04873 (2015) - [i6]Viorel Preoteasa, Stavros Tripakis:
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. CoRR abs/1510.06379 (2015) - [i5]Benjamin Caulfield, Markus N. Rabe, Sanjit A. Seshia, Stavros Tripakis:
What's Decidable about Syntax-Guided Synthesis? CoRR abs/1510.08393 (2015) - 2014
- [j21]Marco Di Natale, Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis:
Optimized implementation of synchronous models on industrial LTTA systems. Journal of Systems Architecture - Embedded Systems Design 60(4): 315-328 (2014) - [c79]Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Library-based scalable refinement checking for contract-based design. DATE 2014: 1-6 - [c78]
- [c77]Stavros Tripakis, Chris Shaver:
Feedback in Synchronous Relational Interfaces. FPS@ETAPS 2014: 249-266 - [c76]Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Synthesizing Finite-State Protocols from Scenarios and Requirements. Haifa Verification Conference 2014: 75-91 - [c75]Susmit Jha, Stavros Tripakis, Sanjit A. Seshia, Krishnendu Chatterjee:
Game theoretic secure localization in wireless sensor networks. IOT 2014: 85-90 - [c74]Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Are interface theories equivalent to contract theories? MEMOCODE 2014: 104-113 - [c73]Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang:
On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations. ICSAMOS 2014: 51-58 - [c72]
- [c71]Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi:
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. WODES 2014: 222-227 - [i4]Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Synthesizing Finite-state Protocols from Scenarios and Requirements. CoRR abs/1402.7150 (2014) - [i3]Viorel Preoteasa, Stavros Tripakis:
Refinement Calculus of Reactive Systems. CoRR abs/1406.6035 (2014) - 2013
- [j20]Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee:
A modular formal semantics for Ptolemy. Mathematical Structures in Computer Science 23(4): 834-881 (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:1-83:26 (2013) - [c70]David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter:
Determinate composition of FMUs for co-simulation. EMSOFT 2013: 2:1-2:12 - [c69]Magnus Persson, Martin Törngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil:
A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. EMSOFT 2013: 10:1-10:10 - [c68]Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee:
On the Verification of Timed Discrete-Event Models. FORMATS 2013: 213-227 - [c67]Patricia Derler, Edward A. Lee, Stavros Tripakis, Martin Törngren:
Cyber-physical system design contracts. ICCPS 2013: 109-118 - [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 - [c63]David Broman, Edward A. Lee, Stavros Tripakis, Martin Törngren:
Viewpoints, formalisms, languages, and tools for cyber-physical systems. MPM@MoDELS 2012: 49-54 - 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:1-14:41 (2011) - [c62]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 - [c61]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:
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 [contents] - 2010
- [c60]Christopher X. Brooks, Edward A. Lee, Stavros Tripakis:
Exploring models of computation with ptolemy II. CODES+ISSS 2010: 331-332 - [c59]
- [c58]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:
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 [contents] - [i2]
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): 15:1-15:19 (2009) - [c57]Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee:
On relational interfaces. EMSOFT 2009: 67-76 - [c56]Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis:
Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC 2009: 46-60 - [c55]Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis:
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM 2009: 717-736 - [c54]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 - [c53]Roberto Lublinerman, Christian Szegedy, Stavros Tripakis:
Modular code generation from synchronous block diagrams: modularity vs. code size. POPL 2009: 78-89 - [c52]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 A. 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): 15:1-15:40 (2008) - [c51]Roberto Lublinerman, Stavros Tripakis:
Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. DATE 2008: 1504-1509 - [c50]Roberto Lublinerman, Stavros Tripakis:
Translating data flow to synchronous block diagrams. ESTImedia 2008: 101-106 - [c49]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 - [c48]Nazha Abed, Stavros Tripakis, Jean-Marc Vincent:
Resource-Aware Verification Using Randomized Exploration of Large State Spaces. SPIN 2008: 214-231 - 2007
- [c47]Franck Cassez, Stavros Tripakis, Karine Altisen:
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD 2007: 90-99 - [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 A. 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 - [r1]Paul Caspi, Stavros Tripakis, Pascal Raymond:
Synchronous Programming. Handbook of Real-Time and Embedded Systems 2007 - [i1]Stavros Tripakis:
Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks. Runtime Verification 2007 - 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 A. 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 A. 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,