Clement Demoulins

According to our database, Clement Demoulins authored at least 3 papers between 2010 and 2016.

Collaborative distances:

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

2016

Layered Data: A Modular Formal Definition without Formalisms.

Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, Lom-Messan Hillah, Alexis Martin

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2013

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.

Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci

Proceedings of the Formal Methods and Software Engineering, 2013

2010

Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach.

Jean-Baptiste Voron, Clement Demoulins, Fabrice Kordon

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010