Massimo Benerecetti
Università degli Studi di Napoli Federico II
H-index: 20
Europe-Italy
Top articles of Massimo Benerecetti
Automata-Theoretic Characterisations of Branching-Time Temporal Logics
arXiv preprint arXiv:2404.17421
2024/4/26
Massimo Benerecetti
H-Index: 11
Alternating (In) Dependence-Friendly Logic
Annals of Pure and Applied Logic
2023/12/1
Massimo Benerecetti
H-Index: 11
Dario Della Monica
H-Index: 10
Deliverable D2. 3-Moving Block Verification and Validation
2023/9/19
Deliverable D2. 2-Moving Block Specification Development
2023/9/13
Good-for-game QPTL: an alternating hodges semantics
ACM Transactions on Computational Logic
2023/1/23
Massimo Benerecetti
H-Index: 11
Dario Della Monica
H-Index: 10
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3: The PERFORMINGRAIL Project
Proceedings of the AIIT 3rd International Conference on Transport Infrastructure and Systems (TIS ROMA 2022), Rome, Italy
2022/9
Massimo Benerecetti
H-Index: 11
Stefano Marrone
H-Index: 8
Cristina Seceleanu
H-Index: 11
Valeria Vittorini
H-Index: 14
Priority promotion with Parysian flair
arXiv preprint arXiv:2105.01738
2021/4/16
Expressing structural temporal properties of safety critical hierarchical systems
2021
Massimo Benerecetti
H-Index: 11
Luigi Libero Lucio Starace
H-Index: 1
Robust worst cases for parity games algorithms
Information and Computation
2020/6/1
Massimo Benerecetti
H-Index: 11
Solving mean-payoff games via quasi dominions
2020/4/17
Massimo Benerecetti
H-Index: 11