Researchers

Leslie Lamport
Microsoft Research- Silicon Valley
Presentation
Contact:
moc.tfosorcim@tropmal
+33 4 92 38 76 87
Publications at the Joint Centre:

2014

Conference papers

titre
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
auteur
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
article
Christoph Benzmüller and Jens Otten. Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014), Aug 2014, Vienna, Austria. 33, pp.1-16, 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01244623/file/final.pdf BibTex
titre
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
auteur
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
article
ARQNL 2014 – Automated Reasoning in Quantified Non-Classical Logics, Jul 2014, Vienna, Austria. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01063512/file/final.pdf BibTex

2012

Conference papers

titre
TLA+ Proofs
auteur
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
article
Dimitra Giannakopoulou and Dominique Méry. 18th International Symposium On Formal Methods – FM 2012, Aug 2012, Paris, France. Springer, 7436, pp.147-154, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-32759-9_14〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00726631/file/final.pdf BibTex
titre
TLA+ Proofs
auteur
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
article
AI meets Formal Software Development, Jul 2012, Dagstuhl, Germany. 16 p., 2012, 〈http://arxiv.org/abs/1208.5933〉
Accès au bibtex
BibTex

2010

Conference papers

titre
The TLA+ Proof System: Building a Heterogeneous Verification Platform
auteur
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
article
Ana Cavalcanti and David Déharbe and Marie-Claude Gaudel and Jim Woodcock. International Conference on Theoretical Aspects of Computing – ICTAC 2010, Sep 2010, Natal, Brazil. Springer, 6255, pp.44, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-14808-8_3〉
Accès au bibtex
BibTex

2008

Conference papers

titre
A TLA+ Proof System
auteur
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
article
Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA), 2008, Doha, Qatar. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00338299/file/main.pdf BibTex