Sébastien Chédor

According to our database, Sébastien Chédor authored at least 5 papers between 2012 and 2015.

Collaborative distances:

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

2015

Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems.

Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand

Discret. Event Dyn. Syst., 2015

2014

Diagnostic, opacité et test de conformité pour des systèmes récursifs. (Diagnosis, opacity and conformance testing for recursive tile systems).

Sébastien Chédor

PhD thesis, 2014

Test generation from recursive tile systems.

Sébastien Chédor, Thierry Jéron, Christophe Morvan

Softw. Test. Verification Reliab., 2014

2012

Analysis of partially observed recursive tile systems.

Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Test Generation from Recursive Tiles Systems.

Sébastien Chédor, Thierry Jéron, Christophe Morvan

Proceedings of the Tests and Proofs - 6th International Conference, 2012