Accéder directement au contenu

Jean Goubault-Larrecq

126
Documents

Publications

Image document

A Few Characterizations of Topological Spaces with No Infinite Discrete Subspace

Jean Goubault-Larrecq , Maurice Pouzet
Topology and its Applications, 2024, 341, pp.108733. ⟨10.1016/j.topol.2023.108733⟩
Article dans une revue hal-04230848v1
Image document

A Domain-Theoretic Approach to Statistical Programming Languages

Jean Goubault-Larrecq , Xiaodong Jia , Clément Théron
Journal of the ACM (JACM), 2023, ⟨10.1145/3611660⟩
Article dans une revue hal-04183840v1
Image document

Infinitary Noetherian Constructions II. Transfinite Words and the Regular Subword Topology

Jean Goubault-Larrecq , Simon Halfon , Aliaume Lopez
Colloquium Mathematicum, 2023, 173 (2), pp.227-250. ⟨10.4064/cm8793-3-2023⟩
Article dans une revue hal-04283731v1

On Weakly Hausdorff Spaces and Locally Strongly Sober Spaces

Jean Goubault-Larrecq
Topology Proceedings, 2023, 62, pp.117-131
Article dans une revue hal-04018812v1
Image document

Kantorovich-Rubinstein Quasi-Metrics IV: Lenses, Quasi-Lenses and Forks

Jean Goubault-Larrecq
Topology and its Applications, 2023, 332, pp.108513. ⟨10.1016/j.topol.2023.108513⟩
Article dans une revue hal-03911034v1
Image document

Probabilistic Powerdomains and Quasi-Continuous Domains

Jean Goubault-Larrecq
Topology Proceedings, 2022, 60, pp.1-16
Article dans une revue hal-03260383v1
Image document

Infinitary Noetherian Constructions I. Infinite Words

Jean Goubault-Larrecq
Colloquium Mathematicum, 2022, 168, pp.257-286. ⟨10.4064/cm8077-4-2021⟩
Article dans une revue hal-03414552v2
Image document

Kantorovich-Rubinstein Quasi-Metrics II: Hyperspaces and Powerdomains

Jean Goubault-Larrecq
Topology and its Applications, 2022, 305, pp.107885. ⟨10.1016/j.topol.2021.107885⟩
Article dans une revue hal-03383036v1
Image document

Kantorovich-Rubinstein Quasi-Metrics III: Spaces of Sublinear and Superlinear Previsions

Jean Goubault-Larrecq
Topology and its Applications, 2022, pp.108259. ⟨10.1016/j.topol.2022.108259⟩
Article dans une revue hal-03787192v1
Image document

Kantorovich-Rubinstein Quasi-Metrics I: Spaces of Measures and of Continuous Valuations

Jean Goubault-Larrecq
Topology and its Applications, 2021, ⟨10.1016/j.topol.2021.107673⟩
Article dans une revue hal-03186371v1

Products and projective limits of continuous valuations on T0 spaces

Jean Goubault-Larrecq
Mathematical Structures in Computer Science, 2021, pp.1-21. ⟨10.1017/S0960129521000141⟩
Article dans une revue hal-03337321v1

Separating minimal valuations, point-continuous valuations, and continuous valuations

Jean Goubault-Larrecq , Xiaodong Jia
Mathematical Structures in Computer Science, 2021, pp.1-19. ⟨10.1017/S0960129521000384⟩
Article dans une revue hal-03469452v1
Image document

Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces

Jean Goubault-Larrecq
Topology and its Applications, 2020, 282, pp.107281. ⟨10.1016/j.topol.2020.107281⟩
Article dans une revue hal-03187651v1
Image document

Convergence without Points

Jean Goubault-Larrecq , Frédéric Mynard
Houston Journal of Mathematics, 2020, 46 (1), pp.227-282
Article dans une revue hal-03185186v1
Image document

$\Pi^0_2$ Subsets of Domain-Complete Spaces and Countably Correlated Spaces

Jean Goubault-Larrecq
Topology Proceedings, 2020, pp.13-22
Article dans une revue hal-03187687v1

Forward Analysis for WSTS, Part III: Karp-Miller Trees

