Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic J Arias, C Olarte, W Penczek, L Petrucci, T Sidoruk 26th International Symposium on Principles and Practice of Declarative …, 2024 | | 2024 |
CosyVerif: The Path to Formalisms Cohabitation É André, J Arias, B Barbot, F Hulin-Hubard, F Kordon, VF Le, L Petrucci International Conference on Applications and Theory of Petri Nets and …, 2024 | | 2024 |
On-The-Fly Algorithm for Reachability in Parametric Timed Games MB Dahlsen-Jensen, B Fievet, L Petrucci, J de Pol International Conference on Tools and Algorithms for the Construction and …, 2024 | | 2024 |
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving J Arias, K Bae, C Olarte, PC Ölveczky, L Petrucci, F Rømming Science of Computer Programming 233, 103074, 2024 | 5 | 2024 |
Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models J Arias, C Olarte, L Petrucci, Ł Maśko, W Penczek, T Sidoruk IEEE Transactions on Reliability, 2024 | 1 | 2024 |
On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version) MB Dahlsen-Jensen, B Fievet, L Petrucci, J van de Pol arXiv preprint arXiv:2401.11287, 2024 | | 2024 |
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets J Arias, K Bae, C Olarte, PC Ölveczky, L Petrucci arXiv preprint arXiv:2401.01884, 2024 | | 2024 |
Application and Theory of Petri Nets and Concurrency: Special Issue of Selected Papers from Petri Nets 2022 Preface L Bernardinello, J Kleijn, L Petrucci FUNDAMENTA INFORMATICAE 190 (2-3), I-II, 2024 | | 2024 |
On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version) M Bisgaard Dahlsen-Jensen, B Fievet, L Petrucci, J van de Pol arXiv e-prints, arXiv: 2401.11287, 2024 | | 2024 |
Development and Verification of a Microservice Architecture for a Fire Risk Notification System RD Strand, LM Kristensen, L Petrucci Transactions on Petri Nets and Other Models of Concurrency XVII, 27-53, 2023 | | 2023 |
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings L Petrucci, J Sproston Springer Nature, 2023 | | 2023 |
Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving J Arias, K Bae, C Olarte, PC Ölveczky, L Petrucci, F Rømming International Conference on Applications and Theory of Petri Nets and …, 2023 | 7 | 2023 |
Strategic (timed) computation tree logic J Arias, W Jamroga, W Penczek, L Petrucci, T Sidoruk arXiv preprint arXiv:2302.13405, 2023 | 6 | 2023 |
Models and Analysis for Distributed Systems S Haddad, F Kordon John Wiley & Sons, 2023 | 6 | 2023 |
Rewriting logic semantics and symbolic analysis for parametric timed automata J Arias, K Bae, C Olarte, PC Ölveczky, L Petrucci, F Rømming Proceedings of the 8th ACM SIGPLAN International Workshop on Formal …, 2022 | 10 | 2022 |
Modular Analysis of Tree-Topology Models J Arias, M Knapik, W Penczek, L Petrucci International Conference on Formal Engineering Methods, 36-53, 2022 | | 2022 |
Efficient convex zone merging in parametric timed automata É André, D Marinho, L Petrucci, J van de Pol International Conference on Formal Modeling and Analysis of Timed Systems …, 2022 | 3 | 2022 |
A formal model for fault tolerant parallel matrix factorization C Coti, L Petrucci, DAT González 2022 26th International Conference on Engineering of Complex Computer …, 2022 | | 2022 |
Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks S Evangelista, L Petrucci, LM Kristensen 2022 26th International Conference on Engineering of Complex Computer …, 2022 | | 2022 |
Minimal schedule with minimal number of agents in attack-defence trees J Arias, L Petrucci, Ł Maśko, W Penczek, T Sidoruk 2022 26th International Conference on Engineering of Complex Computer …, 2022 | 4 | 2022 |