David Delfieu

According to our database, David Delfieu authored at least 6 papers between 1995 and 2022.

Collaborative distances:

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

2022

Pomset bisimulation and unfolding for reset Petri nets.

Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier Henri Roux

Inf. Comput., 2022

2018

Pomsets and Unfolding of Reset Petri Nets.

Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux

Proceedings of the Language and Automata Theory and Applications, 2018

2017

Embedding time Petri nets.

Maurice Comlan, David Delfieu, Médésu Sogbohossou, Antoine Vianou

Proceedings of the 4th International Conference on Control, 2017

2011

Dépliage des réseaux de Petri temporels à modèle sous-jacent non sauf.

Médésu Sogbohossou, David Delfieu

ARIMA J., 2011

2001

Discrete time approach of time Petri nets for real-time systems analysis.

Olivier H. Roux, David Delfieu, Pierre Molinaro

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

1995

Expression et validation de contraintes temporelles pour la spécification des systèmes réactifs.

David Delfieu

PhD thesis, 1995