Romain Kervarc

According to our database, Romain Kervarc authored at least 12 papers between 2007 and 2018.

Collaborative distances:

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

2018

Assessing component impairing at mission level.

Romain Kervarc, Ariane Piel, Stéphanie Lala, Jean Bourrely

Math. Comput. Simul., 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

Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling.

Romain Rincé, Romain Kervarc, Philippe Leray

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

2017

On the Use of WalkSAT Based Algorithms for MLN Inference in Some Realistic Applications.

Romain Rincé, Romain Kervarc, Philippe Leray

Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

2016

Temporal Logic Framework for Performance Analysis of Architectures of Systems.

Ariane Piel, Jean Bourrely, Stéphanie Lala, Sylvain Bertrand, Romain Kervarc

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2013

GAMME, a meta-model to unify data needs in simulation modeling (WIP).

Judicaël Bedouet, Nicolas Huynh, Romain Kervarc

Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 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

2010

A generic logical-temporal performance analysis method for complex systems.

Romain Kervarc, Jean Bourrely, Claire Quillien

Math. Comput. Simul., 2010

2007

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

Romain Kervarc

PhD thesis, 2007