Christophe Junke

According to our database¹, Christophe Junke authored at least 2 papers between 2010 and 2025.

Collaborative distances:

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

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2025

Visualization of Execution Traces in Colibri 2 SMT Solver.

[BibT_eX]

[DOI]

Christophe Junke

François Bobot

Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2010

Handling State-Machines Specifications with GATeL.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Model-Based Testing, 2010

Christophe Junke

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...