|
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-03083290
v1
|
|
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-03189412
v1
|
|
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-03189644
v1
|
|
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-03189816
v1
|
|
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-03189917
v1
|
|
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-03189926
v1
|
|
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-03189966
v1
|
|
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-03189943
v1
|
|
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-03189998
v1
|
|
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
istex
hal-03191244
v1
|
|
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-03191258
v1
|
|
“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
istex
hal-03195566
v1
|
|
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-03195656
v1
|
|
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-03195833
v1
|
|
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
istex
hal-03197297
v1
|
|
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-03196997
v1
|
|
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-03196502
v1
|
|
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-03197309
v1
|
|
Continuous Previsions
Jean Goubault-Larrecq
Chapitre d'ouvrage
istex
hal-03197352
v1
|
|
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-03197379
v1
|
|
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-03200794
v1
|
|
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-03201048
v1
|
|
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
istex
hal-03210285
v1
|
|
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
istex
hal-03208860
v1
|
|
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-03215092
v1
|