Jean-Charles Roger

According to our database¹, Jean-Charles Roger authored at least 4 papers between 2008 and 2012.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2012

Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2012

Improving Model Checking with Context Modelling.

[BibT_eX]

[DOI]

Adv. Softw. Eng., 2012

2011

Reducing State Explosion with Context Modeling for Model-Checking.

[BibT_eX]

[DOI]

Philippe Dhaussy

Jean-Charles Roger

Frédéric Boniol

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2008

AADL Execution Semantics Transformation for Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Jean-Charles Roger

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...