@article{TripakisY01,
  title = {Timing Analysis and Code Generation of Vehicle Control Software using Taxys},
  author = {Stavros Tripakis and Sergio Yovine},
  year = {2001},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {55},
  number = {2},
  pages = {277-286},
}

@inproceedings{Sangiovanni-VincentelliHKMMPPSST01,
  title = {Hybrid Systems Applications: An Oxymoron?},
  author = {Alberto L. Sangiovanni-Vincentelli and Thomas A. Henzinger and Bruce H. Krogh and Oded Maler and Manfred Morari and Costas C. Pantelides and George J. Pappas and Tunc Simsec and Janos Sztipanovits and Stavros Tripakis},
  year = {2001},
  url = {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 Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings},
  editor = {Maria Domenica Di Benedetto and Alberto L. Sangiovanni-Vincentelli},
  volume = {2034},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41866-0},
}

@inproceedings{TripakisSSC05,
  title = {Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers},
  author = {Stavros Tripakis and Christos Sofronis and Norman Scaife and Paul Caspi},
  year = {2005},
  doi = {10.1145/1086228.1086292},
  url = {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 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings},
  editor = {Wayne Wolf},
  publisher = {ACM},
  isbn = {1-59593-091-4},
}

@inproceedings{Tripakis03:0,
  title = {Automated Module Composition},
  author = {Stavros Tripakis},
  year = {2003},
  url = {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 = {Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
  editor = {Hubert Garavel and John Hatcliff},
  volume = {2619},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00898-5},
}

@inproceedings{DawsT98,
  title = {Model Checking of Real-Time Reachability Properties Using Abstractions},
  author = {Conrado Daws and Stavros Tripakis},
  year = {1998},
  url = {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 = {Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS  98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceeding},
  editor = {Bernhard Steffen},
  volume = {1384},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64356-7},
}

@inproceedings{AltisenGPSTY99,
  title = {A Framework for Scheduler Synthesis},
  author = {Karine Altisen and Gregor Gößler and Amir Pnueli and Joseph Sifakis and Stavros Tripakis and Sergio Yovine},
  year = {1999},
  url = {http://www.computer.org/proceedings/rtss/0475/04750154abs.htm},
  researchr = {https://researchr.org/publication/AltisenGPSTY99},
  cites = {0},
  citedby = {0},
  pages = {154-163},
  booktitle = {IEEE Real-Time Systems Symposium},
}

@inproceedings{TripakisY96,
  title = {Analysis of Timed Systems Based on Time-Abstracting Bisimulation},
  author = {Stavros Tripakis and Sergio Yovine},
  year = {1996},
  tags = {rule-based, analysis},
  researchr = {https://researchr.org/publication/TripakisY96},
  cites = {0},
  citedby = {0},
  pages = {232-243},
  booktitle = {Computer Aided Verification, 8th International Conference, CAV  96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
  editor = {Rajeev Alur and Thomas A. Henzinger},
  volume = {1102},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61474-5},
}

@article{TripakisPBSCN08,
  title = {Implementing Synchronous Models on Loosely Time Triggered Architectures},
  author = {Stavros Tripakis and Claudio Pinello and Albert Benveniste and Alberto L. Sangiovanni-Vincentelli and Paul Caspi and Marco Di Natale},
  year = {2008},
  doi = {10.1109/TC.2008.81},
  url = {http://dx.doi.org/10.1109/TC.2008.81},
  tags = {architecture},
  researchr = {https://researchr.org/publication/TripakisPBSCN08},
  cites = {0},
  citedby = {0},
  journal = {IEEE Transactions on Computers},
  volume = {57},
  number = {10},
  pages = {1300-1314},
}

@article{Tripakis04,
  title = {Undecidable problems of decentralized observation and control on regular languages},
  author = {Stavros Tripakis},
  year = {2004},
  doi = {10.1016/j.ipl.2004.01.004},
  url = {http://dx.doi.org/10.1016/j.ipl.2004.01.004},
  researchr = {https://researchr.org/publication/Tripakis04},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {90},
  number = {1},
  pages = {21-28},
}

@inproceedings{CaspiCMST03,
  title = {Translating Discrete-Time Simulink to Lustre},
  author = {Paul Caspi and Adrian Curic and Aude Maignan and Christos Sofronis and Stavros Tripakis},
  year = {2003},
  url = {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 = {Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
  editor = {Rajeev Alur and Insup Lee},
  volume = {2855},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20223-4},
}

@article{SifakisTY03,
  title = {Building models of real-time systems from application software},
  author = {Joseph Sifakis and Stavros Tripakis and Sergio Yovine},
  year = {2003},
  researchr = {https://researchr.org/publication/SifakisTY03},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the IEEE},
  volume = {91},
  number = {1},
  pages = {100-111},
}

@inproceedings{KrichenT05,
  title = {State Identification Problems for Timed Automata},
  author = {Moez Krichen and Stavros Tripakis},
  year = {2005},
  doi = {10.1007/11430230_13},
  url = {http://dx.doi.org/10.1007/11430230_13},
  researchr = {https://researchr.org/publication/KrichenT05},
  cites = {0},
  citedby = {0},
  pages = {175-191},
  booktitle = {Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings},
  editor = {Ferhat Khendek and Rachida Dssouli},
  volume = {3502},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26054-4},
}

@inproceedings{KrichenT06:0,
  title = {State-Identification Problems for Finite-State Transducers},
  author = {Moez Krichen and Stavros Tripakis},
  year = {2006},
  doi = {10.1007/11940197_10},
  url = {http://dx.doi.org/10.1007/11940197_10},
  researchr = {https://researchr.org/publication/KrichenT06%3A0},
  cites = {0},
  citedby = {0},
  pages = {148-162},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers},
  editor = {Klaus Havelund and Manuel Núñez and Grigore Rosu and Burkhart Wolff},
  volume = {4262},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-49699-8},
}

@inproceedings{TripakisC96,
  title = {Extending Promela and Spin for Real Time},
  author = {Stavros Tripakis and Costas Courcoubetis},
  year = {1996},
  researchr = {https://researchr.org/publication/TripakisC96},
  cites = {0},
  citedby = {0},
  pages = {329-348},
  booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS  96, Passau, Germany, March 27-29, 1996, Proceedings},
  editor = {Tiziana Margaria and Bernhard Steffen},
  volume = {1055},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61042-1},
}

@inproceedings{LublinermanT08,
  title = {Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams},
  author = {Roberto Lublinerman and Stavros Tripakis},
  year = {2008},
  doi = {10.1109/DATE.2008.4484887},
  url = {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 = {Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008},
}

@article{Tripakis02,
  title = {Automated Composition of Module Chains},
  author = {Stavros Tripakis},
  year = {2002},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {65},
  number = {4},
  pages = {81-90},
}

@inproceedings{CaspiCMSTN03,
  title = {From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications},
  author = {Paul Caspi and Adrian Curic and Aude Maignan and Christos Sofronis and Stavros Tripakis and Peter Niebert},
  year = {2003},
  doi = {10.1145/780732.780754},
  url = {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 = {Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 03). San Diego, California, USA, June 11-13, 2003},
  publisher = {ACM},
  isbn = {1-58113-647-1},
}

@inproceedings{Tripakis02:0,
  title = {Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System},
  author = {Stavros Tripakis},
  year = {2002},
  url = {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 = {Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings},
  editor = {Alberto L. Sangiovanni-Vincentelli and Joseph Sifakis},
  volume = {2491},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44307-X},
}

@inproceedings{BenvenisteCGMTT02,
  title = {A Protocol for Loosely Time-Triggered Architectures},
  author = {Albert Benveniste and Paul Caspi and Paul Le Guernic and Hervé Marchand and Jean-Pierre Talpin and Stavros Tripakis},
  year = {2002},
  url = {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 = {Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings},
  editor = {Alberto L. Sangiovanni-Vincentelli and Joseph Sifakis},
  volume = {2491},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44307-X},
}

@inproceedings{Tripakis99:0,
  title = {Verifying Progress in Timed Systems},
  author = {Stavros Tripakis},
  year = {1999},
  url = {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 = {Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26-28, 1999. Proceedings},
  editor = {Joost-Pieter Katoen},
  volume = {1601},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66010-0},
}

@inproceedings{AbedTV08,
  title = {Resource-Aware Verification Using Randomized Exploration of Large State Spaces},
  author = {Nazha Abed and Stavros Tripakis and Jean-Marc Vincent},
  year = {2008},
  doi = {10.1007/978-3-540-85114-1_16},
  url = {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 = {Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings},
  editor = {Klaus Havelund and Rupak Majumdar and Jens Palsberg},
  volume = {5156},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85113-4},
}

@inproceedings{KrichenT06,
  title = {Interesting Properties of the Real-Time Conformance Relation},
  author = {Moez Krichen and Stavros Tripakis},
  year = {2006},
  doi = {10.1007/11921240_22},
  url = {http://dx.doi.org/10.1007/11921240_22},
  researchr = {https://researchr.org/publication/KrichenT06},
  cites = {0},
  citedby = {0},
  pages = {317-331},
  booktitle = {Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
  editor = {Kamel Barkaoui and Ana Cavalcanti and Antonio Cerone},
  volume = {4281},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-48815-4},
}

@inproceedings{Tripakis05,
  title = {Two-Phase Distributed Observation Problems},
  author = {Stavros Tripakis},
  year = {2005},
  doi = {10.1109/ACSD.2005.33},
  url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.33},
  researchr = {https://researchr.org/publication/Tripakis05},
  cites = {0},
  citedby = {0},
  pages = {98-105},
  booktitle = {Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2363-3},
}

@inproceedings{BozgaDMOTY98,
  title = {KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT  98)},
  author = {Marius Bozga and Conrado Daws and Oded Maler and Alfredo Olivero and Stavros Tripakis and Sergio Yovine},
  year = {1998},
  url = {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 = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT 98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  editor = {Anders P. Ravn and Hans Rischel},
  volume = {1486},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65003-2},
}

@article{TripakisY01:0,
  title = {Analysis of Timed Systems Using Time-Abstracting Bisimulations},
  author = {Stavros Tripakis and Sergio Yovine},
  year = {2001},
  tags = {analysis},
  researchr = {https://researchr.org/publication/TripakisY01%3A0},
  cites = {0},
  citedby = {0},
  journal = {Formal Methods in System Design},
  volume = {18},
  number = {1},
  pages = {25-68},
}

@inproceedings{LublinermanST09,
  title = {Modular code generation from synchronous block diagrams: modularity vs. code size},
  author = {Roberto Lublinerman and Christian Szegedy and Stavros Tripakis},
  year = {2009},
  doi = {10.1145/1480881.1480893},
  url = {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 = {Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009},
  editor = {Zhong Shao and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {978-1-60558-379-2},
}

@inproceedings{BensalemPQTZ07,
  title = {Test Case Generation for Ultimately Periodic Paths},
  author = {Saddek Bensalem and Doron Peled and Hongyang Qu and Stavros Tripakis and Lenore D. Zuck},
  year = {2007},
  doi = {10.1007/978-3-540-77966-7_12},
  url = {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 = {Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings},
  editor = {Karen Yorav},
  volume = {4899},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77964-3},
}

@article{TripakisYB05,
  title = {Checking Timed Büchi Automata Emptiness Efficiently},
  author = {Stavros Tripakis and Sergio Yovine and Ahmed Bouajjani},
  year = {2005},
  doi = {10.1007/s10703-005-1632-8},
  url = {http://dx.doi.org/10.1007/s10703-005-1632-8},
  researchr = {https://researchr.org/publication/TripakisYB05},
  cites = {0},
  citedby = {0},
  journal = {Formal Methods in System Design},
  volume = {26},
  number = {3},
  pages = {267-292},
}

@inproceedings{Tripakis07,
  title = {Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks},
  author = {Stavros Tripakis},
  year = {2007},
  url = {http://drops.dagstuhl.de/opus/volltexte/2008/1370},
  tags = {testing},
  researchr = {https://researchr.org/publication/Tripakis07},
  cites = {0},
  citedby = {0},
  booktitle = {Runtime Verification, 02.01. - 06.01.2007},
  editor = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky},
  volume = {07011},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@inproceedings{CondottaLST06,
  title = {Ultimately Periodic Simple Temporal Problems (UPSTPs)},
  author = {Jean-François Condotta and Gérard Ligozat and Mahmoud Saade and Stavros Tripakis},
  year = {2006},
  doi = {10.1109/TIME.2006.33},
  url = {http://doi.ieeecomputersociety.org/10.1109/TIME.2006.33},
  researchr = {https://researchr.org/publication/CondottaLST06},
  cites = {0},
  citedby = {0},
  pages = {69-77},
  booktitle = {13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2617-9},
}

@inproceedings{BenvenisteCNPST07,
  title = {Loosely time-triggered architectures based on communication-by-sampling},
  author = {Albert Benveniste and Paul Caspi and Marco Di Natale and Claudio Pinello and Alberto L. Sangiovanni-Vincentelli and Stavros Tripakis},
  year = {2007},
  doi = {10.1145/1289927.1289964},
  url = {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 = {Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria},
  editor = {Christoph M. Kirsch and Reinhard Wilhelm},
  publisher = {ACM},
  isbn = {978-1-59593-825-1},
}

@inproceedings{CaspiBLT09,
  title = {Actors without Directors: A Kahnian View of Heterogeneous Systems},
  author = {Paul Caspi and Albert Benveniste and Roberto Lublinerman and Stavros Tripakis},
  year = {2009},
  doi = {10.1007/978-3-642-00602-9_4},
  url = {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 Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
  editor = {Rupak Majumdar and Paulo Tabuada},
  volume = {5469},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00601-2},
}

@inproceedings{AltisenCT06,
  title = {Monitoring and fault-diagnosis with digital clocks},
  author = {Karine Altisen and Franck Cassez and Stavros Tripakis},
  year = {2006},
  doi = {10.1109/ACSD.2006.10},
  url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2006.10},
  researchr = {https://researchr.org/publication/AltisenCT06},
  cites = {0},
  citedby = {0},
  pages = {101-110},
  booktitle = {Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2556-3},
}

@inproceedings{TripakisA99,
  title = {On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems},
  author = {Stavros Tripakis and Karine Altisen},
  year = {1999},
  url = {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 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I},
  editor = {Jeannette M. Wing and Jim Woodcock and Jim Davies},
  volume = {1708},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66587-0},
}

@inproceedings{TripakisY98,
  title = {Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos},
  author = {Stavros Tripakis and Sergio Yovine},
  year = {1998},
  url = {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 = {IEEE Real Time Technology and Applications Symposium},
}

@inproceedings{BozgaDMOTY98:0,
  title = {Kronos: A Model-Checking Tool for Real-Time Systems},
  author = {Marius Bozga and Conrado Daws and Oded Maler and Alfredo Olivero and Stavros Tripakis and 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 = {Computer Aided Verification, 10th International Conference, CAV  98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
  editor = {Alan J. Hu and Moshe Y. Vardi},
  volume = {1427},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64608-6},
}

@inproceedings{KrichenT04,
  title = {Real-Time Testing with Timed Automata Testers and Coverage Criteria},
  author = {Moez Krichen and Stavros Tripakis},
  year = {2004},
  url = {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 = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Gren},
  editor = {Yassine Lakhnech and Sergio Yovine},
  volume = {3253},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23167-6},
}

@article{CaspiSST08,
  title = {Semantics-preserving multitask implementation of synchronous programs},
  author = {Paul Caspi and Norman Scaife and Christos Sofronis and Stavros Tripakis},
  year = {2008},
  doi = {10.1145/1331331.1331339},
  url = {http://doi.acm.org/10.1145/1331331.1331339},
  tags = {semantics},
  researchr = {https://researchr.org/publication/CaspiSST08},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Embedded Comput. Syst.},
  volume = {7},
  number = {2},
}

@inproceedings{LublinermanT08:0,
  title = {Translating data flow to synchronous block diagrams},
  author = {Roberto Lublinerman and Stavros Tripakis},
  year = {2008},
  doi = {10.1109/ESTMED.2008.4697005},
  url = {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 = {Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2008, Atlanta, Georgia, USA, 23-24 October 2008},
  editor = {Petru Eles and Andy D. Pimentel},
  publisher = {IEEE},
  isbn = {978-1-4244-2612-6},
}

@inproceedings{ScaifeSCTM04,
  title = {Defining and translating a  safe  subset of simulink/stateflow into lustre},
  author = {Norman Scaife and Christos Sofronis and Paul Caspi and Stavros Tripakis and Florence Maraninchi},
  year = {2004},
  doi = {10.1145/1017753.1017795},
  url = {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 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings},
  editor = {Giorgio C. Buttazzo},
  publisher = {ACM},
  isbn = {1-58113-860-1},
}

@inproceedings{BensalemPQT05,
  title = {Generating Path Conditions for Timed Systems},
  author = {Saddek Bensalem and Doron Peled and Hongyang Qu and Stavros Tripakis},
  year = {2005},
  doi = {10.1007/11589976_2},
  url = {http://dx.doi.org/10.1007/11589976_2},
  researchr = {https://researchr.org/publication/BensalemPQT05},
  cites = {0},
  citedby = {0},
  pages = {5-19},
  booktitle = {Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
  editor = {Judi Romijn and Graeme Smith and Jaco van de Pol},
  volume = {3771},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30492-4},
}

@inproceedings{KrichenT04:0,
  title = {Black-Box Conformance Testing for Real-Time Systems},
  author = {Moez Krichen and Stavros Tripakis},
  year = {2004},
  url = {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 = {Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings},
  editor = {Susanne Graf and Laurent Mounier},
  volume = {2989},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21314-7},
}

@inproceedings{GrosuHSTT06,
  title = {Deep Random Search for Efficient Model Checking of Timed Automata},
  author = {Radu Grosu and Xiaowan Huang and Scott A. Smolka and Wenkai Tan and Stavros Tripakis},
  year = {2006},
  doi = {10.1007/978-3-540-77419-8_7},
  url = {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 = {Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers},
  editor = {Fabrice Kordon and Oleg Sokolsky},
  volume = {4888},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77418-1},
}

@inproceedings{CassezTA07,
  title = {Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems},
  author = {Franck Cassez and Stavros Tripakis and Karine Altisen},
  year = {2007},
  doi = {10.1109/TASE.2007.51},
  url = {http://doi.ieeecomputersociety.org/10.1109/TASE.2007.51},
  researchr = {https://researchr.org/publication/CassezTA07},
  cites = {0},
  citedby = {0},
  pages = {316-325},
  booktitle = {First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China},
  publisher = {IEEE Computer Society},
}

@inproceedings{BouajjaniTY97,
  title = {On-the-fly symbolic model checking for real-time systems},
  author = {Ahmed Bouajjani and Stavros Tripakis and Sergio Yovine},
  year = {1997},
  url = {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 = {Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS  97), December 3-5, 1997, San Francisco, CA, USA},
  publisher = {IEEE Computer Society},
}

@article{BensalemBKT05,
  title = {Testing Conformance of Real-Time Applications by Automatic Generation of Observers},
  author = {Saddek Bensalem and Marius Bozga and Moez Krichen and Stavros Tripakis},
  year = {2005},
  doi = {10.1016/j.entcs.2004.01.036},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.01.036},
  tags = {testing},
  researchr = {https://researchr.org/publication/BensalemBKT05},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {113},
  pages = {23-43},
}

@article{CassezT08,
  title = {Fault Diagnosis with Static and Dynamic Observers},
  author = {Franck Cassez and Stavros Tripakis},
  year = {2008},
  url = {http://iospress.metapress.com/content/m751x45t89436815/},
  researchr = {https://researchr.org/publication/CassezT08},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {88},
  number = {4},
  pages = {497-540},
}

@inproceedings{Tripakis02:1,
  title = {Fault Diagnosis for Timed Automata},
  author = {Stavros Tripakis},
  year = {2002},
  url = {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 = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings},
  editor = {Werner Damm and Ernst-Rüdiger Olderog},
  volume = {2469},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44165-4},
}

@inproceedings{BensalemPQT04,
  title = {Automatic Generation of Path Conditions for Timed Systems},
  author = {Saddek Bensalem and Doron Peled and Hongyang Qu and Stavros Tripakis},
  year = {2004},
  researchr = {https://researchr.org/publication/BensalemPQT04},
  cites = {0},
  citedby = {0},
  pages = {243-249},
  booktitle = {International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings},
  editor = {Tiziana Margaria and Bernhard Steffen and Anna Philippou and Manfred Reitenspieß},
  volume = {TR-2004-6},
  series = {Technical Report},
  publisher = {Department of Computer Science, University of Cyprus},
}

@inproceedings{BenvenisteCCCST06,
  title = {Communication by sampling in time-sensitive distributed systems},
  author = {Albert Benveniste and Benoît Caillaud and Luca P. Carloni and Paul Caspi and Alberto L. Sangiovanni-Vincentelli and Stavros Tripakis},
  year = {2006},
  doi = {10.1145/1176887.1176909},
  url = {http://doi.acm.org/10.1145/1176887.1176909},
  researchr = {https://researchr.org/publication/BenvenisteCCCST06},
  cites = {0},
  citedby = {0},
  pages = {152-160},
  booktitle = {Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea},
  editor = {Sang Lyul Min and Wang Yi},
  publisher = {ACM},
  isbn = {1-59593-542-8},
}

@inproceedings{BozgaMT99,
  title = {Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics},
  author = {Marius Bozga and Oded Maler and Stavros Tripakis},
  year = {1999},
  url = {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 = {Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME  99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings},
  editor = {Laurence Pierre and Thomas Kropf},
  volume = {1703},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66559-5},
}

@article{TripakisSCC05,
  title = {Translating discrete-time simulink to lustre},
  author = {Stavros Tripakis and Christos Sofronis and Paul Caspi and Adrian Curic},
  year = {2005},
  doi = {10.1145/1113830.1113834},
  url = {http://doi.acm.org/10.1145/1113830.1113834},
  tags = {translation},
  researchr = {https://researchr.org/publication/TripakisSCC05},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Embedded Comput. Syst.},
  volume = {4},
  number = {4},
  pages = {779-818},
}

@inproceedings{BotchkarevT00,
  title = {Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations},
  author = {Oleg Botchkarev and Stavros Tripakis},
  year = {2000},
  url = {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 Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  editor = {Nancy A. Lynch and Bruce H. Krogh},
  volume = {1790},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67259-1},
}

@inproceedings{DawsOTY95,
  title = {The Tool KRONOS},
  author = {Conrado Daws and Alfredo Olivero and Stavros Tripakis and Sergio Yovine},
  year = {1995},
  researchr = {https://researchr.org/publication/DawsOTY95},
  cites = {0},
  citedby = {0},
  pages = {208-219},
  booktitle = {Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA},
  editor = {Rajeev Alur and Thomas A. Henzinger and Eduardo D. Sontag},
  volume = {1066},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61155-X},
}

@inproceedings{AltisenT05,
  title = {Implementation of Timed Automata: An Issue of Semantics or Modeling?},
  author = {Karine Altisen and Stavros Tripakis},
  year = {2005},
  doi = {10.1007/11603009_21},
  url = {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 = {Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings},
  editor = {Paul Pettersson and Wang Yi},
  volume = {3829},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30946-2},
}

@article{Tripakis06,
  title = {Folk theorems on the determinization and minimization of timed automata},
  author = {Stavros Tripakis},
  year = {2006},
  doi = {10.1016/j.ipl.2006.04.015},
  url = {http://dx.doi.org/10.1016/j.ipl.2006.04.015},
  researchr = {https://researchr.org/publication/Tripakis06},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {99},
  number = {6},
  pages = {222-226},
}

@inproceedings{PuriT02,
  title = {Algorithms for the Multi-constrained Routing Problem},
  author = {Anuj Puri and Stavros Tripakis},
  year = {2002},
  url = {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 = {Algorithm Theory - SWAT 2002, 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 Proceedings},
  editor = {Martti Penttonen and Erik Meineche Schmidt},
  volume = {2368},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43866-1},
}

@inproceedings{BornotST97,
  title = {Modeling Urgency in Timed Systems},
  author = {Sébastien Bornot and Joseph Sifakis and Stavros Tripakis},
  year = {1997},
  url = {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 = {Compositionality: The Significant Difference, International Symposium, COMPOS 97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures},
  editor = {Willem P. de Roever and Hans Langmaack and Amir Pnueli},
  volume = {1536},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65493-3},
}

@inproceedings{LublinermanT08:1,
  title = {Modular Code Generation from Triggered and Timed Block Diagrams},
  author = {Roberto Lublinerman and Stavros Tripakis},
  year = {2008},
  doi = {10.1109/RTAS.2008.12},
  url = {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 = {Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008, April 22-24, 2008, St. Louis, Missouri, USA},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3146-5},
}

@inproceedings{Tripakis03,
  title = {Folk Theorems on the Determinization and Minimization of Timed Automata},
  author = {Stavros Tripakis},
  year = {2003},
  url = {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 = {Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers},
  editor = {Kim Guldstrand Larsen and Peter Niebert},
  volume = {2791},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21671-5},
}

@article{KrichenT09,
  title = {Conformance testing for real-time systems},
  author = {Moez Krichen and Stavros Tripakis},
  year = {2009},
  doi = {10.1007/s10703-009-0065-1},
  url = {http://dx.doi.org/10.1007/s10703-009-0065-1},
  tags = {testing},
  researchr = {https://researchr.org/publication/KrichenT09},
  cites = {0},
  citedby = {0},
  journal = {Formal Methods in System Design},
  volume = {34},
  number = {3},
  pages = {238-304},
}

@inproceedings{SofronisTC06,
  title = {A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling},
  author = {Christos Sofronis and Stavros Tripakis and Paul Caspi},
  year = {2006},
  doi = {10.1145/1176887.1176892},
  url = {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 = {Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea},
  editor = {Sang Lyul Min and Wang Yi},
  publisher = {ACM},
  isbn = {1-59593-542-8},
}

@article{BensalemPQT08,
  title = {Automatic generation of path conditions for concurrent timed systems},
  author = {Saddek Bensalem and Doron Peled and Hongyang Qu and Stavros Tripakis},
  year = {2008},
  doi = {10.1016/j.tcs.2008.03.012},
  url = {http://dx.doi.org/10.1016/j.tcs.2008.03.012},
  researchr = {https://researchr.org/publication/BensalemPQT08},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {404},
  number = {3},
  pages = {275-292},
}

@inproceedings{Tripakis99,
  title = {Timed Diagnostics for Reachability Properties},
  author = {Stavros Tripakis},
  year = {1999},
  url = {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 = {Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS  99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, March 22-28, 1999, Proceed},
  editor = {Rance Cleaveland},
  volume = {1579},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65703-7},
}

@inproceedings{CondottaLT05,
  title = {Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning},
  author = {Jean-François Condotta and Gérard Ligozat and Stavros Tripakis},
  year = {2005},
  doi = {10.1109/ICTAI.2005.124},
  url = {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 = {17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 14-16 November 2005, Hong Kong, China},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2488-5},
}

@inproceedings{KrichenT05a,
  title = {An Expressive and Implementable Formal Framework for Testing Real-Time Systems},
  author = {Moez Krichen and Stavros Tripakis},
  year = {2005},
  doi = {10.1007/11430230_15},
  url = {http://dx.doi.org/10.1007/11430230_15},
  tags = {testing},
  researchr = {https://researchr.org/publication/KrichenT05a},
  cites = {0},
  citedby = {0},
  pages = {209-225},
  booktitle = {Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings},
  editor = {Ferhat Khendek and Rachida Dssouli},
  volume = {3502},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26054-4},
}

@inproceedings{CassezTA07:0,
  title = {Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis},
  author = {Franck Cassez and Stavros Tripakis and Karine Altisen},
  year = {2007},
  doi = {10.1109/ACSD.2007.65},
  url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.65},
  researchr = {https://researchr.org/publication/CassezTA07%3A0},
  cites = {0},
  citedby = {0},
  pages = {90-99},
  booktitle = {Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic},
  editor = {Twan Basten and Gabriel Juhás and Sandeep K. Shukla},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-2902-8},
}

@article{Tripakis09,
  title = {Checking timed Büchi automata emptiness on simulation graphs},
  author = {Stavros Tripakis},
  year = {2009},
  doi = {10.1145/1507244.1507245},
  url = {http://doi.acm.org/10.1145/1507244.1507245},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Tripakis09},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Log.},
  volume = {10},
  number = {3},
}

@inproceedings{BensalemKMRT07,
  title = {A Simplified Approach for Testing Real-Time Systems Based on Action Refinement},
  author = {Saddek Bensalem and Moez Krichen and Lotfi Majdoub and Riadh Robbana and Stavros 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 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007},
  editor = {Yamine Aït Ameur and Frédéric Boniol and Virginie Wiels},
  volume = {RNTI-SM-1},
  series = {Revue des Nouvelles Technologies de l Information},
  publisher = {Cépaduès-Éditions},
  isbn = {978-2-85428-814-8},
}