Michael Blondin , Alain Finkel , Jean Goubault-Larrecq
Logical Methods in Computer Science, 2020, 16 (2)
Article dans une revue hal-03216116v1
Image document

Forward analysis for WSTS, part I: completions

Alain Finkel , Jean Goubault-Larrecq
Mathematical Structures in Computer Science, 2020, 30 (7), pp.752-832. ⟨10.1017/S0960129520000195⟩
Article dans une revue hal-03186488v1
Image document

Spaces with no Infinite Discrete Subspace

Jean Goubault-Larrecq
Topology Proceedings, 2019, 53
Article dans une revue hal-01804970v1

Domain-complete and LCS-complete Spaces

Matthew de Brecht , Jean Goubault-Larrecq , Xiaodong Jia , Zhenchao Lyu
Electronic Notes in Theoretical Computer Science, 2019, 345, pp.3-35. ⟨10.1016/j.entcs.2019.07.014⟩
Article dans une revue hal-03187790v1

A semantics for nabla

Jean Goubault-Larrecq
Mathematical Structures in Computer Science, 2019, 29 (8), pp.1250-1274. ⟨10.1017/S0960129518000063⟩
Article dans une revue hal-03189409v1

Algebras of the Extended Probabilistic Powerdomain Monad

Jean Goubault-Larrecq , Xiaodong Jia
Electronic Notes in Theoretical Computer Science, 2019, 345, pp.37-61. ⟨10.1016/j.entcs.2019.07.015⟩
Article dans une revue hal-03189402v1
Image document

Formal ball monads

Jean Goubault-Larrecq
Topology and its Applications, 2019, 263, pp.372-391. ⟨10.1016/j.topol.2019.06.044⟩
Article dans une revue hal-03189480v1

The Ho-Zhao Problem

Weng Kin Ho , Jean Goubault-Larrecq , Achim Jung , Xiaoyong Xi
Logical Methods in Computer Science, 2018
Article dans une revue hal-03189490v1

A Non-Hausdorff Minimax Theorem

Jean Goubault-Larrecq
Minimax Theory and its Applications, 2018
Article dans une revue hal-03189643v1
Image document

On the complexity of monitoring Orchids signatures, and recurrence equations

Jean Goubault-Larrecq , Jean-Philippe Lachance
Formal Methods in System Design, 2018, 53 (1), pp.6-32. ⟨10.1007/s10703-017-0303-x⟩
Article dans une revue hal-03189484v1

A Few Notes on Formal Balls

Jean Goubault-Larrecq , Kok Min Ng
Logical Methods in Computer Science, 2017
Article dans une revue hal-03189623v1
Image document

Directed Homology Theories and Eilenberg-Steenrod Axioms

Jérémy Dubut , Eric Goubault , Jean Goubault-Larrecq
Applied Categorical Structures, 2017, 25 (5), pp.775-807. ⟨10.1007/s10485-016-9438-y⟩
Article dans une revue hal-03189639v1

Isomorphism theorems between models of mixed choice

Jean Goubault-Larrecq
Mathematical Structures in Computer Science, 2017, 27 (6), pp.1032-1067. ⟨10.1017/S0960129515000547⟩
Article dans une revue hal-03189640v1

Les méthodes formelles : l'autre arme de la cybersécurité

Jean Goubault-Larrecq
Interstices, 2017
Article dans une revue hal-01688783v1

Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases

Jean Goubault-Larrecq
Journal of Logical and Algebraic Methods in Programming, 2015, 84 (1), pp.155-184. ⟨10.1016/j.jlamp.2014.09.003⟩
Article dans une revue hal-03189818v1

A short proof of the Schröder–Simpson Theorem

Jean Goubault-Larrecq
Mathematical Structures in Computer Science, 2015, 25 (1), pp.1-5. ⟨10.1017/S0960129513000467⟩
Article dans une revue hal-03189819v1
Image document

Exponentiable Streams and Prestreams

Jean Goubault-Larrecq
Applied Categorical Structures, 2014, 22 (3), pp.515-549. ⟨10.1007/s10485-013-9315-x⟩
Article dans une revue hal-03189894v1

