AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Laurent Mounier

Laurent Mounier

Université Grenoble Alpes - Saint-Martin-d'Hères / France
Others
AD Scientific Index ID: 1711592
Grenoble Alpes University
person_outline Laurent Mounier's MOST POPULAR ARTICLES
1-) CADP a protocol validation and verification toolbox International Conference on Computer Aided Verification, 437-440, 1996
2-) Toward large-scale vulnerability discovery using machine learning Proceedings of the sixth ACM conference on data and application security and …, 2016
3-) What can you verify and enforce at runtime? International Journal on Software Tools for Technology Transfer 14 (3), 349-382, 2012
4-) IF-2.0: A validation environment for component-based real-time systems International Conference on Computer Aided Verification, 343-348, 2002
5-) “On the fly” verification of behavioural equivalences and preorders International Conference on Computer Aided Verification, 181-191, 1991