# Pierre-Alain Bourdil

According to our database

Collaborative distances:

^{1}, Pierre-Alain Bourdil authored at least 4 papers between 2014 and 2016.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

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