QRB, QFS, and the Probabilistic Powerdomain

Jean Goubault-Larrecq , Achim Jung
Electronic Notes in Theoretical Computer Science, 2014, 308, pp.167-182. ⟨10.1016/j.entcs.2014.10.010⟩
Article dans une revue hal-03189890v1

QRB-Domains and the Probabilistic Powerdomain

Jean Goubault-Larrecq
Logical Methods in Computer Science, 2012, 8 (1), ⟨10.2168/LMCS-8(1:14)2012⟩
Article dans une revue hal-03190021v1

Forward Analysis for WSTS, Part II: Complete WSTS

Alain Finkel , Jean Goubault-Larrecq
Logical Methods in Computer Science, 2012, 8 (3), ⟨10.2168/LMCS-8(3:28)2012⟩
Article dans une revue hal-03189994v1

A generalization of p-boxes to affine arithmetic

Olivier Bouissou , Eric Goubault , Jean Goubault-Larrecq , Sylvie Putot
Computing, 2012, 94 (2-4), pp.189-201. ⟨10.1007/s00607-011-0182-8⟩
Article dans une revue hal-02632998v1

Choquet–Kendall–Matheron theorems for non-Hausdorff spaces

Jean Goubault-Larrecq , Klaus Keimel
Mathematical Structures in Computer Science, 2011, 21 (3), pp.511-561. ⟨10.1017/S0960129510000617⟩
Article dans une revue hal-03190326v1

Musings around the geometry of interaction, and coherence

Jean Goubault-Larrecq
Theoretical Computer Science, 2011, 412 (20), pp.1998-2014. ⟨10.1016/j.tcs.2010.12.023⟩
Article dans une revue hal-03191091v1
Image document

Finite models for formal security proofs

Jean Goubault-Larrecq
Journal of Computer Security, 2010, 18 (6), pp.1247-1299. ⟨10.3233/JCS-2009-0395⟩
Article dans une revue hal-03191105v1

De Groot duality and models of choice: angels, demons and nature

Jean Goubault-Larrecq
Mathematical Structures in Computer Science, 2010, 20 (2), pp.169-237. ⟨10.1017/S0960129509990363⟩
Article dans une revue hal-03195342v1

Logical relations for monadic types

Jean Goubault-Larrecq , Sławomir Lasota , David Nowak
Mathematical Structures in Computer Science, 2008, 18 (06), pp.1169-1217. ⟨10.1017/S0960129508007172⟩
Article dans une revue hal-03196102v1

Alternating two-way AC-tree automata

Kumar Neeraj Verma , Jean Goubault-Larrecq
Information and Computation, 2007, 205 (6), pp.817-869. ⟨10.1016/j.ic.2006.12.006⟩
Article dans une revue hal-03199662v1
Image document

Karp-Miller Trees for a Branching Extension of VASS

Kumar Neeraj Verma , Jean Goubault-Larrecq
Discrete Mathematics and Theoretical Computer Science, 2005, Vol. 7, pp.217-230. ⟨10.46298/dmtcs.350⟩
Article dans une revue hal-00959038v1

Deciding H1 by resolution

Jean Goubault-Larrecq
Information Processing Letters, 2005, 95 (3), pp.401-408. ⟨10.1016/j.ipl.2005.04.007⟩
Article dans une revue hal-03200959v1

On the Geometry of Intuitionistic S4 Proofs

Jean Goubault-Larrecq , Eric Goubault
Homology, Homotopy and Applications, 2003, 5 (2), pp.137-209
Article dans une revue hal-03201458v1

Sequent combinators: a Hilbert system for the lambda calculus

Healfdene Goguen , Jean Goubault-Larrecq
Mathematical Structures in Computer Science, 2000, 10 (1), pp.1-79. ⟨10.1017/S0960129599002911⟩
Article dans une revue hal-03207821v1

Extensions of valuations

Jean Goubault-Larrecq
Mathematical Structures in Computer Science, 1999, 15 (2), pp.271-297. ⟨10.1017/S096012950400461X⟩
Article dans une revue hal-03201053v1

Continuous R-valuations

