@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 = {ENTCS},
  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},
}

@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},
}

@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 = {TACAS},
}

@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 = {TACAS},
}

@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 = {rtss},
}

@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 = {cav},
}

@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 = {TC},
  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 = {ipl},
  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 = {emsoft},
}

@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 = {pieee},
  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 = {pts},
}

@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 = {fates},
}

@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 = {TACAS},
}

@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 = {date},
}

@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 = {ENTCS},
  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 = {lctrts},
}

@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 = {emsoft},
}

@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 = {emsoft},
}

@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 = {arts},
}

@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 = {spin},
}

@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 = {ictac},
}

@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 = {acsd},
}

@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 = {ftrtft},
}

@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 = {fmsd},
  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 = {POPL},
}

@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 = {hvc},
}

@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 = {fmsd},
  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 = {Dagstuhl},
}

@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 = {time},
}

@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 = {emsoft},
}

@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},
}

@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 = {acsd},
}

@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},
}

@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 = {rtas},
}

@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 = {cav},
}

@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 = {formats},
}

@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 = {tecs},
  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 = {estimedia},
}

@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},
}

@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 = {IFM},
}

@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 = {spin},
}

@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 = {monterey},
}

@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 = {tase},
}

@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 = {rtss},
}

@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 = {ENTCS},
  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 = {FUIN},
  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 = {ftrtft},
}

@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 = {ISoLA},
}

@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 = {emsoft},
}

@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 = {charme},
}

@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 = {tecs},
  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},
}

@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},
}

@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 = {formats},
}

@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 = {ipl},
  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 = {swat},
}

@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 = {SC},
}

@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 = {rtas},
}

@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 = {formats},
}

@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 = {fmsd},
  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 = {emsoft},
}

@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 = {TCS},
  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 = {TACAS},
}

@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 = {ictai},
}

@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 = {pts},
}

@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 = {acsd},
}

@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 = {tocl},
  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},
}