Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ezio Bartocci
@article{DBLP:journals/sttt/NenziBBSL23,
author = {Laura Nenzi and
Ezio Bartocci and
Luca Bortolussi and
Simone Silvetti and
Michele Loreti},
title = {MoonLight: a lightweight tool for monitoring spatio-temporal properties},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {4},
pages = {503--517},
year = {2023},
url = {https://doi.org/10.1007/s10009-023-00710-5},
doi = {10.1007/S10009-023-00710-5},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/NenziBBSL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/BartocciMNN23,
author = {Ezio Bartocci and
Cristinel Mateis and
Eleonora Nesterini and
Dejan Nickovic},
title = {Mining Hyperproperties using Temporal Logics},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {22},
number = {5s},
pages = {156:1--156:26},
year = {2023},
url = {https://doi.org/10.1145/3609394},
doi = {10.1145/3609394},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/BartocciMNN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DobeSBBLPW23,
author = {Oyendrila Dobe and
Stefan Schupp and
Ezio Bartocci and
Borzoo Bonakdarpour and
Axel Legay and
Miroslav Pajic and
Yu Wang},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {Lightweight Verification of Hyperproperties},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14216},
pages = {3--25},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45332-8\_1},
doi = {10.1007/978-3-031-45332-8\_1},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/DobeSBBLPW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BartocciHNC23,
author = {Ezio Bartocci and
Thomas A. Henzinger and
Dejan Nickovic and
Ana Oliveira da Costa},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Hypernode Automata},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {21:1--21:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.21},
doi = {10.4230/LIPICS.CONCUR.2023.21},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/BartocciHNC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HeNBG23,
author = {Jie He and
Dejan Nickovic and
Ezio Bartocci and
Radu Grosu},
title = {TD-Magic: From Pictures of Timing Diagrams To Formal Specifications},
booktitle = {60th {ACM/IEEE} Design Automation Conference, {DAC} 2023, San Francisco,
CA, USA, July 9-13, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DAC56929.2023.10247685},
doi = {10.1109/DAC56929.2023.10247685},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HeNBG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SoldaLBE23,
author = {Davide Sold{\`{a}} and
Ignacio D. Lopez{-}Miguel and
Ezio Bartocci and
Thomas Eiter},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {Progression for Monitoring in Temporal {ASP}},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {2170--2177},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230513},
doi = {10.3233/FAIA230513},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/SoldaLBE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BartocciMNY23,
author = {Ezio Bartocci and
Leonardo Mariani and
Dejan Nickovic and
Drishti Yadav},
title = {Property-Based Mutation Testing},
booktitle = {{IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2023, Dublin, Ireland, April 16-20, 2023},
pages = {222--233},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICST57152.2023.00029},
doi = {10.1109/ICST57152.2023.00029},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BartocciMNY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TundoMIBBM23,
author = {Alessandro Tundo and
Marco Mobilio and
Shashikant Ilager and
Ivona Brandic and
Ezio Bartocci and
Leonardo Mariani},
title = {An Energy-Aware Approach to Design Self-Adaptive AI-based Applications
on the Edge},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {281--293},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00046},
doi = {10.1109/ASE56229.2023.00046},
timestamp = {Thu, 16 Nov 2023 09:03:51 +0100},
biburl = {https://dblp.org/rec/conf/kbse/TundoMIBBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/GerlachDABB23,
author = {Lina Gerlach and
Oyendrila Dobe and
Erika {\'{A}}brah{\'{a}}m and
Ezio Bartocci and
Borzoo Bonakdarpour},
editor = {Nils Jansen and
Mirco Tribastone},
title = {Introducing Asynchronicity to Probabilistic Hyperproperties},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
pages = {47--64},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6\_4},
doi = {10.1007/978-3-031-43835-6\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/GerlachDABB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AndriushchenkoBCPS23,
author = {Roman Andriushchenko and
Ezio Bartocci and
Milan Ceska and
Francesco Pontiggia and
Sarah Sallinger},
editor = {Nils Jansen and
Mirco Tribastone},
title = {Deductive Controller Synthesis for Probabilistic Hyperproperties},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
pages = {288--306},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6\_20},
doi = {10.1007/978-3-031-43835-6\_20},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/AndriushchenkoBCPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AguilarBMNN23,
author = {Edgar A. Aguilar and
Ezio Bartocci and
Cristinel Mateis and
Eleonora Nesterini and
Dejan Nickovic},
editor = {Panagiotis Katsaros and
Laura Nenzi},
title = {Mining Specification Parameters for Multi-class Classification},
booktitle = {Runtime Verification - 23rd International Conference, {RV} 2023, Thessaloniki,
Greece, October 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14245},
pages = {86--105},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44267-4\_5},
doi = {10.1007/978-3-031-44267-4\_5},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/AguilarBMNN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MaderbacherSBBNK23,
author = {Benedikt Maderbacher and
Stefan Schupp and
Ezio Bartocci and
Roderick Bloem and
Dejan Nickovic and
Bettina K{\"{o}}nighofer},
editor = {Georgiana Caltais and
Christian Schilling},
title = {Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness
Properties},
booktitle = {Model Checking Software - 29th International Symposium, {SPIN} 2023,
Paris, France, April 26-27, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13872},
pages = {141--160},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-32157-3\_8},
doi = {10.1007/978-3-031-32157-3\_8},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/MaderbacherSBBNK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-13615,
author = {Ezio Bartocci and
Leonardo Mariani and
Dejan Nickovic and
Drishti Yadav},
title = {Property-Based Mutation Testing},
journal = {CoRR},
volume = {abs/2301.13615},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.13615},
doi = {10.48550/ARXIV.2301.13615},
eprinttype = {arXiv},
eprint = {2301.13615},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-13615.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-09094,
author = {Andrey Kofnov and
Ezio Bartocci and
Efstathia Bura},
title = {Density Elicitation with applications in Probabilistic Loops},
journal = {CoRR},
volume = {abs/2304.09094},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.09094},
doi = {10.48550/ARXIV.2304.09094},
eprinttype = {arXiv},
eprint = {2304.09094},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-09094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-02836,
author = {Ezio Bartocci and
Thomas A. Henzinger and
Dejan Nickovic and
Ana Oliveira da Costa},
title = {Hypernode Automata},
journal = {CoRR},
volume = {abs/2305.02836},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.02836},
doi = {10.48550/ARXIV.2305.02836},
eprinttype = {arXiv},
eprint = {2305.02836},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-02836.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-01597,
author = {Daneshvar Amrollahi and
Ezio Bartocci and
George Kenison and
Laura Kov{\'{a}}cs and
Marcel Moosbrugger and
Miroslav Stankovic},
title = {(Un)Solvable Loop Analysis},
journal = {CoRR},
volume = {abs/2306.01597},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.01597},
doi = {10.48550/ARXIV.2306.01597},
eprinttype = {arXiv},
eprint = {2306.01597},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-01597.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-07072,
author = {Andrey Kofnov and
Marcel Moosbrugger and
Miroslav Stankovic and
Ezio Bartocci and
Efstathia Bura},
title = {Exact and Approximate Moment Derivation for Probabilistic Loops With
Non-Polynomial Assignments},
journal = {CoRR},
volume = {abs/2306.07072},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.07072},
doi = {10.48550/ARXIV.2306.07072},
eprinttype = {arXiv},
eprint = {2306.07072},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-07072.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-04503,
author = {Roman Andriushchenko and
Ezio Bartocci and
Milan Ceska and
Francesco Pontiggia and
Sarah Sallinger},
title = {Deductive Controller Synthesis for Probabilistic Hyperproperties},
journal = {CoRR},
volume = {abs/2307.04503},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.04503},
doi = {10.48550/ARXIV.2307.04503},
eprinttype = {arXiv},
eprint = {2307.04503},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-04503.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-05282,
author = {Lina Gerlach and
Oyendrila Dobe and
Erika {\'{A}}brah{\'{a}}m and
Ezio Bartocci and
Borzoo Bonakdarpour},
title = {Introducing Asynchronicity to Probabilistic Hyperproperties},
journal = {CoRR},
volume = {abs/2307.05282},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.05282},
doi = {10.48550/ARXIV.2307.05282},
eprinttype = {arXiv},
eprint = {2307.05282},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05282.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-00022,
author = {Alessandro Tundo and
Marco Mobilio and
Shashikant Ilager and
Ivona Brandic and
Ezio Bartocci and
Leonardo Mariani},
title = {An Energy-Aware Approach to Design Self-Adaptive AI-based Applications
on the Edge},
journal = {CoRR},
volume = {abs/2309.00022},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.00022},
doi = {10.48550/ARXIV.2309.00022},
eprinttype = {arXiv},
eprint = {2309.00022},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-00022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ethicsit/NeufeldBCG22,
author = {Emery A. Neufeld and
Ezio Bartocci and
Agata Ciabattoni and
Guido Governatori},
title = {Enforcing ethical goals over reinforcement-learning policies},
journal = {Ethics Inf. Technol.},
volume = {24},
number = {4},
pages = {43},
year = {2022},
url = {https://doi.org/10.1007/s10676-022-09665-8},
doi = {10.1007/S10676-022-09665-8},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ethicsit/NeufeldBCG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/MoosbruggerBKK22,
author = {Marcel Moosbrugger and
Ezio Bartocci and
Joost{-}Pieter Katoen and
Laura Kov{\'{a}}cs},
title = {The probabilistic termination tool amber},
journal = {Formal Methods Syst. Des.},
volume = {61},
number = {1},
pages = {90--109},
year = {2022},
url = {https://doi.org/10.1007/s10703-023-00424-z},
doi = {10.1007/S10703-023-00424-Z},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/MoosbruggerBKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BartocciMNN22,
author = {Ezio Bartocci and
Cristinel Mateis and
Eleonora Nesterini and
Dejan Nickovic},
title = {Survey on mining signal temporal logic specifications},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104957},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104957},
doi = {10.1016/J.IC.2022.104957},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BartocciMNN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DobeABB22,
author = {Oyendrila Dobe and
Erika {\'{A}}brah{\'{a}}m and
Ezio Bartocci and
Borzoo Bonakdarpour},
title = {Model checking hyperproperties for Markov decision processes},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104978},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104978},
doi = {10.1016/J.IC.2022.104978},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DobeABB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/NenziBBL22,
author = {Laura Nenzi and
Ezio Bartocci and
Luca Bortolussi and
Michele Loreti},
title = {A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical
Systems},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:4)2022},
doi = {10.46298/LMCS-18(1:4)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/NenziBBL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MoosbruggerSBK22,
author = {Marcel Moosbrugger and
Miroslav Stankovic and
Ezio Bartocci and
Laura Kov{\'{a}}cs},
title = {This is the moment for probabilistic loops},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {1497--1525},
year = {2022},
url = {https://doi.org/10.1145/3563341},
doi = {10.1145/3563341},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MoosbruggerSBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/StankovicBK22,
author = {Miroslav Stankovic and
Ezio Bartocci and
Laura Kov{\'{a}}cs},
title = {Moment-based analysis of Bayesian network properties},
journal = {Theor. Comput. Sci.},
volume = {903},
pages = {113--133},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2021.12.021},
doi = {10.1016/J.TCS.2021.12.021},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/StankovicBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BartocciFHNC22,
author = {Ezio Bartocci and
Thomas Ferr{\`{e}}re and
Thomas A. Henzinger and
Dejan Nickovic and
Ana Oliveira da Costa},
editor = {Einar Broch Johnsen and
Manuel Wimmer},
title = {Information-flow Interfaces},
booktitle = {Fundamental Approaches to Software Engineering - 25th International
Conference, {FASE} 2022, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany,
April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13241},
pages = {3--22},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99429-7\_1},
doi = {10.1007/978-3-030-99429-7\_1},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BartocciFHNC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HeBNIG22,
author = {Jie He and
Ezio Bartocci and
Dejan Nickovic and
Haris Isakovic and
Radu Grosu},
title = {DeepSTL - From English Requirements to Signal Temporal Logic},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
{ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {610--622},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510171},
doi = {10.1145/3510003.3510171},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HeBNIG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BartocciMNY22,
author = {Ezio Bartocci and
Leonardo Mariani and
Dejan Nickovic and
Drishti Yadav},
title = {Search-based Testing for Accurate Fault Localization in {CPS}},
booktitle = {{IEEE} 33rd International Symposium on Software Reliability Engineering,
{ISSRE} 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022},
pages = {145--156},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISSRE55969.2022.00024},
doi = {10.1109/ISSRE55969.2022.00024},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/BartocciMNY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DobeWABB22,
author = {Oyendrila Dobe and
Lukas Wilke and
Erika {\'{A}}brah{\'{a}}m and
Ezio Bartocci and
Borzoo Bonakdarpour},
editor = {Jyotirmoy V. Deshmukh and
Klaus Havelund and
Ivan Perez},
title = {Probabilistic Hyperproperties with Rewards},
booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
Pasadena, CA, USA, May 24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13260},
pages = {656--673},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06773-0\_35},
doi = {10.1007/978-3-031-06773-0\_35},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/DobeWABB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/NeufeldBC22,
author = {Emery A. Neufeld and
Ezio Bartocci and
Agata Ciabattoni},
editor = {Reyhan Aydogan and
Natalia Criado and
J{\'{e}}r{\^{o}}me Lang and
V{\'{\i}}ctor S{\'{a}}nchez{-}Anguix and
Marc Serramia},
title = {On Normative Reinforcement Learning via Safe Reinforcement Learning},
booktitle = {{PRIMA} 2022: Principles and Practice of Multi-Agent Systems - 24th
International Conference, Valencia, Spain, November 16-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13753},
pages = {72--89},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21203-1\_5},
doi = {10.1007/978-3-031-21203-1\_5},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prima/NeufeldBC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/KofnovMSBB22,
author = {Andrey Kofnov and
Marcel Moosbrugger and
Miroslav Stankovic and
Ezio Bartocci and
Efstathia Bura},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marco Paolieri},
title = {Moment-Based Invariants for Probabilistic Loops with Non-polynomial
Assignments},
booktitle = {Quantitative Evaluation of Systems - 19th International Conference,
{QEST} 2022, Warsaw, Poland, September 12-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13479},
pages = {3--25},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16336-4\_1},
doi = {10.1007/978-3-031-16336-4\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/KofnovMSBB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/KarimiMSKBB22,
author = {Ahmad Karimi and
Marcel Moosbrugger and
Miroslav Stankovic and
Laura Kov{\'{a}}cs and
Ezio Bartocci and
Efstathia Bura},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marco Paolieri},
title = {Distribution Estimation for Probabilistic Loops},
booktitle = {Quantitative Evaluation of Systems - 19th International Conference,
{QEST} 2022, Warsaw, Poland, September 12-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13479},
pages = {26--42},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16336-4\_2},
doi = {10.1007/978-3-031-16336-4\_2},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/KarimiMSKBB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AmrollahiBKKMS22,
author = {Daneshvar Amrollahi and
Ezio Bartocci and
George Kenison and
Laura Kov{\'{a}}cs and
Marcel Moosbrugger and
Miroslav Stankovic},
editor = {Gagandeep Singh and
Caterina Urban},
title = {Solving Invariant Generation for Unsolvable Loops},
booktitle = {Static Analysis - 29th International Symposium, {SAS} 2022, Auckland,
New Zealand, December 5-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13790},
pages = {19--43},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22308-2\_3},
doi = {10.1007/978-3-031-22308-2\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/AmrollahiBKKMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BartocciMNY22,
author = {Ezio Bartocci and
Leonardo Mariani and
Dejan Nickovic and
Drishti Yadav},
editor = {Abhik Roychoudhury and
Cristian Cadar and
Miryung Kim},
title = {{FIM:} fault injection and mutation for Simulink},
booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022},
pages = {1716--1720},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3540250.3558932},
doi = {10.1145/3540250.3558932},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BartocciMNY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BartocciFHNC22,
author = {Ezio Bartocci and
Thomas Ferr{\`{e}}re and
Thomas A. Henzinger and
Dejan Nickovic and
Ana Oliveira da Costa},
editor = {Bernd Finkbeiner and
Thomas Wies},
title = {Flavors of Sequential Information Flow},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International
Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13182},
pages = {1--19},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94583-1\_1},
doi = {10.1007/978-3-030-94583-1\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BartocciFHNC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2022,
editor = {Ezio Bartocci and
Sylvie Putot},
title = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems:
Computation and Control, Milan, Italy, May 4 - 6, 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3501710},
doi = {10.1145/3501710},
isbn = {978-1-4503-9196-2},
timestamp = {Thu, 07 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-07185,
author = {Marcel Moosbrugger and
Miroslav Stankovic and
Ezio Bartocci and
Laura Kov{\'{a}}cs},
title = {This is the Moment for Probabilistic Loops},
journal = {CoRR},
volume = {abs/2204.07185},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.07185},
doi = {10.48550/ARXIV.2204.07185},
eprinttype = {arXiv},
eprint = {2204.07185},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-07185.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-02577,
author = {Andrey Kofnov and
Marcel Moosbrugger and
Miroslav Stankovic and
Ezio Bartocci and
Efstathia Bura},
title = {Moment-based Invariants for Probabilistic Loops with Non-polynomial
Assignments},
journal = {CoRR},
volume = {abs/2205.02577},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.02577},
doi = {10.48550/ARXIV.2205.02577},
eprinttype = {arXiv},
eprint = {2205.02577},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-02577.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-06943,
author = {Daneshvar Amrollahi and
Ezio Bartocci and
George Kenison and
Laura Kov{\'{a}}cs and
Marcel Moosbrugger and
Miroslav Stankovic},
title = {Solving Invariant Generation for Unsolvable Loops},
journal = {CoRR},
volume = {abs/2206.06943},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.06943},
doi = {10.48550/ARXIV.2206.06943},
eprinttype = {arXiv},
eprint = {2206.06943},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-06943.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/MaBLSF21,
author = {Meiyi Ma and
Ezio Bartocci and
Eli Lifland and
John A. Stankovic and
Lu Feng},
title = {A Novel Spatial-Temporal Specification-Based Monitoring System for
Smart Cities},
journal = {{IEEE} Internet Things J.},
volume = {8},
number = {15},
pages = {11793--11806},
year = {2021},
url = {https://doi.org/10.1109/JIOT.2021.3069943},
doi = {10.1109/JIOT.2021.3069943},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iotj/MaBLSF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/BartocciB21,
author = {Ezio Bartocci and
Michael A. Bender},
title = {A Perspective on "CCS Expressions, Finite State Processes, and
Three Problems of Equivalence"},
journal = {{SIGACT} News},
volume = {52},
number = {4},
pages = {76--77},
year = {2021},
url = {https://doi.org/10.1145/3510382.3510394},
doi = {10.1145/3510382.3510394},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/BartocciB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BartocciMMMN21,
author = {Ezio Bartocci and
Niveditha Manjunath and
Leonardo Mariani and
Cristinel Mateis and
Dejan Nickovic},
title = {CPSDebug: Automatic failure explanation in {CPS} models},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {5},
pages = {783--796},
year = {2021},
url = {https://doi.org/10.1007/s10009-020-00599-4},
doi = {10.1007/S10009-020-00599-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BartocciMMMN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/MaSB021,
author = {Meiyi Ma and
John A. Stankovic and
Ezio Bartocci and
Lu Feng},
title = {Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical
Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {5s},
pages = {101:1--101:25},
year = {2021},
url = {https://doi.org/10.1145/3477032},
doi = {10.1145/3477032},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/MaSB021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BartocciBMMN21,
author = {Ezio Bartocci and
Roderick Bloem and
Benedikt Maderbacher and
Niveditha Manjunath and
Dejan Nickovic},
editor = {Rapha{\"{e}}l M. Jungers and
Necmiye Ozay and
Alessandro Abate},
title = {Adaptive Testing for Specification Coverage in {CPS} Models},
booktitle = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2021, Brussels, Belgium, July 7-9, 2021},
series = {IFAC-PapersOnLine},
volume = {54},
number = {5},
pages = {229--234},
publisher = {Elsevier},
year = {2021},
url = {https://doi.org/10.1016/j.ifacol.2021.08.503},
doi = {10.1016/J.IFACOL.2021.08.503},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/BartocciBMMN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NeufeldBCG21,
author = {Emery A. Neufeld and
Ezio Bartocci and
Agata Ciabattoni and
Guido Governatori},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {A Normative Supervisor for Reinforcement Learning Agents},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {565--576},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_32},
doi = {10.1007/978-3-030-79876-5\_32},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/NeufeldBCG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/AlsalehiMBB21,
author = {Suhail Alsalehi and
Noushin Mehdipour and
Ezio Bartocci and
Calin Belta},
title = {Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal
Specifications},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {5110--5115},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9682921},
doi = {10.1109/CDC45484.2021.9682921},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/AlsalehiMBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MoosbruggerBKK21,
author = {Marcel Moosbrugger and
Ezio Bartocci and
Joost{-}Pieter Katoen and
Laura Kov{\'{a}}cs},
editor = {Nobuko Yoshida},
title = {Automated Termination Analysis of Polynomial Probabilistic Programs},
booktitle = {Programming Languages and Systems - 30th European Symposium on Programming,
{ESOP} 2021, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg,
March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12648},
pages = {491--518},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72019-3\_18},
doi = {10.1007/978-3-030-72019-3\_18},
timestamp = {Fri, 14 May 2021 08:34:21 +0200},
biburl = {https://dblp.org/rec/conf/esop/MoosbruggerBKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DobeABB21,
author = {Oyendrila Dobe and
Erika {\'{A}}brah{\'{a}}m and
Ezio Bartocci and
Borzoo Bonakdarpour},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {HyperProb: {A} Model Checker for Probabilistic Hyperproperties},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {657--666},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_35},
doi = {10.1007/978-3-030-90870-6\_35},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/DobeABB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MoosbruggerBKK21,
author = {Marcel Moosbrugger and
Ezio Bartocci and
Joost{-}Pieter Katoen and
Laura Kov{\'{a}}cs},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {The Probabilistic Termination Tool Amber},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {667--675},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_36},
doi = {10.1007/978-3-030-90870-6\_36},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/MoosbruggerBKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ViscontiBLN21,
author = {Ennio Visconti and
Ezio Bartocci and
Michele Loreti and
Laura Nenzi},
editor = {S. Arun{-}Kumar and
Dominique M{\'{e}}ry and
Indranil Saha and
Lijun Zhang},
title = {Online monitoring of spatio-temporal properties for imprecise signals},
booktitle = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, Virtual Event, China, November
20 - 22, 2021},
pages = {78--88},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3487212.3487344},
doi = {10.1145/3487212.3487344},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/ViscontiBLN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BartocciDMNNQ21,
author = {Ezio Bartocci and
Jyotirmoy Deshmukh and
Cristinel Mateis and
Eleonora Nesterini and
Dejan Nickovic and
Xin Qin},
editor = {Radu Calinescu and
Corina S. Pasareanu},
title = {Mining Shape Expressions with ShapeIt},
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 = {110--117},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92124-8\_7},
doi = {10.1007/978-3-030-92124-8\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BartocciDMNNQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2021havelund,
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Martin Leucker},
title = {Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13065},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87348-6},
doi = {10.1007/978-3-030-87348-6},
isbn = {978-3-030-87347-9},
timestamp = {Thu, 18 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/2021havelund.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-03908,
author = {Ezio Bartocci and
Laura Kov{\'{a}}cs and
Miroslav Stankovic},
title = {{MORA} - Automatic Generation of Moment-Based Invariants},
journal = {CoRR},
volume = {abs/2103.03908},
year = {2021},
url = {https://arxiv.org/abs/2103.03908},
eprinttype = {arXiv},
eprint = {2103.03908},
timestamp = {Mon, 15 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-03908.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-02737,
author = {Suhail Alsalehi and
Noushin Mehdipour and
Ezio Bartocci and
Calin Belta},
title = {Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal
Specifications},
journal = {CoRR},
volume = {abs/2104.02737},
year = {2021},
url = {https://arxiv.org/abs/2104.02737},
eprinttype = {arXiv},
eprint = {2104.02737},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-02737.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-04904,
author = {Meiyi Ma and
Ezio Bartocci and
Eli Lifland and
John A. Stankovic and
Lu Feng},
title = {A Novel Spatial-Temporal Specification-Based Monitoring System for
Smart Cities},
journal = {CoRR},
volume = {abs/2104.04904},
year = {2021},
url = {https://arxiv.org/abs/2104.04904},
eprinttype = {arXiv},
eprint = {2104.04904},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-04904.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14333,
author = {Ezio Bartocci and
Luca Bortolussi and
Laura Nenzi and
Simone Silvetti},
title = {MoonLight: {A} Lightweight Tool for Monitoring Spatio-Temporal Properties},
journal = {CoRR},
volume = {abs/2104.14333},
year = {2021},
url = {https://arxiv.org/abs/2104.14333},
eprinttype = {arXiv},
eprint = {2104.14333},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-14333.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-02013,
author = {Ezio Bartocci and
Thomas Ferr{\`{e}}re and
Thomas A. Henzinger and
Dejan Nickovic and
Ana Oliveira da Costa},
title = {Flavours of Sequential Information Flow},
journal = {CoRR},
volume = {abs/2105.02013},
year = {2021},
url = {https://arxiv.org/abs/2105.02013},
eprinttype = {arXiv},
eprint = {2105.02013},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-02013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-11400,
author = {Ezio Bartocci and
Luca Bortolussi and
Laura Nenzi and
Michele Loreti},
title = {A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical
Systems},
journal = {CoRR},
volume = {abs/2105.11400},
year = {2021},
url = {https://arxiv.org/abs/2105.11400},
eprinttype = {arXiv},
eprint = {2105.11400},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-11400.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-13072,
author = {Marcel Moosbrugger and
Ezio Bartocci and
Joost{-}Pieter Katoen and
Laura Kov{\'{a}}cs},
title = {The Probabilistic Termination Tool Amber},
journal = {CoRR},
volume = {abs/2107.13072},
year = {2021},
url = {https://arxiv.org/abs/2107.13072},
eprinttype = {arXiv},
eprint = {2107.13072},
timestamp = {Fri, 30 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-13072.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-08081,
author = {Ennio Visconti and
Ezio Bartocci and
Michele Loreti and
Laura Nenzi},
title = {Online Monitoring of Spatio-Temporal Properties for Imprecise Signals},
journal = {CoRR},
volume = {abs/2109.08081},
year = {2021},
url = {https://arxiv.org/abs/2109.08081},
eprinttype = {arXiv},
eprint = {2109.08081},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-10294,
author = {Jie He and
Ezio Bartocci and
Dejan Nickovic and
Haris Isakovic and
Radu Grosu},
title = {From English to Signal Temporal Logic},
journal = {CoRR},
volume = {abs/2109.10294},
year = {2021},
url = {https://arxiv.org/abs/2109.10294},
eprinttype = {arXiv},
eprint = {2109.10294},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-10294.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-11999,
author = {Ezio Bartocci and
Jyotirmoy Deshmukh and
Cristinel Mateis and
Eleonora Nesterini and
Dejan Nickovic and
Xin Qin},
title = {Mining Shape Expressions with ShapeIt},
journal = {CoRR},
volume = {abs/2109.11999},
year = {2021},
url = {https://arxiv.org/abs/2109.11999},
eprinttype = {arXiv},
eprint = {2109.11999},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-11999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ShmarovSPBLSZ20,
author = {Fedor Shmarov and
Sadegh Soudjani and
Nicola Paoletti and
Ezio Bartocci and
Shan Lin and
Scott A. Smolka and
Paolo Zuliani},
title = {Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic
Nonlinear Systems},
journal = {{IEEE} Access},
volume = {8},
pages = {180825--180843},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3028476},
doi = {10.1109/ACCESS.2020.3028476},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/ShmarovSPBLSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BartocciDGMNQ20,
author = {Ezio Bartocci and
Jyotirmoy Deshmukh and
Felix Gigler and
Cristinel Mateis and
Dejan Nickovic and
Xin Qin},
title = {Mining Shape Expressions From Positive Examples},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {39},
number = {11},
pages = {3809--3820},
year = {2020},
url = {https://doi.org/10.1109/TCAD.2020.3012240},
doi = {10.1109/TCAD.2020.3012240},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/BartocciDGMNQ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AbrahamBBD20,
author = {Erika {\'{A}}brah{\'{a}}m and
Ezio Bartocci and
Borzoo Bonakdarpour and
Oyendrila Dobe},
editor = {Dang Van Hung and
Oleg Sokolsky},
title = {Probabilistic Hyperproperties with Nondeterminism},
booktitle = {Automated Technology for Verification and Analysis - 18th International
Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12302},
pages = {518--534},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59152-6\_29},
doi = {10.1007/978-3-030-59152-6\_29},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AbrahamBBD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/MaBLS020,
author = {Meiyi Ma and
Ezio Bartocci and
Eli Lifland and
John A. Stankovic and
Lu Feng},
title = {SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring
in Smart Cities},
booktitle = {11th {ACM/IEEE} International Conference on Cyber-Physical Systems,
{ICCPS} 2020, Sydney, Australia, April 21-25, 2020},
pages = {51--62},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICCPS48487.2020.00013},
doi = {10.1109/ICCPS48487.2020.00013},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/MaBLS020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BartocciKS20,
author = {Ezio Bartocci and
Laura Kov{\'{a}}cs and
Miroslav Stankovic},
editor = {Violet Ka I Pun and
Volker Stolz and
Adenilso Sim{\~{a}}o},
title = {Analysis of Bayesian Networks via Prob-Solvable Loops},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2020 - 17th International
Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12545},
pages = {221--241},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64276-1\_12},
doi = {10.1007/978-3-030-64276-1\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/BartocciKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BartocciMMMNP20,
author = {Ezio Bartocci and
Niveditha Manjunath and
Leonardo Mariani and
Cristinel Mateis and
Dejan Nickovic and
Fabrizio Pastore},
editor = {Sarfraz Khurshid and
Corina S. Pasareanu},
title = {CPSDebug: a tool for explanation of failures in cyber-physical systems},
booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
pages = {569--572},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3395363.3404369},
doi = {10.1145/3395363.3404369},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BartocciMMMNP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AbrahamBBD20,
author = {Erika {\'{A}}brah{\'{a}}m and
Ezio Bartocci and
Borzoo Bonakdarpour and
Oyendrila Dobe},
editor = {Elvira Albert and
Laura Kov{\'{a}}cs},
title = {Parameter Synthesis for Probabilistic Hyperproperties},
booktitle = {{LPAR} 2020: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27,
2020},
series = {EPiC Series in Computing},
volume = {73},
pages = {12--31},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/37lf},
doi = {10.29007/37LF},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/AbrahamBBD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/NenziBBLV20,
author = {Laura Nenzi and
Ezio Bartocci and
Luca Bortolussi and
Michele Loreti and
Ennio Visconti},
editor = {Jyotirmoy Deshmukh and
Dejan Nickovic},
title = {Monitoring Spatio-Temporal Properties (Invited Tutorial)},
booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los
Angeles, CA, USA, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12399},
pages = {21--46},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60508-7\_2},
doi = {10.1007/978-3-030-60508-7\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/NenziBBLV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ZapridouBK20,
author = {Eleni Zapridou and
Ezio Bartocci and
Panagiotis Katsaros},
editor = {Jyotirmoy Deshmukh and
Dejan Nickovic},
title = {Runtime Verification of Autonomous Driving Systems in {CARLA}},
booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los
Angeles, CA, USA, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12399},
pages = {172--183},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60508-7\_9},
doi = {10.1007/978-3-030-60508-7\_9},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ZapridouBK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BartocciBLNS20,
author = {Ezio Bartocci and
Luca Bortolussi and
Michele Loreti and
Laura Nenzi and
Simone Silvetti},
editor = {Jyotirmoy Deshmukh and
Dejan Nickovic},
title = {MoonLight: {A} Lightweight Tool for Monitoring Spatio-Temporal Properties},
booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los
Angeles, CA, USA, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12399},
pages = {417--428},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60508-7\_23},
doi = {10.1007/978-3-030-60508-7\_23},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/BartocciBLNS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/MaBS020,
author = {Meiyi Ma and
Ezio Bartocci and
John A. Stankovic and
Lu Feng},
editor = {Jin Nakazawa and
Polly Huang},
title = {Predictive monitoring with uncertainty for deep learning enabled smart
cities: poster abstract},
booktitle = {SenSys '20: The 18th {ACM} Conference on Embedded Networked Sensor
Systems, Virtual Event, Japan, November 16-19, 2020},
pages = {711--712},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3384419.3430445},
doi = {10.1145/3384419.3430445},
timestamp = {Wed, 04 May 2022 13:03:25 +0200},
biburl = {https://dblp.org/rec/conf/sensys/MaBS020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BartocciKS20,
author = {Ezio Bartocci and
Laura Kov{\'{a}}cs and
Miroslav Stankovic},
editor = {Armin Biere and
David Parker},
title = {Mora - Automatic Generation of Moment-Based Invariants},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12078},
pages = {492--498},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45190-5\_28},
doi = {10.1007/978-3-030-45190-5\_28},
timestamp = {Fri, 14 May 2021 08:34:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BartocciKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-06465,
author = {Ezio Bartocci and
Thomas Ferr{\`{e}}re and
Thomas A. Henzinger and
Dejan Nickovic and
Ana Oliveira da Costa},
title = {Information-Flow Interfaces},
journal = {CoRR},
volume = {abs/2002.06465},
year = {2020},
url = {https://arxiv.org/abs/2002.06465},
eprinttype = {arXiv},
eprint = {2002.06465},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-06465.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-06115,
author = {Erika {\'{A}}brah{\'{a}}m and
Ezio Bartocci and
Borzoo Bonakdarpour and
Oyendrila Dobe},
title = {Probabilistic Hyperproperties with Nondeterminism},
journal = {CoRR},
volume = {abs/2005.06115},
year = {2020},
url = {https://arxiv.org/abs/2005.06115},
eprinttype = {arXiv},
eprint = {2005.06115},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-06115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-09450,
author = {Ezio Bartocci and
Laura Kov{\'{a}}cs and
Miroslav Stankovic},
title = {Analysis of Bayesian Networks via Prob-Solvable Loops},
journal = {CoRR},
volume = {abs/2007.09450},
year = {2020},
url = {https://arxiv.org/abs/2007.09450},
eprinttype = {arXiv},
eprint = {2007.09450},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-09450.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-03444,
author = {Marcel Moosbrugger and
Ezio Bartocci and
Joost{-}Pieter Katoen and
Laura Kov{\'{a}}cs},
title = {Automated Termination Analysis of Polynomial Probabilistic Programs},
journal = {CoRR},
volume = {abs/2010.03444},
year = {2020},
url = {https://arxiv.org/abs/2010.03444},
eprinttype = {arXiv},
eprint = {2010.03444},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-03444.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-06674,
author = {Ezio Bartocci and
Roderick Bloem and
Benedikt Maderbacher and
Niveditha Manjunath and
Dejan Nickovic},
title = {Adaptive Testing for Specification Coverage},
journal = {CoRR},
volume = {abs/2010.06674},
year = {2020},
url = {https://arxiv.org/abs/2010.06674},
eprinttype = {arXiv},
eprint = {2010.06674},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-06674.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-00384,
author = {Meiyi Ma and
John A. Stankovic and
Ezio Bartocci and
Lu Feng},
title = {CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for
Smart Cities},
journal = {CoRR},
volume = {abs/2011.00384},
year = {2020},
url = {https://arxiv.org/abs/2011.00384},
eprinttype = {arXiv},
eprint = {2011.00384},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-00384.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/RatasichKGGSB19,
author = {Denise Ratasich and
Faiq Khalid and
Florian Geissler and
Radu Grosu and
Muhammad Shafique and
Ezio Bartocci},
title = {A Roadmap Toward the Resilient Internet of Things for Cyber-Physical
Systems},
journal = {{IEEE} Access},
volume = {7},
pages = {13260--13283},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2891969},
doi = {10.1109/ACCESS.2019.2891969},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/RatasichKGGSB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SanchezSABBCFFK19,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {A survey of challenges for runtime verification from advanced application
domains (beyond software)},
journal = {Formal Methods Syst. Des.},
volume = {54},
number = {3},
pages = {279--335},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00337-w},
doi = {10.1007/S10703-019-00337-W},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SanchezSABBCFFK19a,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {Correction to: {A} survey of challenges for runtime verification from
advanced application domains (beyond software)},
journal = {Formal Methods Syst. Des.},
volume = {55},
number = {1},
pages = {72},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00343-y},
doi = {10.1007/S10703-019-00343-Y},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BartocciFBCDHJK19,
author = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Borzoo Bonakdarpour and
Christian Colombo and
Normann Decker and
Klaus Havelund and
Yogi Joshi and
Felix Klaedtke and
Reed Milewicz and
Giles Reger and
Grigore Rosu and
Julien Signoles and
Daniel Thoma and
Eugen Zalinescu and
Yi Zhang},
title = {First international Competition on Runtime Verification: rules, benchmarks,
tools, and final results of {CRV} 2014},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {21},
number = {1},
pages = {31--70},
year = {2019},
url = {https://doi.org/10.1007/s10009-017-0454-5},
doi = {10.1007/S10009-017-0454-5},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BartocciFBCDHJK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GurungRBBG19,
author = {Amit Gurung and
Rajarshi Ray and
Ezio Bartocci and
Sergiy Bogomolov and
Radu Grosu},
title = {Parallel reachability analysis of hybrid systems in XSpeed},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {21},
number = {4},
pages = {401--423},
year = {2019},
url = {https://doi.org/10.1007/s10009-018-0485-6},
doi = {10.1007/S10009-018-0485-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GurungRBBG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/AbbasRMBSG19,
author = {Houssam Abbas and
Al{\"{e}}na Rodionova and
Konstantinos Mamouras and
Ezio Bartocci and
Scott A. Smolka and
Radu Grosu},
title = {Quantitative Regular Expressions for Arrhythmia Detection},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {16},
number = {5},
pages = {1586--1597},
year = {2019},
url = {https://doi.org/10.1109/TCBB.2018.2885274},
doi = {10.1109/TCBB.2018.2885274},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/AbbasRMBSG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BartocciKS19,
author = {Ezio Bartocci and
Laura Kov{\'{a}}cs and
Miroslav Stankovic},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Automatic Generation of Moment-Based Invariants for Prob-Solvable
Loops},
booktitle = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
pages = {255--276},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_15},
doi = {10.1007/978-3-030-31784-3\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BartocciKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/HaghighiMBB19,
author = {Iman Haghighi and
Noushin Mehdipour and
Ezio Bartocci and
Calin Belta},
title = {Control from Signal Temporal Logic Specifications with Smooth Cumulative
Quantitative Semantics},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {4361--4366},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9029429},
doi = {10.1109/CDC40024.2019.9029429},
timestamp = {Fri, 04 Mar 2022 13:30:46 +0100},
biburl = {https://dblp.org/rec/conf/cdc/HaghighiMBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/PihoMBRH19,
author = {Paul Piho and
Filip Margetiny and
Ezio Bartocci and
Richard R. Ribchester and
Jane Hillston},
editor = {Luca Bortolussi and
Guido Sanguinetti},
title = {Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability
via Particle Swarm Fitting},
booktitle = {Computational Methods in Systems Biology - 17th International Conference,
{CMSB} 2019, Trieste, Italy, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11773},
pages = {120--139},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31304-3\_7},
doi = {10.1007/978-3-030-31304-3\_7},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/PihoMBRH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KongB0H19,
author = {Hui Kong and
Ezio Bartocci and
Yu Jiang and
Thomas A. Henzinger},
editor = {{\'{E}}tienne Andr{\'{e}} and
Mari{\"{e}}lle Stoelinga},
title = {Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty},
booktitle = {Formal Modeling and Analysis of Timed Systems - 17th International
Conference, {FORMATS} 2019, Amsterdam, The Netherlands, August 27-29,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11750},
pages = {123--141},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29662-9\_8},
doi = {10.1007/978-3-030-29662-9\_8},
timestamp = {Sat, 07 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/KongB0H19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isce/HirschBG19,
author = {Christian Hirsch and
Ezio Bartocci and
Radu Grosu},
title = {Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home},
booktitle = {{IEEE} 23rd International Symposium on Consumer Technologies, {ISCT}
2019, Ancona, Italy, June 19-21, 2019},
pages = {97--102},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISCE.2019.8901012},
doi = {10.1109/ISCE.2019.8901012},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isce/HirschBG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/RatasichPGB19,
author = {Denise Ratasich and
Michael Platzer and
Radu Grosu and
Ezio Bartocci},
title = {Adaptive Fault Detection Exploiting Redundancy with Uncertainties
in Space and Time},
booktitle = {13th {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2019, Umea, Sweden, June 16-20, 2019},
pages = {23--32},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SASO.2019.00013},
doi = {10.1109/SASO.2019.00013},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/saso/RatasichPGB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BartocciMMMN19,
author = {Ezio Bartocci and
Niveditha Manjunath and
Leonardo Mariani and
Cristinel Mateis and
Dejan Nickovic},
editor = {Peter Csaba {\"{O}}lveczky and
Gwen Sala{\"{u}}n},
title = {Automatic Failure Explanation in {CPS} Models},
booktitle = {Software Engineering and Formal Methods - 17th International Conference,
{SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11724},
pages = {69--86},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30446-1\_4},
doi = {10.1007/978-3-030-30446-1\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BartocciMMMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BartocciBBFGHHK19,
author = {Ezio Bartocci and
Dirk Beyer and
Paul E. Black and
Grigory Fedyukovich and
Hubert Garavel and
Arnd Hartmanns and
Marieke Huisman and
Fabrice Kordon and
Julian Nagele and
Mihaela Sighireanu and
Bernhard Steffen and
Martin Suda and
Geoff Sutcliffe and
Tjark Weber and
Akihisa Yamada},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {TOOLympics 2019: An Overview of Competitions in Formal Methods},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {3--24},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_1},
doi = {10.1007/978-3-030-17502-3\_1},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BartocciBBFGHHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BartocciFR19,
author = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Giles Reger},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {International Competition on Runtime Verification {(CRV)}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {41--49},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_3},
doi = {10.1007/978-3-030-17502-3\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BartocciFR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2019smolka,
editor = {Ezio Bartocci and
Rance Cleaveland and
Radu Grosu and
Oleg Sokolsky},
title = {From Reactive Systems to Cyber-Physical Systems - Essays Dedicated
to Scott A. Smolka on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11500},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31514-6},
doi = {10.1007/978-3-030-31514-6},
isbn = {978-3-030-31513-9},
timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2019smolka.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-03315,
author = {Fedor Shmarov and
Sadegh Soudjani and
Nicola Paoletti and
Ezio Bartocci and
Shan Lin and
Scott A. Smolka and
Paolo Zuliani},
title = {Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic
Nonlinear Systems},
journal = {CoRR},
volume = {abs/1901.03315},
year = {2019},
url = {http://arxiv.org/abs/1901.03315},
eprinttype = {arXiv},
eprint = {1901.03315},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-03315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-04326,
author = {Denise Ratasich and
Michael Platzer and
Radu Grosu and
Ezio Bartocci},
title = {Adaptive Fault Detection exploiting Redundancy with Uncertainties
in Space and Time},
journal = {CoRR},
volume = {abs/1903.04326},
year = {2019},
url = {http://arxiv.org/abs/1903.04326},
eprinttype = {arXiv},
eprint = {1903.04326},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-04326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-12468,
author = {Ezio Bartocci and
Niveditha Manjunath and
Leonardo Mariani and
Cristinel Mateis and
Dejan Nickovic},
title = {Automatic Failure Explanation in {CPS} Models},
journal = {CoRR},
volume = {abs/1903.12468},
year = {2019},
url = {http://arxiv.org/abs/1903.12468},
eprinttype = {arXiv},
eprint = {1903.12468},
timestamp = {Tue, 02 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-12468.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-08847,
author = {Ezio Bartocci and
Luca Bortolussi and
Michele Loreti and
Laura Nenzi},
title = {Monitoring Mobile and Spatially Distributed Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1904.08847},
year = {2019},
url = {http://arxiv.org/abs/1904.08847},
eprinttype = {arXiv},
eprint = {1904.08847},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-08847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-11611,
author = {Iman Haghighi and
Noushin Mehdipour and
Ezio Bartocci and
Calin Belta},
title = {Control from Signal Temporal Logic Specifications with Smooth Cumulative
Quantitative Semantics},
journal = {CoRR},
volume = {abs/1904.11611},
year = {2019},
url = {http://arxiv.org/abs/1904.11611},
eprinttype = {arXiv},
eprint = {1904.11611},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-11611.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-02835,
author = {Ezio Bartocci and
Laura Kov{\'{a}}cs and
Miroslav Stankovic},
title = {Automatic Generation of Moment-Based Invariants for Prob-Solvable
Loops},
journal = {CoRR},
volume = {abs/1905.02835},
year = {2019},
url = {http://arxiv.org/abs/1905.02835},
eprinttype = {arXiv},
eprint = {1905.02835},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-02835.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-11514,
author = {Hui Kong and
Ezio Bartocci and
Yu Jiang and
Thomas A. Henzinger},
title = {Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty},
journal = {CoRR},
volume = {abs/1907.11514},
year = {2019},
url = {http://arxiv.org/abs/1907.11514},
eprinttype = {arXiv},
eprint = {1907.11514},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-11514.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-02366,
author = {Meiyi Ma and
Ezio Bartocci and
Lu Feng and
John A. Stankovic},
title = {Runtime Monitoring of Real time Safety Requirements in Smart Cities},
journal = {CoRR},
volume = {abs/1908.02366},
year = {2019},
url = {http://arxiv.org/abs/1908.02366},
eprinttype = {arXiv},
eprint = {1908.02366},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-02366.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/JaksicBGNN18,
author = {Stefan Jaksic and
Ezio Bartocci and
Radu Grosu and
Thang Nguyen and
Dejan Nickovic},
title = {Quantitative monitoring of {STL} with edit distance},
journal = {Formal Methods Syst. Des.},
volume = {53},
number = {1},
pages = {83--112},
year = {2018},
url = {https://doi.org/10.1007/s10703-018-0319-x},
doi = {10.1007/S10703-018-0319-X},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/JaksicBGNN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/JaksicBGN18,
author = {Stefan Jaksic and
Ezio Bartocci and
Radu Grosu and
Dejan Nickovic},
title = {An Algebraic Framework for Runtime Verification},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {37},
number = {11},
pages = {2233--2243},
year = {2018},
url = {https://doi.org/10.1109/TCAD.2018.2858460},
doi = {10.1109/TCAD.2018.2858460},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/JaksicBGN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/BartocciLP18,
author = {Ezio Bartocci and
Pietro Li{\`{o}} and
Nicola Paoletti},
title = {Guest Editors' Introduction to the Special Section on the 14th International
Conference on Computational Methods in Systems Biology {(CMSB} 2016)},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {15},
number = {4},
pages = {1122--1123},
year = {2018},
url = {https://doi.org/10.1109/TCBB.2018.2816979},
doi = {10.1109/TCBB.2018.2816979},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/BartocciLP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcns/BartocciGHB18,
author = {Ezio Bartocci and
Ebru Aydin Gol and
Iman Haghighi and
Calin Belta},
title = {A Formal Methods Approach to Pattern Recognition and Synthesis in
Reaction Diffusion Networks},
journal = {{IEEE} Trans. Control. Netw. Syst.},
volume = {5},
number = {1},
pages = {308--320},
year = {2018},
url = {https://doi.org/10.1109/TCNS.2016.2609138},
doi = {10.1109/TCNS.2016.2609138},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcns/BartocciGHB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/FanM0BM018,
author = {Chuchu Fan and
Yu Meng and
J{\"{u}}rgen Maier and
Ezio Bartocci and
Sayan Mitra and
Ulrich Schmid},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Verifying nonlinear analog and mixed-signal circuits with inputs},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {241--246},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.041},
doi = {10.1016/J.IFACOL.2018.08.041},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/FanM0BM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SilvettiNBB18,
author = {Simone Silvetti and
Laura Nenzi and
Ezio Bartocci and
Luca Bortolussi},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Signal Convolution Logic},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {267--283},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_16},
doi = {10.1007/978-3-030-01090-4\_16},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/SilvettiNBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KongBH18,
author = {Hui Kong and
Ezio Bartocci and
Thomas A. Henzinger},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise
Barrier Tubes},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {449--467},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_24},
doi = {10.1007/978-3-319-96145-3\_24},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KongBH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BartocciBNR18,
author = {Ezio Bartocci and
Roderick Bloem and
Dejan Nickovic and
Franz R{\"{o}}ck},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {A Counting Semantics for Monitoring {LTL} Specifications over Finite
Traces},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {547--564},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_29},
doi = {10.1007/978-3-319-96145-3\_29},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BartocciBNR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BartocciFMN18,
author = {Ezio Bartocci and
Thomas Ferr{\`{e}}re and
Niveditha Manjunath and
Dejan Nickovic},
editor = {Maria Prandini and
Jyotirmoy V. Deshmukh},
title = {Localizing Faults in Simulink/Stateflow Models with {STL}},
booktitle = {Proceedings of the 21st International Conference on Hybrid Systems:
Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
Portugal, April 11-13, 2018},
pages = {197--206},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178126.3178131},
doi = {10.1145/3178126.3178131},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BartocciFMN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BartocciF18,
author = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {RV-TheToP: Runtime Verification from Theory to the Industry Practice
(Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {3--8},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_1},
doi = {10.1007/978-3-030-03427-6\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BartocciF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/ArmingBCKS18,
author = {Sebastian Arming and
Ezio Bartocci and
Krishnendu Chatterjee and
Joost{-}Pieter Katoen and
Ana Sokolova},
editor = {Annabelle McIver and
Andr{\'{a}}s Horv{\'{a}}th},
title = {Parameter-Independent Strategies for pMDPs via POMDPs},
booktitle = {Quantitative Evaluation of Systems - 15th International Conference,
{QEST} 2018, Beijing, China, September 4-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11024},
pages = {53--70},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99154-2\_4},
doi = {10.1007/978-3-319-99154-2\_4},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/ArmingBCKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/NenziSBB18,
author = {Laura Nenzi and
Simone Silvetti and
Ezio Bartocci and
Luca Bortolussi},
editor = {Annabelle McIver and
Andr{\'{a}}s Horv{\'{a}}th},
title = {A Robust Genetic Algorithm for Learning Temporal Specifications from
Data},
booktitle = {Quantitative Evaluation of Systems - 15th International Conference,
{QEST} 2018, Beijing, China, September 4-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11024},
pages = {323--338},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99154-2\_20},
doi = {10.1007/978-3-319-99154-2\_20},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/NenziSBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Bartocci18,
author = {Ezio Bartocci},
editor = {Christian Colombo and
Martin Leucker},
title = {Monitoring, Learning and Control of Cyber-Physical Systems with {STL}
(Tutorial)},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {35--42},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_4},
doi = {10.1007/978-3-030-03769-7\_4},
timestamp = {Sat, 12 Jun 2021 11:01:04 +0200},
biburl = {https://dblp.org/rec/conf/rv/Bartocci18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BartocciFFR18,
author = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Giles Reger},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
title = {Introduction to Runtime Verification},
booktitle = {Lectures on Runtime Verification - Introductory and Advanced Topics},
series = {Lecture Notes in Computer Science},
volume = {10457},
pages = {1--33},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75632-5\_1},
doi = {10.1007/978-3-319-75632-5\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/BartocciFFR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BartocciDDFMNS18,
author = {Ezio Bartocci and
Jyotirmoy V. Deshmukh and
Alexandre Donz{\'{e}} and
Georgios Fainekos and
Oded Maler and
Dejan Nickovic and
Sriram Sankaranarayanan},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
title = {Specification-Based Monitoring of Cyber-Physical Systems: {A} Survey
on Theory, Tools and Applications},
booktitle = {Lectures on Runtime Verification - Introductory and Advanced Topics},
series = {Lecture Notes in Computer Science},
volume = {10457},
pages = {135--175},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75632-5\_5},
doi = {10.1007/978-3-319-75632-5\_5},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/BartocciDDFMNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/10457,
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
title = {Lectures on Runtime Verification - Introductory and Advanced Topics},
series = {Lecture Notes in Computer Science},
volume = {10457},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75632-5},
doi = {10.1007/978-3-319-75632-5},
isbn = {978-3-319-75631-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/10457.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-03775,
author = {Stefan Jaksic and
Ezio Bartocci and
Radu Grosu and
Dejan Nickovic},
title = {An Algebraic Framework for Runtime Verification},
journal = {CoRR},
volume = {abs/1802.03775},
year = {2018},
url = {http://arxiv.org/abs/1802.03775},
eprinttype = {arXiv},
eprint = {1802.03775},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-03775.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-02975,
author = {Chuchu Fan and
Yu Meng and
J{\"{u}}rgen Maier and
Ezio Bartocci and
Sayan Mitra and
Ulrich Schmid},
title = {Verifying nonlinear analog and mixed-signal circuits with inputs},
journal = {CoRR},
volume = {abs/1803.02975},
year = {2018},
url = {http://arxiv.org/abs/1803.02975},
eprinttype = {arXiv},
eprint = {1803.02975},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-02975.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-03237,
author = {Ezio Bartocci and
Roderick Bloem and
Dejan Nickovic and
Franz R{\"{o}}ck},
title = {A Counting Semantics for Monitoring {LTL} Specifications over Finite
Traces},
journal = {CoRR},
volume = {abs/1804.03237},
year = {2018},
url = {http://arxiv.org/abs/1804.03237},
eprinttype = {arXiv},
eprint = {1804.03237},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-03237.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-00238,
author = {Simone Silvetti and
Laura Nenzi and
Ezio Bartocci and
Luca Bortolussi},
title = {Signal Convolution Logic},
journal = {CoRR},
volume = {abs/1806.00238},
year = {2018},
url = {http://arxiv.org/abs/1806.00238},
eprinttype = {arXiv},
eprint = {1806.00238},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-00238.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-05126,
author = {Sebastian Arming and
Ezio Bartocci and
Krishnendu Chatterjee and
Joost{-}Pieter Katoen and
Ana Sokolova},
title = {Parameter-Independent Strategies for pMDPs via POMDPs},
journal = {CoRR},
volume = {abs/1806.05126},
year = {2018},
url = {http://arxiv.org/abs/1806.05126},
eprinttype = {arXiv},
eprint = {1806.05126},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-05126.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-06870,
author = {Denise Ratasich and
Faiq Khalid and
Florian Geissler and
Radu Grosu and
Muhammad Shafique and
Ezio Bartocci},
title = {A Roadmap Towards Resilient Internet of Things for Cyber-Physical
Systems},
journal = {CoRR},
volume = {abs/1810.06870},
year = {2018},
url = {http://arxiv.org/abs/1810.06870},
eprinttype = {arXiv},
eprint = {1810.06870},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-06870.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06740,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {A Survey of Challenges for Runtime Verification from Advanced Application
Domains (Beyond Software)},
journal = {CoRR},
volume = {abs/1811.06740},
year = {2018},
url = {http://arxiv.org/abs/1811.06740},
eprinttype = {arXiv},
eprint = {1811.06740},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-06740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BartocciM17,
author = {Ezio Bartocci and
Rupak Majumdar},
title = {Introduction to the special issue on runtime verification},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {1},
pages = {1--4},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0287-6},
doi = {10.1007/S10703-017-0287-6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BartocciM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/BartocciBBMS17,
author = {Ezio Bartocci and
Luca Bortolussi and
Tom{\'{a}}s Br{\'{a}}zdil and
Dimitrios Milios and
Guido Sanguinetti},
title = {Policy learning in continuous-time Markov decision processes using
Gaussian Processes},
journal = {Perform. Evaluation},
volume = {116},
pages = {84--100},
year = {2017},
url = {https://doi.org/10.1016/j.peva.2017.08.007},
doi = {10.1016/J.PEVA.2017.08.007},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/BartocciBBMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SelyuninJNRHBNG17,
author = {Konstantin Selyunin and
Stefan Jaksic and
Thang Nguyen and
Christian Reidl and
Udo Hafner and
Ezio Bartocci and
Dejan Nickovic and
Radu Grosu},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Runtime Monitoring with Recovery of the {SENT} Communication Protocol},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {336--355},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_17},
doi = {10.1007/978-3-319-63387-9\_17},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/SelyuninJNRHBNG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/AbbasRBSG17,
author = {Houssam Abbas and
Al{\"{e}}na Rodionova and
Ezio Bartocci and
Scott A. Smolka and
Radu Grosu},
editor = {J{\'{e}}r{\^{o}}me Feret and
Heinz Koeppl},
title = {Quantitative Regular Expressions for Arrhythmia Detection Algorithms},
booktitle = {Computational Methods in Systems Biology - 15th International Conference,
{CMSB} 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10545},
pages = {23--39},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67471-1\_2},
doi = {10.1007/978-3-319-67471-1\_2},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/AbbasRBSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ShmarovPBLSZ17,
author = {Fedor Shmarov and
Nicola Paoletti and
Ezio Bartocci and
Shan Lin and
Scott A. Smolka and
Paolo Zuliani},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {SMT-based Synthesis of Safe and Robust {PID} Controllers for Stochastic
Hybrid Systems},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {131--146},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_9},
doi = {10.1007/978-3-319-70389-3\_9},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/ShmarovPBLSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/SelyuninHRBG17,
author = {Konstantin Selyunin and
Ramin M. Hasani and
Denise Ratasich and
Ezio Bartocci and
Radu Grosu},
editor = {Ignacio Rojas and
Gonzalo Joya and
Andreu Catal{\`{a}}},
title = {Computing with Biophysical and Hardware-Efficient Neural Models},
booktitle = {Advances in Computational Intelligence - 14th International Work-Conference
on Artificial Neural Networks, {IWANN} 2017, Cadiz, Spain, June 14-16,
2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10305},
pages = {535--547},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59153-7\_46},
doi = {10.1007/978-3-319-59153-7\_46},
timestamp = {Sun, 25 Oct 2020 22:36:07 +0100},
biburl = {https://dblp.org/rec/conf/iwann/SelyuninHRBG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BartocciBLN17,
author = {Ezio Bartocci and
Luca Bortolussi and
Michele Loreti and
Laura Nenzi},
editor = {Jean{-}Pierre Talpin and
Patricia Derler and
Klaus Schneider},
title = {Monitoring mobile and spatially distributed cyber-physical systems},
booktitle = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria,
September 29 - October 02, 2017},
pages = {146--155},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3127041.3127050},
doi = {10.1145/3127041.3127050},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BartocciBLN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BaldiBCCSSS17,
author = {Marco Baldi and
Ezio Bartocci and
Franco Chiaraluce and
Alessandro Cucchiarelli and
Linda Senigagliesi and
Luca Spalazzi and
Francesco Spegni},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed
Cloud Storage},
booktitle = {Quantitative Evaluation of Systems - 14th International Conference,
{QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10503},
pages = {123--139},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66335-7\_8},
doi = {10.1007/978-3-319-66335-7\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/BaldiBCCSSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LukinaEHBYTSG17,
author = {Anna Lukina and
Lukas Esterle and
Christian Hirsch and
Ezio Bartocci and
Junxing Yang and
Ashish Tiwari and
Scott A. Smolka and
Radu Grosu},
editor = {Axel Legay and
Tiziana Margaria},
title = {{ARES:} Adaptive Receding-Horizon Synthesis of Optimal Plans},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {286--302},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_17},
doi = {10.1007/978-3-662-54580-5\_17},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/LukinaEHBYTSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ArmingBS17,
author = {Sebastian Arming and
Ezio Bartocci and
Ana Sokolova},
editor = {Herbert Wiklicky and
Erik P. de Vink},
title = {{SEA-PARAM:} Exploring Schedulers in Parametric MDPs},
booktitle = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017},
series = {{EPTCS}},
volume = {250},
pages = {25--38},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.250.3},
doi = {10.4204/EPTCS.250.3},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ArmingBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/RodionovaBNG17,
author = {Al{\"{e}}na Rodionova and
Ezio Bartocci and
Dejan Nickovic and
Radu Grosu},
editor = {Alexander Pretschner and
Doron Peled and
Thomas Hutzelmann},
title = {Temporal Logic as Filtering},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {50},
pages = {164--185},
publisher = {{IOS} Press},
year = {2017},
url = {https://doi.org/10.3233/978-1-61499-810-5-164},
doi = {10.3233/978-1-61499-810-5-164},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/RodionovaBNG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ShmarovPBLSZ17,
author = {Fedor Shmarov and
Nicola Paoletti and
Ezio Bartocci and
Shan Lin and
Scott A. Smolka and
Paolo Zuliani},
title = {Automated Synthesis of Safe and Robust {PID} Controllers for Stochastic
Hybrid Systems},
journal = {CoRR},
volume = {abs/1707.05229},
year = {2017},
url = {http://arxiv.org/abs/1707.05229},
eprinttype = {arXiv},
eprint = {1707.05229},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ShmarovPBLSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-06202,
author = {Simone Silvetti and
Laura Nenzi and
Luca Bortolussi and
Ezio Bartocci},
title = {A Robust Genetic Algorithm for Learning Temporal Specifications from
Data},
journal = {CoRR},
volume = {abs/1711.06202},
year = {2017},
url = {http://arxiv.org/abs/1711.06202},
eprinttype = {arXiv},
eprint = {1711.06202},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-06202.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/BartocciL16,
author = {Ezio Bartocci and
Pietro Li{\`{o}}},
title = {Computational Modeling, Formal Analysis, and Tools for Systems Biology},
journal = {PLoS Comput. Biol.},
volume = {12},
number = {1},
year = {2016},
url = {https://doi.org/10.1371/journal.pcbi.1004591},
doi = {10.1371/JOURNAL.PCBI.1004591},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/BartocciL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BartocciR16,
author = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {Preface of the special issue on Model Checking of Software - Selected
papers of the 20th International {SPIN} Symposium on Model Checking
of Software},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {4},
pages = {355--357},
year = {2016},
url = {https://doi.org/10.1007/s10009-016-0414-5},
doi = {10.1007/S10009-016-0414-5},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BartocciR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SelyuninNBNG16,
author = {Konstantin Selyunin and
Thang Nguyen and
Ezio Bartocci and
Dejan Nickovic and
Radu Grosu},
editor = {Luca Fanucci and
J{\"{u}}rgen Teich},
title = {Monitoring of {MTL} specifications with IBM's spiking-neuron model},
booktitle = {2016 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
pages = {924--929},
publisher = {{IEEE}},
year = {2016},
url = {https://ieeexplore.ieee.org/document/7459440/},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/SelyuninNBNG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/KongBBGHJS16,
author = {Hui Kong and
Ezio Bartocci and
Sergiy Bogomolov and
Radu Grosu and
Thomas A. Henzinger and
Yu Jiang and
Christian Schilling},
editor = {Eugenio Cinquemani and
Alexandre Donz{\'{e}}},
title = {Discrete Abstraction of Multiaffine Systems},
booktitle = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
France, October 20-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9957},
pages = {128--144},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47151-8\_9},
doi = {10.1007/978-3-319-47151-8\_9},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hsb/KongBBGHJS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RodionovaBNG16,
author = {Al{\"{e}}na Rodionova and
Ezio Bartocci and
Dejan Nickovic and
Radu Grosu},
editor = {Alessandro Abate and
Georgios Fainekos},
title = {Temporal Logic as Filtering},
booktitle = {Proceedings of the 19th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
2016},
pages = {11--20},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2883817.2883839},
doi = {10.1145/2883817.2883839},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/RodionovaBNG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KalajdzicJLBLSG16,
author = {Kenan Kalajdzic and
Cyrille J{\'{e}}gourel and
Anna Lukina and
Ezio Bartocci and
Axel Legay and
Scott A. Smolka and
Radu Grosu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Feedback Control for Statistical Model Checking of Cyber-Physical
Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {46--61},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_4},
doi = {10.1007/978-3-319-47166-2\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/KalajdzicJLBLSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BartocciF16,
author = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime Verification and Enforcement, the (Industrial) Application
Perspective (Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {333--338},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_24},
doi = {10.1007/978-3-319-47169-3\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/BartocciF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NguyenBNGJS16,
author = {Thang Nguyen and
Ezio Bartocci and
Dejan Nickovic and
Radu Grosu and
Stefan Jaksic and
Konstantin Selyunin},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The {HARMONIA} Project: Hardware Monitoring for Automotive Systems-of-Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {371--379},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_28},
doi = {10.1007/978-3-319-47169-3\_28},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/NguyenBNGJS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/GurungDBBGR16,
author = {Amit Gurung and
Arup Deka and
Ezio Bartocci and
Sergiy Bogomolov and
Radu Grosu and
Rajarshi Ray},
title = {Parallel reachability analysis for hybrid systems},
booktitle = {2016 {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20,
2016},
pages = {12--22},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/MEMCOD.2016.7797741},
doi = {10.1109/MEMCOD.2016.7797741},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/GurungDBBGR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BartocciBBMS16,
author = {Ezio Bartocci and
Luca Bortolussi and
Tom{\'{a}}s Br{\'{a}}zdil and
Dimitrios Milios and
Guido Sanguinetti},
editor = {Gul Agha and
Benny Van Houdt},
title = {Policy Learning for Time-Bounded Reachability in Continuous-Time Markov
Decision Processes via Doubly-Stochastic Gradient Ascent},
booktitle = {Quantitative Evaluation of Systems - 13th International Conference,
{QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9826},
pages = {244--259},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43425-4\_17},
doi = {10.1007/978-3-319-43425-4\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/BartocciBBMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/JaksicBGN16,
author = {Stefan Jaksic and
Ezio Bartocci and
Radu Grosu and
Dejan Nickovic},
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {Quantitative Monitoring of {STL} with Edit Distance},
booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
pages = {201--218},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9\_13},
doi = {10.1007/978-3-319-46982-9\_13},
timestamp = {Wed, 28 Dec 2022 16:42:42 +0100},
biburl = {https://dblp.org/rec/conf/rv/JaksicBGN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/SelyuninNBG16,
author = {Konstantin Selyunin and
Thang Nguyen and
Ezio Bartocci and
Radu Grosu},
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {Applying Runtime Monitoring for Automotive Electronic Development},
booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
pages = {462--469},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9\_30},
doi = {10.1007/978-3-319-46982-9\_30},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/SelyuninNBG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2016,
editor = {Ezio Bartocci and
Pietro Li{\`{o}} and
Nicola Paoletti},
title = {Computational Methods in Systems Biology - 14th International Conference,
{CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9859},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45177-0},
doi = {10.1007/978-3-319-45177-0},
isbn = {978-3-319-45176-3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartocciBBMS16,
author = {Ezio Bartocci and
Luca Bortolussi and
Tom{\'{a}}s Br{\'{a}}zdil and
Dimitrios Milios and
Guido Sanguinetti},
title = {Policy learning for time-bounded reachability in Continuous-Time Markov
Decision Processes via doubly-stochastic gradient ascent},
journal = {CoRR},
volume = {abs/1605.09703},
year = {2016},
url = {http://arxiv.org/abs/1605.09703},
eprinttype = {arXiv},
eprint = {1605.09703},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartocciBBMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GurungDBBGR16,
author = {Amit Gurung and
Arup Deka and
Ezio Bartocci and
Sergiy Bogomolov and
Radu Grosu and
Rajarshi Ray},
title = {Parallel Reachability Analysis for Hybrid Systems},
journal = {CoRR},
volume = {abs/1606.05473},
year = {2016},
url = {http://arxiv.org/abs/1606.05473},
eprinttype = {arXiv},
eprint = {1606.05473},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GurungDBBGR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LukinaEHBYTSG16,
author = {Anna Lukina and
Lukas Esterle and
Christian Hirsch and
Ezio Bartocci and
Junxing Yang and
Ashish Tiwari and
Scott A. Smolka and
Radu Grosu},
title = {{ARES:} Adaptive Receding-Horizon Synthesis of Optimal Plans},
journal = {CoRR},
volume = {abs/1612.07059},
year = {2016},
url = {http://arxiv.org/abs/1612.07059},
eprinttype = {arXiv},
eprint = {1612.07059},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LukinaEHBYTSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbbasRBSG16,
author = {Houssam Abbas and
Al{\"{e}}na Rodionova and
Ezio Bartocci and
Scott A. Smolka and
Radu Grosu},
title = {Regular Expressions for Irregular Rhythms},
journal = {CoRR},
volume = {abs/1612.07770},
year = {2016},
url = {http://arxiv.org/abs/1612.07770},
eprinttype = {arXiv},
eprint = {1612.07770},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbbasRBSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BartocciBNS15,
author = {Ezio Bartocci and
Luca Bortolussi and
Laura Nenzi and
Guido Sanguinetti},
title = {System design of stochastic models using robustness of temporal properties},
journal = {Theor. Comput. Sci.},
volume = {587},
pages = {3--25},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.02.046},
doi = {10.1016/J.TCS.2015.02.046},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BartocciBNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IslamMBCFGSG15,
author = {Md. Ariful Islam and
Abhishek Murthy and
Ezio Bartocci and
Elizabeth Cherry and
Flavio H. Fenton and
James Glimm and
Scott A. Smolka and
Radu Grosu},
title = {Model-order reduction of ion channel dynamics using approximate bisimulation},
journal = {Theor. Comput. Sci.},
volume = {599},
pages = {34--46},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2014.03.018},
doi = {10.1016/J.TCS.2014.03.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IslamMBCFGSG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/SelyuninRBISG15,
author = {Konstantin Selyunin and
Denise Ratasich and
Ezio Bartocci and
Md. Ariful Islam and
Scott A. Smolka and
Radu Grosu},
title = {Neural Programming: Towards adaptive control in Cyber-Physical Systems},
booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
Japan, December 15-18, 2015},
pages = {6978--6985},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CDC.2015.7403319},
doi = {10.1109/CDC.2015.7403319},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/cdc/SelyuninRBISG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/BartocciBMNS15,
author = {Ezio Bartocci and
Luca Bortolussi and
Dimitrios Milios and
Laura Nenzi and
Guido Sanguinetti},
editor = {Alessandro Abate and
David Safr{\'{a}}nek},
title = {Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal
Logic},
booktitle = {Hybrid Systems Biology - Fourth International Workshop, {HSB} 2015,
Madrid, Spain, September 4-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9271},
pages = {156--172},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26916-0\_9},
doi = {10.1007/978-3-319-26916-0\_9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hsb/BartocciBMNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/RayGDBBG15,
author = {Rajarshi Ray and
Amit Gurung and
Binayak Das and
Ezio Bartocci and
Sergiy Bogomolov and
Radu Grosu},
editor = {Nir Piterman},
title = {XSpeed: Accelerating Reachability Analysis on Multi-core Processors},
booktitle = {Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {3--18},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_1},
doi = {10.1007/978-3-319-26287-1\_1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/RayGDBBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BogomolovSBBKG15,
author = {Sergiy Bogomolov and
Christian Schilling and
Ezio Bartocci and
Gr{\'{e}}gory Batt and
Hui Kong and
Radu Grosu},
editor = {Nir Piterman},
title = {Abstraction-Based Parameter Synthesis for Multiaffine Systems},
booktitle = {Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {19--35},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_2},
doi = {10.1007/978-3-319-26287-1\_2},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BogomolovSBBKG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HaghighiJKBGB15,
author = {Iman Haghighi and
Austin Jones and
Zhaodan Kong and
Ezio Bartocci and
Radu Grosu and
Calin Belta},
editor = {Antoine Girard and
Sriram Sankaranarayanan},
title = {SpaTeL: a novel spatial-temporal logic and its applications to networked
systems},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {189--198},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2728606.2728633},
doi = {10.1145/2728606.2728633},
timestamp = {Fri, 06 Sep 2019 10:57:13 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HaghighiJKBGB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/JaksicBGKNN15,
author = {Stefan Jaksic and
Ezio Bartocci and
Radu Grosu and
Reinhard Kloibhofer and
Thang Nguyen and
Dejan Nickovic},
title = {From signal temporal logic to {FPGA} monitors},
booktitle = {13. {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
pages = {218--227},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/MEMCOD.2015.7340489},
doi = {10.1109/MEMCOD.2015.7340489},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/JaksicBGKNN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2015,
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3},
doi = {10.1007/978-3-319-23820-3},
isbn = {978-3-319-23819-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SelyuninRBG15,
author = {Konstantin Selyunin and
Denise Ratasich and
Ezio Bartocci and
Radu Grosu},
title = {Deep Neural Programs for Adaptive Control in Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1502.04013},
year = {2015},
url = {http://arxiv.org/abs/1502.04013},
eprinttype = {arXiv},
eprint = {1502.04013},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SelyuninRBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RodionovaBNG15,
author = {Al{\"{e}}na Rodionova and
Ezio Bartocci and
Dejan Nickovic and
Radu Grosu},
title = {Temporal Logic as Filtering},
journal = {CoRR},
volume = {abs/1510.08079},
year = {2015},
url = {http://arxiv.org/abs/1510.08079},
eprinttype = {arXiv},
eprint = {1510.08079},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RodionovaBNG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BartocciBS14,
author = {Ezio Bartocci and
Luca Bortolussi and
Scott A. Smolka},
title = {Hybrid Systems and Biology},
journal = {Inf. Comput.},
volume = {236},
pages = {1--2},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.01.008},
doi = {10.1016/J.IC.2014.01.008},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BartocciBS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/GolBB14,
author = {Ebru Aydin Gol and
Ezio Bartocci and
Calin Belta},
title = {A formal methods approach to pattern synthesis in reaction diffusion
systems},
booktitle = {53rd {IEEE} Conference on Decision and Control, {CDC} 2014, Los Angeles,
CA, USA, December 15-17, 2014},
pages = {108--113},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CDC.2014.7039367},
doi = {10.1109/CDC.2014.7039367},
timestamp = {Fri, 04 Mar 2022 13:29:15 +0100},
biburl = {https://dblp.org/rec/conf/cdc/GolBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BartocciBS14,
author = {Ezio Bartocci and
Luca Bortolussi and
Guido Sanguinetti},
editor = {Axel Legay and
Marius Bozga},
title = {Data-Driven Statistical Learning of Temporal Logic Properties},
booktitle = {Formal Modeling and Analysis of Timed Systems - 12th International
Conference, {FORMATS} 2014, Florence, Italy, September 8-10, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8711},
pages = {23--37},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10512-3\_3},
doi = {10.1007/978-3-319-10512-3\_3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BartocciBS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BartocciGS14,
author = {Ezio Bartocci and
Sicun Gao and
Scott A. Smolka},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Medical Cyber-Physical Systems - (Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {353--355},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_25},
doi = {10.1007/978-3-662-45231-8\_25},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/BartocciGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BufoBSBLB14,
author = {Sara Bufo and
Ezio Bartocci and
Guido Sanguinetti and
Massimo Borelli and
Umberto Lucangelo and
Luca Bortolussi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Temporal Logic Based Monitoring of Assisted Ventilation in Intensive
Care Patients},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {391--403},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_30},
doi = {10.1007/978-3-662-45231-8\_30},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BufoBSBLB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BartocciBF14,
author = {Ezio Bartocci and
Borzoo Bonakdarpour and
Yli{\`{e}}s Falcone},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {First International Competition on Software for Runtime Verification},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {1--9},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_1},
doi = {10.1007/978-3-319-11164-3\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/BartocciBF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BartocciDS14,
author = {Ezio Bartocci and
Richard DeFrancisco and
Scott A. Smolka},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Towards a GPGPU-parallel {SPIN} model checker},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {87--96},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632379},
doi = {10.1145/2632362.2632379},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/BartocciDS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GolBB14,
author = {Ebru Aydin Gol and
Ezio Bartocci and
Calin Belta},
title = {A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion
Systems},
journal = {CoRR},
volume = {abs/1409.5671},
year = {2014},
url = {http://arxiv.org/abs/1409.5671},
eprinttype = {arXiv},
eprint = {1409.5671},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GolBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BartocciHG14,
author = {Ezio Bartocci and
Oliver H{\"{o}}ftberger and
Radu Grosu},
title = {Cyber-Physical Systems: Theoretical and Practical Challenges},
journal = {{ERCIM} News},
volume = {2014},
number = {97},
year = {2014},
url = {http://ercim-news.ercim.eu/en97/special/cyber-physical-systems-theoretical-and-practical-challenges},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BartocciHG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/MurthyBFGGCSG13,
author = {Abhishek Murthy and
Ezio Bartocci and
Flavio H. Fenton and
James Glimm and
Richard A. Gray and
Elizabeth Cherry and
Scott A. Smolka and
Radu Grosu},
title = {Curvature Analysis of Cardiac Excitation Wavefronts},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {10},
number = {2},
pages = {323--336},
year = {2013},
url = {https://doi.org/10.1109/TCBB.2012.125},
doi = {10.1109/TCBB.2012.125},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/MurthyBFGGCSG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BartocciBN13,
author = {Ezio Bartocci and
Luca Bortolussi and
Laura Nenzi},
editor = {Ashutosh Gupta and
Thomas A. Henzinger},
title = {A Temporal Logic Approach to Modular Design of Synthetic Biological
Circuits},
booktitle = {Computational Methods in Systems Biology - 11th International Conference,
{CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8130},
pages = {164--177},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40708-6\_13},
doi = {10.1007/978-3-642-40708-6\_13},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/BartocciBN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KalajdzicBSSG13,
author = {Kenan Kalajdzic and
Ezio Bartocci and
Scott A. Smolka and
Scott D. Stoller and
Radu Grosu},
editor = {Axel Legay and
Saddek Bensalem},
title = {Runtime Verification with Particle Filtering},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {149--166},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_9},
doi = {10.1007/978-3-642-40787-1\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/KalajdzicBSSG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BartocciG13,
author = {Ezio Bartocci and
Radu Grosu},
editor = {Luca Bortolussi and
Manuela{-}Luminita Bujorianu and
Giordano Pola},
title = {Monitoring with uncertainty},
booktitle = {Proceedings Third International Workshop on Hybrid Autonomous Systems,
{HAS} 2013, Rome, Italy, 17th March 2013},
series = {{EPTCS}},
volume = {124},
pages = {1--4},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.124.1},
doi = {10.4204/EPTCS.124.1},
timestamp = {Tue, 21 Sep 2021 18:08:28 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartocciG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BartocciBNS13,
author = {Ezio Bartocci and
Luca Bortolussi and
Laura Nenzi and
Guido Sanguinetti},
editor = {Thao Dang and
Carla Piazza},
title = {On the Robustness of Temporal Properties for Stochastic Models},
booktitle = {Proceedings Second International Workshop on Hybrid Systems and Biology,
{HSB} 2013, Taormina, Italy, 2nd September 2013},
series = {{EPTCS}},
volume = {125},
pages = {3--19},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.125.1},
doi = {10.4204/EPTCS.125.1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartocciBNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Bartocci13,
author = {Ezio Bartocci},
editor = {Luca Bortolussi and
Manuela{-}Luminita Bujorianu and
Giordano Pola},
title = {Sampling-based Decentralized Monitoring for Networked Embedded Systems},
booktitle = {Proceedings Third International Workshop on Hybrid Autonomous Systems,
{HAS} 2013, Rome, Italy, 17th March 2013},
series = {{EPTCS}},
volume = {124},
pages = {85--99},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.124.9},
doi = {10.4204/EPTCS.124.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bartocci13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2013,
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {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},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7},
doi = {10.1007/978-3-642-39176-7},
isbn = {978-3-642-39175-0},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartocciBN13,
author = {Ezio Bartocci and
Luca Bortolussi and
Laura Nenzi},
title = {A temporal logic approach to modular design of synthetic biological
circuits},
journal = {CoRR},
volume = {abs/1306.4493},
year = {2013},
url = {http://arxiv.org/abs/1306.4493},
eprinttype = {arXiv},
eprint = {1306.4493},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartocciBN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartocciBS13,
author = {Ezio Bartocci and
Luca Bortolussi and
Guido Sanguinetti},
title = {Learning Temporal Logical Properties Discriminating {ECG} models of
Cardiac Arrhytmias},
journal = {CoRR},
volume = {abs/1312.7523},
year = {2013},
url = {http://arxiv.org/abs/1312.7523},
eprinttype = {arXiv},
eprint = {1312.7523},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartocciBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/BartocciCBMV12,
author = {Ezio Bartocci and
Diletta Cacciagrano and
Maria Rita Di Berardini and
Emanuela Merelli and
Leonardo Vito},
title = {UBioLab: a web-LABoratory for Ubiquitous in-silico experiments},
journal = {J. Integr. Bioinform.},
volume = {9},
number = {1},
year = {2012},
url = {https://doi.org/10.2390/biecoll-jib-2012-192},
doi = {10.2390/BIECOLL-JIB-2012-192},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/BartocciCBMV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/BartocciLMP12,
author = {Ezio Bartocci and
Pietro Li{\`{o}} and
Emanuela Merelli and
Nicola Paoletti},
title = {Multiple Verification in Complex Biological Systems: The Bone Remodelling
Case Study},
journal = {Trans. Comp. Sys. Biology},
volume = {14},
pages = {53--76},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35524-0\_3},
doi = {10.1007/978-3-642-35524-0\_3},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcsb/BartocciLMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DonzeMBNGS12,
author = {Alexandre Donz{\'{e}} and
Oded Maler and
Ezio Bartocci and
Dejan Nickovic and
Radu Grosu and
Scott A. Smolka},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {On Temporal Logic and Signal Processing},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {92--106},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_9},
doi = {10.1007/978-3-642-33386-6\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/DonzeMBNGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MurthyIBCFGSG12,
author = {Abhishek Murthy and
Md. Ariful Islam and
Ezio Bartocci and
Elizabeth Cherry and
Flavio H. Fenton and
James Glimm and
Scott A. Smolka and
Radu Grosu},
editor = {David R. Gilbert and
Monika Heiner},
title = {Approximate Bisimulations for Sodium Channel Dynamics},
booktitle = {Computational Methods in Systems Biology - 10th International Conference,
{CMSB} 2012, London, UK, October 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7605},
pages = {267--287},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33636-2\_16},
doi = {10.1007/978-3-642-33636-2\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/MurthyIBCFGSG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BartocciGKSSZS12,
author = {Ezio Bartocci and
Radu Grosu and
Atul Karmarkar and
Scott A. Smolka and
Scott D. Stoller and
Erez Zadok and
Justin Seyster},
editor = {Shaz Qadeer and
Serdar Tasiran},
title = {Adaptive Runtime Verification},
booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
Turkey, September 25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7687},
pages = {168--182},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35632-2\_18},
doi = {10.1007/978-3-642-35632-2\_18},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/BartocciGKSSZS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1208-3151,
editor = {Ezio Bartocci and
Luca Bortolussi},
title = {Proceedings First International Workshop on Hybrid Systems and Biology,
{HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
series = {{EPTCS}},
volume = {92},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.92},
doi = {10.4204/EPTCS.92},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-3151.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/AlfieriBMM11,
author = {Roberta Alfieri and
Ezio Bartocci and
Emanuela Merelli and
Luciano Milanesi},
title = {Modeling the cell cycle: From deterministic models to hybrid systems},
journal = {Biosyst.},
volume = {105},
number = {1},
pages = {34--40},
year = {2011},
url = {https://doi.org/10.1016/j.biosystems.2011.03.002},
doi = {10.1016/J.BIOSYSTEMS.2011.03.002},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/biosystems/AlfieriBMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GrosuBFGGSB11,
author = {Radu Grosu and
Gr{\'{e}}gory Batt and
Flavio H. Fenton and
James Glimm and
Colas Le Guernic and
Scott A. Smolka and
Ezio Bartocci},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {From Cardiac Cells to Genetic Regulatory Networks},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {396--411},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_31},
doi = {10.1007/978-3-642-22110-1\_31},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GrosuBFGGSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BartocciCGGSF11,
author = {Ezio Bartocci and
Elizabeth Cherry and
James Glimm and
Radu Grosu and
Scott A. Smolka and
Flavio H. Fenton},
editor = {Fran{\c{c}}ois Fages},
title = {Toward real-time simulation of cardiac dynamics},
booktitle = {Computational Methods in Systems Biology, 9th International Conference,
{CMSB} 2011, Paris, France, September 21-23, 2011. Proceedings},
pages = {103--112},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2037509.2037525},
doi = {10.1145/2037509.2037525},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/BartocciCGGSF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MurthyBFGGSG11,
author = {Abhishek Murthy and
Ezio Bartocci and
Flavio H. Fenton and
James Glimm and
Richard A. Gray and
Scott A. Smolka and
Radu Grosu},
editor = {Fran{\c{c}}ois Fages},
title = {Curvature analysis of cardiac excitation wavefronts},
booktitle = {Computational Methods in Systems Biology, 9th International Conference,
{CMSB} 2011, Paris, France, September 21-23, 2011. Proceedings},
pages = {151--160},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2037509.2037532},
doi = {10.1145/2037509.2037532},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/MurthyBFGGSG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/StollerBSGHSZ11,
author = {Scott D. Stoller and
Ezio Bartocci and
Justin Seyster and
Radu Grosu and
Klaus Havelund and
Scott A. Smolka and
Erez Zadok},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Runtime Verification with State Estimation},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {193--207},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_15},
doi = {10.1007/978-3-642-29860-8\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/StollerBSGHSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/GrosuFSB11,
author = {Radu Grosu and
Flavio H. Fenton and
Scott A. Smolka and
Ezio Bartocci},
editor = {James L. Rash and
Christopher A. Rouff},
title = {A Change of Perspective Yields Formal Analysis},
booktitle = {34th Annual {IEEE} Software Engineering Workshop, {SEW} 2011, Limerick,
Ireland, June 20-21, 2011},
pages = {69--76},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SEW.2011.16},
doi = {10.1109/SEW.2011.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/GrosuFSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BartocciGKRS11,
author = {Ezio Bartocci and
Radu Grosu and
Panagiotis Katsaros and
C. R. Ramakrishnan and
Scott A. Smolka},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Model Repair for Probabilistic Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {326--340},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_30},
doi = {10.1007/978-3-642-19835-9\_30},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BartocciGKRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BartocciCBMT10,
author = {Ezio Bartocci and
Flavio Corradini and
Maria Rita Di Berardini and
Emanuela Merelli and
Luca Tesei},
title = {Shape Calculus. {A} Spatial Mobile Calculus for 3D Shapes},
journal = {Sci. Ann. Comput. Sci.},
volume = {20},
pages = {1--31},
year = {2010},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XX\&\#38;a=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BartocciCBMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BartocciCBMT10a,
author = {Ezio Bartocci and
Diletta Romana Cacciagrano and
Maria Rita Di Berardini and
Emanuela Merelli and
Luca Tesei},
title = {Timed Operational Semantics and Well-Formedness of Shape Calculus},
journal = {Sci. Ann. Comput. Sci.},
volume = {20},
pages = {32--52},
year = {2010},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XX\&\#38;a=1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BartocciCBMT10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BartocciCMT10,
author = {Ezio Bartocci and
Flavio Corradini and
Emanuela Merelli and
Luca Tesei},
title = {Detecting synchronisation of biological oscillators by model checking},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {20},
pages = {1999--2018},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2009.12.019},
doi = {10.1016/J.TCS.2009.12.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BartocciCMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-2488,
author = {Ezio Bartocci and
Diletta Romana Cacciagrano and
Maria Rita Di Berardini and
Emanuela Merelli and
Luca Tesei},
title = {Shape Calculus: Timed Operational Semantics and Well-formedness},
journal = {CoRR},
volume = {abs/1011.2488},
year = {2010},
url = {http://arxiv.org/abs/1011.2488},
eprinttype = {arXiv},
eprint = {1011.2488},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-2488.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GrosuSCWEB09,
author = {Radu Grosu and
Scott A. Smolka and
Flavio Corradini and
Anita Wasilewska and
Emilia Entcheva and
Ezio Bartocci},
title = {Learning and detecting emergent behavior in networks of cardiac myocytes},
journal = {Commun. {ACM}},
volume = {52},
number = {3},
pages = {97--105},
year = {2009},
url = {https://doi.org/10.1145/1467247.1467271},
doi = {10.1145/1467247.1467271},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/GrosuSCWEB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BartocciCBESG09,
author = {Ezio Bartocci and
Flavio Corradini and
Maria Rita Di Berardini and
Emilia Entcheva and
Scott A. Smolka and
Radu Grosu},
title = {Modeling and simulation of cardiac tissue using hybrid {I/O} automata},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {33-34},
pages = {3149--3165},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.02.042},
doi = {10.1016/J.TCS.2009.02.042},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BartocciCBESG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BartocciCBMT09,
author = {Ezio Bartocci and
Flavio Corradini and
Maria Rita Di Berardini and
Emanuela Merelli and
Luca Tesei},
editor = {Alessandra Cherubini and
Mario Coppo and
Giuseppe Persiano},
title = {A Shape Calculus for Biological Processes},
booktitle = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
Cremona, Italy, September 28-30, 2009, Proceedings},
pages = {30--33},
year = {2009},
timestamp = {Tue, 28 May 2013 14:21:59 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/BartocciCBMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/BartocciCEGS08,
author = {Ezio Bartocci and
Flavio Corradini and
Emilia Entcheva and
Radu Grosu and
Scott A. Smolka},
title = {CellExcite: an efficient simulation environment for excitable cells},
journal = {{BMC} Bioinform.},
volume = {9},
number = {{S-2}},
year = {2008},
url = {https://doi.org/10.1186/1471-2105-9-S2-S3},
doi = {10.1186/1471-2105-9-S2-S3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/BartocciCEGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BartocciCGMRS08,
author = {Ezio Bartocci and
Flavio Corradini and
Radu Grosu and
Emanuela Merelli and
Oliviero Riganelli and
Scott A. Smolka},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {StonyCam: {A} Formal Framework for Modeling, Analyzing and Regulating
Cardiac Myocytes},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {493--502},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_30},
doi = {10.1007/978-3-540-68679-8\_30},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BartocciCGMRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GrosuBCESW08,
author = {Radu Grosu and
Ezio Bartocci and
Flavio Corradini and
Emilia Entcheva and
Scott A. Smolka and
Anita Wasilewska},
editor = {Magnus Egerstedt and
Bud Mishra},
title = {Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes},
booktitle = {Hybrid Systems: Computation and Control, 11th International Workshop,
{HSCC} 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4981},
pages = {229--243},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78929-1\_17},
doi = {10.1007/978-3-540-78929-1\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GrosuBCESW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BartocciCMT09,
author = {Ezio Bartocci and
Flavio Corradini and
Emanuela Merelli and
Luca Tesei},
editor = {Nicola Cannata and
Emanuela Merelli and
Irek Ulidowski},
title = {Model Checking Biological Oscillators},
booktitle = {Proceedings of the Second Workshop From Biology to Concurrency and
Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {1},
pages = {41--58},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.02.004},
doi = {10.1016/J.ENTCS.2009.02.004},
timestamp = {Fri, 24 Feb 2023 11:25:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BartocciCMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/BartocciCMS07,
author = {Ezio Bartocci and
Flavio Corradini and
Emanuela Merelli and
Lorenzo Scortichini},
title = {BioWMS: a web-based Workflow Management System for bioinformatics},
journal = {{BMC} Bioinform.},
volume = {8},
number = {{S-1}},
year = {2007},
url = {https://doi.org/10.1186/1471-2105-8-S1-S2},
doi = {10.1186/1471-2105-8-S1-S2},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/BartocciCMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/RomanoBBPMMMM07,
author = {Paolo Romano and
Ezio Bartocci and
Guglielmo Bertolini and
Flavio De Paoli and
Domenico Marra and
Giancarlo Mauri and
Emanuela Merelli and
Luciano Milanesi},
title = {Biowep: a workflow enactment portal for bioinformatics applications},
journal = {{BMC} Bioinform.},
volume = {8},
number = {{S-1}},
year = {2007},
url = {https://doi.org/10.1186/1471-2105-8-S1-S19},
doi = {10.1186/1471-2105-8-S1-S19},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/RomanoBBPMMMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BartocciCBEGS08,
author = {Ezio Bartocci and
Flavio Corradini and
Maria Rita Di Berardini and
Emilia Entcheva and
Radu Grosu and
Scott A. Smolka},
editor = {Nicola Cannata and
Emanuela Merelli},
title = {Spatial Networks of Hybrid {I/O} Automata for Modeling Excitable Tissue},
booktitle = {Proceedings of the First Workshop "From Biology To Concurrency and
back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {3},
pages = {51--67},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.12.005},
doi = {10.1016/J.ENTCS.2007.12.005},
timestamp = {Thu, 09 Feb 2023 10:12:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BartocciCBEGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/BartocciCM06,
author = {Ezio Bartocci and
Flavio Corradini and
Emanuela Merelli},
editor = {Vassil N. Alexandrov and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
title = {Enacting Proactive Workflows Engine in e-Science},
booktitle = {Computational Science - {ICCS} 2006, 6th International Conference,
Reading, UK, May 28-31, 2006, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {3993},
pages = {1012--1015},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11758532\_138},
doi = {10.1007/11758532\_138},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/BartocciCM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/BartocciCM06,
author = {Ezio Bartocci and
Flavio Corradini and
Emanuela Merelli},
editor = {Flavio De Paoli and
Antonella Di Stefano and
Andrea Omicini and
Corrado Santoro},
title = {Building a MultiAgent System from a User Workflow Specification},
booktitle = {Proceedings of the 7th {WOA} 2006 Workshop, From Objects to Agents
(Dagli Oggetti Agli Agenti), Catania, Italy, September 26-27, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {204},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-204/P13.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/BartocciCM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/BartocciCMV06,
author = {Ezio Bartocci and
Flavio Corradini and
Emanuela Merelli and
Leonardo Vito},
editor = {Flavio De Paoli and
Antonella Di Stefano and
Andrea Omicini and
Corrado Santoro},
title = {Model driven design and implementation of activity-based applications
in Hermes},
booktitle = {Proceedings of the 7th {WOA} 2006 Workshop, From Objects to Agents
(Dagli Oggetti Agli Agenti), Catania, Italy, September 26-27, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {204},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-204/D07.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/BartocciCMV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/BartocciMM03,
author = {Ezio Bartocci and
Emanuela Merelli and
Leonardo Mariani},
title = {An {XML} View of the "World"},
booktitle = {{ICEIS} 2003, Proceedings of the 5th International Conference on Enterprise
Information Systems, Angers, France, April 22-26, 2003},
pages = {19--27},
year = {2003},
timestamp = {Thu, 02 Feb 2017 12:57:29 +0100},
biburl = {https://dblp.org/rec/conf/iceis/BartocciMM03.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-04-21 17:07 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:
