| Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report F Di Cosmo, T Prince Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, 2024 | 2 | 2024 |
| Deciding Reachability and Coverability in Lossy EOS F Di Cosmo, S Mal, T Prince Proceedings of the International Workshop on Petri Nets and Software …, 2024 | 2 | 2024 |
| Bounded model checking for unbounded client server systems R Phawade, T Prince, S Sheerazuddin arXiv preprint arXiv:2209.05879, 2022 | 2 | 2022 |
| On Verifying Unbounded Client-Server Systems T Prince European Conference on Multi-Agent Systems, 465-471, 2023 | | 2023 |
| Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems T Prince EasyChair, 2022 | | 2022 |
| Formal Verification of Safety Properties Using Interpolation and k-induction T Prince, AA Rahman, S Syed arXiv preprint arXiv:2207.01338, 2022 | | 2022 |
Francesco Di CosmoFree University of Bozen-BolzanoVerified email at unibz.it