According to our database1, Damien Doligez authored at least 19 papers between 1993 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Proving Determinacy of the PharOS Real-Time Operating System.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo.
Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015
Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Experience in using a typed functional language for the development of a security application.
Proceedings of the Proceedings 1st Workshop on Formal Integrated Development Environment, 2014
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.
Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment.
Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012
TLA + Proofs.
Proceedings of the FM 2012: Formal Methods, 2012
The TLA+ Proof System: Building a Heterogeneous Verification Platform.
Proceedings of the Theoretical Aspects of Computing, 2010
Verifying Safety Properties with the TLA+ Proof System.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
A foundation for flow-based program matching: using temporal logic and model checking.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009
Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2.
Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, 2008
A TLA+ Proof System.
Proceedings of the LPAR 2008 Workshops, 2008
Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs.
Proceedings of the Logic for Programming, 2007
Algorithms and Proofs Inheritancey in the FOC Language.
J. Autom. Reasoning, 2002
Algebraic Structures and Dependent Records.
Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002
Cache Coherence Verification with TLA+.
Proceedings of the FM'99 - Formal Methods, 1999
Portable, Unobtrusive Garbage Collection for Multiprocessor Systems.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994
A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993