Pierre-Alain Bourdil

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 2

Top Topics

Communication Protocol

Temporal Properties

Top Venues

Sci. Comput. Program.

ISSRE Workshops

INSA Toulouse, France (PHD)

Education History

INSA Toulouse, France

PHD

Publications

Rafael Scarduelli, Pierre-Alain Bourdil, Silvano Dal-Zilio, Didier Le Botlan
Time-accurate Middleware for the Virtualization of Communication Protocols. CoRR (2018)
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat
Symmetry reduction for time Petri net state classes. Sci. Comput. Program. 132 (2016)
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat
Symmetry reduced state classes for time petri nets. SAC (2015)
Pierre-Alain Bourdil, Bernard Berthomieu, Eric Jenn
Model-Checking Real-Time Properties of an Auto Flight Control System Function. ISSRE Workshops (2014)