publications:
- title: "Timing Analysis and Code Generation of Vehicle Control Software using Taxys"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  year: "2001"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/83/33/show/Products/notes/index.htt?-debug=5#012"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/83/33/show/Products/notes/index.htt?-debug=5#012"
  tags:
  - "analysis"
  - "code generation"
  researchr: "https://researchr.org/publication/TripakisY01"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "55"
  number: "2"
  pages: "277-286"
  kind: "article"
  key: "TripakisY01"
- title: "Hybrid Systems Applications: An Oxymoron?"
  author:
  - name: "Alberto L. Sangiovanni-Vincentelli"
    link: "https://researchr.org/alias/alberto-l.-sangiovanni-vincentelli"
  - name: "Thomas A. Henzinger"
    link: "https://researchr.org/alias/thomas-a.-henzinger"
  - name: "Bruce H. Krogh"
    link: "https://researchr.org/alias/bruce-h.-krogh"
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Manfred Morari"
    link: "https://researchr.org/alias/manfred-morari"
  - name: "Costas C. Pantelides"
    link: "https://researchr.org/alias/costas-c.-pantelides"
  - name: "George J. Pappas"
    link: "https://researchr.org/alias/george-j.-pappas"
  - name: "Tunc Simsec"
    link: "https://researchr.org/alias/tunc-simsec"
  - name: "Janos Sztipanovits"
    link: "https://researchr.org/alias/janos-sztipanovits"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2034/20340005.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2034/20340005.htm"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/Sangiovanni-VincentelliHKMMPPSST01"
  cites: 0
  citedby: 0
  pages: "5-6"
  booktitle: "hybrid"
  kind: "inproceedings"
  key: "Sangiovanni-VincentelliHKMMPPSST01"
- title: "Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Christos Sofronis"
    link: "https://researchr.org/alias/christos-sofronis"
  - name: "Norman Scaife"
    link: "https://researchr.org/alias/norman-scaife"
  - name: "Paul Caspi"
    link: "https://researchr.org/alias/paul-caspi"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1086228.1086292"
  links:
    doi: "http://doi.acm.org/10.1145/1086228.1086292"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/TripakisSSC05"
  cites: 0
  citedby: 0
  pages: "353-360"
  booktitle: "emsoft"
  kind: "inproceedings"
  key: "TripakisSSC05"
- title: "Automated Module Composition"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2619/26190347.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2619/26190347.htm"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/Tripakis03%3A0"
  cites: 0
  citedby: 0
  pages: "347-362"
  booktitle: "TACAS"
  kind: "inproceedings"
  key: "Tripakis03:0"
- title: "Model Checking of Real-Time Reachability Properties Using Abstractions"
  author:
  - name: "Conrado Daws"
    link: "https://researchr.org/alias/conrado-daws"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1384/13840313.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1384/13840313.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "abstraction"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/DawsT98"
  cites: 0
  citedby: 0
  pages: "313-329"
  booktitle: "TACAS"
  kind: "inproceedings"
  key: "DawsT98"
- title: "A Framework for Scheduler Synthesis"
  author:
  - name: "Karine Altisen"
    link: "https://researchr.org/alias/karine-altisen"
  - name: "Gregor Gößler"
    link: "https://researchr.org/alias/gregor-g%C3%B6%C3%9Fler"
  - name: "Amir Pnueli"
    link: "http://www.wisdom.weizmann.ac.il/~amir/"
  - name: "Joseph Sifakis"
    link: "https://researchr.org/alias/joseph-sifakis"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  year: "1999"
  doi: "http://www.computer.org/proceedings/rtss/0475/04750154abs.htm"
  links:
    doi: "http://www.computer.org/proceedings/rtss/0475/04750154abs.htm"
  researchr: "https://researchr.org/publication/AltisenGPSTY99"
  cites: 0
  citedby: 0
  pages: "154-163"
  booktitle: "rtss"
  kind: "inproceedings"
  key: "AltisenGPSTY99"
- title: "Analysis of Timed Systems Based on Time-Abstracting Bisimulation"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  year: "1996"
  tags:
  - "rule-based"
  - "analysis"
  researchr: "https://researchr.org/publication/TripakisY96"
  cites: 0
  citedby: 0
  pages: "232-243"
  booktitle: "cav"
  kind: "inproceedings"
  key: "TripakisY96"
