Sébastien Chédor

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 1

Top Topics

Partially Observed

Complex Systems

Static Analysis

Building Blocks

Top Venues

Discret. Event Dyn. Syst.

Softw. Test. Verification Reliab.

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems. Discret. Event Dyn. Syst. 25 (1-2) (2015)
Sébastien Chédor, Thierry Jéron, Christophe Morvan
Test generation from recursive tile systems. Softw. Test. Verification Reliab. 24 (7) (2014)
Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand
Analysis of partially observed recursive tile systems. WODES (2012)
Sébastien Chédor, Thierry Jéron, Christophe Morvan
Test Generation from Recursive Tiles Systems. TAP@TOOLS (2012)