Systèmes de types purs et substitutions explicites. (Pure type systems and explicit substitutions). - Romain Kervarc (2007)

A generic logical-temporal performance analysis method for complex systems. - Romain Kervarc; Jean Bourrely; Claire Quillien (Math. Comput. Simul., 2010)

Behaviour Recognition Using Chronicles. - Patrice Carle; Christine Choppy; Romain Kervarc (TASE, 2011)

Behavioural Analysis for Distributed Simulations. - Patrice Carle; Christine Choppy; Romain Kervarc; Ariane Piel (APSEC, 2012)

A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows. - Patrice Carle; Christine Choppy; Romain Kervarc; Ariane Piel (APSEC (1), 2013)

Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns. - Patrice Carle; Christine Choppy; Romain Kervarc; Ariane Piel (FSFMA, 2013)

GAMME, a meta-model to unify data needs in simulation modeling (WIP). - Judicaël Bedouet; Nicolas Huynh; Romain Kervarc (SpringSim (TMS-DEVS), 2013)

Temporal Logic Framework for Performance Analysis of Architectures of Systems. - Ariane Piel; Jean Bourrely; Stéphanie Lala; Sylvain Bertrand; Romain Kervarc (NFM, 2016)

On the Use of WalkSAT Based Algorithms for MLN Inference in Some Realistic Applications. - Romain Rincé; Romain Kervarc; Philippe Leray 001 (IEA/AIE (2), 2017)

Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling. - Romain Rincé; Romain Kervarc; Philippe Leray 001 (RuleML+RR, 2018)

A scalable model based approach for data model evolution: Application to space missions data models. - Lynda Ait Oubelli; Yamine Aït Ameur; Judicaël Bedouet; Romain Kervarc; Benoit Chausserie-Lapree; Béatrice Larzul (Comput. Lang. Syst. Struct., 2018)

Assessing component impairing at mission level. - Romain Kervarc; Ariane Piel; Stéphanie Lala; Jean Bourrely (Math. Comput. Simul., 2018)