- title: "Implementing Synchronous Models on Loosely Time Triggered Architectures"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Claudio Pinello"
    link: "https://researchr.org/alias/claudio-pinello"
  - name: "Albert Benveniste"
    link: "https://researchr.org/alias/albert-benveniste"
  - name: "Alberto L. Sangiovanni-Vincentelli"
    link: "https://researchr.org/alias/alberto-l.-sangiovanni-vincentelli"
  - name: "Paul Caspi"
    link: "https://researchr.org/alias/paul-caspi"
  - name: "Marco Di Natale"
    link: "https://researchr.org/alias/marco-di-natale"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/TC.2008.81"
  links:
    doi: "http://dx.doi.org/10.1109/TC.2008.81"
  tags:
  - "architecture"
  researchr: "https://researchr.org/publication/TripakisPBSCN08"
  cites: 0
  citedby: 0
  journal: "TC"
  volume: "57"
  number: "10"
  pages: "1300-1314"
  kind: "article"
  key: "TripakisPBSCN08"
- title: "Undecidable problems of decentralized observation and control on regular languages"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.ipl.2004.01.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2004.01.004"
  researchr: "https://researchr.org/publication/Tripakis04"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "90"
  number: "1"
  pages: "21-28"
  kind: "article"
  key: "Tripakis04"
- title: "Translating Discrete-Time Simulink to Lustre"
  author:
  - name: "Paul Caspi"
    link: "https://researchr.org/alias/paul-caspi"
  - name: "Adrian Curic"
    link: "https://researchr.org/alias/adrian-curic"
  - name: "Aude Maignan"
    link: "https://researchr.org/alias/aude-maignan"
  - name: "Christos Sofronis"
    link: "https://researchr.org/alias/christos-sofronis"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2855&spage=84"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2855&spage=84"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/CaspiCMST03"
  cites: 0
  citedby: 0
  pages: "84-99"
  booktitle: "emsoft"
  kind: "inproceedings"
  key: "CaspiCMST03"
- title: "Building models of real-time systems from application software"
  author:
  - name: "Joseph Sifakis"
    link: "https://researchr.org/alias/joseph-sifakis"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  year: "2003"
  researchr: "https://researchr.org/publication/SifakisTY03"
  cites: 0
  citedby: 0
  journal: "pieee"
  volume: "91"
  number: "1"
  pages: "100-111"
  kind: "article"
  key: "SifakisTY03"
- title: "State Identification Problems for Timed Automata"
  author:
  - name: "Moez Krichen"
    link: "https://researchr.org/alias/moez-krichen"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11430230_13"
  links:
    doi: "http://dx.doi.org/10.1007/11430230_13"
  researchr: "https://researchr.org/publication/KrichenT05"
  cites: 0
  citedby: 0
  pages: "175-191"
  booktitle: "pts"
  kind: "inproceedings"
  key: "KrichenT05"
- title: "State-Identification Problems for Finite-State Transducers"
  author:
  - name: "Moez Krichen"
    link: "https://researchr.org/alias/moez-krichen"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11940197_10"
  links:
    doi: "http://dx.doi.org/10.1007/11940197_10"
  researchr: "https://researchr.org/publication/KrichenT06%3A0"
  cites: 0
  citedby: 0
  pages: "148-162"
  booktitle: "fates"
  kind: "inproceedings"
  key: "KrichenT06:0"
- title: "Extending Promela and Spin for Real Time"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Costas Courcoubetis"
    link: "https://researchr.org/alias/costas-courcoubetis"
  year: "1996"
  researchr: "https://researchr.org/publication/TripakisC96"
  cites: 0
  citedby: 0
  pages: "329-348"
  booktitle: "TACAS"
  kind: "inproceedings"
  key: "TripakisC96"
- title: "Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams"
  author:
  - name: "Roberto Lublinerman"
    link: "https://researchr.org/alias/roberto-lublinerman"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/DATE.2008.4484887"
  links:
    doi: "http://dx.doi.org/10.1109/DATE.2008.4484887"
  tags:
  - "reuse"
  - "code generation"
  researchr: "https://researchr.org/publication/LublinermanT08"
  cites: 0
  citedby: 0
  pages: "1504-1509"
  booktitle: "date"
  kind: "inproceedings"
  key: "LublinermanT08"
- title: "Automated Composition of Module Chains"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/117/26/show/Products/notes/index.htt#009"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/117/26/show/Products/notes/index.htt#009"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/Tripakis02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "65"
  number: "4"
  pages: "81-90"
  kind: "article"
  key: "Tripakis02"
- title: "From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications"
  author:
  - name: "Paul Caspi"
    link: "https://researchr.org/alias/paul-caspi"
  - name: "Adrian Curic"
    link: "https://researchr.org/alias/adrian-curic"
  - name: "Aude Maignan"
    link: "https://researchr.org/alias/aude-maignan"
  - name: "Christos Sofronis"
    link: "https://researchr.org/alias/christos-sofronis"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Peter Niebert"
    link: "https://researchr.org/alias/peter-niebert"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/780732.780754"
  links:
    doi: "http://doi.acm.org/10.1145/780732.780754"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/CaspiCMSTN03"
  cites: 0
  citedby: 0
  pages: "153-162"
  booktitle: "lctrts"
  kind: "inproceedings"
  key: "CaspiCMSTN03"
