14 citations · 21 across the 5 of their papers we have counts for
7 papers
The VLSAT-2 Benchmark Suite
Pierre Bouvier, Hubert Garavel
This report presents VLSAT-2 (an acronym for "Very Large Boolean SATisfiability problems),the second part of a benchmark suite to be used in scientific experiments and softwarecomp…
Proposal for Adding Useful Features to Petri-Net Model Checkers
Hubert Garavel
Solutions proposed for the longstanding problem of automatic decomposition of Petri nets into concurrent processes, as well as methods developed in Grenoble for the automatic conve…
The VLSAT-1 Benchmark Suite
Pierre Bouvier, Hubert Garavel
This report presents VLSAT-1 (an acronym for "Very Large Boolean SATisfiability problems"), the first part of a benchmark suite to be used in scientificexperiments and software com…
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems
Ansgar Fehnker, Hubert Garavel
This volume contains the proceedings of MARS 2020, the fourth workshop on Models for Formal Analysis of Real Systems held as part of ETAPS 2020, the European Joint Conferences on T…
Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm
Hubert Garavel, Lina Marsso
The Message Authenticator Algorithm (MAA) is one of the first cryptographic functions for computing a Message Authentication Code. Between 1987 and 2001, the MAA was adopted in int…
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark
Hubert Garavel, Wendelin Serwe
The multiway rendezvous introduced in Theoretical CSP is a powerful paradigm to achieve synchronization and communication among a group of (possibly more than two) processes. We il…