Damien Doligez

According to our database1, Damien Doligez authored at least 19 papers between 1993 and 2016.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2016
Proving Determinacy of the PharOS Real-Time Operating System.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015
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

2014
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

2013
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012
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

2010
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

2009
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

2008
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

2007
Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs.
Proceedings of the Logic for Programming, 2007

2002
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

1999
Cache Coherence Verification with TLA+.
Proceedings of the FM'99 - Formal Methods, 1999

1994
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

1993
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


  Loading...