Stavros 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,