According to our database1, Chantal Keller authored at least 18 papers between 2010 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
Proceedings of the Tests and Proofs - 12th International Conference, 2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
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
Proceedings of the Proceedings First International Workshop on Hammers for Type Theories, 2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016
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
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
Proceedings of the Interactive Tabletops and Surfaces, 2012
Proceedings of the Computer Science Logic (CSL'12), 2012
Proceedings of the Certified Programs and Proofs - First International Conference, 2011
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the 3rd ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, 2010