Login / Signup
Clement Demoulins
Publication Activity (10 Years)
Years Active: 2010-2013
Publications (10 Years): 0
Top Topics
Concurrent Systems
Metadata
Petri Net
Nonmonotonic Reasoning
Top Venues
ICFEM
</>
Publications
</>
Étienne André
,
Benoît Barbot
,
Clement Demoulins
,
Lom-Messan Hillah
,
Francis Hulin-Hubard
,
Fabrice Kordon
,
Alban Linard
,
Laure Petrucci
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.
ICFEM
(2013)
Jean-Baptiste Voron
,
Clement Demoulins
,
Fabrice Kordon
Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach.
ACSD
(2010)