Follow
Jean Goubault-Larrecq
Jean Goubault-Larrecq
Unknown affiliation
Verified email at lsv.fr
Title
Cited by
Cited by
Year
Non-Hausdorff topology and domain theory: Selected topics in point-set topology
J Goubault-Larrecq
Cambridge University Press, 2013
418*2013
Cryptographic protocol analysis on real C code
J Goubault-Larrecq, F Parrennes
International Workshop on Verification, Model Checking, and Abstract …, 2005
1572005
Higher-order unification and matching
G Dowek
Handbook of automated reasoning, 1009-1062, 2001
1562001
Log auditing through model-checking
M Roger, J Goubault-Larrecq
Proceedings of the 14th IEEE workshop on Computer Security Foundations, 220, 2001
1502001
A method for automatic cryptographic protocol verification
J Goubault-Larrecq
Parallel and Distributed Processing: 15 IPDPS 2000 Workshops Cancun, Mexico …, 2000
1242000
Normal form transformations
M Baaz, U Egly, A Leitsch, J Goubault-Larrecq, D Plaisted
Handbook of Automated Reasoning, 273-333, 2001
1142001
Forward analysis for WSTS, part I: Completions
A Finkel, J Goubault-Larrecq
arXiv preprint arXiv:0902.1587, 2009
1012009
Forward analysis for WSTS, part II: Complete WSTS
A Finkel, J Goubault-Larrecq
Logical Methods in Computer Science 8, 2012
952012
Proof theory and automated deduction
J Goubault-Larrecq, I Mackie
Springer Science & Business Media, 2001
852001
A logical framework for evaluating network resilience against faults and attacks
E Bursztein, J Goubault-Larrecq
Annual Asian Computing Science Conference, 212-227, 2007
682007
Reflecting bdds in coq
KN Verma, J Goubault-Larrecq, S Prasad, S Arun-Kumar
Annual Asian Computing Science Conference, 162-181, 2000
652000
Karp-Miller trees for a branching extension of VASS
KN Verma, J Goubault-Larrecq
Discrete Mathematics & Theoretical Computer Science 7, 2005
612005
A probabilistic applied pi–calculus
J Goubault-Larrecq, C Palamidessi, A Troina
Programming Languages and Systems: 5th Asian Symposium, APLAS 2007 …, 2007
562007
A generalization of p-boxes to affine arithmetic
O Bouissou, E Goubault, J Goubault-Larrecq, S Putot
Computing 94, 189-201, 2012
552012
The Orchids Intrusion Detection Tool
J Olivain, J Goubault-Larrecq
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
542005
Deciding H1 by resolution
J Goubault-Larrecq
Information Processing Letters 95 (3), 401-408, 2005
522005
Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically
J Goubault-Larrecq, M Roger, KN Verma
The Journal of Logic and Algebraic Programming 64 (2), 219-251, 2005
522005
A Smell of Orchids
J Goubault-Larrecq, J Olivain
International Workshop on Runtime Verification, 1-20, 2008
512008
Logical relations for monadic types
J Goubault-Larrecq, S Lasota, D Nowak
Mathematical Structures in Computer Science 18 (6), 1169-1217, 2008
472008
A tableau system for linear-time temporal logic
PH Schmitt, J Goubault-Larrecq
International Workshop on Tools and Algorithms for the Construction and …, 1997
451997
The system can't perform the operation now. Try again later.
Articles 1–20