Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Massimo Benerecetti
@article{DBLP:journals/apal/BellierBMM23,
author = {Dylan Bellier and
Massimo Benerecetti and
Dario Della Monica and
Fabio Mogavero},
title = {Alternating (In)Dependence-Friendly Logic},
journal = {Ann. Pure Appl. Log.},
volume = {174},
number = {10},
pages = {103315},
year = {2023},
url = {https://doi.org/10.1016/j.apal.2023.103315},
doi = {10.1016/J.APAL.2023.103315},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BellierBMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BenerecettiMP23,
author = {Massimo Benerecetti and
Fabio Mogavero and
Adriano Peron},
title = {Taming Strategy Logic: Non-Recurrent Fragments},
journal = {Inf. Comput.},
volume = {294},
pages = {105081},
year = {2023},
url = {https://doi.org/10.1016/j.ic.2023.105081},
doi = {10.1016/J.IC.2023.105081},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BenerecettiMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BellierBMM23,
author = {Dylan Bellier and
Massimo Benerecetti and
Dario Della Monica and
Fabio Mogavero},
title = {Good-for-Game {QPTL:} An Alternating Hodges Semantics},
journal = {{ACM} Trans. Comput. Log.},
volume = {24},
number = {1},
pages = {4:1--4:57},
year = {2023},
url = {https://doi.org/10.1145/3565365},
doi = {10.1145/3565365},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BellierBMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BenerecettiBMP23,
author = {Massimo Benerecetti and
Laura Bozzelli and
Fabio Mogavero and
Adriano Peron},
title = {Quantifying Over Trees in Monadic Second-Order Logic},
booktitle = {{LICS}},
pages = {1--13},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175832},
doi = {10.1109/LICS56636.2023.10175832},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BenerecettiBMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-11613,
author = {Massimo Benerecetti and
Laura Bozzelli and
Fabio Mogavero and
Adriano Peron},
title = {Quantifying over Trees in Monadic Second-Order Logic},
journal = {CoRR},
volume = {abs/2304.11613},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.11613},
doi = {10.48550/ARXIV.2304.11613},
eprinttype = {arXiv},
eprint = {2304.11613},
timestamp = {Tue, 02 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-11613.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-11652,
author = {Dylan Bellier and
Massimo Benerecetti and
Dario Della Monica and
Fabio Mogavero},
title = {Alternating (In)Dependence-Friendly Logic},
journal = {CoRR},
volume = {abs/2304.11652},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.11652},
doi = {10.48550/ARXIV.2304.11652},
eprinttype = {arXiv},
eprint = {2304.11652},
timestamp = {Tue, 02 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-11652.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BenerecettiMP22,
author = {Massimo Benerecetti and
Fabio Mogavero and
Adriano Peron},
editor = {Alexander Artikis and
Roberto Posenato and
Stefano Tonetta},
title = {Taming Strategy Logic: Non-Recurrent Fragments},
booktitle = {29th International Symposium on Temporal Representation and Reasoning,
{TIME} 2022, November 7-9, 2022, Virtual Conference},
series = {LIPIcs},
volume = {247},
pages = {14:1--14:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TIME.2022.14},
doi = {10.4230/LIPICS.TIME.2022.14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/BenerecettiMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/BenerecettiMPS21,
author = {Massimo Benerecetti and
Fabio Mogavero and
Adriano Peron and
Luigi Libero Lucio Starace},
editor = {Ana C. R. Paiva and
Ana Rosa Cavalli and
Paula Ventura Martins and
Ricardo P{\'{e}}rez{-}Castillo},
title = {Expressing Structural Temporal Properties of Safety Critical Hierarchical
Systems},
booktitle = {Quality of Information and Communications Technology - 14th International
Conference, {QUATIC} 2021, Algarve, Portugal, September 8-11, 2021,
Proceedings},
series = {Communications in Computer and Information Science},
volume = {1439},
pages = {356--369},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85347-1\_26},
doi = {10.1007/978-3-030-85347-1\_26},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/quatic/BenerecettiMPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-06085,
author = {Dylan Bellier and
Massimo Benerecetti and
Dario Della Monica and
Fabio Mogavero},
title = {Good-for-Game {QPTL:} An Alternating Hodges Semantics},
journal = {CoRR},
volume = {abs/2104.06085},
year = {2021},
url = {https://arxiv.org/abs/2104.06085},
eprinttype = {arXiv},
eprint = {2104.06085},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-06085.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-01738,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Fabio Mogavero and
Sven Schewe and
Dominik Wojtczak},
title = {Priority Promotion with Parysian Flair},
journal = {CoRR},
volume = {abs/2105.01738},
year = {2021},
url = {https://arxiv.org/abs/2105.01738},
eprinttype = {arXiv},
eprint = {2105.01738},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-01738.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BenerecettiDM20,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Fabio Mogavero},
title = {Robust worst cases for parity games algorithms},
journal = {Inf. Comput.},
volume = {272},
pages = {104501},
year = {2020},
url = {https://doi.org/10.1016/j.ic.2019.104501},
doi = {10.1016/J.IC.2019.104501},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BenerecettiDM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/NardoneMGABBGMM20,
author = {Roberto Nardone and
Stefano Marrone and
Ugo Gentile and
Aniello Amato and
Gregorio Barberio and
Massimo Benerecetti and
Renato De Guglielmo and
Beniamino Di Martino and
Nicola Mazzocca and
Adriano Peron and
Gaetano Pisani and
Luigi Velardi and
Valeria Vittorini},
title = {An OSLC-based environment for system-level functional testing of {ERTMS/ETCS}
controllers},
journal = {J. Syst. Softw.},
volume = {161},
year = {2020},
url = {https://doi.org/10.1016/j.jss.2019.110478},
doi = {10.1016/J.JSS.2019.110478},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/NardoneMGABBGMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BenerecettiDM20,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Fabio Mogavero},
editor = {Armin Biere and
David Parker},
title = {Solving Mean-Payoff Games via Quasi Dominions},
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 {II}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {289--306},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7\_18},
doi = {10.1007/978-3-030-45237-7\_18},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BenerecettiDM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-04232,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Marco Faella and
Fabio Mogavero},
title = {From Quasi-Dominions to Progress Measures},
journal = {CoRR},
volume = {abs/2008.04232},
year = {2020},
url = {https://arxiv.org/abs/2008.04232},
eprinttype = {arXiv},
eprint = {2008.04232},
timestamp = {Fri, 14 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-04232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AcarBM19,
author = {Erman Acar and
Massimo Benerecetti and
Fabio Mogavero},
title = {Satisfiability in Strategy Logic Can Be Easier than Model Checking},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {2638--2645},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012638},
doi = {10.1609/AAAI.V33I01.33012638},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AcarBM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BenerecettiGMNP19,
author = {Massimo Benerecetti and
Ugo Gentile and
Stefano Marrone and
Roberto Nardone and
Adriano Peron and
Luigi L. L. Starace and
Valeria Vittorini},
editor = {Fabrizio Biondi and
Thomas Given{-}Wilson and
Axel Legay},
title = {From Dynamic State Machines to Promela},
booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019,
Beijing, China, July 15-16, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11636},
pages = {56--73},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30923-7\_4},
doi = {10.1007/978-3-030-30923-7\_4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/BenerecettiGMNP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-06264,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Fabio Mogavero},
title = {Solving Mean-Payoff Games via Quasi Dominions},
journal = {CoRR},
volume = {abs/1907.06264},
year = {2019},
url = {http://arxiv.org/abs/1907.06264},
eprinttype = {arXiv},
eprint = {1907.06264},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-06264.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BenerecettiDM18,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Fabio Mogavero},
title = {Solving parity games via priority promotion},
journal = {Formal Methods Syst. Des.},
volume = {52},
number = {2},
pages = {193--226},
year = {2018},
url = {https://doi.org/10.1007/s10703-018-0315-1},
doi = {10.1007/S10703-018-0315-1},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BenerecettiDM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BenerecettiDM18,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Fabio Mogavero},
title = {A delayed promotion policy for parity games},
journal = {Inf. Comput.},
volume = {262},
pages = {221--240},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.09.005},
doi = {10.1016/J.IC.2018.09.005},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BenerecettiDM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BenerecettiF17,
author = {Massimo Benerecetti and
Marco Faella},
title = {Tracking smooth trajectories in linear hybrid systems},
journal = {Inf. Comput.},
volume = {257},
pages = {114--138},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.10.004},
doi = {10.1016/J.IC.2017.10.004},
timestamp = {Fri, 01 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BenerecettiF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BenerecettiGGMM17,
author = {Massimo Benerecetti and
Renato De Guglielmo and
Ugo Gentile and
Stefano Marrone and
Nicola Mazzocca and
Roberto Nardone and
Adriano Peron and
Luigi Velardi and
Valeria Vittorini},
title = {Dynamic state machines for modelling railway control systems},
journal = {Sci. Comput. Program.},
volume = {133},
pages = {116--153},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2016.09.002},
doi = {10.1016/J.SCICO.2016.09.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BenerecettiGGMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/BenerecettiF17,
author = {Massimo Benerecetti and
Marco Faella},
title = {Automatic Synthesis of Switching Controllers for Linear Hybrid Systems:
Reachability Control},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {4},
pages = {104:1--104:27},
year = {2017},
url = {https://doi.org/10.1145/3047500},
doi = {10.1145/3047500},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/BenerecettiF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02099,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Fabio Mogavero},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi San Pietro},
title = {Robust Exponential Worst Cases for Divide-et-Impera Algorithms for
Parity Games},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {121--135},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.9},
doi = {10.4204/EPTCS.256.9},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijguc/AlicanteBCS16,
author = {Anita Alicante and
Massimo Benerecetti and
Anna Corazza and
Stefano Silvestri},
title = {A distributed architecture to integrate ontological knowledge into
information extraction},
journal = {Int. J. Grid Util. Comput.},
volume = {7},
number = {4},
pages = {245--256},
year = {2016},
url = {https://doi.org/10.1504/IJGUC.2016.10001945},
doi = {10.1504/IJGUC.2016.10001945},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijguc/AlicanteBCS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BenerecettiP16,
author = {Massimo Benerecetti and
Adriano Peron},
title = {Timed recursive state machines: Expressiveness and complexity},
journal = {Theor. Comput. Sci.},
volume = {625},
pages = {85--124},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.02.021},
doi = {10.1016/J.TCS.2016.02.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BenerecettiP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BenerecettiDM16,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Fabio Mogavero},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Solving Parity Games via Priority Promotion},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {270--290},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_15},
doi = {10.1007/978-3-319-41540-6\_15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BenerecettiDM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BenerecettiDM16,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Fabio Mogavero},
editor = {Roderick Bloem and
Eli Arbel},
title = {Improving Priority Promotion for Parity Games},
booktitle = {Hardware and Software: Verification and Testing - 12th International
Haifa Verification Conference, {HVC} 2016, Haifa, Israel, November
14-17, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10028},
pages = {117--133},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49052-6\_8},
doi = {10.1007/978-3-319-49052-6\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BenerecettiDM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BenerecettiDM16,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Fabio Mogavero},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {A Delayed Promotion Policy for Parity Games},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {30--45},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.3},
doi = {10.4204/EPTCS.226.3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BenerecettiDM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BenerecettiMM15,
author = {Massimo Benerecetti and
Fabio Mogavero and
Aniello Murano},
title = {Reasoning About Substructures and Games},
journal = {{ACM} Trans. Comput. Log.},
volume = {16},
number = {3},
pages = {25:1--25:51},
year = {2015},
url = {https://doi.org/10.1145/2757286},
doi = {10.1145/2757286},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BenerecettiMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/NardoneGBPVMM15,
author = {Roberto Nardone and
Ugo Gentile and
Massimo Benerecetti and
Adriano Peron and
Valeria Vittorini and
Stefano Marrone and
Nicola Mazzocca},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Modeling Railway Control Systems in Promela},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {121--136},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_7},
doi = {10.1007/978-3-319-29510-7\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/NardoneGBPVMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/ArmandoBM14,
author = {Alessandro Armando and
Massimo Benerecetti and
Jacopo Mantovani},
title = {Counterexample-guided abstraction refinement for linear programs with
arrays},
journal = {Autom. Softw. Eng.},
volume = {21},
number = {2},
pages = {225--285},
year = {2014},
url = {https://doi.org/10.1007/s10515-013-0132-0},
doi = {10.1007/S10515-013-0132-0},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/ArmandoBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3pgcic/AlicanteBCS14,
author = {Anita Alicante and
Massimo Benerecetti and
Anna Corazza and
Stefano Silvestri},
title = {A Distributed Information Extraction System Integrating Ontological
Knowledge and Probabilistic Classifiers},
booktitle = {2014 Ninth International Conference on P2P, Parallel, Grid, Cloud
and Internet Computing, Guangdong, China, November 8-10, 2014},
pages = {420--425},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/3PGCIC.2014.87},
doi = {10.1109/3PGCIC.2014.87},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/3pgcic/AlicanteBCS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/NardoneGPBVMGMV14,
author = {Roberto Nardone and
Ugo Gentile and
Adriano Peron and
Massimo Benerecetti and
Valeria Vittorini and
Stefano Marrone and
Renato De Guglielmo and
Nicola Mazzocca and
Luigi Velardi},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Dynamic State Machines for Formalizing Railway Control System Specifications},
booktitle = {Formal Techniques for Safety-Critical Systems - Third International
Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {476},
pages = {93--109},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17581-2\_7},
doi = {10.1007/978-3-319-17581-2\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/NardoneGPBVMGMV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BenerecettiP13,
author = {Massimo Benerecetti and
Adriano Peron},
title = {Timed protocol insecurity problem is NP-complete},
journal = {Future Gener. Comput. Syst.},
volume = {29},
number = {3},
pages = {843--862},
year = {2013},
url = {https://doi.org/10.1016/j.future.2011.11.001},
doi = {10.1016/J.FUTURE.2011.11.001},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/BenerecettiP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BenerecettiFM13,
author = {Massimo Benerecetti and
Marco Faella and
Stefano Minopoli},
title = {Automatic synthesis of switching controllers for linear hybrid systems:
Safety control},
journal = {Theor. Comput. Sci.},
volume = {493},
pages = {116--138},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.10.042},
doi = {10.1016/J.TCS.2012.10.042},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BenerecettiFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BenerecettiF13,
author = {Massimo Benerecetti and
Marco Faella},
editor = {Calin Belta and
Franjo Ivancic},
title = {Tracking differentiable trajectories across polyhedra boundaries},
booktitle = {Proceedings of the 16th international conference on Hybrid systems:
computation and control, {HSCC} 2013, April 8-11, 2013, Philadelphia,
PA, {USA}},
pages = {193--202},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2461328.2461360},
doi = {10.1145/2461328.2461360},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BenerecettiF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BenerecettiMM13,
author = {Massimo Benerecetti and
Fabio Mogavero and
Aniello Murano},
title = {Substructure Temporal Logic},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {368--377},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.43},
doi = {10.1109/LICS.2013.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BenerecettiMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BenerecettiFM12,
author = {Massimo Benerecetti and
Marco Faella and
Stefano Minopoli},
editor = {Thao Dang and
Ian M. Mitchell},
title = {Reachability games for linear hybrid systems},
booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012),
HSCC'12, Beijing, China, April 17-19, 2012},
pages = {65--74},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2185632.2185645},
doi = {10.1145/2185632.2185645},
timestamp = {Tue, 03 Aug 2021 16:22:20 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BenerecettiFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BenerecettiFM11,
author = {Massimo Benerecetti and
Marco Faella and
Stefano Minopoli},
title = {Revisiting synthesis of switching controllers for Linear Hybrid systems},
booktitle = {50th {IEEE} Conference on Decision and Control and European Control
Conference, 11th European Control Conference, {CDC/ECC} 2011, Orlando,
FL, USA, December 12-15, 2011},
pages = {4753--4758},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CDC.2011.6161190},
doi = {10.1109/CDC.2011.6161190},
timestamp = {Wed, 24 Feb 2021 08:49:08 +0100},
biburl = {https://dblp.org/rec/conf/cdc/BenerecettiFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1246,
author = {Massimo Benerecetti and
Marco Faella and
Stefano Minopoli},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Towards Efficient Exact Synthesis for Linear Hybrid Systems},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {263--277},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.19},
doi = {10.4204/EPTCS.54.19},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-4584,
author = {Massimo Benerecetti and
Marco Faella and
Stefano Minopoli},
title = {Automatic Synthesis of Switching Controllers for Linear Hybrid Automata},
journal = {CoRR},
volume = {abs/1103.4584},
year = {2011},
url = {http://arxiv.org/abs/1103.4584},
eprinttype = {arXiv},
eprint = {1103.4584},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-4584.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/BenerecettiCP10,
author = {Massimo Benerecetti and
Nicola Cuomo and
Adriano Peron},
editor = {Waleed W. Smari and
John P. McIntire},
title = {Timed protocols insecurity problem is NP-complete},
booktitle = {Proceedings of the 2010 International Conference on High Performance
Computing {\&} Simulation, {HPCS} 2010, June 28 - July 2, 2010,
Caen, France},
pages = {274--282},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/HPCS.2010.5547120},
doi = {10.1109/HPCS.2010.5547120},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/ieeehpcs/BenerecettiCP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BenerecettiMP10,
author = {Massimo Benerecetti and
Stefano Minopoli and
Adriano Peron},
editor = {Nicolas Markey and
Jef Wijsen},
title = {Analysis of Timed Recursive State Machines},
booktitle = {{TIME} 2010 - 17th International Symposium on Temporal Representation
and Reasoning, Paris, France, 6-8 September 2010},
pages = {61--68},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TIME.2010.10},
doi = {10.1109/TIME.2010.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BenerecettiMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcp/BenerecettiCP09,
author = {Massimo Benerecetti and
Nicola Cuomo and
Adriano Peron},
title = {{TPMC:} {A} Model Checker For Time-Sensitive Security Protocols},
journal = {J. Comput.},
volume = {4},
number = {5},
pages = {366--377},
year = {2009},
url = {http://www.jcomputers.us/index.php?m=content\&\#38;c=index\&\#38;a=show\&\#38;catid=104\&\#38;id=1701},
doi = {10.4304/JCP.4.5.366-377},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcp/BenerecettiCP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ArmandoBCMS07,
author = {Alessandro Armando and
Massimo Benerecetti and
Dario Carotenuto and
Jacopo Mantovani and
Pasquale Spica},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {The eureka tool for software model checking},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {541--542},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321734},
doi = {10.1145/1321631.1321734},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ArmandoBCMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ArmandoBM07,
author = {Alessandro Armando and
Massimo Benerecetti and
Jacopo Mantovani},
editor = {Orna Grumberg and
Michael Huth},
title = {Abstraction Refinement of Linear Programs with Arrays},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {373--388},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_29},
doi = {10.1007/978-3-540-71209-1\_29},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ArmandoBM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/BenerecettiBZ05,
author = {Massimo Benerecetti and
Paolo Bouquet and
Stefano Zanobini},
editor = {Asunci{\'{o}}n G{\'{o}}mez{-}P{\'{e}}rez and
J{\'{e}}r{\^{o}}me Euzenat},
title = {Soundness of Schema Matching Methods},
booktitle = {The Semantic Web: Research and Applications, Second European Semantic
Web Conference, {ESWC} 2005, Heraklion, Crete, Greece, May 29 - June
1, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3532},
pages = {211--225},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11431053\_15},
doi = {10.1007/11431053\_15},
timestamp = {Mon, 28 Aug 2023 21:17:38 +0200},
biburl = {https://dblp.org/rec/conf/esws/BenerecettiBZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArmandoBM06,
author = {Alessandro Armando and
Massimo Benerecetti and
Jacopo Mantovani},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Model Checking Linear Programs with Arrays},
booktitle = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {3},
pages = {79--94},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.006},
doi = {10.1016/J.ENTCS.2006.01.006},
timestamp = {Fri, 16 Dec 2022 10:50:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArmandoBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-OH-0312019,
author = {Laura Bozzelli and
Massimo Benerecetti and
Adriano Peron},
title = {Verification of recursive parallel systems},
journal = {CoRR},
volume = {cs.OH/0312019},
year = {2003},
url = {http://arxiv.org/abs/cs/0312019},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-OH-0312019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aose/BenerecettiC02,
author = {Massimo Benerecetti and
Alessandro Cimatti},
editor = {Fausto Giunchiglia and
James Odell and
Gerhard Wei{\ss}},
title = {Validation of Multiagent Systems by Symbolic Model Checking},
booktitle = {Agent-Oriented Software Engineering III, Third International Workshop,
{AOSE} 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited
Contributions},
series = {Lecture Notes in Computer Science},
volume = {2585},
pages = {32--46},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36540-0\_3},
doi = {10.1007/3-540-36540-0\_3},
timestamp = {Tue, 08 Mar 2022 10:12:48 +0100},
biburl = {https://dblp.org/rec/conf/aose/BenerecettiC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BenerecettiPST02,
author = {Massimo Benerecetti and
Maurizio Panti and
Luca Spalazzi and
Simone Tacconi},
editor = {Anne Banks Pidduck and
John Mylopoulos and
Carson C. Woo and
M. Tamer {\"{O}}zsu},
title = {Verification of Payment Protocols via MultiAgent Model Checking},
booktitle = {Advanced Information Systems Engineering, 14th International Conference,
CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2348},
pages = {311--327},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47961-9\_23},
doi = {10.1007/3-540-47961-9\_23},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/BenerecettiPST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BenerecettiPST02,
author = {Massimo Benerecetti and
Maurizio Panti and
Luca Spalazzi and
Simone Tacconi},
editor = {Stuart Anderson and
Sandro Bologna and
Massimo Felici},
title = {Verification of the {SSL/TLS} Protocol Using a Model Checkable Logic
of Belief and Time},
booktitle = {Computer Safety, Reliability and Security, 21st International Conference,
{SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2434},
pages = {126--138},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45732-1\_14},
doi = {10.1007/3-540-45732-1\_14},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BenerecettiPST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/hhci/BenerecettiBB01,
author = {Massimo Benerecetti and
Paolo Bouquet and
Matteo Bonifacio},
title = {Distributed Context-Aware Systems},
journal = {Hum. Comput. Interact.},
volume = {16},
number = {2-4},
pages = {213--228},
year = {2001},
url = {https://doi.org/10.1207/S15327051HCI16234\_06},
doi = {10.1207/S15327051HCI16234\_06},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/hhci/BenerecettiBB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/context/BenerecettiBG01,
author = {Massimo Benerecetti and
Paolo Bouquet and
Chiara Ghidini},
editor = {Varol Akman and
Paolo Bouquet and
Richmond H. Thomason and
Roger A. Young},
title = {On the Dimensions of Context Dependence: Partiality, Approximation,
and Perspective},
booktitle = {Modeling and Using Context, Third International and Interdisciplinary
Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2116},
pages = {59--72},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44607-9\_5},
doi = {10.1007/3-540-44607-9\_5},
timestamp = {Wed, 07 Dec 2022 23:13:10 +0100},
biburl = {https://dblp.org/rec/conf/context/BenerecettiBG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/BenerecettiBG00,
author = {Massimo Benerecetti and
Paolo Bouquet and
Chiara Ghidini},
title = {Contextual reasoning distilled},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {12},
number = {3},
pages = {279--305},
year = {2000},
url = {https://doi.org/10.1080/09528130050111446},
doi = {10.1080/09528130050111446},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/BenerecettiBG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/BenerecettiG00,
author = {Massimo Benerecetti and
Fausto Giunchiglia},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Model Checking-Based Analysis of Multiagent Systems},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {1--15},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_1},
doi = {10.1007/3-540-45484-5\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/faabs/BenerecettiG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BenerecettiGPS00,
author = {Massimo Benerecetti and
Fausto Giunchiglia and
Maurizio Panti and
Luca Spalazzi},
editor = {Tommaso Bolognesi and
Diego Latella},
title = {A Logic of Belief and a Model Checking Algorithm for Security Protocols},
booktitle = {Formal Techniques for Distributed System Development, {FORTE/PSTV}
2000, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal
Description Techniques for Distributed Systems and Communication Protocols
{(FORTE} {XIII)} and Protocol Specification, Testing and Verification
{(PSTV} XX), October 10-13, 2000, Pisa, Italy},
series = {{IFIP} Conference Proceedings},
volume = {183},
pages = {393--408},
publisher = {Kluwer},
year = {2000},
timestamp = {Tue, 19 Feb 2002 10:53:34 +0100},
biburl = {https://dblp.org/rec/conf/forte/BenerecettiGPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BenerecettiG00,
author = {Massimo Benerecetti and
Fausto Giunchiglia},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Model Checking Security Protocols Using a Logic of Belief},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {519--534},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_35},
doi = {10.1007/3-540-46419-0\_35},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BenerecettiG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/BenerecettiGSV99,
author = {Massimo Benerecetti and
Enrico Giunchiglia and
Luciano Serafini and
Adolfo Villafiorita},
title = {Formal specification of beliefs in multi-agent systems},
journal = {Int. J. Intell. Syst.},
volume = {14},
number = {10},
pages = {1021--1040},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1098-111X(199910)14:10\&\#60;1021::AID-INT5\&\#62;3.0.CO;2-E},
doi = {10.1002/(SICI)1098-111X(199910)14:10\&\#60;1021::AID-INT5\&\#62;3.0.CO;2-E},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/BenerecettiGSV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/context/1999,
editor = {Paolo Bouquet and
Luciano Serafini and
Patrick Br{\'{e}}zillon and
Massimo Benerecetti and
F. Castellani},
title = {Modeling and Using Context, Second International and Interdisciplinary
Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1688},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48315-2},
doi = {10.1007/3-540-48315-2},
isbn = {3-540-66432-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/context/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BenerecettiGS98,
author = {Massimo Benerecetti and
Fausto Giunchiglia and
Luciano Serafini},
title = {Model Checking Multiagent Systems},
journal = {J. Log. Comput.},
volume = {8},
number = {3},
pages = {401--423},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.3.401},
doi = {10.1093/LOGCOM/8.3.401},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BenerecettiGS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/BenerecettiBG98,
author = {Massimo Benerecetti and
Paolo Bouquet and
Chiara Ghidini},
editor = {Fausto Giunchiglia},
title = {Formalizing Belief Reports - The Approach and a Case Study},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
21-13, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1480},
pages = {62--75},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057435},
doi = {10.1007/BFB0057435},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/BenerecettiBG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BenerecettiGS98,
author = {Massimo Benerecetti and
Fausto Giunchiglia and
Luciano Serafini},
editor = {J{\"{o}}rg P. M{\"{u}}ller and
Munindar P. Singh and
Anand S. Rao},
title = {A Model Checking Algorithm for Multiagent Systems},
booktitle = {Intelligent Agents V, Agent Theories, Architectures, and Languages,
5th International Workshop, {ATAL} '98, Paris, France, July 4-7, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1555},
pages = {163--176},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49057-4\_11},
doi = {10.1007/3-540-49057-4\_11},
timestamp = {Tue, 29 Dec 2020 18:27:45 +0100},
biburl = {https://dblp.org/rec/conf/atal/BenerecettiGS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurovav/BenerecettiGS98,
author = {Massimo Benerecetti and
Fausto Giunchiglia and
Luciano Serafini},
editor = {Frank van Harmelen},
title = {Multiagent Systems Verification via Model Checking},
booktitle = {1998 European Workshop on Validation and Verification of Knowledge-Based
Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998},
series = {{CEUR} Workshop Proceedings},
volume = {16},
publisher = {CEUR-WS.org},
year = {1998},
url = {https://ceur-ws.org/Vol-16/06-benerecetti.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:22 +0100},
biburl = {https://dblp.org/rec/conf/eurovav/BenerecettiGS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BenerecettiS96,
author = {Massimo Benerecetti and
Luca Spalazzi},
title = {{METAFOL:} Program tactics and logic tactics plus reflection},
journal = {Future Gener. Comput. Syst.},
volume = {12},
number = {2-3},
pages = {139--156},
year = {1996},
url = {https://doi.org/10.1016/0167-739X(96)00008-8},
doi = {10.1016/0167-739X(96)00008-8},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/BenerecettiS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BenerecettiCGGS97,
author = {Massimo Benerecetti and
Alessandro Cimatti and
Enrico Giunchiglia and
Fausto Giunchiglia and
Luciano Serafini},
editor = {J{\"{o}}rg P. M{\"{u}}ller and
Michael J. Wooldridge and
Nicholas R. Jennings},
title = {Formal Specification of Beliefs in Multi-Agent Systems},
booktitle = {Intelligent Agents III, Agent Theories, Architectures, and Languages,
{ECAI} '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1193},
pages = {117--130},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0013581},
doi = {10.1007/BFB0013581},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/BenerecettiCGGS97.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-25 05:59 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:
