| 2023 |
Jaime Arias, Kyungmin Bae, Laure Petrucci, Carlos Olarte, Peter Ölveczky, Fredrik Rømming |
PITPN2Maude: Rewriting Logic Semantics for Parametric Time Petri Nets with Inhibitor Arcs |
Lien
|
| 2023 |
Jaime Arias, Mohamed Taha Bennani, Jörg Desel, Kais Klai, Hanène Ochi |
sogMBT: Symbolic Observation Graph-Based Generation of Test Paths |
Lien
|
| 2022 |
Jaime Arias, Łukasz Maśko, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk |
ADT2Maude: A rewriting logic specification for modeling ADTree and solve the optimal scheduling problem |
Lien
|
| 2022 |
Jaime Arias, Laure Petrucci, Van-François Le |
CosyDraw: An Open Source Extensible Verification Environment |
Lien
|
| 2022 |
Carlos Olarte, Elaine Pimentel, Camilo Rocha |
L-Framework |
Lien
|
| 2022 |
Jaime Arias, Kyungmin Bae, Laure Petrucci, Carlos Olarte, Peter Ölveczky, Fredrik Rømming |
PTA2Maude: Rewriting Logic Semantics for Parametric Timed Automata |
Lien
|
| 2022 |
Sylvie Boldo, François Clément, Martin Vincent, Micaela Mayero, Florian Faissole, Houda Mouhcine, Louise Leclerc, Stephane Aubry |
coq-num-analysis opam package (Numerical Analysis in Coq) |
Lien
|
| 2021 |
Étienne André |
A Benchmarks Library for Extended Timed Automata |
Lien
|
| 2021 |
Étienne André, Jaime Arias, Laure Petrucci |
IMITATOR: Tool for Parametric Verification and Robustness Analysis of Real-Time Systems with Parameter |
Lien
|
| 2021 |
Jaime Arias, Ikram Garfatta, Kais Klai |
Solidity2CPN: Formal Verification of Solidity Smart Contracts using Coloured Petri Nets |
Lien
|
| 2021 |
Jaime Arias, Laure Petrucci |
Web user interface for IMITATOR |
Lien
|
| 2020 |
Chiheb Ameur Abid, Jaime Arias, Kais Klai |
PMC-SOG: Parallel Model Checking using the Symbolic Observation Graph |
Lien
|
| 2020 |
Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk |
ADT2AMAS: Managing Agents in Attack-Defence Scenarios |
Lien
|
| 2017 |
Etienne André |
IMITATOR Web page |
Lien
|
| 2017 |
Thi Thanh Huyen Nguyen, César Rodríguez, Camille Coti |
Tool DPU |
Lien
|
| 2012 |
Etienne André |
Imitator~II |
Lien
|
| 2008 |
A Hamez, L Hillah, K Klai, F Kordon, L Petrucci, D Poitrenaud, Y Thierry-Mieg |
CoSyVerif: Complex Systems Verification |
|
| 2005 |
S Bardin, A Finkel, J Leroux, L Petrucci |
FAST: Fast Acceleration of Symbolic Transition systems |
|