- title: "Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2491/24910123.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2491/24910123.htm"
  tags:
  - "control systems"
  - "software architecture"
  - "architecture"
  - "analysis"
  researchr: "https://researchr.org/publication/Tripakis02%3A0"
  cites: 0
  citedby: 0
  pages: "123-137"
  booktitle: "emsoft"
  kind: "inproceedings"
  key: "Tripakis02:0"
- title: "A Protocol for Loosely Time-Triggered Architectures"
  author:
  - name: "Albert Benveniste"
    link: "https://researchr.org/alias/albert-benveniste"
  - name: "Paul Caspi"
    link: "https://researchr.org/alias/paul-caspi"
  - name: "Paul Le Guernic"
    link: "https://researchr.org/alias/paul-le-guernic"
  - name: "Hervé Marchand"
    link: "https://researchr.org/alias/herv%C3%A9-marchand"
  - name: "Jean-Pierre Talpin"
    link: "https://researchr.org/alias/jean-pierre-talpin"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2491/24910252.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2491/24910252.htm"
  tags:
  - "protocol"
  - "architecture"
  researchr: "https://researchr.org/publication/BenvenisteCGMTT02"
  cites: 0
  citedby: 0
  pages: "252-265"
  booktitle: "emsoft"
  kind: "inproceedings"
  key: "BenvenisteCGMTT02"
- title: "Verifying Progress in Timed Systems"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1601/16010299.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1601/16010299.htm"
  researchr: "https://researchr.org/publication/Tripakis99%3A0"
  cites: 0
  citedby: 0
  pages: "299-314"
  booktitle: "arts"
  kind: "inproceedings"
  key: "Tripakis99:0"
- title: "Resource-Aware Verification Using Randomized Exploration of Large State Spaces"
  author:
  - name: "Nazha Abed"
    link: "https://researchr.org/alias/nazha-abed"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Jean-Marc Vincent"
    link: "https://researchr.org/alias/jean-marc-vincent"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-85114-1_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-85114-1_16"
  tags:
  - "context-aware"
  researchr: "https://researchr.org/publication/AbedTV08"
  cites: 0
  citedby: 0
  pages: "214-231"
  booktitle: "spin"
  kind: "inproceedings"
  key: "AbedTV08"
- title: "Interesting Properties of the Real-Time Conformance Relation"
  author:
  - name: "Moez Krichen"
    link: "https://researchr.org/alias/moez-krichen"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11921240_22"
  links:
    doi: "http://dx.doi.org/10.1007/11921240_22"
  researchr: "https://researchr.org/publication/KrichenT06"
  cites: 0
  citedby: 0
  pages: "317-331"
  booktitle: "ictac"
  kind: "inproceedings"
  key: "KrichenT06"
- title: "Two-Phase Distributed Observation Problems"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.33"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.33"
  researchr: "https://researchr.org/publication/Tripakis05"
  cites: 0
  citedby: 0
  pages: "98-105"
  booktitle: "acsd"
  kind: "inproceedings"
  key: "Tripakis05"
- title: "KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT  98)"
  author:
  - name: "Marius Bozga"
    link: "https://researchr.org/alias/marius-bozga"
  - name: "Conrado Daws"
    link: "https://researchr.org/alias/conrado-daws"
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Alfredo Olivero"
    link: "https://researchr.org/alias/alfredo-olivero"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1486/14860298.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1486/14860298.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BozgaDMOTY98"
  cites: 0
  citedby: 0
  pages: "298-302"
  booktitle: "ftrtft"
  kind: "inproceedings"
  key: "BozgaDMOTY98"
- title: "Analysis of Timed Systems Using Time-Abstracting Bisimulations"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  year: "2001"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/TripakisY01%3A0"
  cites: 0
  citedby: 0
  journal: "fmsd"
  volume: "18"
  number: "1"
  pages: "25-68"
  kind: "article"
  key: "TripakisY01:0"
