Selected publications by Jean Goubault-Larrecq

Books

Gou13a
J. Goubault-LarrecqNon-Hausdorff Topology and Domain Theory-Selected Topics in Point-Set Topology, New Mathematical Monographs 22. Cambridge University Press, 2013. ( Web page | BibTeX )
GM97
J. Goubault-Larrecq and I. MackieProof Theory and Automated Deduction, Applied Logic Series 6. Kluwer Academic Publishers, 1997. ( BibTeX )

Chapters in Books

GJ13
J. Goubault-Larrecq and J.-P. JouannaudThe Blossom of Finite Semantic TreesIn Programming Logics - Essays in Memory of Harald Ganzinger, LNCS 7797, pages 90-122. Springer, 2013. ( PDF | BibTeX )
Gou06a
J. Goubault-LarrecqPreuve et vérification pour la sécurité et la sûretéIn Encyclopédie de l'informatique et des systèmes d'information, chapter I.6, pages 683-703. Vuibert, 2006. ( Web page | BibTeX + Abstract )

Edited Books

Gou03
J. Goubault-Larrecq (ed.)Proceedings of the 1st Workshop on Logical Aspects of Cryptographic Protocol Verification (LACPV 2001), Paris, France, July 2001, ENTCS 55(1). Elsevier Science Publishers, 2003. ( BibTeX )
Gou02a
J. Goubault-Larrecq (ed.)Special Issue on Models and Methods for Cryptographic Protocol VerificationJournal of Telecommunications and Information Technology 4/2002, 2002. ( Web page | BibTeX )
Gou02b
J. Goubault-Larrecq (ed.)Actes du 1er Workshop International sur la Sécurité des Communications sur Internet (SECI'02), Tunis, Tunisia, September 2002. INRIA. ( Web page | BibTeX )

Journals

DGG16a
J. Dubut, É. Goubault and J. Goubault-LarrecqDirected homology theories and Eilenberg-Steenrod axiomsApplied Categorical Structures, 2016. To appear. ( PDF | BibTeX + Abstract )
Gou16a
J. Goubault-LarrecqIsomorphism theorems between models of mixed choiceMathematical Structures in Computer Science, 2016. To appear. ( PDF | BibTeX + Abstract )
Gou16b
J. Goubault-LarrecqLes méthodes formelles: l'autre arme de la cybersécurité, Encart dans l'article ''S'adapter à la cyberguerre'', de Karen Elazari, Pour La Science 459, 2016. ( BibTeX )
GSSW16
J. Goubault-Larrecq, M. Seisenberger, V. Selivanov and A. WeiermannWell Quasi-Orders in Computer Science (Dagstuhl Seminar 16031)Dagstuhl Reports 6(1), pages 69-98, 2016. ( PDF | BibTeX + Abstract )
Gou15a
J. Goubault-LarrecqFull Abstraction for Non-Deterministic and Probabilistic Extensions of PCF I: the Angelic CasesJournal of Logic and Algebraic Methods in Programming 84(1), pages 155-184, 2015. ( PDF | BibTeX + Abstract )
Gou15b
J. Goubault-LarrecqA short proof of the Schröder-Simpson theoremMathematical Structures in Computer Science 25(1), pages 1-5, 2015. ( PDF | BibTeX + Abstract )
AFG14
S. Abiteboul, L. Fribourg and J. Goubault-LarrecqGérard Berry : un informaticien médaille d'or du CNRS 20141024 - Bulletin de la société informatique de France 4, pages 139-142, 2014. ( PDF | BibTeX + Abstract )
Gou14a
J. Goubault-LarrecqExponentiable streams and prestreamsApplied Categorical Structures 22(3), pages 515-549, 2014. ( PDF | Erratum | BibTeX + Abstract )
Gou12
J. Goubault-LarrecqQRB-Domains and the Probabilistic PowerdomainLogical Methods in Computer Science 8(1:14), 2012. ( PDF | BibTeX + Abstract )
FG12a
A. Finkel and J. Goubault-LarrecqForward Analysis for WSTS, Part II: Complete WSTSLogical Methods in Computer Science 8(3:28), 2012. ( PDF | BibTeX + Abstract )
BGGP12
O. Bouissou, É. Goubault, J. Goubault-Larrecq and S. PutotA Generalization of P-boxes to Affine Arithmetic, and Applications to Static Analysis of ProgramsComputing 94(2-4), pages 189-201, 2012. ( PDF | BibTeX + Abstract )
GK11
J. Goubault-Larrecq and K. KeimelChoquet-Kendall-Matheron Theorems for Non-Hausdorff SpacesMathematical Structures in Computer Science 21(3), pages 511-561, 2011. ( PDF | BibTeX + Abstract )
Gou11a
J. Goubault-LarrecqMusings Around the Geometry of Interaction, and CoherenceTheoretical Computer Science 412(20), pages 1998-2014, 2011. ( PDF | BibTeX + Abstract )
Gou10a
J. Goubault-LarrecqFinite Models for Formal Security ProofsJournal of Computer Security 18(6), pages 1247-1299, 2010. ( PDF | BibTeX + Abstract )
Gou10b
J. Goubault-LarrecqDe Groot Duality and Models of Choice: Angels, Demons, and NatureMathematical Structures in Computer Science 20(2), pages 169-237, 2010. ( PDF | BibTeX + Abstract )
GLN08
J. Goubault-Larrecq, S. Lasota and D. NowakLogical Relations for Monadic TypesMathematical Structures in Computer Science 18(6), pages 1169-1217, 2008. 81 pages. ( PDF | BibTeX + Abstract )
VG07
K. N. Verma and J. Goubault-LarrecqAlternating Two-Way AC-Tree AutomataInformation and Computation 205(6), pages 817-869, 2007. ( PDF | PS | PS.GZ | BibTeX + Abstract )
VG05
K. N. Verma and J. Goubault-LarrecqKarp-Miller Trees for a Branching Extension of VASSDiscrete Mathematics & Theoretical Computer Science 7(1), pages 217-230, 2005. ( PDF | PS | PS.GZ | BibTeX + Abstract )
Gou05a
J. Goubault-LarrecqDeciding H1 by ResolutionInformation Processing Letters 95(3), pages 401-408, 2005. ( PDF | BibTeX + Abstract )
GRV05
J. Goubault-Larrecq, M. Roger and K. N. VermaAbstraction and Resolution Modulo AC: How to Verify Diffie-Hellman-like Protocols AutomaticallyJournal of Logic and Algebraic Programming 64(2), pages 219-251, 2005. ( PS | PS.GZ | BibTeX )
Gou05b
J. Goubault-LarrecqExtensions of ValuationsMathematical Structures in Computer Science 15(2), pages 271-297, 2005. ( PS | PS.GZ | BibTeX )
GG03
J. Goubault-Larrecq and É. GoubaultOn the Geometry of Intuitionistic S4 ProofsHomology, Homotopy and Applications 5(2), pages 137-209, 2003. ( PS | PS.GZ | BibTeX )
Gou02c
J. Goubault-LarrecqSécurité, modélisation et analyse de protocoles cryptographiquesPhœbus, la revue de la sûreté de fonctionnement 20, 2002. ( DOC | BibTeX )
GG00
H. Goguen and J. Goubault-LarrecqSequent Combinators: A Hilbert System for the Lambda CalculusMathematical Structures in Computer Science 10(1), pages 1-79, 2000. ( PS | PS.GZ | BibTeX )

Conferences

DGG16b
J. Dubut, É. Goubault and J. Goubault-LarrecqThe Directed Homotopy HypothesisIn CSL'16, Leibniz International Proceedings in Informatics 62, pages 9:1-9:16. Leibniz-Zentrum für Informatik, 2016. ( PDF | BibTeX + Abstract )
GL16
J. Goubault-Larrecq and J. LachanceOn the Complexity of Monitoring Orchids SignaturesIn RV'16, LNCS 10012, pages 169-164. Springer, 2016. ( PDF | BibTeX )
DGG16c
J. Dubut, É. Goubault and J. Goubault-LarrecqBisimulations and unfolding in P-accessible categorical modelsIn CONCUR'16, Leibniz International Proceedings in Informatics 59, pages 25:1-25:14. Leibniz-Zentrum für Informatik, 2016. ( PDF | BibTeX + Abstract )
GS16
J. Goubault-Larrecq and S. SchmitzDeciding Piecewise Testable Separability for Regular Tree LanguagesIn ICALP'16, Leibniz International Proceedings in Informatics 55, pages 97:1-97:15. Leibniz-Zentrum für Informatik, 2016. ( Web page | BibTeX + Abstract )
DGG15
J. Dubut, É. Goubault and J. Goubault-LarrecqNatural HomologyIn ICALP'15, LNCS 9135, pages 171-183. Springer, 2015. ( PDF | BibTeX + Abstract )
ABG+14
A. Adjé, O. Bouissou, J. Goubault-Larrecq, É. Goubault and S. PutotStatic Analysis of Programs with Imprecise Probabilistic InputsIn VSTTE'13, LNCS 8164, pages 22-47. Springer, 2014. ( PDF | BibTeX + Abstract )
GS14
J. Goubault-Larrecq and R. SegalaRandom Measurable SelectionsIn Horizons of the Mind. A Tribute to Prakash Panangaden, LNCS 8464, pages 343-362. Springer, 2014. ( PDF | BibTeX + Abstract )
GJ14
J. Goubault-Larrecq and A. JungQRB, QFS, and the Probabilistic PowerdomainIn MFPS'14, ENTCS 308, pages 167-182. Elsevier Science Publishers, 2014. ( PDF | BibTeX + Abstract )
GO13
J. Goubault-Larrecq and J. OlivainOn the Efficiency of Mathematics in Intrusion Detection: The NetEntropy Case.  In FPS'13, LNCS 8352, pages 3-16. Springer, 2013. ( PDF | BibTeX + Abstract )
Gou13b
J. Goubault-LarrecqA Constructive Proof of the Topological Kruskal TheoremIn MFCS'13, LNCS 8087, pages 22-41. Springer, 2013. ( PDF | BibTeX + Abstract )
FG12b
A. Finkel and J. Goubault-LarrecqThe Theory of WSTS: The Case of Complete WSTSIn PETRI NETS'12, LNCS 7347, pages 3-31. Springer, 2012. ( PDF | BibTeX + Abstract )
GV11
J. Goubault-Larrecq and D. VaraccaContinuous Random VariablesIn LICS'11, pages 97-106. IEEE Computer Society Press, 2011. ( PDF | Erratum | BibTeX + Abstract )
Gou10c
J. Goubault-LarrecqNoetherian Spaces in VerificationIn ICALP'10, LNCS 6199, pages 2-21. Springer, 2010. ( PDF | BibTeX + Abstract )
Gou10d
J. Goubault-LarrecqωQRB-Domains and the Probabilistic PowerdomainIn LICS'10, pages 352-361. IEEE Computer Society Press, 2010. ( PDF | BibTeX + Abstract )
Gou09a
J. Goubault-Larrecq"Logic Wins!"In ASIAN'09, LNCS 5913, pages 1-16. Springer, 2009. ( PDF | BibTeX + Abstract )
FG09a
A. Finkel and J. Goubault-LarrecqForward Analysis for WSTS, Part II: Complete WSTSIn ICALP'09, LNCS 5556, pages 188-199. Springer, 2009. ( PDF | BibTeX + Abstract )
FG09b
A. Finkel and J. Goubault-LarrecqForward Analysis for WSTS, Part I: CompletionsIn STACS'09, Leibniz International Proceedings in Informatics 3, pages 433-444. Leibniz-Zentrum für Informatik, 2009. ( PDF | BibTeX + Abstract )
Gou08a
J. Goubault-LarrecqTowards Producing Formally Checkable Security Proofs, AutomaticallyIn CSF'08, pages 224-238. IEEE Computer Society Press, 2008. ( PDF | BibTeX + Abstract )
Gou08b
J. Goubault-LarrecqSimulation Hemi-Metrics Between Infinite-State Stochastic GamesIn FoSSaCS'08, LNCS 4962, pages 50-65. Springer, 2008. ( PDF (long version) | BibTeX + Abstract )
Gou08c
J. Goubault-LarrecqPrevision Domains and Convex PowerconesIn FoSSaCS'08, LNCS 4962, pages 318-333. Springer, 2008. ( PDF (long version) | BibTeX + Abstract )
GO08
J. Goubault-Larrecq and J. OlivainA Smell of OrchidsIn RV'08, LNCS 5289, pages 1-20. Springer, 2008. ( PDF | BibTeX + Abstract )
BG07
E. Bursztein and J. Goubault-LarrecqA Logical Framework for Evaluating Network Resilience Against Faults and AttacksIn ASIAN'07, LNCS 4846, pages 212-227. Springer, 2007. ( PDF | BibTeX + Abstract )
GPT07
J. Goubault-Larrecq, C. Palamidessi and A. TroinaA Probabilistic Applied Pi-CalculusIn APLAS'07, LNCS 4807, pages 175-290. Springer, 2007. ( PDF | BibTeX + Abstract )
Gou07a
J. Goubault-LarrecqContinuous PrevisionsIn CSL'07, LNCS 4646, pages 542-557. Springer, 2007. ( PDF | PDF (long version) | BibTeX + Abstract )
Gou07b
J. Goubault-LarrecqContinuous Capacities on Continuous State SpacesIn ICALP'07, LNCS 4596, pages 764-776. Springer, 2007. ( PDF | BibTeX + Abstract )
Gou07c
J. Goubault-LarrecqOn Noetherian SpacesIn LICS'07, pages 453-462. IEEE Computer Society Press, 2007. ( PDF | PDF (long version) | BibTeX + Abstract )
OG05
J. Olivain and J. Goubault-LarrecqThe Orchids Intrusion Detection ToolIn CAV'05, LNCS 3576, pages 286-290. Springer, 2005. ( PDF | BibTeX )
GP05
J. Goubault-Larrecq and F. ParrennesCryptographic Protocol Analysis on Real C CodeIn VMCAI'05, LNCS 3385, pages 363-379. Springer, 2005. ( PDF | PDF (long version) | BibTeX + Abstract )
GLNZ04
J. Goubault-Larrecq, S. Lasota, D. Nowak and Y. ZhangComplete Lax Logical Relations for Cryptographic Lambda-CalculiIn CSL'04, LNCS 3210, pages 400-414. Springer, 2004. ( PS | PS.GZ | BibTeX )
Gou02d
J. Goubault-LarrecqHigher-Order Positive Set ConstraintsIn CSL'02, LNCS 2471, pages 473-489. Springer, 2002. ( PS | PS.GZ | BibTeX )
GLN02
J. Goubault-Larrecq, S. Lasota and D. NowakLogical Relations for Monadic TypesIn CSL'02, LNCS 2471, pages 553-568. Springer, 2002. ( PS | PS.GZ | BibTeX )
Gou01a
J. Goubault-LarrecqWell-Founded Recursive RelationsIn CSL'01, LNCS 2142, pages 484-497. Springer, 2001. ( PS | PS.GZ | BibTeX )
RG01a
X. Rival and J. Goubault-LarrecqExperiments with Finite Tree Automata in CoqIn TPHOLs'01, LNCS 2152, pages 362-377. Springer, 2001. ( PS | PS.GZ | BibTeX )
RG01b
M. Roger and J. Goubault-LarrecqLog Auditing through Model CheckingIn CSFW'01, pages 220-236. IEEE Computer Society Press, 2001. ( PS | PS.GZ | BibTeX )
VGPA00
K. N. Verma, J. Goubault-Larrecq, S. Prasad and S. Arun-KumarReflecting BDDs in CoqIn ASIAN 2000, LNCS 1961, pages 162-181. Springer, 2000. ( PS | PS.GZ | BibTeX )
Gou00
J. Goubault-LarrecqA Method for Automatic Cryptographic Protocol Verification (Extended Abstract)In Proceedings of the Workshops of the 15th International Parallel and Distributed Processing Symposium, Cancun, Mexico, May 2000, LNCS 1800, pages 977-984. Springer, 2000. ( PS | PS.GZ | BibTeX )
Gou99a
J. Goubault-LarrecqConjunctive Types and SKInTIn TYPES'98, LNCS 1657, pages 106-120. Springer, 1999. ( PS | PS.GZ | BibTeX )
Gou99b
J. Goubault-LarrecqA Simple Sequent System for First-Order Logic with Free ConstructorsIn TABLEAUX'99, LNAI 1617, pages 202-216. Springer, 1999. ( BibTeX )
Gou98a
J. Goubault-LarrecqA Proof of Weak Termination of Typed λ-σ-CalculiIn TYPES'96, LNCS 1512, pages 134-151. Springer, 1998. ( PS | PS.GZ | BibTeX )
Gou97a
J. Goubault-LarrecqRamified Higher-Order UnificationIn LICS'97, pages 410-421. IEEE Computer Society Press, 1997. ( Web page | PDF | PS | PS.GZ | BibTeX )
SG97
P. H. Schmitt and J. Goubault-LarrecqA Tableau System for Linear-TIME Temporal LogicIn TACAS'97, LNCS 1217, pages 130-144. Springer, 1997. ( Web page | PDF | PS | PS.GZ | BibTeX )

Theses

Gou97b
J. Goubault-LarrecqLogique, complexité, démonstration automatique et thèmes connexes.  Mémoire d'habilitation, Université Paris 9 (Dauphine), Paris, France, September 1997. ( Web page | PDF | PS | PS.GZ | BibTeX )

Other Publications

Gou16c
J. Goubault-LarrecqA few things on Noetherian spaces, Invited talk (plenary speaker), Summer Topology Conference, Leicester, UK, 2016. ( BibTeX )
Gou16d
J. Goubault-LarrecqAn introduction to asymmetric topology and domain theory: why, what, and how, Invited talk, Galway Symposium, Leicester, UK, 2016. ( BibTeX )
Gou16e
J. Goubault-LarrecqA semantics for nabla, Invited talk, Dale Miller Festschrift, Paris Diderot University, Paris, 2016. ( BibTeX )
GLM16
J. Goubault-Larrecq and F. MajorczykGénération de signatures pour le suivi de flux d'informations, Fourniture 3 du contrat DGA-INRIA Orchids, 2016. ( BibTeX )
GLSHHM16
J. Goubault-Larrecq, P.-A. Sentucq, F. Hulin-Hubard and F. MajorczykEtat final des travaux engagés sur Orchids, Rapport final et fourniture 4 du contrat DGA-INRIA Orchids, 2016. ( BibTeX )
Gou15c
J. Goubault-LarrecqFormal balls, Invited talk, Domains XII workshop, Cork, Ireland, 2015. ( BibTeX )
GLSM15
J. Goubault-Larrecq, P.-A. Sentucq and F. MajorczykEtat d'avancement intermédiaire des travaux engagés sur OrchIDS, Rapport intermédiaire du contrat DGA-INRIA Orchids, 2015. ( BibTeX )
Gou14b
J. Goubault-LarrecqDétection d'intrusions avec OrchIDS, Matinale de l'innovation Logiciels Libres et Sécurité, Paris, France, 2014. ( BibTeX )
Gou14c
J. Goubault-LarrecqNoetherian spaces, Invited talk, Continuity, Computability, Constructivity workshop (CCC), Ljubljana, Slovenia, 2014. ( BibTeX )
Gou14d
J. Goubault-LarrecqOrchIDS: on the value of rigor in intrusion detection, CPS Summer School, Grenoble, France, 2014. ( BibTeX )
GLSM14a
J. Goubault-Larrecq, P.-A. Sentucq and F. MajorczykTechniques et méthodes de génération de signatures pour la détection d'intrusions, Fourniture 2 du contrat DGA-INRIA Orchids, 2014. ( BibTeX )
GLSM14b
J. Goubault-Larrecq, P.-A. Sentucq and F. MajorczykPolitiques de sécurité système, Fourniture 1 du contrat DGA-INRIA Orchids, 2014. ( BibTeX )
Gou13c
J. Goubault-LarrecqA few pearls in the theory of quasi-metric spaces, Invited talk (semi-plenary speaker), Summer Topology Conference, North Bay, Ontario, CA, 2013. ( BibTeX )
Gou13d
J. Goubault-LarrecqOrchIDS, ou : de l'importance de la sémantique, Séminaire DGA Innosciences. DGA, Bagneux, 2013. ( BibTeX )
Gou13e
J. Goubault-LarrecqA short proof of the Schröder-Simpson theorem, Invited talk, Workshop on Asymmetric Topology, Summer Topology Conference, North Bay, Ontario, CA, 2013. ( BibTeX )
AGL12
A. Adjé and J. Goubault-LarrecqConcrete semantics of programs with non-deterministic and random inputs, Fourniture du projet ANR CPP (Confidence, Proofs, and Probabilities), WP 2, version 1, 2012. ( Web page | BibTeX )
AG12
A. Adjé and J. Goubault-LarrecqConcrete Semantics of Programs with Non-Deterministic and Random Inputs.  Research Report cs.LO/1210.2605, Computing Research Repository, October 2012. 19 pages. ( Web page | PDF | BibTeX + Abstract )
OGB+11
J. Olivain, J. Goubault-Larrecq, H. Benzina, B. Gourdin and R. Ben YounèsORCHIDS, 2011. ( Web page | BibTeX + Abstract )
Gou11b
J. Goubault-LarrecqA Few Pearls in the Theory of Quasi-Metric Spaces, Invited talk, Fifth International Conference on Topology, Algebra, and Categories in Logic (TACL'11), Marseilles, France, July 2011, 2011. ( BibTeX )
BG10
H. Benzina and J. Goubault-LarrecqSome Ideas on Virtualized Systems Security, and MonitorsIn DPM/SETOP'10, LNCS 6514, pages 244-258. Springer, 2010. ( PDF | BibTeX + Abstract )
BGGP10
O. Bouissou, É. Goubault, J. Goubault-Larrecq and S. PutotA Generalization of P-boxes to Affine Arithmetic, and Applications to Static Analysis of ProgramsIn SCAN'10. 2010. ( BibTeX )
Gou09b
J. Goubault-LarrecqOn a Generalization of a Result by Valk and Jantzen.  Research Report LSV-09-09, Laboratoire Spécification et Vérification, ENS Cachan, France, May 2009. 18 pages. ( PDF | BibTeX + Abstract )
Gou08d
J. Goubault-LarrecqHimML: HimML is a map-oriented ML, 2008. ( Web page | BibTeX )
Gou08e
J. Goubault-LarrecqA Cone-Theoretic Krein-Milman Theorem.  Research Report LSV-08-18, Laboratoire Spécification et Vérification, ENS Cachan, France, June 2008. 8 pages. ( PDF | BibTeX + Abstract )
Gou08f
J. Goubault-LarrecqThe h1 Tool Suite, 2008. ( Web page | BibTeX )
GL07
J. Goubault-LarrecqPronobis: Probability and nondeterminism, bisimulations and security, Rapport final ARC ProNoBis, 2007. ( BibTeX )
Gou07d
J. Goubault-LarrecqBelieve It Or Not, GOI is a Model of Classical Linear Logic.  Research Report LSV-07-03, Laboratoire Spécification et Vérification, ENS Cachan, France, January 2007. 18 pages. ( PDF | BibTeX + Abstract )
Gou06b
J. Goubault-LarrecqThe ORCHIDS Intrusion Prevention System, Invited talk, Annual Adaptive and Resilient Computing Systems Workshop (AARCS'06), Santa Fe, New Mexico, USA, 2006. ( Web page | BibTeX )
OG06
J. Olivain and J. Goubault-LarrecqDetecting Subverted Cryptographic Protocols by Entropy Checking.  Research Report LSV-06-13, Laboratoire Spécification et Vérification, ENS Cachan, France, June 2006. 19 pages. ( PDF | BibTeX + Abstract )
Gou05c
J. Goubault-LarrecqA Biased Survey of Models and Methods for Verifying Cryptographic Protocols, Invited talk, Workshop on Classical and Quantum Information Security, Pasadena, California, USA, 2005. ( Web page | Slides | BibTeX )
GP04
J. Goubault-Larrecq and F. ParrennesCsur: Static Analysis of C Code, 2004. ( Web page | BibTeX )
Gou04a
J. Goubault-LarrecqOn Computational Interpretations of the Modal Logic S4, Invited talk, 2nd Workshop on the Logic for Pragmatics (WoLP'04), Créteil, France, 2004. ( BibTeX )
Gou04b
J. Goubault-LarrecqOn Cryptographic Protocols, Regular Tree Languages, and Automated Deduction, Invited talk, Workshop on Security of Systems: Formalism and Tools (SASYFT'04), Orleans, France, 2004. ( Web page | Slides | BibTeX )
Gou04c
J. Goubault-LarrecqUne fois qu'on n'a pas trouvé de preuve, comment le faire comprendre à un assistant de preuve ?  In JFLA'04, pages 1-40. INRIA, 2004. Invited paper. ( PS | PS.GZ | BibTeX )
Gou02e
J. Goubault-LarrecqThe EVA Parser and Translator, Available at http://www.lsv.ens-cachan.fr/˜goubault/EVA.html, 2002. Started 2001. Written in C (1327 lines), OCaml (361 lines), HimML (see [Gou08]) (3454 lines). ( Web page | BibTeX )
Gou02f
J. Goubault-LarrecqUn algorithme pour l'analyse de logs.  Research Report LSV-02-18, Laboratoire Spécification et Vérification, ENS Cachan, France, November 2002. 33 pages. ( PS | PS.GZ | BibTeX )
Gou02g
J. Goubault-LarrecqVérification de protocoles cryptographiques: la logique à la rescousse!  In SECI'02, pages 119-152. INRIA, 2002. Invited paper. ( PS | PS.GZ | BibTeX )
GV02
J. Goubault-Larrecq and K. N. VermaAlternating Two-Way AC-Tree Automata.  Research Report LSV-02-11, Laboratoire Spécification et Vérification, ENS Cachan, France, September 2002. 21 pages. ( PS | PS.GZ | BibTeX )
Gou02h
J. Goubault-LarrecqSKInT Labels.  Research Report LSV-02-7, Laboratoire Spécification et Vérification, ENS Cachan, France, July 2002. 15 pages. ( PS | PS.GZ | BibTeX )
Gou02i
J. Goubault-LarrecqA Note on the Completeness of Certain Refinements of Resolution.  Research Report LSV-02-8, Laboratoire Spécification et Vérification, ENS Cachan, France, July 2002. 16 pages. ( PS | PS.GZ | BibTeX )
Gou01b
J. Goubault-LarrecqHigher-Order Automata, Pushdown Systems, and Set Constraints.  Research Report LSV-01-9, Laboratoire Spécification et Vérification, ENS Cachan, France, November 2001. 15 pages. ( PS | PS.GZ | BibTeX )
GG99
J. Goubault-Larrecq and É. GoubaultOrder-Theoretic, Geometric and Combinatorial Models of Intuitionistic S4 ProofsIn IMLA'99. 1999. ( PS | PS.GZ | BibTeX )
Gou99c
J. Goubault-LarrecqA Simple Deduction System for First-Order Logic with Equality, Free Constructors and Induction.  Research Report RR-3653, INRIA Rocquencourt, France, March 1999. ( PS | PS.GZ | BibTeX )
Gou98b
J. Goubault-LarrecqA Few Remarks on SKInT.  Research Report RR-3475, INRIA Rocquencourt, France, August 1998. ( PS | PS.GZ | BibTeX )
Gou97c
J. Goubault-LarrecqOn Computational Interpretations of the Modal Logic S4 - IIIb. Confluence, Termination of the λevQH-Calculus.  Research Report RR-3164, INRIA Rocquencourt, France, May 1997. ( Web page | PDF | PS | PS.GZ | BibTeX )

About LSV

Search this list

Search the LSV database


highlight select