Articles with public access mandates - Laure PetrucciLearn more
Not available anywhere: 2
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
Mandates: Research Council of Norway
Distributed parametric model checking timed automata under non-Zenoness assumption
É André, HG Nguyen, L Petrucci, J Sun
Formal Methods in System Design 59 (1), 253-290, 2021
Mandates: Agence Nationale de la Recherche
Available somewhere: 13
Iterative bounded synthesis for efficient cycle detection in parametric timed automata
É André, J Arias, L Petrucci, J Pol
International Conference on Tools and Algorithms for the Construction and …, 2021
Mandates: Agence Nationale de la Recherche
Hackers vs. security: attack-defence trees as asynchronous multi-agent systems
J Arias, CE Budde, W Penczek, L Petrucci, T Sidoruk, M Stoelinga
International conference on formal engineering methods, 3-19, 2020
Mandates: Netherlands Organisation for Scientific Research
Minimal-time synthesis for parametric timed automata
É André, V Bloemen, L Petrucci, J Van de Pol
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
Mandates: Agence Nationale de la Recherche
Timed ATL: forget memory, just count
MJ Knapik, É André, L Petrucci, W Jamroga, W Penczek
Journal of Artificial Intelligence Research 66, 197-223, 2019
Mandates: Luxembourg National Research Fund
Parametric verification: an introduction
É André, M Knapik, D Lime, W Penczek, L Petrucci
Transactions on Petri Nets and Other Models of Concurrency XIV, 64-100, 2019
Mandates: Agence Nationale de la Recherche
Timed ATL: Forget Memory, Just Count.
É André, L Petrucci, W Jamroga, M Knapik, W Penczek
Journal of Artificial Intelligence Research 66, 2019
Mandates: Luxembourg National Research Fund
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
Mandates: Luxembourg National Research Fund
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
Mandates: Agence Nationale de la Recherche
Formal specification and validation of a data-driven software system for fire risk prediction
RD Strand, LM Kristensen, L Petrucci
Mandates: Research Council of Norway
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
Mandates: Luxembourg National Research Fund
Modular Analysis of Tree-Topology Models
J Arias, M Knapik, W Penczek, L Petrucci
International Conference on Formal Engineering Methods, 36-53, 2022
Mandates: Luxembourg National Research Fund
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
Mandates: Science Foundation Ireland
Advances on Parameters in Discrete Models with Probabilities
B Delahaye, D Lime, L Petrucci
Mandates: Agence Nationale de la Recherche
Publication and funding information is determined automatically by a computer program