- title: "Modular code generation from synchronous block diagrams: modularity vs. code size"
  author:
  - name: "Roberto Lublinerman"
    link: "https://researchr.org/alias/roberto-lublinerman"
  - name: "Christian Szegedy"
    link: "https://researchr.org/alias/christian-szegedy"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1480881.1480893"
  abstract: "We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the embedded software domain, such as Simulink and SCADE. Code is modular in the sense that it is generated for a given composite block independently from context (i.e., without knowing in which diagrams the block is to be used) and using minimal information about the internals of the block. In previous work, we have shown how modular code can be generated by computing a set of interface functions for each block and a set of dependencies between these functions that is exported along with the interface. We have also introduced a quantified notion of modularity in terms of the number of interface functions generated per block, and showed how to minimize this number, which is essential for scalability. Finally, we have exposed the fundamental trade-off between modularity and reusability (set of diagrams the block can be used in). In this paper we explore another trade-off: modularity vs. code size. We show that our previous technique, although it achieves maximal reusability and is optimal in terms of modularity, may result in code replication and therefore large code sizes, something often unacceptable in an embedded system context. We propose to remedy this by generating code with no replication, and show that this generally results in some loss of modularity. We show that optimizing modularity while maintaining maximal reusability and zero replication is an intractable problem (NP-complete). We also show that this problem can be solved using a simple iterative procedure that checks satisfiability of a sequence of propositional formulas. We report on a new prototype implementation and experimental results. The latter demonstrate the practical interest in our methods."
  links:
    doi: "http://doi.acm.org/10.1145/1480881.1480893"
  tags:
  - "optimization"
  - "semantics"
  - "completeness"
  - "model checking"
  - "meta-model"
  - "embedded software"
  - "reuse"
  - "code generation"
  - "sequence diagrams"
  - "information models"
  - "context-aware"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/LublinermanST09"
  cites: 0
  citedby: 0
  pages: "78-89"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "LublinermanST09"
- title: "Test Case Generation for Ultimately Periodic Paths"
  author:
  - name: "Saddek Bensalem"
    link: "https://researchr.org/alias/saddek-bensalem"
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  - name: "Hongyang Qu"
    link: "https://researchr.org/alias/hongyang-qu"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-77966-7_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-77966-7_12"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/BensalemPQTZ07"
  cites: 0
  citedby: 0
  pages: "120-135"
  booktitle: "hvc"
  kind: "inproceedings"
  key: "BensalemPQTZ07"
- title: "Checking Timed Büchi Automata Emptiness Efficiently"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s10703-005-1632-8"
  links:
    doi: "http://dx.doi.org/10.1007/s10703-005-1632-8"
  researchr: "https://researchr.org/publication/TripakisYB05"
  cites: 0
  citedby: 0
  journal: "fmsd"
  volume: "26"
  number: "3"
  pages: "267-292"
  kind: "article"
  key: "TripakisYB05"
- title: "Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2007"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2008/1370"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2008/1370"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/Tripakis07"
  cites: 0
  citedby: 0
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "Tripakis07"
- title: "Ultimately Periodic Simple Temporal Problems (UPSTPs)"
  author:
  - name: "Jean-François Condotta"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-condotta"
  - name: "Gérard Ligozat"
    link: "https://researchr.org/alias/g%C3%A9rard-ligozat"
  - name: "Mahmoud Saade"
    link: "https://researchr.org/alias/mahmoud-saade"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TIME.2006.33"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TIME.2006.33"
  researchr: "https://researchr.org/publication/CondottaLST06"
  cites: 0
  citedby: 0
  pages: "69-77"
  booktitle: "time"
  kind: "inproceedings"
  key: "CondottaLST06"
- title: "Loosely time-triggered architectures based on communication-by-sampling"
  author:
  - name: "Albert Benveniste"
    link: "https://researchr.org/alias/albert-benveniste"
  - name: "Paul Caspi"
    link: "https://researchr.org/alias/paul-caspi"
  - name: "Marco Di Natale"
    link: "https://researchr.org/alias/marco-di-natale"
  - name: "Claudio Pinello"
    link: "https://researchr.org/alias/claudio-pinello"
  - name: "Alberto L. Sangiovanni-Vincentelli"
    link: "https://researchr.org/alias/alberto-l.-sangiovanni-vincentelli"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1289927.1289964"
  links:
    doi: "http://doi.acm.org/10.1145/1289927.1289964"
  tags:
  - "rule-based"
  - "architecture"
  researchr: "https://researchr.org/publication/BenvenisteCNPST07"
  cites: 0
  citedby: 0
  pages: "231-239"
  booktitle: "emsoft"
  kind: "inproceedings"
  key: "BenvenisteCNPST07"
- title: "Actors without Directors: A Kahnian View of Heterogeneous Systems"
  author:
  - name: "Paul Caspi"
    link: "https://researchr.org/alias/paul-caspi"
  - name: "Albert Benveniste"
    link: "https://researchr.org/alias/albert-benveniste"
  - name: "Roberto Lublinerman"
    link: "https://researchr.org/alias/roberto-lublinerman"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00602-9_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00602-9_4"
  researchr: "https://researchr.org/publication/CaspiBLT09"
  cites: 0
  citedby: 0
  pages: "46-60"
  booktitle: "hybrid"
  kind: "inproceedings"
  key: "CaspiBLT09"
