Jean-Charles Roger

Publications

Citations

H-Index

2008

Active since

Affiliations

Laboratoire des Sciences et Techniques de l’Information de la Communication et de la Connaissance(Current)

École nationale supérieure de techniques avancées Bretagne

Jean-Charles Roger is an author at Laboratoire des Sciences et Techniques de l’Information de la Communication et de la Connaissance specializing in formal methods, program analysis, and formal specification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering

Publications per year

2008–2012

Publications

AADL Execution Semantics Transformation for Formal Verification

Thomas Abdoul, Joël Champeau, Philippe Dhaussy et al. · 2008 · 27 citations

Engineering, Verification, Aadl Model Transformation +20

Improving Model Checking with Context Modelling

Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger et al. · Advances in Software Engineering · 2012 · 19 citations · Full text

Engineering, Verification, Software Engineering +19

Rows per page

1–2 of 2