Chantal Keller

According to our database1, Chantal Keller authored at least 18 papers between 2010 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2020
On the Semantics of Polychronous Polytimed Specifications.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2018
Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL.
Proceedings of the Tests and Proofs - 12th International Conference, 2018

A Coq Formalisation of SQL's Execution Engines.
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

SMTCoq: A Plug-In for Integrating SMT Solvers into Coq.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract).
Proceedings of the Proceedings First International Workshop on Hammers for Type Theories, 2016

Dependent types and multi-monadic effects in F.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

A Certified Compiler for Verifiable Computing.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2014
Typeful Normalization by Evaluation.
Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014

Beagle as a HOL4 external ATP method.
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

Extended Resolution as Certificates for Propositional Logic.
Proceedings of the Third International Workshop on Proof Exchange for Theorem Proving, 2013

2012
The Refined Calculus of Inductive Construction: Parametricity and Abstraction
CoRR, 2012

Pseudo-Weight: Making Tabletop Interaction with Virtual Objects More Tangible.
Proceedings of the Interactive Tabletops and Surfaces, 2012

Parametricity in an Impredicative Sort.
Proceedings of the Computer Science Logic (CSL'12), 2012

2011
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses.
Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2010
Importing HOL Light into Coq.
Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Hereditary Substitutions for Simple Types, Formalized.
Proceedings of the 3rd ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, 2010


  Loading...