- title: "Monitoring and fault-diagnosis with digital clocks"
  author:
  - name: "Karine Altisen"
    link: "https://researchr.org/alias/karine-altisen"
  - name: "Franck Cassez"
    link: "https://researchr.org/alias/franck-cassez"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2006.10"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2006.10"
  researchr: "https://researchr.org/publication/AltisenCT06"
  cites: 0
  citedby: 0
  pages: "101-110"
  booktitle: "acsd"
  kind: "inproceedings"
  key: "AltisenCT06"
- title: "On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Karine Altisen"
    link: "https://researchr.org/alias/karine-altisen"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1708/17080233.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1708/17080233.htm"
  researchr: "https://researchr.org/publication/TripakisA99"
  cites: 0
  citedby: 0
  pages: "233-252"
  booktitle: "FM"
  kind: "inproceedings"
  key: "TripakisA99"
- title: "Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  year: "1998"
  doi: "http://dlib.computer.org/conferen/rtas/8569/pdf/85690165.pdf"
  links:
    doi: "http://dlib.computer.org/conferen/rtas/8569/pdf/85690165.pdf"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/TripakisY98"
  cites: 0
  citedby: 0
  pages: "165"
  booktitle: "rtas"
  kind: "inproceedings"
  key: "TripakisY98"
- title: "Kronos: A Model-Checking Tool for Real-Time Systems"
  author:
  - name: "Marius Bozga"
    link: "https://researchr.org/alias/marius-bozga"
  - name: "Conrado Daws"
    link: "https://researchr.org/alias/conrado-daws"
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Alfredo Olivero"
    link: "https://researchr.org/alias/alfredo-olivero"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  year: "1998"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BozgaDMOTY98%3A0"
  cites: 0
  citedby: 0
  pages: "546-550"
  booktitle: "cav"
  kind: "inproceedings"
  key: "BozgaDMOTY98:0"
- title: "Real-Time Testing with Timed Automata Testers and Coverage Criteria"
  author:
  - name: "Moez Krichen"
    link: "https://researchr.org/alias/moez-krichen"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3253&spage=134"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3253&spage=134"
  tags:
  - "test coverage"
  - "testing"
  - "coverage"
  researchr: "https://researchr.org/publication/KrichenT04"
  cites: 0
  citedby: 0
  pages: "134-151"
  booktitle: "formats"
  kind: "inproceedings"
  key: "KrichenT04"
- title: "Semantics-preserving multitask implementation of synchronous programs"
  author:
  - name: "Paul Caspi"
    link: "https://researchr.org/alias/paul-caspi"
  - name: "Norman Scaife"
    link: "https://researchr.org/alias/norman-scaife"
  - name: "Christos Sofronis"
    link: "https://researchr.org/alias/christos-sofronis"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1331331.1331339"
  links:
    doi: "http://doi.acm.org/10.1145/1331331.1331339"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/CaspiSST08"
  cites: 0
  citedby: 0
  journal: "tecs"
  volume: "7"
  number: "2"
  kind: "article"
  key: "CaspiSST08"
- title: "Translating data flow to synchronous block diagrams"
  author:
  - name: "Roberto Lublinerman"
    link: "https://researchr.org/alias/roberto-lublinerman"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/ESTMED.2008.4697005"
  links:
    doi: "http://dx.doi.org/10.1109/ESTMED.2008.4697005"
  tags:
  - "translation"
  - "data-flow"
  researchr: "https://researchr.org/publication/LublinermanT08%3A0"
  cites: 0
  citedby: 0
  pages: "101-106"
  booktitle: "estimedia"
  kind: "inproceedings"
  key: "LublinermanT08:0"
- title: "Defining and translating a  safe  subset of simulink/stateflow into lustre"
  author:
  - name: "Norman Scaife"
    link: "https://researchr.org/alias/norman-scaife"
  - name: "Christos Sofronis"
    link: "https://researchr.org/alias/christos-sofronis"
  - name: "Paul Caspi"
    link: "https://researchr.org/alias/paul-caspi"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Florence Maraninchi"
    link: "https://researchr.org/alias/florence-maraninchi"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1017753.1017795"
  links:
    doi: "http://doi.acm.org/10.1145/1017753.1017795"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/ScaifeSCTM04"
  cites: 0
  citedby: 0
  pages: "259-268"
  booktitle: "emsoft"
  kind: "inproceedings"
  key: "ScaifeSCTM04"
- title: "Generating Path Conditions for Timed Systems"
  author:
  - name: "Saddek Bensalem"
    link: "https://researchr.org/alias/saddek-bensalem"
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  - name: "Hongyang Qu"
    link: "https://researchr.org/alias/hongyang-qu"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11589976_2"
  links:
    doi: "http://dx.doi.org/10.1007/11589976_2"
  researchr: "https://researchr.org/publication/BensalemPQT05"
  cites: 0
  citedby: 0
  pages: "5-19"
  booktitle: "IFM"
  kind: "inproceedings"
  key: "BensalemPQT05"
