Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stavros Tripakis
@inproceedings{DBLP:conf/atal/MelcerAT24,
author = {Daniel Melcer and
Christopher Amato and
Stavros Tripakis},
editor = {Mehdi Dastani and
Jaime Sim{\~{a}}o Sichman and
Natasha Alechina and
Virginia Dignum},
title = {Shield Decentralization for Safe Reinforcement Learning in General
Partially Observable Multi-Agent Environments},
booktitle = {Proceedings of the 23rd International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2024, Auckland, New Zealand, May 6-10,
2024},
pages = {2384--2386},
publisher = {{ACM}},
year = {2024},
url = {https://dl.acm.org/doi/10.5555/3635637.3663168},
doi = {10.5555/3635637.3663168},
timestamp = {Fri, 03 May 2024 14:27:55 +0200},
biburl = {https://dblp.org/rec/conf/atal/MelcerAT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/MeiraGoesKLT23,
author = {R{\^{o}}mulo Meira{-}G{\'{o}}es and
Eunsuk Kang and
St{\'{e}}phane Lafortune and
Stavros Tripakis},
title = {On tolerance of discrete systems with respect to transition perturbations},
journal = {Discret. Event Dyn. Syst.},
volume = {33},
number = {4},
pages = {395--424},
year = {2023},
url = {https://doi.org/10.1007/s10626-023-00386-8},
doi = {10.1007/S10626-023-00386-8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/deds/MeiraGoesKLT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/BuzhinskyNT23,
author = {Igor Buzhinsky and
Arseny Nerinovsky and
Stavros Tripakis},
title = {Metrics and methods for robustness evaluation of neural networks with
generative models},
journal = {Mach. Learn.},
volume = {112},
number = {10},
pages = {3977--4012},
year = {2023},
url = {https://doi.org/10.1007/s10994-021-05994-9},
doi = {10.1007/S10994-021-05994-9},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ml/BuzhinskyNT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/EgolfT23,
author = {Derek Egolf and
Stavros Tripakis},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14215},
pages = {270--291},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45329-8\_13},
doi = {10.1007/978-3-031-45329-8\_13},
timestamp = {Tue, 24 Oct 2023 16:55:54 +0200},
biburl = {https://dblp.org/rec/conf/atva/EgolfT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MeiraGoesDKLT23,
author = {R{\^{o}}mulo Meira{-}G{\'{o}}es and
Ian Dardik and
Eunsuk Kang and
St{\'{e}}phane Lafortune and
Stavros Tripakis},
editor = {Constantin Enea and
Akash Lal},
title = {Safe Environmental Envelopes of Discrete Systems},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13964},
pages = {326--350},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37706-8\_17},
doi = {10.1007/978-3-031-37706-8\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/MeiraGoesDKLT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/EgolfT23,
author = {Derek Egolf and
Stavros Tripakis},
editor = {Carla Ferreira and
Tim A. C. Willemse},
title = {Decoupled Fitness Criteria for Reactive Systems},
booktitle = {Software Engineering and Formal Methods - 21st International Conference,
{SEFM} 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14323},
pages = {85--105},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47115-5\_6},
doi = {10.1007/978-3-031-47115-5\_6},
timestamp = {Mon, 13 Nov 2023 20:30:30 +0100},
biburl = {https://dblp.org/rec/conf/sefm/EgolfT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-01025,
author = {R{\^{o}}mulo Meira{-}G{\'{o}}es and
Ian Dardik and
Eunsuk Kang and
St{\'{e}}phane Lafortune and
Stavros Tripakis},
title = {Safe Environmental Envelopes of Discrete Systems},
journal = {CoRR},
volume = {abs/2306.01025},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.01025},
doi = {10.48550/ARXIV.2306.01025},
eprinttype = {arXiv},
eprint = {2306.01025},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-01025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-02967,
author = {Derek Egolf and
Stavros Tripakis},
title = {Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms},
journal = {CoRR},
volume = {abs/2306.02967},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.02967},
doi = {10.48550/ARXIV.2306.02967},
eprinttype = {arXiv},
eprint = {2306.02967},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-02967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-10842,
author = {Yuhao Zhou and
Stavros Tripakis},
title = {Compositional Inductive Invariant Based Verification of Neural Network
Controlled Systems},
journal = {CoRR},
volume = {abs/2312.10842},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.10842},
doi = {10.48550/ARXIV.2312.10842},
eprinttype = {arXiv},
eprint = {2312.10842},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-10842.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/TripakisR22,
author = {Stavros Tripakis and
Karen Rudie},
title = {Decentralized Observation of Discrete-Event Systems: At Least One
Can Tell},
journal = {{IEEE} Control. Syst. Lett.},
volume = {6},
pages = {1652--1657},
year = {2022},
url = {https://doi.org/10.1109/LCSYS.2021.3130887},
doi = {10.1109/LCSYS.2021.3130887},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csysl/TripakisR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PreoteasaDT22,
author = {Viorel Preoteasa and
Iulia Dragomir and
Stavros Tripakis},
title = {The refinement calculus of reactive systems},
journal = {Inf. Comput.},
volume = {285},
number = {Part},
pages = {104819},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2021.104819},
doi = {10.1016/J.IC.2021.104819},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/PreoteasaDT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/SchultzDT22,
author = {William Schultz and
Ian Dardik and
Stavros Tripakis},
editor = {Andrei Popescu and
Steve Zdancewic},
title = {Formal verification of a distributed dynamic reconfiguration protocol},
booktitle = {{CPP} '22: 11th {ACM} {SIGPLAN} International Conference on Certified
Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022},
pages = {143--152},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3497775.3503688},
doi = {10.1145/3497775.3503688},
timestamp = {Mon, 17 Jan 2022 09:44:17 +0100},
biburl = {https://dblp.org/rec/conf/cpp/SchultzDT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/OakleyOT22,
author = {Lisa Oakley and
Alina Oprea and
Stavros Tripakis},
title = {Adversarial Robustness Verification and Attack Synthesis in Stochastic
Systems},
booktitle = {35th {IEEE} Computer Security Foundations Symposium, {CSF} 2022, Haifa,
Israel, August 7-10, 2022},
pages = {380--395},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CSF54842.2022.9919660},
doi = {10.1109/CSF54842.2022.9919660},
timestamp = {Fri, 11 Nov 2022 16:53:14 +0100},
biburl = {https://dblp.org/rec/conf/csfw/OakleyOT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/HsuBKT22,
author = {Tzu{-}Han Hsu and
Borzoo Bonakdarpour and
Eunsuk Kang and
Stavros Tripakis},
title = {Mapping Synthesis for Hyperproperties},
booktitle = {35th {IEEE} Computer Security Foundations Symposium, {CSF} 2022, Haifa,
Israel, August 7-10, 2022},
pages = {486--500},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CSF54842.2022.9919679},
doi = {10.1109/CSF54842.2022.9919679},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/HsuBKT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SchultzDT22,
author = {William Schultz and
Ian Dardik and
Stavros Tripakis},
editor = {Alberto Griggio and
Neha Rungta},
title = {Plain and Simple Inductive Invariant Inference for Distributed Protocols
in TLA\({}^{\mbox{+}}\)},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {273--283},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_34},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_34},
timestamp = {Mon, 13 Feb 2023 21:53:10 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/SchultzDT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/EleftheriadisKK22,
author = {Charis Eleftheriadis and
Nikolaos Kekatos and
Panagiotis Katsaros and
Stavros Tripakis},
editor = {Sergiy Bogomolov and
David Parker},
title = {On Neural Network Equivalence Checking Using {SMT} Solvers},
booktitle = {Formal Modeling and Analysis of Timed Systems - 20th International
Conference, {FORMATS} 2022, Warsaw, Poland, September 13-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13465},
pages = {237--257},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15839-1\_14},
doi = {10.1007/978-3-031-15839-1\_14},
timestamp = {Mon, 24 Oct 2022 20:51:03 +0200},
biburl = {https://dblp.org/rec/conf/formats/EleftheriadisKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/MelcerAT22,
author = {Daniel Melcer and
Christopher Amato and
Stavros Tripakis},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Shield Decentralization for Safe Multi-Agent Reinforcement Learning},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/57444e14ecd9e2c8f603b4f012ce3811-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/MelcerAT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-11629,
author = {Charis Eleftheriadis and
Nikolaos Kekatos and
Panagiotis Katsaros and
Stavros Tripakis},
title = {On Neural Network Equivalence Checking using {SMT} Solvers},
journal = {CoRR},
volume = {abs/2203.11629},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.11629},
doi = {10.48550/ARXIV.2203.11629},
eprinttype = {arXiv},
eprint = {2203.11629},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-11629.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-06360,
author = {William Schultz and
Ian Dardik and
Stavros Tripakis},
title = {Plain and Simple Inductive Invariant Inference for Distributed Protocols
in {TLA+}},
journal = {CoRR},
volume = {abs/2205.06360},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.06360},
doi = {10.48550/ARXIV.2205.06360},
eprinttype = {arXiv},
eprint = {2205.06360},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-06360.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-12455,
author = {Derek Egolf and
Stavros Tripakis},
title = {Decoupled Fitness Criteria for Reactive Systems},
journal = {CoRR},
volume = {abs/2212.12455},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.12455},
doi = {10.48550/ARXIV.2212.12455},
eprinttype = {arXiv},
eprint = {2212.12455},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-12455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/PinisettyPRT21,
author = {Srinivas Pinisetty and
Ankit Pradhan and
Partha S. Roop and
Stavros Tripakis},
title = {Compositional runtime enforcement revisited},
journal = {Formal Methods Syst. Des.},
volume = {59},
number = {1},
pages = {205--252},
year = {2021},
url = {https://doi.org/10.1007/s10703-022-00401-y},
doi = {10.1007/S10703-022-00401-Y},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/PinisettyPRT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GiantamidisTB21,
author = {Georgios Giantamidis and
Stavros Tripakis and
Stylianos Basagiannis},
title = {Learning Moore machines from input-output traces},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {1},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1007/s10009-019-00544-0},
doi = {10.1007/S10009-019-00544-0},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/GiantamidisTB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/SchultzZDT21,
author = {William Schultz and
Siyuan Zhou and
Ian Dardik and
Stavros Tripakis},
editor = {Quentin Bramas and
Vincent Gramoli and
Alessia Milani},
title = {Design and Analysis of a Logless Dynamic Reconfiguration Protocol},
booktitle = {25th International Conference on Principles of Distributed Systems,
{OPODIS} 2021, December 13-15, 2021, Strasbourg, France},
series = {LIPIcs},
volume = {217},
pages = {26:1--26:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2021.26},
doi = {10.4230/LIPICS.OPODIS.2021.26},
timestamp = {Mon, 28 Feb 2022 16:25:59 +0100},
biburl = {https://dblp.org/rec/conf/opodis/SchultzZDT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/VickKT21,
author = {Cole Vick and
Eunsuk Kang and
Stavros Tripakis},
editor = {Radu Calinescu and
Corina S. Pasareanu},
title = {Counterexample Classification},
booktitle = {Software Engineering and Formal Methods - 19th International Conference,
{SEFM} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13085},
pages = {312--331},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92124-8\_18},
doi = {10.1007/978-3-030-92124-8\_18},
timestamp = {Tue, 07 Dec 2021 17:02:16 +0100},
biburl = {https://dblp.org/rec/conf/sefm/VickKT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/SchultzZT21,
author = {William Schultz and
Siyuan Zhou and
Stavros Tripakis},
editor = {Seth Gilbert},
title = {Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration
Protocol in MongoDB Replication},
booktitle = {35th International Symposium on Distributed Computing, {DISC} 2021,
October 4-8, 2021, Freiburg, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {209},
pages = {61:1--61:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.DISC.2021.61},
doi = {10.4230/LIPICS.DISC.2021.61},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/SchultzZT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-11960,
author = {William Schultz and
Siyuan Zhou and
Stavros Tripakis},
title = {Design and Verification of a Logless Dynamic Reconfiguration Protocol
in MongoDB Replication},
journal = {CoRR},
volume = {abs/2102.11960},
year = {2021},
url = {https://arxiv.org/abs/2102.11960},
eprinttype = {arXiv},
eprint = {2102.11960},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-11960.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-00885,
author = {Cole Vick and
Eunsuk Kang and
Stavros Tripakis},
title = {Counterexample Classification},
journal = {CoRR},
volume = {abs/2108.00885},
year = {2021},
url = {https://arxiv.org/abs/2108.00885},
eprinttype = {arXiv},
eprint = {2108.00885},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-00885.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-04523,
author = {Stavros Tripakis and
Karen Rudie},
title = {Decentralized Observation of Discrete-Event Systems: At Least One
Can Tell},
journal = {CoRR},
volume = {abs/2108.04523},
year = {2021},
url = {https://arxiv.org/abs/2108.04523},
eprinttype = {arXiv},
eprint = {2108.04523},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-04523.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-11987,
author = {William Schultz and
Ian Dardik and
Stavros Tripakis},
title = {Formal Verification of a Distributed Dynamic Reconfiguration Protocol},
journal = {CoRR},
volume = {abs/2109.11987},
year = {2021},
url = {https://arxiv.org/abs/2109.11987},
eprinttype = {arXiv},
eprint = {2109.11987},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-11987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-02125,
author = {Lisa Oakley and
Alina Oprea and
Stavros Tripakis},
title = {Adversarial Robustness Verification and Attack Synthesis in Stochastic
Systems},
journal = {CoRR},
volume = {abs/2110.02125},
year = {2021},
url = {https://arxiv.org/abs/2110.02125},
eprinttype = {arXiv},
eprint = {2110.02125},
timestamp = {Fri, 08 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-02125.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-04200,
author = {R{\^{o}}mulo Meira{-}G{\'{o}}es and
Eunsuk Kang and
St{\'{e}}phane Lafortune and
Stavros Tripakis},
title = {On tolerance of discrete systems with respect to transition perturbations},
journal = {CoRR},
volume = {abs/2110.04200},
year = {2021},
url = {https://arxiv.org/abs/2110.04200},
eprinttype = {arXiv},
eprint = {2110.04200},
timestamp = {Thu, 21 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-04200.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DragomirPT20,
author = {Iulia Dragomir and
Viorel Preoteasa and
Stavros Tripakis},
title = {The Refinement Calculus of Reactive Systems Toolset},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {6},
pages = {689--708},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00561-4},
doi = {10.1007/S10009-020-00561-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DragomirPT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GiantamidisBT20,
author = {Georgios Giantamidis and
Stylianos Basagiannis and
Stavros Tripakis},
editor = {Ant{\'{o}}nio Casimiro and
Frank Ortmeier and
Friedemann Bitsch and
Pedro Ferreira},
title = {Efficient Translation of Safety {LTL} to {DFA} Using Symbolic Automata
Learning and Inductive Inference},
booktitle = {Computer Safety, Reliability, and Security - 39th International Conference,
{SAFECOMP} 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12234},
pages = {115--129},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54549-9\_8},
doi = {10.1007/978-3-030-54549-9\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/GiantamidisBT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/HippelVTN20,
author = {Max von Hippel and
Cole Vick and
Stavros Tripakis and
Cristina Nita{-}Rotaru},
editor = {Ant{\'{o}}nio Casimiro and
Frank Ortmeier and
Friedemann Bitsch and
Pedro Ferreira},
title = {Automated Attacker Synthesis for Distributed Protocols},
booktitle = {Computer Safety, Reliability, and Security - 39th International Conference,
{SAFECOMP} 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12234},
pages = {133--149},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54549-9\_9},
doi = {10.1007/978-3-030-54549-9\_9},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/HippelVTN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-01993,
author = {Igor Buzhinsky and
Arseny Nerinovsky and
Stavros Tripakis},
title = {Metrics and methods for robustness evaluation of neural networks with
generative models},
journal = {CoRR},
volume = {abs/2003.01993},
year = {2020},
url = {https://arxiv.org/abs/2003.01993},
eprinttype = {arXiv},
eprint = {2003.01993},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-01993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-01220,
author = {Max von Hippel and
Cole Vick and
Stavros Tripakis and
Cristina Nita{-}Rotaru},
title = {Automated Attacker Synthesis for Distributed Protocols},
journal = {CoRR},
volume = {abs/2004.01220},
year = {2020},
url = {https://arxiv.org/abs/2004.01220},
eprinttype = {arXiv},
eprint = {2004.01220},
timestamp = {Wed, 08 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-01220.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/IannopolloTS19,
author = {Antonio Iannopollo and
Stavros Tripakis and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Constrained synthesis from component libraries},
journal = {Sci. Comput. Program.},
volume = {171},
pages = {21--41},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2018.10.003},
doi = {10.1016/J.SCICO.2018.10.003},
timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/IannopolloTS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ReinekeST19,
author = {Jan Reineke and
Christos Stergiou and
Stavros Tripakis},
title = {Basic problems in multi-view modeling},
journal = {Softw. Syst. Model.},
volume = {18},
number = {3},
pages = {1577--1611},
year = {2019},
url = {https://doi.org/10.1007/s10270-017-0638-1},
doi = {10.1007/S10270-017-0638-1},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/ReinekeST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CremonaLBLMT19,
author = {Fabio Cremona and
Marten Lohstroh and
David Broman and
Edward A. Lee and
Michael Masin and
Stavros Tripakis},
title = {Hybrid co-simulation: it's about time},
journal = {Softw. Syst. Model.},
volume = {18},
number = {3},
pages = {1655--1679},
year = {2019},
url = {https://doi.org/10.1007/s10270-017-0633-6},
doi = {10.1007/S10270-017-0633-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/CremonaLBLMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KangLT19,
author = {Eunsuk Kang and
St{\'{e}}phane Lafortune and
Stavros Tripakis},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Automated Synthesis of Secure Platform Mappings},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {219--237},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_12},
doi = {10.1007/978-3-030-25540-4\_12},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KangLT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ChakrabortyA0GH19,
author = {Samarjit Chakraborty and
James H. Anderson and
Martin Becker and
Helmut Graeb and
Samiran Halder and
Ravindra Metta and
Lothar Thiele and
Stavros Tripakis and
Anand Yeolekar},
editor = {J{\"{u}}rgen Teich and
Franco Fummi},
title = {Cross-Layer Interactions in {CPS} for Performance and Certification},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2019, Florence, Italy, March 25-29, 2019},
pages = {1439--1444},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/DATE.2019.8715153},
doi = {10.23919/DATE.2019.8715153},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/ChakrabortyA0GH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PreoteasaDT19,
author = {Viorel Preoteasa and
Iulia Dragomir and
Stavros Tripakis},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Mechanically Proving Determinacy of Hierarchical Block Diagram Translations},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {577--600},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_27},
doi = {10.1007/978-3-030-11245-5\_27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PreoteasaDT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PittouMRT18,
author = {Maria Pittou and
Panagiotis Manolios and
Jan Reineke and
Stavros Tripakis},
title = {Checking multi-view consistency of discrete systems with respect to
periodic sampling abstractions},
journal = {Sci. Comput. Program.},
volume = {167},
pages = {1--24},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2018.07.003},
doi = {10.1016/J.SCICO.2018.07.003},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PittouMRT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/TripakisL18,
author = {Stavros Tripakis and
Roberto Lublinerman},
editor = {Marten Lohstroh and
Patricia Derler and
Marjan Sirjani},
title = {Modular Code Generation from Synchronous Block Diagrams: Interfaces,
Abstraction, Compositionality},
booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10760},
pages = {449--477},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95246-8\_26},
doi = {10.1007/978-3-319-95246-8\_26},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/TripakisL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dars/SahinOT18,
author = {Yunus Emre Sahin and
Necmiye Ozay and
Stavros Tripakis},
editor = {Nikolaus Correll and
Mac Schwager and
Michael W. Otte},
title = {Multi-agent Coordination Subject to Counting Constraints: {A} Hierarchical
Approach},
booktitle = {Distributed Autonomous Robotic Systems, The 14th International Symposium,
{DARS} 2018, Boulder, CO, USA, October 15-17, 2018},
series = {Springer Proceedings in Advanced Robotics},
volume = {9},
pages = {265--281},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05816-6\_19},
doi = {10.1007/978-3-030-05816-6\_19},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dars/SahinOT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/IannopolloTS18,
author = {Antonio Iannopollo and
Stavros Tripakis and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Jan Madsen and
Ayse K. Coskun},
title = {Specification decomposition for synthesis from libraries of {LTL}
Assume/Guarantee contracts},
booktitle = {2018 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
pages = {1574--1579},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/DATE.2018.8342266},
doi = {10.23919/DATE.2018.8342266},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/IannopolloTS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icphys/Tripakis18,
author = {Stavros Tripakis},
title = {Data-driven and model-based design},
booktitle = {{IEEE} Industrial Cyber-Physical Systems, {ICPS} 2018, Saint Petersburg,
Russia, May 15-18, 2018},
pages = {103--108},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICPHYS.2018.8387644},
doi = {10.1109/ICPHYS.2018.8387644},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/icphys/Tripakis18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CremonaLBLMT18,
author = {Fabio Cremona and
Marten Lohstroh and
David Broman and
Edward A. Lee and
Michael Masin and
Stavros Tripakis},
editor = {Andrzej Wasowski and
Richard F. Paige and
{\O}ystein Haugen},
title = {Hybrid Co-simulation: It's About Time},
booktitle = {Proceedings of the 21th {ACM/IEEE} International Conference on Model
Driven Engineering Languages and Systems, {MODELS} 2018, Copenhagen,
Denmark, October 14-19, 2018},
pages = {368},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3239372.3242896},
doi = {10.1145/3239372.3242896},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/CremonaLBLMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DragomirPT18,
author = {Iulia Dragomir and
Viorel Preoteasa and
Stavros Tripakis},
editor = {Dirk Beyer and
Marieke Huisman},
title = {The Refinement Calculus of Reactive Systems Toolset},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {201--208},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_12},
doi = {10.1007/978-3-319-89963-3\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DragomirPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/SeshiaST18,
author = {Sanjit A. Seshia and
Natasha Sharygina and
Stavros Tripakis},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Modeling for Verification},
booktitle = {Handbook of Model Checking},
pages = {75--105},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_3},
doi = {10.1007/978-3-319-10575-8\_3},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/SeshiaST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-09701,
author = {Artem Yushkovskiy and
Stavros Tripakis},
title = {Comparison of Two Theorem Provers: Isabelle/HOL and Coq},
journal = {CoRR},
volume = {abs/1808.09701},
year = {2018},
url = {http://arxiv.org/abs/1808.09701},
eprinttype = {arXiv},
eprint = {1808.09701},
timestamp = {Mon, 03 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-09701.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/EhlersLTV17,
author = {R{\"{u}}diger Ehlers and
St{\'{e}}phane Lafortune and
Stavros Tripakis and
Moshe Y. Vardi},
title = {Supervisory control and reactive synthesis: a comparative introduction},
journal = {Discret. Event Dyn. Syst.},
volume = {27},
number = {2},
pages = {209--260},
year = {2017},
url = {https://doi.org/10.1007/s10626-015-0223-0},
doi = {10.1007/S10626-015-0223-0},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/deds/EhlersLTV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/PinisettyPTJFM17,
author = {Srinivas Pinisetty and
Viorel Preoteasa and
Stavros Tripakis and
Thierry J{\'{e}}ron and
Yli{\`{e}}s Falcone and
Herv{\'{e}} Marchand},
title = {Predictive runtime enforcement},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {1},
pages = {154--199},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0271-1},
doi = {10.1007/S10703-017-0271-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/PinisettyPTJFM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/PinisettyJTFMP17,
author = {Srinivas Pinisetty and
Thierry J{\'{e}}ron and
Stavros Tripakis and
Yli{\`{e}}s Falcone and
Herv{\'{e}} Marchand and
Viorel Preoteasa},
title = {Predictive runtime verification of timed properties},
journal = {J. Syst. Softw.},
volume = {132},
pages = {353--365},
year = {2017},
url = {https://doi.org/10.1016/j.jss.2017.06.060},
doi = {10.1016/J.JSS.2017.06.060},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/PinisettyJTFMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/AlurT17,
author = {Rajeev Alur and
Stavros Tripakis},
title = {Automatic Synthesis of Distributed Protocols},
journal = {{SIGACT} News},
volume = {48},
number = {1},
pages = {55--90},
year = {2017},
url = {https://doi.org/10.1145/3061640.3061652},
doi = {10.1145/3061640.3061652},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/AlurT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SiirtolaTH17,
author = {Antti Siirtola and
Stavros Tripakis and
Keijo Heljanko},
title = {When Do We Not Need Complex Assume-Guarantee Rules?},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {2},
pages = {48:1--48:25},
year = {2017},
url = {https://doi.org/10.1145/3012280},
doi = {10.1145/3012280},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SiirtolaTH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/PinisettyRSATH17,
author = {Srinivas Pinisetty and
Partha S. Roop and
Steven Smyth and
Nathan Allen and
Stavros Tripakis and
Reinhard von Hanxleden},
title = {Runtime Enforcement of Cyber-Physical Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {5s},
pages = {178:1--178:25},
year = {2017},
url = {https://doi.org/10.1145/3126500},
doi = {10.1145/3126500},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/PinisettyRSATH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PreoteasaDT17,
author = {Viorel Preoteasa and
Iulia Dragomir and
Stavros Tripakis},
editor = {Ahmed Bouajjani and
Alexandra Silva},
title = {Type Inference of Simulink Hierarchical Block Diagrams in Isabelle},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
as Part of the 12th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
June 19-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10321},
pages = {194--209},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60225-7\_14},
doi = {10.1007/978-3-319-60225-7\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/PreoteasaDT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/PinisettyRSTH17,
author = {Srinivas Pinisetty and
Partha S. Roop and
Steven Smyth and
Stavros Tripakis and
Reinhard von Hanxleden},
editor = {Hakan Erdogmus and
Klaus Havelund},
title = {Runtime enforcement of reactive systems using synchronous enforcers},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
2017},
pages = {80--89},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092282.3092291},
doi = {10.1145/3092282.3092291},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/PinisettyRSTH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KangLT17,
author = {Eunsuk Kang and
St{\'{e}}phane Lafortune and
Stavros Tripakis},
title = {Synthesis of Property-Preserving Mappings},
journal = {CoRR},
volume = {abs/1705.03618},
year = {2017},
url = {http://arxiv.org/abs/1705.03618},
eprinttype = {arXiv},
eprint = {1705.03618},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KangLT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-03979,
author = {Viorel Preoteasa and
Iulia Dragomir and
Stavros Tripakis},
title = {The Refinement Calculus of Reactive Systems},
journal = {CoRR},
volume = {abs/1710.03979},
year = {2017},
url = {http://arxiv.org/abs/1710.03979},
eprinttype = {arXiv},
eprint = {1710.03979},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-03979.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-08195,
author = {Iulia Dragomir and
Viorel Preoteasa and
Stavros Tripakis},
title = {The Refinement Calculus of Reactive Systems Toolset},
journal = {CoRR},
volume = {abs/1710.08195},
year = {2017},
url = {http://arxiv.org/abs/1710.08195},
eprinttype = {arXiv},
eprint = {1710.08195},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-08195.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fomac/Tripakis16,
author = {Stavros Tripakis},
title = {Compositional Model-Based System Design and Other Foundations for
Mastering Change},
journal = {{LNCS} Trans. Found. Mastering Chang.},
volume = {1},
pages = {113--129},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46508-1\_7},
doi = {10.1007/978-3-319-46508-1\_7},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fomac/Tripakis16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Tripakis16,
author = {Stavros Tripakis},
title = {Compositionality in the Science of System Design},
journal = {Proc. {IEEE}},
volume = {104},
number = {5},
pages = {960--972},
year = {2016},
url = {https://doi.org/10.1109/JPROC.2015.2510366},
doi = {10.1109/JPROC.2015.2510366},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/Tripakis16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/TripakisLRWAG16,
author = {Stavros Tripakis and
Rhishikesh Limaye and
Kaushik Ravindran and
Guoqiang Wang and
Hugo A. Andrade and
Arkadeb Ghosal},
title = {Tokens vs. Signals: On Conformance between Formal Models of Dataflow
and Hardware},
journal = {J. Signal Process. Syst.},
volume = {85},
number = {1},
pages = {23--43},
year = {2016},
url = {https://doi.org/10.1007/s11265-015-0971-y},
doi = {10.1007/S11265-015-0971-Y},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlsisp/TripakisLRWAG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/PittouT16,
author = {Maria Pittou and
Stavros Tripakis},
editor = {Olga Kouchnarenko and
Ramtin Khosravi},
title = {Checking Multi-view Consistency of Discrete Systems with Respect to
Periodic Sampling Abstractions},
booktitle = {Formal Aspects of Component Software - 13th International Conference,
{FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10231},
pages = {73--91},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57666-4\_6},
doi = {10.1007/978-3-319-57666-4\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/PittouT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/IannopolloTS16,
author = {Antonio Iannopollo and
Stavros Tripakis and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Olga Kouchnarenko and
Ramtin Khosravi},
title = {Constrained Synthesis from Component Libraries},
booktitle = {Formal Aspects of Component Software - 13th International Conference,
{FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10231},
pages = {92--110},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57666-4\_7},
doi = {10.1007/978-3-319-57666-4\_7},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/IannopolloTS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GiantamidisT16,
author = {Georgios Giantamidis and
Stavros Tripakis},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Learning Moore Machines from Input-Output Traces},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {291--309},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_18},
doi = {10.1007/978-3-319-48989-6\_18},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/GiantamidisT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PreoteasaT16,
author = {Viorel Preoteasa and
Stavros Tripakis},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive
Systems},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {768--777},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934503},
doi = {10.1145/2933575.2934503},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/PreoteasaT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/CremonaLBNLT16,
author = {Fabio Cremona and
Marten Lohstroh and
David Broman and
Marco Di Natale and
Edward A. Lee and
Stavros Tripakis},
title = {Step revision in hybrid Co-simulation with {FMI}},
booktitle = {2016 {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20,
2016},
pages = {173--183},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/MEMCOD.2016.7797762},
doi = {10.1109/MEMCOD.2016.7797762},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/CremonaLBNLT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/PinisettyT16,
author = {Srinivas Pinisetty and
Stavros Tripakis},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {Compositional Runtime Enforcement},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {82--99},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_7},
doi = {10.1007/978-3-319-40648-0\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/PinisettyT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PinisettyPTJFM16,
author = {Srinivas Pinisetty and
Viorel Preoteasa and
Stavros Tripakis and
Thierry J{\'{e}}ron and
Yli{\`{e}}s Falcone and
Herv{\'{e}} Marchand},
editor = {Sascha Ossowski},
title = {Predictive runtime enforcement},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1628--1633},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851827},
doi = {10.1145/2851613.2851827},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/PinisettyPTJFM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CremonaLTBL16,
author = {Fabio Cremona and
Marten Lohstroh and
Stavros Tripakis and
Christopher X. Brooks and
Edward A. Lee},
editor = {Sascha Ossowski},
title = {{FIDE:} an {FMI} integrated development environment},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1759--1766},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851677},
doi = {10.1145/2851613.2851677},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/CremonaLTBL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/PittouT16,
author = {Maria Pittou and
Stavros Tripakis},
editor = {Walid A. Najjar and
Andreas Gerstlauer},
title = {Multi-view consistency for infinitary regular languages},
booktitle = {International Conference on Embedded Computer Systems: Architectures,
Modeling and Simulation, {SAMOS} 2016, Agios Konstantinos, Samos Island,
Greece, July 17-21, 2016},
pages = {148--155},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SAMOS.2016.7818342},
doi = {10.1109/SAMOS.2016.7818342},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/samos/PittouT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/DragomirPT16,
author = {Iulia Dragomir and
Viorel Preoteasa and
Stavros Tripakis},
editor = {Dragan Bosnacki and
Anton Wijs},
title = {Compositional Semantics and Analysis of Hierarchical Block Diagrams},
booktitle = {Model Checking Software - 23rd International Symposium, {SPIN} 2016,
Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9641},
pages = {38--56},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-32582-8\_3},
doi = {10.1007/978-3-319-32582-8\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/DragomirPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GiantamidisT16,
author = {Georgios Giantamidis and
Stavros Tripakis},
title = {Learning Moore Machines from Input-Output Traces},
journal = {CoRR},
volume = {abs/1605.07805},
year = {2016},
url = {http://arxiv.org/abs/1605.07805},
eprinttype = {arXiv},
eprint = {1605.07805},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GiantamidisT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PreoteasaDT16,
author = {Viorel Preoteasa and
Iulia Dragomir and
Stavros Tripakis},
title = {A Nondeterministic and Abstract Algorithm for Translating Hierarchical
Block Diagrams},
journal = {CoRR},
volume = {abs/1611.01337},
year = {2016},
url = {http://arxiv.org/abs/1611.01337},
eprinttype = {arXiv},
eprint = {1611.01337},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PreoteasaDT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PinisettyRSTH16,
author = {Srinivas Pinisetty and
Partha S. Roop and
Steven Smyth and
Stavros Tripakis and
Reinhard von Hanxleden},
title = {Runtime enforcement of reactive systems using synchronous enforcers},
journal = {CoRR},
volume = {abs/1612.05030},
year = {2016},
url = {http://arxiv.org/abs/1612.05030},
eprinttype = {arXiv},
eprint = {1612.05030},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PinisettyRSTH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PreoteasaDT16a,
author = {Viorel Preoteasa and
Iulia Dragomir and
Stavros Tripakis},
title = {Type Inference of Simulink Hierarchical Block Diagrams in Isabelle},
journal = {CoRR},
volume = {abs/1612.05494},
year = {2016},
url = {http://arxiv.org/abs/1612.05494},
eprinttype = {arXiv},
eprint = {1612.05494},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PreoteasaDT16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SiirtolaTH15,
author = {Antti Siirtola and
Stavros Tripakis and
Keijo Heljanko},
title = {When Do We (Not) Need Complex Assume-Guarantee Rules?},
booktitle = {15th International Conference on Application of Concurrency to System
Design, {ACSD} 2015, Brussels, Belgium, June 21-26, 2015},
pages = {30--39},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ACSD.2015.19},
doi = {10.1109/ACSD.2015.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SiirtolaTH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurRSTU15,
author = {Rajeev Alur and
Mukund Raghothaman and
Christos Stergiou and
Stavros Tripakis and
Abhishek Udupa},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Automatic Completion of Distributed Protocols with Symmetry},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9207},
pages = {395--412},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_23},
doi = {10.1007/978-3-319-21668-3\_23},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AlurRSTU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BromanGLMTW15,
author = {David Broman and
Lev Greenberg and
Edward A. Lee and
Michael Masin and
Stavros Tripakis and
Michael Wetter},
editor = {Antoine Girard and
Sriram Sankaranarayanan},
title = {Requirements for hybrid cosimulation standards},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {179--188},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2728606.2728629},
doi = {10.1145/2728606.2728629},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BromanGLMTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/VyatkinPT15,
author = {Valeriy Vyatkin and
Cheng Pang and
Stavros Tripakis},
title = {Towards cyber-physical agnosticism by enhancing {IEC} 61499 with {PTIDES}
model of computations},
booktitle = {{IECON} 2015 - 41st Annual Conference of the {IEEE} Industrial Electronics
Society, Yokohama, Japan, November 9-12, 2015},
pages = {1970--1975},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/IECON.2015.7392389},
doi = {10.1109/IECON.2015.7392389},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iecon/VyatkinPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/Tripakis15,
author = {Stavros Tripakis},
editor = {Dimitrios Soudris and
Luigi Carro},
title = {Bridging the semantic gap between heterogeneous modeling formalisms
and {FMI}},
booktitle = {2015 International Conference on Embedded Computer Systems: Architectures,
Modeling, and Simulation, {SAMOS} 2015, Samos, Greece, July 19-23,
2015},
pages = {60--69},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SAMOS.2015.7363660},
doi = {10.1109/SAMOS.2015.7363660},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/samos/Tripakis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/YangTS15,
author = {Yang Yang and
Stavros Tripakis and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Dimitrios Soudris and
Luigi Carro},
title = {Efficient distribution of Triggered Synchronous Block Diagrams on
asynchronous platforms},
booktitle = {2015 International Conference on Embedded Computer Systems: Architectures,
Modeling, and Simulation, {SAMOS} 2015, Samos, Greece, July 19-23,
2015},
pages = {113--122},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SAMOS.2015.7363666},
doi = {10.1109/SAMOS.2015.7363666},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/samos/YangTS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlurRSTU15,
author = {Rajeev Alur and
Mukund Raghothaman and
Christos Stergiou and
Stavros Tripakis and
Abhishek Udupa},
title = {Automatic Completion of Distributed Protocols with Symmetry},
journal = {CoRR},
volume = {abs/1505.04409},
year = {2015},
url = {http://arxiv.org/abs/1505.04409},
eprinttype = {arXiv},
eprint = {1505.04409},
timestamp = {Mon, 29 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlurRSTU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DragomirPT15,
author = {Iulia Dragomir and
Viorel Preoteasa and
Stavros Tripakis},
title = {Translating Hierarchical Block Diagrams into Composite Predicate Transformers},
journal = {CoRR},
volume = {abs/1510.04873},
year = {2015},
url = {http://arxiv.org/abs/1510.04873},
eprinttype = {arXiv},
eprint = {1510.04873},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DragomirPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PreoteasaT15,
author = {Viorel Preoteasa and
Stavros Tripakis},
title = {Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive
Systems},
journal = {CoRR},
volume = {abs/1510.06379},
year = {2015},
url = {http://arxiv.org/abs/1510.06379},
eprinttype = {arXiv},
eprint = {1510.06379},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PreoteasaT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaulfieldRST15,
author = {Benjamin Caulfield and
Markus N. Rabe and
Sanjit A. Seshia and
Stavros Tripakis},
title = {What's Decidable about Syntax-Guided Synthesis?},
journal = {CoRR},
volume = {abs/1510.08393},
year = {2015},
url = {http://arxiv.org/abs/1510.08393},
eprinttype = {arXiv},
eprint = {1510.08393},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaulfieldRST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/NataleZST14,
author = {Marco Di Natale and
Qi Zhu and
Alberto L. Sangiovanni{-}Vincentelli and
Stavros Tripakis},
title = {Optimized implementation of synchronous models on industrial {LTTA}
systems},
journal = {J. Syst. Archit.},
volume = {60},
number = {4},
pages = {315--328},
year = {2014},
url = {https://doi.org/10.1016/j.sysarc.2014.01.003},
doi = {10.1016/J.SYSARC.2014.01.003},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/NataleZST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/IannopolloNTS14,
author = {Antonio Iannopollo and
Pierluigi Nuzzo and
Stavros Tripakis and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Gerhard P. Fettweis and
Wolfgang Nebel},
title = {Library-based scalable refinement checking for contract-based design},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2014, Dresden, Germany, March 24-28, 2014},
pages = {1--6},
publisher = {European Design and Automation Association},
year = {2014},
url = {https://doi.org/10.7873/DATE.2014.167},
doi = {10.7873/DATE.2014.167},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/IannopolloNTS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PreoteasaT14,
author = {Viorel Preoteasa and
Stavros Tripakis},
editor = {Tulika Mitra and
Jan Reineke},
title = {Refinement calculus of reactive systems},
booktitle = {2014 International Conference on Embedded Software, {EMSOFT} 2014,
New Delhi, India, October 12-17, 2014},
pages = {2:1--2:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2656045.2656068},
doi = {10.1145/2656045.2656068},
timestamp = {Wed, 04 Jan 2023 16:50:45 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/PreoteasaT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/TripakisS14,
author = {Stavros Tripakis and
Chris Shaver},
editor = {Saddek Bensalem and
Yassine Lakhnech and
Axel Legay},
title = {Feedback in Synchronous Relational Interfaces},
booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
April 6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8415},
pages = {249--266},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54848-2\_17},
doi = {10.1007/978-3-642-54848-2\_17},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/etaps/TripakisS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/AlurMRSTU14,
author = {Rajeev Alur and
Milo M. K. Martin and
Mukund Raghothaman and
Christos Stergiou and
Stavros Tripakis and
Abhishek Udupa},
editor = {Eran Yahav},
title = {Synthesizing Finite-State Protocols from Scenarios and Requirements},
booktitle = {Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8855},
pages = {75--91},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13338-6\_7},
doi = {10.1007/978-3-319-13338-6\_7},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/AlurMRSTU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iot/JhaTSC14,
author = {Susmit Jha and
Stavros Tripakis and
Sanjit A. Seshia and
Krishnendu Chatterjee},
title = {Game theoretic secure localization in wireless sensor networks},
booktitle = {4th International Conference on the Internet of Things, {IOT} 2014,
Cambridge, MA, USA, October 6-8, 2014},
pages = {85--90},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/IOT.2014.7030120},
doi = {10.1109/IOT.2014.7030120},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/iot/JhaTSC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/NuzzoITS14,
author = {Pierluigi Nuzzo and
Antonio Iannopollo and
Stavros Tripakis and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Are interface theories equivalent to contract theories?},
booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and
Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October
19-21, 2014},
pages = {104--113},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/MEMCOD.2014.6961848},
doi = {10.1109/MEMCOD.2014.6961848},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/NuzzoITS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/TripakisLRW14,
author = {Stavros Tripakis and
Rhishikesh Limaye and
Kaushik Ravindran and
Guoqiang Wang},
title = {On tokens and signals: Bridging the semantic gap between dataflow
models and hardware implementations},
booktitle = {XIVth International Conference on Embedded Computer Systems: Architectures,
Modeling, and Simulation, {SAMOS} 2014, Agios Konstantinos, Samos,
Greece, July 14-17, 2014},
pages = {51--58},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SAMOS.2014.6893194},
doi = {10.1109/SAMOS.2014.6893194},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/samos/TripakisLRW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ReinekeT14,
author = {Jan Reineke and
Stavros Tripakis},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Basic Problems in Multi-View Modeling},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {217--232},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_15},
doi = {10.1007/978-3-642-54862-8\_15},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/ReinekeT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/EhlersLTV14,
author = {R{\"{u}}diger Ehlers and
St{\'{e}}phane Lafortune and
Stavros Tripakis and
Moshe Y. Vardi},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Bridging the Gap between Supervisory Control and Reactive Synthesis:
Case of Full Observation and Centralized Control},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {222--227},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00018},
doi = {10.3182/20140514-3-FR-4046.00018},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/EhlersLTV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlurMRSTU14,
author = {Rajeev Alur and
Milo M. K. Martin and
Mukund Raghothaman and
Christos Stergiou and
Stavros Tripakis and
Abhishek Udupa},
title = {Synthesizing Finite-state Protocols from Scenarios and Requirements},
journal = {CoRR},
volume = {abs/1402.7150},
year = {2014},
url = {http://arxiv.org/abs/1402.7150},
eprinttype = {arXiv},
eprint = {1402.7150},
timestamp = {Mon, 29 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlurMRSTU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PreoteasaT14,
author = {Viorel Preoteasa and
Stavros Tripakis},
title = {Refinement Calculus of Reactive Systems},
journal = {CoRR},
volume = {abs/1406.6035},
year = {2014},
url = {http://arxiv.org/abs/1406.6035},
eprinttype = {arXiv},
eprint = {1406.6035},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PreoteasaT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/TripakisSSL13,
author = {Stavros Tripakis and
Christos Stergiou and
Chris Shaver and
Edward A. Lee},
title = {A modular formal semantics for Ptolemy},
journal = {Math. Struct. Comput. Sci.},
volume = {23},
number = {4},
pages = {834--881},
year = {2013},
url = {https://doi.org/10.1017/S0960129512000278},
doi = {10.1017/S0960129512000278},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/TripakisSSL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/TripakisBGRL13,
author = {Stavros Tripakis and
Dai N. Bui and
Marc Geilen and
Bert Rodiers and
Edward A. Lee},
title = {Compositionality in synchronous data flow: Modular code generation
from hierarchical {SDF} graphs},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {3},
pages = {83:1--83:26},
year = {2013},
url = {https://doi.org/10.1145/2442116.2442133},
doi = {10.1145/2442116.2442133},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/TripakisBGRL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BromanBGLMTW13,
author = {David Broman and
Christopher X. Brooks and
Lev Greenberg and
Edward A. Lee and
Michael Masin and
Stavros Tripakis and
Michael Wetter},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Determinate composition of FMUs for co-simulation},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {2:1--2:12},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658580},
doi = {10.1109/EMSOFT.2013.6658580},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BromanBGLMTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PerssonTQWBTVD13,
author = {Magnus Persson and
Martin T{\"{o}}rngren and
Ahsan Qamar and
Jonas Westman and
Matthias Biehl and
Stavros Tripakis and
Hans Vangheluwe and
Joachim Denil},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {A characterization of integrated multi-view modeling in the context
of embedded and cyber-physical systems},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {10:1--10:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658588},
doi = {10.1109/EMSOFT.2013.6658588},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/PerssonTQWBTVD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/StergiouTML13,
author = {Christos Stergiou and
Stavros Tripakis and
Eleftherios Matsikoudis and
Edward A. Lee},
editor = {V{\'{\i}}ctor A. Braberman and
Laurent Fribourg},
title = {On the Verification of Timed Discrete-Event Models},
booktitle = {Formal Modeling and Analysis of Timed Systems - 11th International
Conference, {FORMATS} 2013, Buenos Aires, Argentina, August 29-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8053},
pages = {213--227},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40229-6\_15},
doi = {10.1007/978-3-642-40229-6\_15},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/StergiouTML13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/DerlerLTT13,
author = {Patricia Derler and
Edward A. Lee and
Stavros Tripakis and
Martin T{\"{o}}rngren},
editor = {Chenyang Lu and
P. R. Kumar and
Radu Stoleru},
title = {Cyber-physical system design contracts},
booktitle = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
(with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
8-11, 2013},
pages = {109--118},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502524.2502540},
doi = {10.1145/2502524.2502540},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/DerlerLTT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/TripakisSBL13,
author = {Stavros Tripakis and
Christos Stergiou and
Manfred Broy and
Edward A. Lee},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {Error-Completion in Interface Theories},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {358--375},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_22},
doi = {10.1007/978-3-642-39176-7\_22},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/spin/TripakisSBL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/13/CassezT13,
author = {Franck Cassez and
Stavros Tripakis},
editor = {Claude Jard and
Olivier H. Roux},
title = {Fault Diagnosis of Timed Systems},
booktitle = {Communicating Embedded Systems},
pages = {107--138},
publisher = {Wiley},
year = {2013},
url = {https://doi.org/10.1002/9781118558188.ch4},
doi = {10.1002/9781118558188.CH4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/wi/13/CassezT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BaeOFLT12,
author = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky and
Thomas Huining Feng and
Edward A. Lee and
Stavros Tripakis},
title = {Verifying hierarchical Ptolemy {II} discrete-event models using Real-Time
Maude},
journal = {Sci. Comput. Program.},
volume = {77},
number = {12},
pages = {1235--1271},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2010.10.002},
doi = {10.1016/J.SCICO.2010.10.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BaeOFLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GhosalLRTPWTA12,
author = {Arkadeb Ghosal and
Rhishikesh Limaye and
Kaushik Ravindran and
Stavros Tripakis and
Ankita Prasad and
Guoqiang Wang and
Trung N. Tran and
Hugo A. Andrade},
editor = {Patrick Groeneveld and
Donatella Sciuto and
Soha Hassoun},
title = {Static dataflow with access patterns: semantics and analysis},
booktitle = {The 49th Annual Design Automation Conference 2012, {DAC} '12, San
Francisco, CA, USA, June 3-7, 2012},
pages = {656--663},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2228360.2228479},
doi = {10.1145/2228360.2228479},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/GhosalLRTPWTA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BenvenisteLPTM12,
author = {Albert Benveniste and
Edward A. Lee and
Marc Pouzet and
Stavros Tripakis and
Florence Maraninchi},
editor = {Ahmed Jerraya and
Luca P. Carloni and
Florence Maraninchi and
John Regehr},
title = {An overview of the career of Paul Caspi},
booktitle = {Proceedings of the 12th International Conference on Embedded Software,
{EMSOFT} 2012, part of the Eighth Embedded Systems Week, ESWeek 2012,
Tampere, Finland, October 7-12, 2012},
pages = {195--196},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2380356.2380392},
doi = {10.1145/2380356.2380392},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/BenvenisteLPTM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BromanLTT12,
author = {David Broman and
Edward A. Lee and
Stavros Tripakis and
Martin T{\"{o}}rngren},
editor = {C{\'{e}}cile Hardebolle and
Eugene Syriani and
Jonathan Sprinkle and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
title = {Viewpoints, formalisms, languages, and tools for cyber-physical systems},
booktitle = {Proceedings of the 6th International Workshop on Multi-Paradigm Modeling,
MPM@MoDELS 2012, Innsbruck, Austria, October 1-5, 2012},
pages = {49--54},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2508443.2508452},
doi = {10.1145/2508443.2508452},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/BromanLTT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/TripakisLHL11,
author = {Stavros Tripakis and
Ben Lickly and
Thomas A. Henzinger and
Edward A. Lee},
title = {A Theory of Synchronous Relational Interfaces},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {33},
number = {4},
pages = {14:1--14:41},
year = {2011},
url = {https://doi.org/10.1145/1985342.1985345},
doi = {10.1145/1985342.1985345},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/TripakisLHL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/TripakisAGLRWYKW11,
author = {Stavros Tripakis and
Hugo A. Andrade and
Arkadeb Ghosal and
Rhishikesh Limaye and
Kaushik Ravindran and
Guoqiang Wang and
Guang Yang and
Jacob Kornerup and
Ian C. Wong},
editor = {Robert P. Dick and
Jan Madsen},
title = {Correct and non-defensive glue design using abstract models},
booktitle = {Proceedings of the 9th International Conference on Hardware/Software
Codesign and System Synthesis, {CODES+ISSS} 2011, part of ESWeek '11
Seventh Embedded Systems Week, Taipei, Taiwan, 9-14 October, 2011},
pages = {59--68},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2039370.2039382},
doi = {10.1145/2039370.2039382},
timestamp = {Mon, 26 Nov 2018 12:14:45 +0100},
biburl = {https://dblp.org/rec/conf/codes/TripakisAGLRWYKW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GeilenTW11,
author = {Marc Geilen and
Stavros Tripakis and
Maarten Wiggers},
editor = {Marco Caccamo and
Emilio Frazzoli and
Radu Grosu},
title = {The earlier the better: a theory of timed actor interfaces},
booktitle = {Proceedings of the 14th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2011, Chicago, IL, USA, April 12-14,
2011},
pages = {23--32},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1967701.1967707},
doi = {10.1145/1967701.1967707},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GeilenTW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2011,
editor = {Uli Fahrenberg and
Stavros Tripakis},
title = {Formal Modeling and Analysis of Timed Systems - 9th International
Conference, {FORMATS} 2011, Aalborg, Denmark, September 21-23, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6919},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24310-3},
doi = {10.1007/978-3-642-24310-3},
isbn = {978-3-642-24309-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/BrooksLT10,
author = {Christopher X. Brooks and
Edward A. Lee and
Stavros Tripakis},
editor = {Tony Givargis and
Adam Donlin},
title = {Exploring models of computation with ptolemy {II}},
booktitle = {Proceedings of the 8th International Conference on Hardware/Software
Codesign and System Synthesis, {CODES+ISSS} 2010, part of ESWeek '10
Sixth Embedded Systems Week, Scottsdale, AZ, USA, October 24-28, 2010},
pages = {331--332},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1878961.1879020},
doi = {10.1145/1878961.1879020},
timestamp = {Mon, 26 Nov 2018 12:14:45 +0100},
biburl = {https://dblp.org/rec/conf/codes/BrooksLT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eoolt/LeeT10,
author = {Edward A. Lee and
Stavros Tripakis},
editor = {Peter Fritzson and
Edward A. Lee and
Fran{\c{c}}ois E. Cellier and
David Broman},
title = {Modal Models in Ptolemy},
booktitle = {Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented
Modeling Languages and Tools, {EOOLT} 2010, Oslo, Norway, October
3, 2010},
series = {Link{\"{o}}ping Electronic Conference Proceedings},
volume = {47},
pages = {11--21},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {2010},
url = {http://www.ep.liu.se/ecp/article.asp?issue=047\&\#38;article=002\&\#38;volume=},
timestamp = {Thu, 10 Oct 2019 13:06:30 +0200},
biburl = {https://dblp.org/rec/conf/eoolt/LeeT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/TripakisBRL10,
author = {Stavros Tripakis and
Dai N. Bui and
Bert Rodiers and
Edward A. Lee},
editor = {Janos Sztipanovits and
Raj Rajkumar},
title = {Compositionality in Synchronous Data Flow: modular code generation
from hierarchical {SDF} graphs},
booktitle = {{ACM/IEEE} 1st International Conference on Cyber-Physical Systems,
{ICCPS} '10, Stockholm, Sweden, April 12-15, 2010},
pages = {199},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1795194.1795223},
doi = {10.1145/1795194.1795223},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/TripakisBRL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2010,
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
publisher = {{ACM}},
year = {2010},
isbn = {978-1-60558-904-6},
timestamp = {Wed, 05 Jan 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-2810,
author = {Franck Cassez and
Stavros Tripakis},
title = {Fault Diagnosis with Dynamic Observers},
journal = {CoRR},
volume = {abs/1004.2810},
year = {2010},
url = {http://arxiv.org/abs/1004.2810},
eprinttype = {arXiv},
eprint = {1004.2810},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-2810.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KrichenT09,
author = {Moez Krichen and
Stavros Tripakis},
title = {Conformance testing for real-time systems},
journal = {Formal Methods Syst. Des.},
volume = {34},
number = {3},
pages = {238--304},
year = {2009},
url = {https://doi.org/10.1007/s10703-009-0065-1},
doi = {10.1007/S10703-009-0065-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/KrichenT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Tripakis09,
author = {Stavros Tripakis},
title = {Checking timed B{\"{u}}chi automata emptiness on simulation graphs},
journal = {{ACM} Trans. Comput. Log.},
volume = {10},
number = {3},
pages = {15:1--15:19},
year = {2009},
url = {https://doi.org/10.1145/1507244.1507245},
doi = {10.1145/1507244.1507245},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Tripakis09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/TripakisLHL09,
author = {Stavros Tripakis and
Ben Lickly and
Thomas A. Henzinger and
Edward A. Lee},
editor = {Samarjit Chakraborty and
Nicolas Halbwachs},
title = {On relational interfaces},
booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
2009},
pages = {67--76},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629335.1629346},
doi = {10.1145/1629335.1629346},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/TripakisLHL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/CaspiBLT09,
author = {Paul Caspi and
Albert Benveniste and
Roberto Lublinerman and
Stavros Tripakis},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Actors without Directors: {A} Kahnian View of Heterogeneous Systems},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {46--60},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_4},
doi = {10.1007/978-3-642-00602-9\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/CaspiBLT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BaeOFT09,
author = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky and
Thomas Huining Feng and
Stavros Tripakis},
editor = {Karin K. Breitman and
Ana Cavalcanti},
title = {Verifying Ptolemy {II} Discrete-Event Models Using Real-Time Maude},
booktitle = {Formal Methods and Software Engineering, 11th International Conference
on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
December 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5885},
pages = {717--736},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10373-5\_37},
doi = {10.1007/978-3-642-10373-5\_37},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BaeOFT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LeungMLLSTL09,
author = {Man{-}Kit Leung and
Thomas Mandl and
Edward A. Lee and
Elizabeth Latronico and
Charles P. Shelton and
Stavros Tripakis and
Ben Lickly},
editor = {Andy Sch{\"{u}}rr and
Bran Selic},
title = {Scalable Semantic Annotation Using Lattice-Based Ontologies},
booktitle = {Model Driven Engineering Languages and Systems, 12th International
Conference, {MODELS} 2009, Denver, CO, USA, October 4-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5795},
pages = {393--407},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04425-0\_31},
doi = {10.1007/978-3-642-04425-0\_31},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/LeungMLLSTL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LublinermanST09,
author = {Roberto Lublinerman and
Christian Szegedy and
Stavros Tripakis},
editor = {Zhong Shao and
Benjamin C. Pierce},
title = {Modular code generation from synchronous block diagrams: modularity
vs. code size},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
21-23, 2009},
pages = {78--89},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480881.1480893},
doi = {10.1145/1480881.1480893},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/LublinermanST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Tripakis09,
author = {Stavros Tripakis},
editor = {Saddek Bensalem and
Doron A. Peled},
title = {A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis},
booktitle = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
France, June 26-28, 2009. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5779},
pages = {152--167},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04694-0\_11},
doi = {10.1007/978-3-642-04694-0\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/Tripakis09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CassezT08,
author = {Franck Cassez and
Stavros Tripakis},
title = {Fault Diagnosis with Static and Dynamic Observers},
journal = {Fundam. Informaticae},
volume = {88},
number = {4},
pages = {497--540},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi88-4-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CassezT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/TripakisPBSCN08,
author = {Stavros Tripakis and
Claudio Pinello and
Albert Benveniste and
Alberto L. Sangiovanni{-}Vincentelli and
Paul Caspi and
Marco Di Natale},
title = {Implementing Synchronous Models on Loosely Time Triggered Architectures},
journal = {{IEEE} Trans. Computers},
volume = {57},
number = {10},
pages = {1300--1314},
year = {2008},
url = {https://doi.org/10.1109/TC.2008.81},
doi = {10.1109/TC.2008.81},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/TripakisPBSCN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BensalemPQT08,
author = {Saddek Bensalem and
Doron A. Peled and
Hongyang Qu and
Stavros Tripakis},
title = {Automatic generation of path conditions for concurrent timed systems},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {3},
pages = {275--292},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.012},
doi = {10.1016/J.TCS.2008.03.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BensalemPQT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/CaspiSST08,
author = {Paul Caspi and
Norman Scaife and
Christos Sofronis and
Stavros Tripakis},
title = {Semantics-preserving multitask implementation of synchronous programs},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {7},
number = {2},
pages = {15:1--15:40},
year = {2008},
url = {https://doi.org/10.1145/1331331.1331339},
doi = {10.1145/1331331.1331339},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/CaspiSST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LublinermanT08,
author = {Roberto Lublinerman and
Stavros Tripakis},
editor = {Donatella Sciuto},
title = {Modularity vs. Reusability: Code Generation from Synchronous Block
Diagrams},
booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
March 10-14, 2008},
pages = {1504--1509},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1109/DATE.2008.4484887},
doi = {10.1109/DATE.2008.4484887},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/LublinermanT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/estimedia/LublinermanT08,
author = {Roberto Lublinerman and
Stavros Tripakis},
editor = {Petru Eles and
Andy D. Pimentel},
title = {Translating data flow to synchronous block diagrams},
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},
pages = {101--106},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ESTMED.2008.4697005},
doi = {10.1109/ESTMED.2008.4697005},
timestamp = {Thu, 17 Feb 2022 09:36:04 +0100},
biburl = {https://dblp.org/rec/conf/estimedia/LublinermanT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/LublinermanT08,
author = {Roberto Lublinerman and
Stavros Tripakis},
title = {Modular Code Generation from Triggered and Timed Block Diagrams},
booktitle = {Proceedings of the 14th {IEEE} Real-Time and Embedded Technology and
Applications Symposium, {RTAS} 2008, April 22-24, 2008, St. Louis,
Missouri, {USA}},
pages = {147--158},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RTAS.2008.12},
doi = {10.1109/RTAS.2008.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/LublinermanT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/AbedTV08,
author = {Nazha Abed and
Stavros Tripakis and
Jean{-}Marc Vincent},
editor = {Klaus Havelund and
Rupak Majumdar and
Jens Palsberg},
title = {Resource-Aware Verification Using Randomized Exploration of Large
State Spaces},
booktitle = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
CA, USA, August 10-12, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5156},
pages = {214--231},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85114-1\_16},
doi = {10.1007/978-3-540-85114-1\_16},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/AbedTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CassezTA07,
author = {Franck Cassez and
Stavros Tripakis and
Karine Altisen},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Sensor Minimization Problems with Static or Dynamic Observers for
Fault Diagnosis},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {90--99},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2007.65},
doi = {10.1109/ACSD.2007.65},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/CassezTA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BenvenisteCNPST07,
author = {Albert Benveniste and
Paul Caspi and
Marco Di Natale and
Claudio Pinello and
Alberto L. Sangiovanni{-}Vincentelli and
Stavros Tripakis},
editor = {Christoph M. Kirsch and
Reinhard Wilhelm},
title = {Loosely time-triggered architectures based on communication-by-sampling},
booktitle = {Proceedings of the 7th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2007, September 30 - October 3, 2007,
Salzburg, Austria},
pages = {231--239},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1289927.1289964},
doi = {10.1145/1289927.1289964},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/BenvenisteCNPST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BensalemPQTZ07,
author = {Saddek Bensalem and
Doron A. Peled and
Hongyang Qu and
Stavros Tripakis and
Lenore D. Zuck},
editor = {Karen Yorav},
title = {Test Case Generation for Ultimately Periodic Paths},
booktitle = {Hardware and Software: Verification and Testing, Third International
Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October
23-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4899},
pages = {120--135},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77966-7\_12},
doi = {10.1007/978-3-540-77966-7\_12},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BensalemPQTZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BensalemKMRT07,
author = {Saddek Bensalem and
Moez Krichen and
Lotfi Majdoub and
Riadh Robbana and
Stavros Tripakis},
editor = {Yamine A{\"{\i}}t Ameur and
Fr{\'{e}}d{\'{e}}ric Boniol and
Virginie Wiels},
title = {A Simplified Approach for Testing Real-Time Systems Based on Action
Refinement},
booktitle = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods,
Verification and Validation, Poitiers-Futuroscope, France, December
12-14, 2007},
series = {Revue des Nouvelles Technologies de l'Information},
volume = {{RNTI-SM-1}},
pages = {191--202},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2007},
url = {http://editions-rnti.fr/?inprocid=1000545},
timestamp = {Thu, 24 Apr 2014 17:37:26 +0200},
biburl = {https://dblp.org/rec/conf/isola/BensalemKMRT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/CassezTA07,
author = {Franck Cassez and
Stavros Tripakis and
Karine Altisen},
title = {Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of
Discrete-Event Systems},
booktitle = {First Joint {IEEE/IFIP} Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2007, June 5-8, 2007, Shanghai, China},
pages = {316--325},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/TASE.2007.51},
doi = {10.1109/TASE.2007.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/CassezTA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/CaspiTR07,
author = {Paul Caspi and
Stavros Tripakis and
Pascal Raymond},
editor = {Sang Hyuk Son and
Insup Lee and
Joseph Y.{-}T. Leung},
title = {Synchronous Programming},
booktitle = {Handbook of Real-Time and Embedded Systems},
publisher = {Chapman and Hall/CRC},
year = {2007},
url = {https://doi.org/10.1201/9781420011746.ch14},
doi = {10.1201/9781420011746.CH14},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/reference/crc/CaspiTR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Tripakis07,
author = {Stavros Tripakis},
editor = {Bernd Finkbeiner and
Klaus Havelund and
Grigore Rosu and
Oleg Sokolsky},
title = {Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog
and Digital Clocks},
booktitle = {Runtime Verification, 02.01. - 06.01.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07011},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1370},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Tripakis07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Tripakis06,
author = {Stavros Tripakis},
title = {Folk theorems on the determinization and minimization of timed automata},
journal = {Inf. Process. Lett.},
volume = {99},
number = {6},
pages = {222--226},
year = {2006},
url = {https://doi.org/10.1016/j.ipl.2006.04.015},
doi = {10.1016/J.IPL.2006.04.015},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/Tripakis06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/AltisenCT06,
author = {Karine Altisen and
Franck Cassez and
Stavros Tripakis},
title = {Monitoring and fault-diagnosis with digital clocks},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {101--110},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.10},
doi = {10.1109/ACSD.2006.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/AltisenCT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/SofronisTC06,
author = {Christos Sofronis and
Stavros Tripakis and
Paul Caspi},
editor = {Sang Lyul Min and
Wang Yi},
title = {A memory-optimal buffering protocol for preservation of synchronous
semantics under preemptive scheduling},
booktitle = {Proceedings of the 6th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2006, October 22-25, 2006, Seoul, Korea},
pages = {21--33},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176887.1176892},
doi = {10.1145/1176887.1176892},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/SofronisTC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BenvenisteCCCST06,
author = {Albert Benveniste and
Beno{\^{\i}}t Caillaud and
Luca P. Carloni and
Paul Caspi and
Alberto L. Sangiovanni{-}Vincentelli and
Stavros Tripakis},
editor = {Sang Lyul Min and
Wang Yi},
title = {Communication by sampling in time-sensitive distributed systems},
booktitle = {Proceedings of the 6th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2006, October 22-25, 2006, Seoul, Korea},
pages = {152--160},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176887.1176909},
doi = {10.1145/1176887.1176909},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/BenvenisteCCCST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/KrichenT06,
author = {Moez Krichen and
Stavros Tripakis},
editor = {Klaus Havelund and
Manuel N{\'{u}}{\~{n}}ez and
Grigore Rosu and
Burkhart Wolff},
title = {State-Identification Problems for Finite-State Transducers},
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},
series = {Lecture Notes in Computer Science},
volume = {4262},
pages = {148--162},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11940197\_10},
doi = {10.1007/11940197\_10},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/KrichenT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/KrichenT06,
author = {Moez Krichen and
Stavros Tripakis},
editor = {Kamel Barkaoui and
Ana Cavalcanti and
Antonio Cerone},
title = {Interesting Properties of the Real-Time Conformance Relation},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4281},
pages = {317--331},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11921240\_22},
doi = {10.1007/11921240\_22},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/ictac/KrichenT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/GrosuHSTT06,
author = {Radu Grosu and
Xiaowan Huang and
Scott A. Smolka and
Wenkai Tan and
Stavros Tripakis},
editor = {Fabrice Kordon and
Oleg Sokolsky},
title = {Deep Random Search for Efficient Model Checking of Timed Automata},
booktitle = {Composition of Embedded Systems. Scientific and Industrial Issues,
13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4888},
pages = {111--124},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77419-8\_7},
doi = {10.1007/978-3-540-77419-8\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/GrosuHSTT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/CondottaLST06,
author = {Jean{-}Fran{\c{c}}ois Condotta and
G{\'{e}}rard Ligozat and
Mahmoud Saade and
Stavros Tripakis},
editor = {James Pustejovsky and
Peter Z. Revesz},
title = {Ultimately Periodic Simple Temporal Problems (UPSTPs)},
booktitle = {13th International Symposium on Temporal Representation and Reasoning
{(TIME} 2006), 15-17 June 2006, Budapest, Hungary},
pages = {69--77},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/TIME.2006.33},
doi = {10.1109/TIME.2006.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/CondottaLST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/TripakisYB05,
author = {Stavros Tripakis and
Sergio Yovine and
Ahmed Bouajjani},
title = {Checking Timed B{\"{u}}chi Automata Emptiness Efficiently},
journal = {Formal Methods Syst. Des.},
volume = {26},
number = {3},
pages = {267--292},
year = {2005},
url = {https://doi.org/10.1007/s10703-005-1632-8},
doi = {10.1007/S10703-005-1632-8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/TripakisYB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/TripakisSCC05,
author = {Stavros Tripakis and
Christos Sofronis and
Paul Caspi and
Adrian Curic},
title = {Translating discrete-time simulink to lustre},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {4},
pages = {779--818},
year = {2005},
url = {https://doi.org/10.1145/1113830.1113834},
doi = {10.1145/1113830.1113834},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/TripakisSCC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Tripakis05,
author = {Stavros Tripakis},
title = {Two-Phase Distributed Observation Problems},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {98--105},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.33},
doi = {10.1109/ACSD.2005.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Tripakis05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Tripakis05,
author = {Stavros Tripakis},
title = {Decentralized Observation Problems},
booktitle = {44th {IEEE} {IEEE} Conference on Decision and Control and 8th European
Control Conference Control, {CDC/ECC} 2005, Seville, Spain, 12-15
December, 2005},
pages = {6--11},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/CDC.2005.1582122},
doi = {10.1109/CDC.2005.1582122},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/Tripakis05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/TripakisSSC05,
author = {Stavros Tripakis and
Christos Sofronis and
Norman Scaife and
Paul Caspi},
editor = {Wayne H. Wolf},
title = {Semantics-preserving and memory-efficient implementation of inter-task
communication on static-priority or {EDF} schedulers},
booktitle = {{EMSOFT} 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th {ACM}
International Conference On Embedded Software, Proceedings},
pages = {353--360},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086228.1086292},
doi = {10.1145/1086228.1086292},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/TripakisSSC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AltisenT05,
author = {Karine Altisen and
Stavros Tripakis},
editor = {Paul Pettersson and
Wang Yi},
title = {Implementation of Timed Automata: An Issue of Semantics or Modeling?},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {273--288},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_21},
doi = {10.1007/11603009\_21},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/AltisenT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/CondottaLT05,
author = {Jean{-}Fran{\c{c}}ois Condotta and
G{\'{e}}rard Ligozat and
Stavros Tripakis},
title = {Ultimately Periodic Qualitative Constraint Networks for Spatial and
Temporal Reasoning},
booktitle = {17th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2005), 14-16 November 2005, Hong Kong, China},
pages = {584--588},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICTAI.2005.124},
doi = {10.1109/ICTAI.2005.124},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/CondottaLT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BensalemPQT05,
author = {Saddek Bensalem and
Doron A. Peled and
Hongyang Qu and
Stavros Tripakis},
editor = {Judi Romijn and
Graeme Smith and
Jaco van de Pol},
title = {Generating Path Conditions for Timed Systems},
booktitle = {Integrated Formal Methods, 5th International Conference, {IFM} 2005,
Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3771},
pages = {5--19},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11589976\_2},
doi = {10.1007/11589976\_2},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BensalemPQT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/KrichenT05,
author = {Moez Krichen and
Stavros Tripakis},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {State Identification Problems for Timed Automata},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {175--191},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_13},
doi = {10.1007/11430230\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/KrichenT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/KrichenT05a,
author = {Moez Krichen and
Stavros Tripakis},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {An Expressive and Implementable Formal Framework for Testing Real-Time
Systems},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {209--225},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_15},
doi = {10.1007/11430230\_15},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/KrichenT05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Tripakis04,
author = {Stavros Tripakis},
title = {Undecidable problems of decentralized observation and control on regular
languages},
journal = {Inf. Process. Lett.},
volume = {90},
number = {1},
pages = {21--28},
year = {2004},
url = {https://doi.org/10.1016/j.ipl.2004.01.004},
doi = {10.1016/J.IPL.2004.01.004},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/Tripakis04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/Tripakis04,
author = {Stavros Tripakis},
title = {Decentralized control of discrete-event Systems With bounded or Unbounded
Delay communication},
journal = {{IEEE} Trans. Autom. Control.},
volume = {49},
number = {9},
pages = {1489--1501},
year = {2004},
url = {https://doi.org/10.1109/TAC.2004.834116},
doi = {10.1109/TAC.2004.834116},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/Tripakis04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ScaifeSCTM04,
author = {Norman Scaife and
Christos Sofronis and
Paul Caspi and
Stavros Tripakis and
Florence Maraninchi},
editor = {Giorgio C. Buttazzo},
title = {Defining and translating a "safe" subset of simulink/stateflow
into lustre},
booktitle = {{EMSOFT} 2004, September 27-29, 2004, Pisa, Italy, Fourth {ACM} International
Conference On Embedded Software, Proceedings},
pages = {259--268},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1017753.1017795},
doi = {10.1145/1017753.1017795},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/ScaifeSCTM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KrichenT04,
author = {Moez Krichen and
Stavros Tripakis},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Real-Time Testing with Timed Automata Testers and Coverage Criteria},
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, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {134--151},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_11},
doi = {10.1007/978-3-540-30206-3\_11},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/KrichenT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BensalemPQT04,
author = {Saddek Bensalem and
Doron A. Peled and
Hongyang Qu and
Stavros Tripakis},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Automatic Generation of Path Conditions for Timed Systems},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {243--249},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BensalemPQT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/KrichenT04,
author = {Moez Krichen and
Stavros Tripakis},
editor = {Susanne Graf and
Laurent Mounier},
title = {Black-Box Conformance Testing for Real-Time Systems},
booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2989},
pages = {109--126},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24732-6\_8},
doi = {10.1007/978-3-540-24732-6\_8},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/KrichenT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BensalemBKT05,
author = {Saddek Bensalem and
Marius Bozga and
Moez Krichen and
Stavros Tripakis},
editor = {Klaus Havelund and
Grigore Rosu},
title = {Testing Conformance of Real-Time Applications by Automatic Generation
of Observers},
booktitle = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
2004, Barcelona, Spain, April 3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {113},
pages = {23--43},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.01.036},
doi = {10.1016/J.ENTCS.2004.01.036},
timestamp = {Fri, 16 Dec 2022 11:10:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BensalemBKT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/SifakisTY03,
author = {Joseph Sifakis and
Stavros Tripakis and
Sergio Yovine},
title = {Building models of real-time systems from application software},
journal = {Proc. {IEEE}},
volume = {91},
number = {1},
pages = {100--111},
year = {2003},
url = {https://doi.org/10.1109/JPROC.2002.805820},
doi = {10.1109/JPROC.2002.805820},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pieee/SifakisTY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/CaspiCMST03,
author = {Paul Caspi and
Adrian Curic and
Aude Maignan and
Christos Sofronis and
Stavros Tripakis},
editor = {Rajeev Alur and
Insup Lee},
title = {Translating Discrete-Time Simulink to Lustre},
booktitle = {Embedded Software, Third International Conference, {EMSOFT} 2003,
Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2855},
pages = {84--99},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45212-6\_7},
doi = {10.1007/978-3-540-45212-6\_7},
timestamp = {Thu, 26 Jan 2023 14:05:53 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/CaspiCMST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Tripakis03,
author = {Stavros Tripakis},
editor = {Kim Guldstrand Larsen and
Peter Niebert},
title = {Folk Theorems on the Determinization and Minimization of Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems: First International
Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2791},
pages = {182--188},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40903-8\_15},
doi = {10.1007/978-3-540-40903-8\_15},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/Tripakis03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/CaspiCMSTN03,
author = {Paul Caspi and
Adrian Curic and
Aude Maignan and
Christos Sofronis and
Stavros Tripakis and
Peter Niebert},
editor = {Frank Mueller and
Ulrich Kremer},
title = {From simulink to SCADE/lustre to {TTA:} a layered approach for distributed
embedded applications},
booktitle = {Proceedings of the 2003 Conference on Languages, Compilers, and Tools
for Embedded Systems (LCTES'03). San Diego, California, USA, June
11-13, 2003},
pages = {153--162},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/780732.780754},
doi = {10.1145/780732.780754},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/CaspiCMSTN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Tripakis03,
author = {Stavros Tripakis},
editor = {Hubert Garavel and
John Hatcliff},
title = {Automated Module Composition},
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},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {347--362},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_25},
doi = {10.1007/3-540-36577-X\_25},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Tripakis03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/SenguptaT02,
author = {Raja Sengupta and
Stavros Tripakis},
title = {Decentralized diagnosability of regular languages is undecidable},
booktitle = {41st {IEEE} Conference on Decision and Control, {CDC} 2002, Las Vegas,
NV, USA, December 10-13, 2002},
pages = {423--428},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/CDC.2002.1184531},
doi = {10.1109/CDC.2002.1184531},
timestamp = {Tue, 08 Mar 2022 11:46:48 +0100},
biburl = {https://dblp.org/rec/conf/cdc/SenguptaT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Tripakis02,
author = {Stavros Tripakis},
editor = {Alberto L. Sangiovanni{-}Vincentelli and
Joseph Sifakis},
title = {Description and Schedulability Analysis of the Software Architecture
of an Automated Vehicle Control System},
booktitle = {Embedded Software, Second International Conference, {EMSOFT} 2002,
Grenoble, France, October 7-9, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2491},
pages = {123--137},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45828-X\_10},
doi = {10.1007/3-540-45828-X\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/Tripakis02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BenvenisteCGMTT02,
author = {Albert Benveniste and
Paul Caspi and
Paul {Le Guernic} and
Herv{\'{e}} Marchand and
Jean{-}Pierre Talpin and
Stavros Tripakis},
editor = {Alberto L. Sangiovanni{-}Vincentelli and
Joseph Sifakis},
title = {A Protocol for Loosely Time-Triggered Architectures},
booktitle = {Embedded Software, Second International Conference, {EMSOFT} 2002,
Grenoble, France, October 7-9, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2491},
pages = {252--265},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45828-X\_19},
doi = {10.1007/3-540-45828-X\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BenvenisteCGMTT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Tripakis02,
author = {Stavros Tripakis},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Fault Diagnosis for Timed Automata},
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},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {205--224},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_14},
doi = {10.1007/3-540-45739-9\_14},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Tripakis02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat/PuriT02,
author = {Anuj Puri and
Stavros Tripakis},
editor = {Martti Penttonen and
Erik Meineche Schmidt},
title = {Algorithms for the Multi-constrained Routing Problem},
booktitle = {Algorithm Theory - {SWAT} 2002, 8th Scandinavian Workshop on Algorithm
Theory, Turku, Finland, July 3-5, 2002 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2368},
pages = {338--347},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45471-3\_35},
doi = {10.1007/3-540-45471-3\_35},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/swat/PuriT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Tripakis02,
author = {Stavros Tripakis},
editor = {Elke Pulverm{\"{u}}ller and
Isabelle Borne and
Noury Bouraqadi and
Pierre Cointe and
Uwe Assmann},
title = {Automated Composition of Module Chains},
booktitle = {Workshop on Software Composition, {SC} 2002, Satellite Event of {ETAPS}
2002, Grenoble, France, April 7, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {4},
pages = {81--90},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80440-7},
doi = {10.1016/S1571-0661(04)80440-7},
timestamp = {Mon, 05 Dec 2022 14:49:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Tripakis02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/TripakisY01,
author = {Stavros Tripakis and
Sergio Yovine},
title = {Analysis of Timed Systems Using Time-Abstracting Bisimulations},
journal = {Formal Methods Syst. Des.},
volume = {18},
number = {1},
pages = {25--68},
year = {2001},
url = {https://doi.org/10.1023/A:1008734703554},
doi = {10.1023/A:1008734703554},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/TripakisY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ZennaroKST01,
author = {Marco Zennaro and
Jeff Ko and
Raja Sengupta and
Stavros Tripakis},
title = {A service network architecture for a multi-vehicle search mission},
booktitle = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando,
FL, USA, 4-7 Dec., 2001},
pages = {1503--1508},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/.2001.981107},
doi = {10.1109/.2001.981107},
timestamp = {Thu, 13 Oct 2022 17:08:41 +0200},
biburl = {https://dblp.org/rec/conf/cdc/ZennaroKST01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Tripakis01,
author = {Stavros Tripakis},
title = {Undecidable problems of decentralized observation and control},
booktitle = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando,
FL, USA, 4-7 Dec., 2001},
pages = {4104--4109},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/.2001.980822},
doi = {10.1109/.2001.980822},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/Tripakis01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Sangiovanni-VincentelliHKMMPPSST01,
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},
editor = {Maria Domenica Di Benedetto and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Hybrid Systems Applications: An Oxymoron?},
booktitle = {Hybrid Systems: Computation and Control, 4th International Workshop,
{HSCC} 2001, Rome, Italy, March 28-30, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2034},
pages = {5--6},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45351-2\_4},
doi = {10.1007/3-540-45351-2\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Sangiovanni-VincentelliHKMMPPSST01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TripakisY01,
author = {Stavros Tripakis and
Sergio Yovine},
editor = {Klaus Havelund and
Grigore Rosu},
title = {Timing Analysis and Code Generation of Vehicle Control Software using
Taxys},
booktitle = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV}
2001, Paris, France, July 23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {55},
number = {2},
pages = {277--286},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00257-9},
doi = {10.1016/S1571-0661(04)00257-9},
timestamp = {Mon, 05 Dec 2022 12:32:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TripakisY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BotchkarevT00,
author = {Oleg Botchkarev and
Stavros Tripakis},
editor = {Nancy A. Lynch and
Bruce H. Krogh},
title = {Verification of Hybrid Systems with Linear Differential Inclusions
Using Ellipsoidal Approximations},
booktitle = {Hybrid Systems: Computation and Control, Third International Workshop,
{HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1790},
pages = {73--88},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46430-1\_10},
doi = {10.1007/3-540-46430-1\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BotchkarevT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Tripakis99,
author = {Stavros Tripakis},
editor = {Joost{-}Pieter Katoen},
title = {Verifying Progress in Timed Systems},
booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
{AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1601},
pages = {299--314},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48778-6\_18},
doi = {10.1007/3-540-48778-6\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/arts/Tripakis99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BozgaMT99,
author = {Marius Bozga and
Oded Maler and
Stavros Tripakis},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Efficient Verification of Timed Automata Using Dense and Discrete
Time Semantics},
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},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {125--141},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_11},
doi = {10.1007/3-540-48153-2\_11},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/BozgaMT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/TripakisA99,
author = {Stavros Tripakis and
Karine Altisen},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems},
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}},
series = {Lecture Notes in Computer Science},
volume = {1708},
pages = {233--252},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48119-2\_15},
doi = {10.1007/3-540-48119-2\_15},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/TripakisA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/AltisenGPSTY99,
author = {Karine Altisen and
Gregor G{\"{o}}{\ss}ler and
Amir Pnueli and
Joseph Sifakis and
Stavros Tripakis and
Sergio Yovine},
title = {A Framework for Scheduler Synthesis},
booktitle = {Proceedings of the 20th {IEEE} Real-Time Systems Symposium, Phoenix,
AZ, USA, December 1-3, 1999},
pages = {154--163},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/REAL.1999.818838},
doi = {10.1109/REAL.1999.818838},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/AltisenGPSTY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Tripakis99,
author = {Stavros Tripakis},
editor = {Rance Cleaveland},
title = {Timed Diagnostics for Reachability Properties},
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, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1579},
pages = {59--73},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49059-0\_5},
doi = {10.1007/3-540-49059-0\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Tripakis99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Tripakis98,
author = {Stavros Tripakis},
title = {L'analyse formelle des syst{\`{e}}mes temporis{\'{e}}s en pratique.
(The Formal Analysis of Timed Systems in Practice)},
school = {Joseph Fourier University, Grenoble, France},
year = {1998},
url = {https://tel.archives-ouvertes.fr/tel-00004907},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Tripakis98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozgaDMOTY98,
author = {Marius Bozga and
Conrado Daws and
Oded Maler and
Alfredo Olivero and
Stavros Tripakis and
Sergio Yovine},
editor = {Alan J. Hu and
Moshe Y. Vardi},
title = {Kronos: {A} Model-Checking Tool for Real-Time Systems},
booktitle = {Computer Aided Verification, 10th International Conference, {CAV}
'98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1427},
pages = {546--550},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028779},
doi = {10.1007/BFB0028779},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BozgaDMOTY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BozgaDMOTY98,
author = {Marius Bozga and
Conrado Daws and
Oded Maler and
Alfredo Olivero and
Stavros Tripakis and
Sergio Yovine},
editor = {Anders P. Ravn and
Hans Rischel},
title = {{KRONOS:} {A} Model-Checking Tool for Real-Time Systems (Tool-Presentation
for {FTRTFT} '98)},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {298--302},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055357},
doi = {10.1007/BFB0055357},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/BozgaDMOTY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/TripakisY98,
author = {Stavros Tripakis and
Sergio Yovine},
title = {Verification of the Fast Reservation Protocol with Delayed Transmission
using the Tool Kronos},
booktitle = {Proceedings of the Fourth {IEEE} Real-Time Technology and Applications
Symposium, RTAS'98, Denver, Colorado, USA, June 3-5, 1998},
pages = {165--170},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/RTTAS.1998.683200},
doi = {10.1109/RTTAS.1998.683200},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/TripakisY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DawsT98,
author = {Conrado Daws and
Stavros Tripakis},
editor = {Bernhard Steffen},
title = {Model Checking of Real-Time Reachability Properties Using Abstractions},
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, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1384},
pages = {313--329},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054180},
doi = {10.1007/BFB0054180},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DawsT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compos/BornotST97,
author = {S{\'{e}}bastien Bornot and
Joseph Sifakis and
Stavros Tripakis},
editor = {Willem P. de Roever and
Hans Langmaack and
Amir Pnueli},
title = {Modeling Urgency in Timed Systems},
booktitle = {Compositionality: The Significant Difference, International Symposium,
COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1536},
pages = {103--129},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49213-5\_5},
doi = {10.1007/3-540-49213-5\_5},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/compos/BornotST97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BouajjaniTY97,
author = {Ahmed Bouajjani and
Stavros Tripakis and
Sergio Yovine},
title = {On-the-fly symbolic model checking for real-time systems},
booktitle = {Proceedings of the 18th {IEEE} Real-Time Systems Symposium {(RTSS}
'97), December 3-5, 1997, San Francisco, CA, {USA}},
pages = {25--34},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/REAL.1997.641266},
doi = {10.1109/REAL.1997.641266},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/BouajjaniTY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/TripakisY96,
author = {Stavros Tripakis and
Sergio Yovine},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {Analysis of Timed Systems Based on Time-Abstracting Bisimulation},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {232--243},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_72},
doi = {10.1007/3-540-61474-5\_72},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/TripakisY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TripakisC96,
author = {Stavros Tripakis and
Costas Courcoubetis},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Extending Promela and Spin for Real Time},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
pages = {329--348},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1\_53},
doi = {10.1007/3-540-61042-1\_53},
timestamp = {Sun, 02 Jun 2019 21:19:27 +0200},
biburl = {https://dblp.org/rec/conf/tacas/TripakisC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DawsOTY95,
author = {Conrado Daws and
Alfredo Olivero and
Stavros Tripakis and
Sergio Yovine},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {The Tool {KRONOS}},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {208--219},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020947},
doi = {10.1007/BFB0020947},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/DawsOTY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 21:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
