Clément Guy

Affiliations:

University of Rennes 1, France

According to our database¹, Clément Guy authored at least 6 papers between 2011 and 2019.

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

2019

Polychronous automata and their use for formal validation of AADL models.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2019

2016

Formal semantics of behavior specifications in the architecture analysis and design language standard.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

2013

Facilités de typage pour l'ingénierie des langages. (Typing facilities for language engineering).

[BibT_eX]

[DOI]

Clément Guy

PhD thesis, 2013

2012

Bridging the chasm between MDE and the world of compilation.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

On Model Subtyping.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2011

Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Clément Guy

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...