- title: "Black-Box Conformance Testing for Real-Time Systems"
  author:
  - name: "Moez Krichen"
    link: "https://researchr.org/alias/moez-krichen"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2989&spage=109"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2989&spage=109"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/KrichenT04%3A0"
  cites: 0
  citedby: 0
  pages: "109-126"
  booktitle: "spin"
  kind: "inproceedings"
  key: "KrichenT04:0"
- title: "Deep Random Search for Efficient Model Checking of Timed Automata"
  author:
  - name: "Radu Grosu"
    link: "https://researchr.org/alias/radu-grosu"
  - name: "Xiaowan Huang"
    link: "https://researchr.org/alias/xiaowan-huang"
  - name: "Scott A. Smolka"
    link: "https://researchr.org/alias/scott-a.-smolka"
  - name: "Wenkai Tan"
    link: "https://researchr.org/alias/wenkai-tan"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-77419-8_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-77419-8_7"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "search"
  researchr: "https://researchr.org/publication/GrosuHSTT06"
  cites: 0
  citedby: 0
  pages: "111-124"
  booktitle: "monterey"
  kind: "inproceedings"
  key: "GrosuHSTT06"
- title: "Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems"
  author:
  - name: "Franck Cassez"
    link: "https://researchr.org/alias/franck-cassez"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Karine Altisen"
    link: "https://researchr.org/alias/karine-altisen"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TASE.2007.51"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TASE.2007.51"
  researchr: "https://researchr.org/publication/CassezTA07"
  cites: 0
  citedby: 0
  pages: "316-325"
  booktitle: "tase"
  kind: "inproceedings"
  key: "CassezTA07"
- title: "On-the-fly symbolic model checking for real-time systems"
  author:
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  year: "1997"
  doi: "http://computer.org/proceedings/rtss/8268/82680025abs.htm"
  links:
    doi: "http://computer.org/proceedings/rtss/8268/82680025abs.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BouajjaniTY97"
  cites: 0
  citedby: 0
  pages: "25"
  booktitle: "rtss"
  kind: "inproceedings"
  key: "BouajjaniTY97"
- title: "Testing Conformance of Real-Time Applications by Automatic Generation of Observers"
  author:
  - name: "Saddek Bensalem"
    link: "https://researchr.org/alias/saddek-bensalem"
  - name: "Marius Bozga"
    link: "https://researchr.org/alias/marius-bozga"
  - name: "Moez Krichen"
    link: "https://researchr.org/alias/moez-krichen"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.01.036"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.01.036"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/BensalemBKT05"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "113"
  pages: "23-43"
  kind: "article"
  key: "BensalemBKT05"
- title: "Fault Diagnosis with Static and Dynamic Observers"
  author:
  - name: "Franck Cassez"
    link: "https://researchr.org/alias/franck-cassez"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2008"
  doi: "http://iospress.metapress.com/content/m751x45t89436815/"
  links:
    doi: "http://iospress.metapress.com/content/m751x45t89436815/"
  researchr: "https://researchr.org/publication/CassezT08"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "88"
  number: "4"
  pages: "497-540"
  kind: "article"
  key: "CassezT08"
- title: "Fault Diagnosis for Timed Automata"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2469/24690205.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2469/24690205.htm"
  researchr: "https://researchr.org/publication/Tripakis02%3A1"
  cites: 0
  citedby: 0
  pages: "205-224"
  booktitle: "ftrtft"
  kind: "inproceedings"
  key: "Tripakis02:1"
- title: "Automatic Generation of Path Conditions for Timed Systems"
  author:
  - name: "Saddek Bensalem"
    link: "https://researchr.org/alias/saddek-bensalem"
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  - name: "Hongyang Qu"
    link: "https://researchr.org/alias/hongyang-qu"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2004"
  researchr: "https://researchr.org/publication/BensalemPQT04"
  cites: 0
  citedby: 0
  pages: "243-249"
  booktitle: "ISoLA"
  kind: "inproceedings"
  key: "BensalemPQT04"
- title: "Communication by sampling in time-sensitive distributed systems"
  author:
  - name: "Albert Benveniste"
    link: "https://researchr.org/alias/albert-benveniste"
  - name: "Benoît Caillaud"
    link: "http://www.irisa.fr/prive/Benoit.Caillaud/"
  - name: "Luca P. Carloni"
    link: "https://researchr.org/alias/luca-p.-carloni"
  - name: "Paul Caspi"
    link: "https://researchr.org/alias/paul-caspi"
  - name: "Alberto L. Sangiovanni-Vincentelli"
    link: "https://researchr.org/alias/alberto-l.-sangiovanni-vincentelli"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1176887.1176909"
  links:
    doi: "http://doi.acm.org/10.1145/1176887.1176909"
  researchr: "https://researchr.org/publication/BenvenisteCCCST06"
  cites: 0
  citedby: 0
  pages: "152-160"
  booktitle: "emsoft"
  kind: "inproceedings"
  key: "BenvenisteCCCST06"
