Clemens D. Renner

According to our database¹, Clemens D. Renner authored at least 4 papers between 2007 and 2011.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2011

Game-Based Model Checking for Reliable Autonomy in Space.

[BibT_eX]

[DOI]

J. Aerosp. Comput. Inf. Commun., 2011

2009

Tool-supported enhancement of diagnosis in model-driven verification.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2009

2008

Solving µ-Calculus Parity Games by Symbolic Planning.

[BibT_eX]

[DOI]

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

2007

Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process.

[BibT_eX]

[DOI]

Proceedings of the ISoLA 2007, 2007

Clemens D. Renner

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...