Jean Goubault-Larrecq , Xiaodong Jia
9th International Symposium on Domain Theory, Jul 2022, Singapore, Singapore. ⟨10.48550/arXiv.2211.12392⟩
Communication dans un congrès hal-03902508v1

A Probabilistic and Non-Deterministic Call-by-Push-Value Language

Jean Goubault-Larrecq
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2019, Vancouver, France. pp.1-13, ⟨10.1109/LICS.2019.8785809⟩
Communication dans un congrès hal-03189405v1

Forward Analysis for WSTS, Part III: Karp-Miller Trees

Michael Blondin , Alain Finkel , Jean Goubault-Larrecq
37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Dec 2017, Kanpur, India. ⟨10.4230/LIPIcs.FSTTCS.2017.16⟩
Communication dans un congrès hal-01736704v1
Image document

The Directed Homotopy Hypothesis

Jérémy Dubut , Eric Goubault , Jean Goubault-Larrecq
Proceedings of the 25th Annual EACSL Conference on Computer Science Logic (CSL'16), volume 62 of Leibniz International Proceedings in Informatics, pages 9:1--9:16. Leibniz-Zentrum für Informatik., Sep 2016, Marseille, France
Communication dans un congrès hal-03189649v1
Image document

Deciding Piecewise Testable Separability for Regular Tree Languages

Jean Goubault-Larrecq , Sylvain Schmitz
ICALP 2016, Jul 2016, Rome, Italy. pp.97:1--97:15, ⟨10.4230/LIPIcs.ICALP.2016.97⟩
Communication dans un congrès hal-01276119v4

Bisimulations and unfolding in P-accessible categorical models

Jérémy Dubut , Eric Goubault , Jean Goubault-Larrecq
Proceedings of the 27th International Conference on Concurrency Theory (CONCUR'16), volume 59 of Leibniz International Proceedings in Informatics, pages 25:1--25:14. Leibniz-Zentrum für Informatik., Aug 2016, Québec City, Canada
Communication dans un congrès hal-03189698v1
Image document

Static Analysis of Programs with Imprecise Probabilistic Inputs

Assalé Adje , Olivier Bouissou , Jean Goubault-Larrecq , Eric Goubault , Sylvie Putot
VSTTE, May 2013, Snowbird, Utah, United States. pp.22-47, ⟨10.1007/978-3-642-54108-7⟩
Communication dans un congrès hal-00942126v1

Continuous Random Variables

Jean Goubault-Larrecq , Daniele Varacca
2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011), Jun 2011, Toronto, Canada. pp.97-106, ⟨10.1109/LICS.2011.23⟩
Communication dans un congrès hal-03190874v1

Continuous Random Variables

Jean Goubault-Larrecq , Daniele Varacca
IEEE symposium of Logic In Computer Science, Jun 2011, Toronto, Canada. pp.97-106
Communication dans un congrès hal-00629723v1

omega-QRB-Domains and the Probabilistic Powerdomain

Jean Goubault-Larrecq
2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Jul 2010, Edinburgh, United Kingdom. pp.352-361, ⟨10.1109/LICS.2010.50⟩
Communication dans un congrès hal-03191270v1
Image document

Forward analysis for WSTS, Part I: Completions

Alain Finkel , Jean Goubault-Larrecq
26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. pp.433-444
Communication dans un congrès inria-00359699v1

Towards Producing Formally Checkable Security Proofs, Automatically

Jean Goubault-Larrecq
2008 21st IEEE Computer Security Foundations Symposium, Jun 2008, Pittsburgh, United States. pp.224-238, ⟨10.1109/CSF.2008.21⟩
Communication dans un congrès hal-03196493v1
Image document

A Probabilistic Applied Pi-Calculus

Jean Goubault-Larrecq , Catuscia Palamidessi , Angelo Troina
5th Asian Symposium on Programming Languages and Systems (APLAS'07), Nov 2007, Singapore, Singapore. pp.175-190, ⟨10.1007/978-3-540-76637-7_12⟩
Communication dans un congrès inria-00201070v1

On Noetherian Spaces

Jean Goubault-Larrecq
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), Jul 2007, Wroclaw, France. pp.453-462, ⟨10.1109/LICS.2007.34⟩
Communication dans un congrès hal-03197422v1

Cryptographic Protocol Analysis on Real C Code

Jean Goubault-Larrecq , Fabrice Parrennes
Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'05), Jan 2005, Paris, France. pp.363--379, ⟨10.1007/b105073⟩
Communication dans un congrès hal-03201118v1
Image document

Une fois qu'on n'a pas trouvé de preuve, comment le faire comprendre à un assistant de preuve?

Jean Goubault-Larrecq
15èmes Journées Francophones sur les Langages Applicatifs (JFLA'04), Jan 2004, Sainte-Marie-de-Ré, France. pp.1--40
Communication dans un congrès hal-03201265v1

Complete Lax Logical Relations for Cryptographic Lambda-Calculi

Jean Goubault-Larrecq , Slawomir Lasota , David Nowak , Yu Zhang
18th International Workshop on Computer Science Logic (CSL'04), Sep 2004, Karpacz, Poland. pp.400-414
Communication dans un congrès hal-03201204v1

Higher-Order Positive Set Constraints

Jean Goubault-Larrecq
16th International Workshop on Computer Science Logic (CSL'02), Sep 2002, Edinburgh, United Kingdom. pp.473-489
Communication dans un congrès hal-03202062v1

Logical Relations for Monadic Types

Jean Goubault-Larrecq , Slawomir Lasota , David Nowak
16th International Workshop on Computer Science Logic (CSL'02), Sep 2002, Edinburgh, United Kingdom. pp.553-568
Communication dans un congrès hal-03201730v1

Vérification de protocoles cryptographiques: la logique à la rescousse!

Jean Goubault-Larrecq
1er Workshop International sur la Sécurité des Communications sur Internet (SECI'02), Sep 2002, Tunis, Tunisie. pp.119--152
Communication dans un congrès hal-03203027v1

Log Auditing through Model Checking

Muriel Roger , Jean Goubault-Larrecq
14th IEEE Computer Security Foundations Workshop (CSFW'01), Jun 2001, Cape Breton, Canada. pp.220-236
Communication dans un congrès hal-03207079v1

Well-Founded Recursive Relations

Jean Goubault-Larrecq
15th International Workshop on Computer Science Logic (CSL'01), Sep 2001, Paris, France. pp.484-497
Communication dans un congrès hal-03204722v1

Experiments with Finite Tree Automata in Coq

Xavier Rival , Jean Goubault-Larrecq
14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'01), Sep 2001, Edinburgh, United Kingdom. pp.362-377
Communication dans un congrès hal-03206071v1

A Method for Automatic Cryptographic Protocol Verification

Jean Goubault-Larrecq
Workshop on Formal Methods for Parallel Programming, May 2000, Cancun, Mexico. pp.977-984
Communication dans un congrès hal-03207809v1

Reflecting BDDs in Coq

Kumar Neeraj Verma , Jean Goubault-Larrecq , Sanjiva Prasad , S. Arun-Kumar
6th Asian Computing Science Conference (ASIAN 2000), Nov 2000, Penang, Malaysia. pp.162-181
Communication dans un congrès hal-03207264v1
Image document

Order-theoretic, geometric and combinatorial models of intuitionistic S4 proofs

Jean Goubault-Larrecq , Eric Goubault
IMLA 1999 - 1st Workshop on Intuitionistic Modal Logics and Applications, Jul 1999, Trento, Italy
Communication dans un congrès hal-03208846v1

A proof of weak termination of typed λσ-calculi

Jean Goubault-Larrecq
International Workshop on Types for Proofs and Programs (TYPES'96), 1998, Aussois, France. pp.134-153, ⟨10.1007/BFb0097790⟩
Communication dans un congrès hal-03211080v1

Special Issue on Models and Methods for Cryptographic Protocol Verification

Jean Goubault-Larrecq
Journal of Telecommunications and Information Technology, 4/2002, 2002
N°spécial de revue/special issue hal-03203844v1

Proceedings of the 1st Workshop on Logical Aspects of Cryptographic Protocol Verification (LACPV'01)

Jean Goubault-Larrecq
1st Workshop on Logical Aspects of Cryptographic Protocol Verification (LACPV'01), Jul 2001, Paris, France. Electronic Notes in Theoretical Computer Science, 55 (1), 2001
N°spécial de revue/special issue hal-03219186v1
Image document

The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings

Jean Goubault-Larrecq , Simon Halfon , Prateek Karandikar , K. Narayan Kumar , Philippe Schnoebelen
Well Quasi-Orders in Computation, Logic, Language and Reasoning, 53, Springer, pp.55-105, 2020, Trends in Logic, 978-3-030-30228-3. ⟨10.1007/978-3-030-30229-0_3⟩
Chapitre d'ouvrage hal-03083290v1

Fooling the Parallel or Tester with Probability 8/27

Jean Goubault-Larrecq
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, pp.313-328, 2019, ⟨10.1007/978-3-030-31175-9_18⟩
Chapitre d'ouvrage hal-03189412v1

On the Complexity of Monitoring Orchids Signatures

Jean Goubault-Larrecq , Jean-Philippe Lachance
Proceedings of the 16th Conference on Runtime Verification (RV'16), volume 10012 of Lecture Notes in Computer Science, Springer Verlag, pp.169-184, 2016, ⟨10.1007/978-3-319-46982-9_11⟩
Chapitre d'ouvrage hal-03189644v1

Natural Homology

Jérémy Dubut , Éric Goubault , Jean Goubault-Larrecq
Proceedings of the 42nd International Colloquium on Automata, Languages and Programming (ICALP'15) -- Part II, volume 9135 of Lecture Notes in Computer Science, Kyoto, Japan. Springer., pp.171-183, 2015, ⟨10.1007/978-3-662-47666-6_14⟩
Chapitre d'ouvrage hal-03189816v1

On the Efficiency of Mathematics in Intrusion Detection: The NetEntropy Case

Jean Goubault-Larrecq , Julien Olivain
Revised Selected Papers of the 6th International Symposium on Foundations and Practice of Security (FPS'13), volume 8352 of Lecture Notes in Computer Science, pages 3--16, La Rochelle, France, October 2013. Springer., pp.3-16, 2014, ⟨10.1007/978-3-319-05302-8_1⟩
Chapitre d'ouvrage hal-03189926v1

Random Measurable Selections

Jean Goubault-Larrecq , Roberto Segala
Horizons of the Mind. A Tribute to Prakash Panangaden, volume 8464 of Lecture Notes in Computer Science, pages 343--362. Springer., pp.343-362, 2014, ⟨10.1007/978-3-319-06880-0_18⟩
Chapitre d'ouvrage hal-03189917v1

A Constructive Proof of the Topological Kruskal Theorem

Jean Goubault-Larrecq
Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science (MFCS'13), volume 8087 of Lecture Notes in Computer Science, pages 22--41, Klosterneuburg, Austria, August 2013. Springer., pp.22-41, 2013, ⟨10.1007/978-3-642-40313-2_3⟩
Chapitre d'ouvrage hal-03189943v1

The Blossom of Finite Semantic Trees

Jean Goubault-Larrecq , Jean-Pierre Jouannaud
Programming Logics -- Essays in Memory of Harald Ganzinger, volume 7797 of Lecture Notes in Computer Science, pages 90--122. Springer., 2013
Chapitre d'ouvrage hal-03189966v1

The Theory of WSTS: The Case of Complete WSTS

Alain Finkel , Jean Goubault-Larrecq
Proceedings of the 33rd International Conference on Applications and Theory of Petri Nets (PETRI NETS'12), volume 7347 of Lecture Notes in Computer Science, Hamburg, Germany. Springer, pp.3-31, 2012, ⟨10.1007/978-3-642-31131-4_2⟩
Chapitre d'ouvrage hal-03189998v1

Some Ideas on Virtualized System Security, and Monitors

Hedi Benzina , Jean Goubault-Larrecq
Revised Selected Papers of the 5th International Workshop on Data Privacy Management and Autonomous Spontaneous Security (DPM'10) and 3rd International Workshop on Autonomous and Spontaneous Security (SETOP'10), volume 6514 of Lecture Notes in Computer Science, Athens, Greece, September 2010. Springer, pp.244-258, 2011, ⟨10.1007/978-3-642-19348-4_18⟩
Chapitre d'ouvrage hal-03191244v1
Image document

Noetherian Spaces in Verification

Jean Goubault-Larrecq
Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP'10) -- Part II, volume 6199 of Lecture Notes in Computer Science, Bordeaux, France, July 2010. Springer, pp.2-21, 2010, ⟨10.1007/978-3-642-14162-1_2⟩
Chapitre d'ouvrage hal-03191258v1

“Logic Wins!”

Jean Goubault-Larrecq
Proceedings of the 13th Asian Computing Science Conference (ASIAN'09), volume 5913 of Lecture Notes in Computer Science, Seoul, Korea, December 2009. Springer., pp.1-16, 2009, ⟨10.1007/978-3-642-10622-4_1⟩
Chapitre d'ouvrage hal-03195566v1

Forward Analysis for WSTS, Part I: Completions

Alain Finkel , Jean Goubault-Larrecq
Leibniz-Zentrum für Informatik. Proceedings of the 26th Annual Symposium on Theoretical Aspects of Computer Science (STACS'09), volume 3 of Leibniz International Proceedings in Informatics, Freiburg, Germany., pp.433-444, 2009
Chapitre d'ouvrage hal-03195833v1

Forward Analysis for WSTS, Part II: Complete WSTS

Alain Finkel , Jean Goubault-Larrecq
Proceedings of the 36th International Colloquium on Automata, Languages and Programming (ICALP'09), volume 5556 of Lecture Notes in Computer Science, Rhodes, Greece, July 2009. Springer., pp.188-199, 2009, ⟨10.1007/978-3-642-02930-1_16⟩
Chapitre d'ouvrage hal-03195656v1

Simulation Hemi-metrics between Infinite-State Stochastic Games

Jean Goubault-Larrecq
Foundations of Software Science and Computational Structures, 4962, Springer Berlin Heidelberg, pp.50-65, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-78499-9_5⟩
Chapitre d'ouvrage hal-03196502v1

A Smell of Orchids

Jean Goubault-Larrecq , Julien Olivain
Proceedings of the 8th Workshop on Runtime Verification (RV'08), volume 5289 of Lecture Notes in Computer Science, Budapest, Hungary, Springer., pp.1-20, 2008, ⟨10.1007/978-3-540-89247-2_1⟩
Chapitre d'ouvrage hal-03197297v1

Prevision Domains and Convex Powercones

Jean Goubault-Larrecq
Foundations of Software Science and Computational Structures, 4962, Springer Berlin Heidelberg, pp.318-333, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-78499-9_23⟩
Chapitre d'ouvrage hal-03196997v1
Image document

Continuous Previsions

Jean Goubault-Larrecq
Computer Science Logic, 4646, Springer Berlin Heidelberg, pp.542-557, 2007, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-74915-8_40⟩
Chapitre d'ouvrage hal-03197352v1

Continuous Capacities on Continuous State Spaces

Jean Goubault-Larrecq
Automata, Languages and Programming, 4596, Springer Berlin Heidelberg, pp.764-776, 2007, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-73420-8_66⟩
Chapitre d'ouvrage hal-03197379v1

A Logical Framework for Evaluating Network Resilience Against Faults and Attacks

Elie Bursztein , Jean Goubault-Larrecq
Advances in Computer Science – ASIAN 2007. Computer and Network Security, 4846, Springer Berlin Heidelberg, pp.212-227, 2007, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-76929-3_20⟩
Chapitre d'ouvrage hal-03197309v1

Preuve et vérification pour la sécurité et la sûreté

Jean Goubault-Larrecq
Encyclopédie de l'informatique et des systèmes d'information, chapitre I.6, pages 683--703. Vuibert, 2006
Chapitre d'ouvrage hal-03200794v1

The Orchids Intrusion Detection Tool

Julien Olivain , Jean Goubault-Larrecq
Proceedings of the 17th International Conference on Computer Aided Verification (CAV'05), volume 3576 of Lecture Notes in Computer Science, Edinburgh, Scotland, UK. Springer, pp.286-290, 2005, ⟨10.1007/11513988_28⟩
Chapitre d'ouvrage hal-03201048v1

Conjunctive Types and SKInT

Jean Goubault-Larrecq
Selected Papers from the International Workshop on Types for Proofs and Programs (TYPES'98), 1657, Springer, pp.106-120, 1999, Lecture Notes in Computer Science, ⟨10.1007/3-540-48167-2_8⟩
Chapitre d'ouvrage hal-03210285v1

A Simple Sequent System for First-Order Logic with Free Constructors

Jean Goubault-Larrecq
Proceedings of the 8th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX'99), 1617, Springer, pp.202-216, 1999, Lecture Notes in Artificial Intelligence, ⟨10.1007/3-540-48754-9_19⟩
Chapitre d'ouvrage hal-03208860v1

A tableau system for linear-TIME temporal logic

Peter Schmitt , Jean Goubault-Larrecq
Proceedings of the 3rd International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'97), Enschede, The Netherlands, April 1997, 1217, Springer, pp.130-144, 1997, Lecture Notes in Computer Science, ⟨10.1007/BFb0035385⟩
Chapitre d'ouvrage hal-03215092v1

Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031).

Jean Goubault-Larrecq , Monika Seisenberger , Victor Selivanov , Andreas Weiermann
[Research Report] Schloss Dagstuhl - Leibniz Center for Informatics. 2016
Rapport hal-03218880v1

Concrete Semantics of Programs with Non-Deterministic and Random Inputs

Assalé Adje , Jean Goubault-Larrecq
[Research Report] LSV, ENS Cachan. 2012
Rapport hal-03189970v1
Image document

Detecting Subverted Cryptographic Protocols by Entropy Checking

Julien Olivain , Jean Goubault-Larrecq
[Research Report] LSV-06-13, LSV, ENS Cachan. 2006
Rapport hal-03200826v1
Image document

Alternating Two-Way AC-Tree Automata

Jean Goubault-Larrecq , Kumar Neeraj Verma
[Research Report] LSV-02-11, LSV, ENS Cachan. 2002, pp.21
Rapport hal-03203052v1
Image document

SKInT Labels

Jean Goubault-Larrecq
[Research Report] LSV-02-7, LSV, ENS Cachan. 2002
Rapport hal-03203058v1
Image document

A Note on the Completeness of Certain Refinements of Resolution

Jean Goubault-Larrecq
[Research Report] LSV-02-8, LSV, ENS Cachan. 2002, pp.16
Rapport hal-03203306v1
Image document

Un algorithme pour l'analyse de logs

Jean Goubault-Larrecq
[Rapport de recherche] LSV-02-18, LSV, ENS Cachan. 2002
Rapport hal-03201698v1
Image document

Higher-Order Automata, Pushdown Systems, and Set Constraints

Jean Goubault-Larrecq
[Research Report] LSV-01-9, LSV, ENS Cachan. 2001, pp.15
Rapport hal-03204006v1
Image document

Reflecting BDDs in Coq

Kumar Neeraj Verma , Jean Goubault-Larrecq
[Research Report] RR-3859, INRIA. 2000
Rapport inria-00072797v1
Image document

A Simple Deduction System for First-Order Logic with Equality, Free Constructors and Induction

Jean Goubault-Larrecq
[Research Report] RR-3653, INRIA. 1999
Rapport inria-00073019v1
Image document

A Few Remarks on SKInT

Jean Goubault-Larrecq
[Research Report] RR-3475, INRIA. 1998
Rapport inria-00073214v1
Image document

A Proof of Weak Termination of the Simply-Typed {$\lambda\sigma$}-Calculus

Jean Goubault-Larrecq
[Research Report] RR-3090, INRIA. 1997
Rapport inria-00073601v1
Image document

On Computational Interpretations of the Modal Logic S4 IIIb. Confluence, Termination of the $\lambda\mbox{ev}Q_H$-Calculus

Jean Goubault-Larrecq
[Research Report] RR-3164, INRIA. 1997
Rapport inria-00073524v1