- title: "Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics"
  author:
  - name: "Marius Bozga"
    link: "https://researchr.org/alias/marius-bozga"
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1703/17030125.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1703/17030125.htm"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/BozgaMT99"
  cites: 0
  citedby: 0
  pages: "125-141"
  booktitle: "charme"
  kind: "inproceedings"
  key: "BozgaMT99"
- title: "Translating discrete-time simulink to lustre"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Christos Sofronis"
    link: "https://researchr.org/alias/christos-sofronis"
  - name: "Paul Caspi"
    link: "https://researchr.org/alias/paul-caspi"
  - name: "Adrian Curic"
    link: "https://researchr.org/alias/adrian-curic"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1113830.1113834"
  links:
    doi: "http://doi.acm.org/10.1145/1113830.1113834"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/TripakisSCC05"
  cites: 0
  citedby: 0
  journal: "tecs"
  volume: "4"
  number: "4"
  pages: "779-818"
  kind: "article"
  key: "TripakisSCC05"
- title: "Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations"
  author:
  - name: "Oleg Botchkarev"
    link: "https://researchr.org/alias/oleg-botchkarev"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1790/17900073.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1790/17900073.htm"
  researchr: "https://researchr.org/publication/BotchkarevT00"
  cites: 0
  citedby: 0
  pages: "73-88"
  booktitle: "hybrid"
  kind: "inproceedings"
  key: "BotchkarevT00"
- title: "The Tool KRONOS"
  author:
  - name: "Conrado Daws"
    link: "https://researchr.org/alias/conrado-daws"
  - name: "Alfredo Olivero"
    link: "https://researchr.org/alias/alfredo-olivero"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  year: "1995"
  researchr: "https://researchr.org/publication/DawsOTY95"
  cites: 0
  citedby: 0
  pages: "208-219"
  booktitle: "hybrid"
  kind: "inproceedings"
  key: "DawsOTY95"
- title: "Implementation of Timed Automata: An Issue of Semantics or Modeling?"
  author:
  - name: "Karine Altisen"
    link: "https://researchr.org/alias/karine-altisen"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11603009_21"
  links:
    doi: "http://dx.doi.org/10.1007/11603009_21"
  tags:
  - "semantics"
  - "modeling"
  researchr: "https://researchr.org/publication/AltisenT05"
  cites: 0
  citedby: 0
  pages: "273-288"
  booktitle: "formats"
  kind: "inproceedings"
  key: "AltisenT05"
- title: "Folk theorems on the determinization and minimization of timed automata"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.ipl.2006.04.015"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2006.04.015"
  researchr: "https://researchr.org/publication/Tripakis06"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "99"
  number: "6"
  pages: "222-226"
  kind: "article"
  key: "Tripakis06"
- title: "Algorithms for the Multi-constrained Routing Problem"
  author:
  - name: "Anuj Puri"
    link: "https://researchr.org/alias/anuj-puri"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2368/23680338.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2368/23680338.htm"
  tags:
  - "routing"
  researchr: "https://researchr.org/publication/PuriT02"
  cites: 0
  citedby: 0
  pages: "338-347"
  booktitle: "swat"
  kind: "inproceedings"
  key: "PuriT02"
- title: "Modeling Urgency in Timed Systems"
  author:
  - name: "Sébastien Bornot"
    link: "https://researchr.org/alias/s%C3%A9bastien-bornot"
  - name: "Joseph Sifakis"
    link: "https://researchr.org/alias/joseph-sifakis"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "1997"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1536/15360103.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1536/15360103.htm"
  tags:
  - "meta-model"
  - "modeling"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BornotST97"
  cites: 0
  citedby: 0
  pages: "103-129"
  booktitle: "SC"
  kind: "inproceedings"
  key: "BornotST97"
- title: "Modular Code Generation from Triggered and Timed Block Diagrams"
  author:
  - name: "Roberto Lublinerman"
    link: "https://researchr.org/alias/roberto-lublinerman"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RTAS.2008.12"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/RTAS.2008.12"
  tags:
  - "code generation"
  researchr: "https://researchr.org/publication/LublinermanT08%3A1"
  cites: 0
  citedby: 0
  pages: "147-158"
  booktitle: "rtas"
  kind: "inproceedings"
  key: "LublinermanT08:1"
- title: "Folk Theorems on the Determinization and Minimization of Timed Automata"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2791&spage=182"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2791&spage=182"
  researchr: "https://researchr.org/publication/Tripakis03"
  cites: 0
  citedby: 0
  pages: "182-188"
  booktitle: "formats"
  kind: "inproceedings"
  key: "Tripakis03"
