Pierre-Alain Bourdil

According to our database, Pierre-Alain Bourdil authored at least 5 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Time-accurate Middleware for the Virtualization of Communication Protocols.

Rafael Scarduelli, Pierre-Alain Bourdil, Silvano Dal-Zilio, Didier Le Botlan

CoRR, 2018

2016

Symmetry reduction for time Petri net state classes.

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat

Sci. Comput. Program., 2016

2015

Contribution à la modélisation et la vérification formelle par model-checking - Symétries pour les Réseaux de Petri Temporels. (Contribution to the modeling and formal verification by model checking - Symmetries for Temporal Petri Nets).

Pierre-Alain Bourdil

PhD thesis, 2015

Symmetry reduced state classes for time petri nets.

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Model-Checking Real-Time Properties of an Auto Flight Control System Function.

Pierre-Alain Bourdil, Bernard Berthomieu, Eric Jenn

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014