Laurent Mounier
Laurent Mounier
VERIMAG University of Grenoble Alpes
E-mail confirmado em univ-grenoble-alpes.fr
Título
Citado por
Citado por
Ano
CADP a protocol validation and verification toolbox
JC Fernandez, H Garavel, A Kerbrat, L Mounier, R Mateescu, ...
International Conference on Computer Aided Verification, 437-440, 1996
5771996
IF-2.0: A validation environment for component-based real-time systems
M Bozga, S Graf, L Mounier
International Conference on Computer Aided Verification, 343-348, 2002
1882002
“On the fly” verification of behavioural equivalences and preorders
JC Fernandez, L Mounier
International Conference on Computer Aided Verification, 181-191, 1991
1861991
A toolbox for the verification of LOTOS programs
JC Fernandez, H Garavel, L Mounier, A Rasse, C Rodriguez, J Sifakis
Proceedings of the 14th international conference on Software engineering …, 1992
1461992
What can you verify and enforce at runtime?
Y Falcone, JC Fernandez, L Mounier
International Journal on Software Tools for Technology Transfer 14 (3), 349-382, 2012
1332012
Toward large-scale vulnerability discovery using machine learning
G Grieco, GL Grinblat, L Uzal, S Rawat, J Feist, L Mounier
Proceedings of the Sixth ACM Conference on Data and Application Security and …, 2016
1232016
IF: An intermediate representation and validation environment for timed asynchronous systems
M Bozga, JC Fernandez, L Ghirvu, S Graf, JP Krimm, L Mounier
International Symposium on Formal Methods, 307-327, 1999
1111999
Runtime verification of safety-progress properties
Y Falcone, JC Fernandez, L Mounier
International Workshop on Runtime Verification, 40-59, 2009
1042009
Runtime enforcement monitors: composition, synthesis, and enforcement abilities
Y Falcone, L Mounier, JC Fernandez, JL Richier
Formal Methods in System Design 38 (3), 223-262, 2011
982011
IF: An intermediate representation for SDL and its applications
M Bozga, JC Fernandez, L Ghirvu, S Graf, JP Krimm, L Mounier, J Sifakis
SDL'99, 423-440, 1999
981999
Compositional state space generation from Lotos programs
JP Krimm, L Mounier
International Workshop on Tools and Algorithms for the Construction and …, 1997
951997
On-the-fly verification of finite transition systems
JC Fernandez, L Mounier, C Jard, T Jéron
Formal Methods in System Design 1 (2-3), 251-273, 1992
951992
A model-based approach for robustness testing
JC Fernandez, L Mounier, C Pachon
IFIP International Conference on Testing of Communicating Systems, 333-348, 2005
872005
Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS
G Chehaibar, H Garavel, L Mounier, N Tawbi, F Zulian
Formal Description Techniques IX, 435-450, 1996
821996
A taint based approach for smart fuzzing
S Bekrar, C Bekrar, R Groz, L Mounier
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
782012
Finding software vulnerabilities by smart fuzzing
S Bekrar, C Bekrar, R Groz, L Mounier
2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011
772011
Verifying Bisimulations" On the Fly".
JC Fernandez, L Mounier
FORTE 90, 95-110, 1990
771990
Statically detecting use after free on binary code
J Feist, L Mounier, ML Potet
Journal of Computer Virology and Hacking Techniques 10 (3), 211-217, 2014
742014
IF: A validation environment for timed asynchronous systems
M Bozga, JC Fernandez, L Ghirvu, S Graf, JP Krimm, L Mounier
International Conference on Computer Aided Verification, 543-547, 2000
702000
Symbolic equivalence checking
JC Fernandez, A Kerbrat, L Mounier
International Conference on Computer Aided Verification, 85-96, 1993
651993
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20