Romain Kervarc

12 papers B 1C 1Misc 1Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2018 J jnl
A scalable model based approach for data model evolution: Application to space missions data models.
Comput. Lang. Syst. Struct.
Lynda Ait Oubelli, Yamine Aït Ameur, Judicaël Bedouet, Romain Kervarc, Benoit Chausserie-Lapree, Béatrice Larzul
2018 J jnl
Assessing component impairing at mission level.
Math. Comput. Simul.
Romain Kervarc, Ariane Piel, Stéphanie Lala, Jean Bourrely
2018 B conf
Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling.
RuleML+RR
Romain Rincé, Romain Kervarc, Philippe Leray
2017 — conf
On the Use of WalkSAT Based Algorithms for MLN Inference in Some Realistic Applications.
IEA/AIE (2)
Romain Rincé, Romain Kervarc, Philippe Leray
2016 — conf
Temporal Logic Framework for Performance Analysis of Architectures of Systems.
NFM
Ariane Piel, Jean Bourrely, Stéphanie Lala, Sylvain Bertrand, Romain Kervarc
2013 — conf
A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows.
APSEC (1)
Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel
2013 — conf
GAMME, a meta-model to unify data needs in simulation modeling (WIP).
SpringSim (TMS-DEVS)
Judicaël Bedouet, Nicolas Huynh, Romain Kervarc
2013 — conf
Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns.
FSFMA
Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel
2012 C conf
Behavioural Analysis for Distributed Simulations.
APSEC
Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel
2011 Misc conf
Behaviour Recognition Using Chronicles.
TASE
Patrice Carle, Christine Choppy, Romain Kervarc
2010 J jnl
A generic logical-temporal performance analysis method for complex systems.
Math. Comput. Simul.
Romain Kervarc, Jean Bourrely, Claire Quillien
2007 — —
Systèmes de types purs et substitutions explicites. (Pure type systems and explicit substitutions).
Romain Kervarc