Pierre-Alain Bourdil

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

Collaborative distances :
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Time-accurate Middleware for the Virtualization of Communication Protocols.
CoRR, 2018

2016
Symmetry reduction for time Petri net state classes.
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).
PhD thesis, 2015

Symmetry reduced state classes for time petri nets.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014
Model-Checking Real-Time Properties of an Auto Flight Control System Function.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014


  Loading...