Chantal Keller
According to our database^{1},
Chantal Keller
authored at least 18 papers
between 2010 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at lri.fr
On csauthors.net:
Bibliography
2020
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
2018
Proceedings of the Tests and Proofs  12th International Conference, 2018
Proceedings of the Interactive Theorem Proving  9th International Conference, 2018
2017
A Symbolic Operational Semantics for TESL  With an Application to Heterogeneous System Testing.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017
Proceedings of the Computer Aided Verification  29th International Conference, 2017
2016
Proceedings of the Proceedings First International Workshop on Hammers for Type Theories, 2016
Proceedings of the 43rd Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016
2014
Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014
Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014
2013
A Matter of Trust: Skeptical Communication Between Coq and External Provers. (Question de confiance : communication sceptique entre Coq et des prouveurs externes).
PhD thesis, 2013
Proceedings of the Third International Workshop on Proof Exchange for Theorem Proving, 2013
2012
CoRR, 2012
Proceedings of the Interactive Tabletops and Surfaces, 2012
Proceedings of the Computer Science Logic (CSL'12), 2012
2011
Proceedings of the Certified Programs and Proofs  First International Conference, 2011
2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the 3rd ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, 2010