- title: "Conformance testing for real-time systems"
  author:
  - name: "Moez Krichen"
    link: "https://researchr.org/alias/moez-krichen"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10703-009-0065-1"
  links:
    doi: "http://dx.doi.org/10.1007/s10703-009-0065-1"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/KrichenT09"
  cites: 0
  citedby: 0
  journal: "fmsd"
  volume: "34"
  number: "3"
  pages: "238-304"
  kind: "article"
  key: "KrichenT09"
- title: "A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling"
  author:
  - name: "Christos Sofronis"
    link: "https://researchr.org/alias/christos-sofronis"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Paul Caspi"
    link: "https://researchr.org/alias/paul-caspi"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1176887.1176892"
  links:
    doi: "http://doi.acm.org/10.1145/1176887.1176892"
  tags:
  - "semantics"
  - "protocol"
  researchr: "https://researchr.org/publication/SofronisTC06"
  cites: 0
  citedby: 0
  pages: "21-33"
  booktitle: "emsoft"
  kind: "inproceedings"
  key: "SofronisTC06"
- title: "Automatic generation of path conditions for concurrent timed systems"
  author:
  - name: "Saddek Bensalem"
    link: "https://researchr.org/alias/saddek-bensalem"
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  - name: "Hongyang Qu"
    link: "https://researchr.org/alias/hongyang-qu"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.tcs.2008.03.012"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2008.03.012"
  researchr: "https://researchr.org/publication/BensalemPQT08"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "404"
  number: "3"
  pages: "275-292"
  kind: "article"
  key: "BensalemPQT08"
- title: "Timed Diagnostics for Reachability Properties"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1579/15790059.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1579/15790059.htm"
  tags:
  - "diagnostics"
  researchr: "https://researchr.org/publication/Tripakis99"
  cites: 0
  citedby: 0
  pages: "59-73"
  booktitle: "TACAS"
  kind: "inproceedings"
  key: "Tripakis99"
- title: "Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning"
  author:
  - name: "Jean-François Condotta"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-condotta"
  - name: "Gérard Ligozat"
    link: "https://researchr.org/alias/g%C3%A9rard-ligozat"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICTAI.2005.124"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICTAI.2005.124"
  tags:
  - "constraints"
  researchr: "https://researchr.org/publication/CondottaLT05"
  cites: 0
  citedby: 0
  pages: "584-588"
  booktitle: "ictai"
  kind: "inproceedings"
  key: "CondottaLT05"
- title: "An Expressive and Implementable Formal Framework for Testing Real-Time Systems"
  author:
  - name: "Moez Krichen"
    link: "https://researchr.org/alias/moez-krichen"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11430230_15"
  links:
    doi: "http://dx.doi.org/10.1007/11430230_15"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/KrichenT05a"
  cites: 0
  citedby: 0
  pages: "209-225"
  booktitle: "pts"
  kind: "inproceedings"
  key: "KrichenT05a"
- title: "Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis"
  author:
  - name: "Franck Cassez"
    link: "https://researchr.org/alias/franck-cassez"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  - name: "Karine Altisen"
    link: "https://researchr.org/alias/karine-altisen"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.65"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.65"
  researchr: "https://researchr.org/publication/CassezTA07%3A0"
  cites: 0
  citedby: 0
  pages: "90-99"
  booktitle: "acsd"
  kind: "inproceedings"
  key: "CassezTA07:0"
- title: "Checking timed Büchi automata emptiness on simulation graphs"
  author:
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1507244.1507245"
  links:
    doi: "http://doi.acm.org/10.1145/1507244.1507245"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Tripakis09"
  cites: 0
  citedby: 0
  journal: "tocl"
  volume: "10"
  number: "3"
  kind: "article"
  key: "Tripakis09"
- title: "A Simplified Approach for Testing Real-Time Systems Based on Action Refinement"
  author:
  - name: "Saddek Bensalem"
    link: "https://researchr.org/alias/saddek-bensalem"
  - name: "Moez Krichen"
    link: "https://researchr.org/alias/moez-krichen"
  - name: "Lotfi Majdoub"
    link: "https://researchr.org/alias/lotfi-majdoub"
  - name: "Riadh Robbana"
    link: "https://researchr.org/alias/riadh-robbana"
  - name: "Stavros Tripakis"
    link: "http://www-verimag.imag.fr/~tripakis/"
  year: "2007"
  tags:
  - "rule-based"
  - "refinement"
  - "testing"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/BensalemKMRT07"
  cites: 0
  citedby: 0
  pages: "191-202"
  booktitle: "ISoLA"
  kind: "inproceedings"
  key: "BensalemKMRT07"