logo EDITE Emmanuel PAVIOT-ADET
Identité
Emmanuel PAVIOT-ADET
État académique
Thèse soutenue
Laboratoire: personnel permanent
Encadrement de thèses (depuis 2007)
0
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
edite:1332792488768
polyDD: Towards a Framework Generalizing Decision Diagrams
10th International Conference on Application of Concurrency to System Design (ACSD'2010), Braga, Portugal 2010
edite:1332792501832
Specification of Decision Diagram Operations
International Workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo'2010 associated with Petri Nets 2010), Braga, Portugal 2010
edite:13327925551213
P-Semiflow Computation with Decision Diagrams
Proc. 30th Int. Conf. on Applicartions and Theroy of Petri Nets, Paris, France 2009
edite:13327925671329
Verification of large-scale distributed database systems in the NEOPPOD project
Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper 2009