Gennaro Parlato
Università degli Studi del Molise
H-index: 25
Europe-Italy
Top articles of Gennaro Parlato
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Verifying Programs by Bounded Tree-Width Behavior Graphs | Omar Inverso Salvatore La Torre Gennaro Parlato Ermenegildo Tomasco | 2023/9/7 | |
Reachability games modulo theories with a bounded safety player | Proceedings of the AAAI Conference on Artificial Intelligence | Marco Faella Gennaro Parlato | 2023/6/26 |
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory | Bernd Fischer Salvatore La Torre Gennaro Parlato Peter Schrammel | 2022/10/10 | |
Reasoning about data trees using CHCs | Marco Faella Gennaro Parlato | 2022/8/6 | |
Bounded verification of multi-threaded programs via lazy sequentialization | ACM Transactions on Programming Languages and Systems (TOPLAS) | Omar Inverso Ermenegildo Tomasco Bernd Fischer Salvatore La Torre Gennaro Parlato | 2021/12/9 |
Automated Planning Through Program Verification. | Salvatore La Torre Gennaro Parlato | 2021 | |
Reachability of scope-bounded multistack pushdown systems | Information and Computation | Salvatore La Torre Margherita Napoli Gennaro Parlato | 2020/12/1 |
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds. | Salvatore La Torre Gennaro Parlato | 2020/9/25 | |
On the Model-Checking of Branching-time Temporal Logic with BDI Modalities. | Salvatore La Torre Gennaro Parlato | 2020/5/5 |