Patrice Carle

According to our database, Patrice Carle authored at least 7 papers between 1991 and 2013.

Collaborative distances:

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

2013

Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns.

Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel

Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications, 2013

A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows.

Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Behavioural Analysis for Distributed Simulations.

Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Behaviour Recognition Using Chronicles.

Patrice Carle, Christine Choppy, Romain Kervarc

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

2009

Modelling chronicle recognition for distributed simulation processing with coloured Petri nets.

Olivier Bertrand, Patrice Carle, Christine Choppy

Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

Coloured Petri Nets for Chronicle Recognition.

Christine Choppy, Olivier Bertrand, Patrice Carle

Proceedings of the Reliable Software Technologies, 2009

1991

Actors and agents as reflective concurrent objects: a MERING IV perspective.

Jacques Ferber, Patrice Carle

IEEE Trans. Syst. Man Cybern., 1991