Æȷοì
axel legay
axel legay
uclouvain.beÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Statistical model checking: An overview
A Legay, B Delahaye, S Bensalem
Runtime Verification, 122-135, 2010
6152010
Uppaal SMC tutorial
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen
International journal on software tools for technology transfer 17, 397-415, 2015
6032015
Model Checking Lots of Systems
A Classen, P Heymans, PY Schobbens, A Legay, JF Raskin
ICSE¡¯10, 2009
448*2009
Symbolic model checking of software product lines
A Classen, P Heymans, PY Schobbens, A Legay
Proceeding of the 33rd international conference on Software engineering, 321-330, 2011
369*2011
A bayesian approach to model checking biological systems
S Jha, E Clarke, C Langmead, A Legay, A Platzer, P Zuliani
Computational Methods in Systems Biology, 218-234, 2009
3152009
Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking
A Classen, M Cordy, PY Schobbens, P Heymans, A Legay, JF Raskin
IEEE Transactions on Software Engineering 39 (8), 1069-1089, 2012
3142012
Timed I/O automata: a complete specification theory for real-time systems
A David, KG Larsen, A Legay, U Nyman, A Wasowski
Proceedings of the 13th ACM international conference on Hybrid systems ¡¦, 2010
2352010
UPPAAL-SMC: Statistical model checking for priced timed automata
P Bulychev, A David, KG Larsen, M Mikučionis, DB Poulsen, A Legay, ...
arXiv preprint arXiv:1207.1272, 2012
2172012
Statistical model checking for networks of priced timed automata
A David, K Larsen, A Legay, M Mikučionis, D Poulsen, J Van Vliet, ...
Formal Modeling and Analysis of Timed Systems, 80-96, 2011
2102011
Time for Statistical Model Checking of real-time systems
A David, K Larsen, A Legay, M Mikučionis, Z Wang
Computer Aided Verification, 349-355, 2011
1892011
Statistical model checking in biolab: Applications to the automated analysis of t-cell receptor signaling pathway
E Clarke, J Faeder, C Langmead, L Harris, S Jha, A Legay
Computational Methods in Systems Biology, 231-250, 2008
1422008
Iterating transducers in the large
B Boigelot, A Legay, P Wolper
Computer Aided Verification, 223-235, 2003
1422003
Beyond boolean product-line model checking: dealing with feature attributes and multi-features
M Cordy, PY Schobbens, P Heymans, A Legay
2013 35th International Conference on Software Engineering (ICSE), 472-481, 2013
1332013
Moving from specifications to contracts in component-based design
SS Bauer, A David, R Hennicker, K Guldstrand Larsen, A Legay, ...
Fundamental Approaches to Software Engineering: 15th International ¡¦, 2012
1332012
A Modal Interface Theory for Component-based Design
JB Raclet, E Badouel, A Benveniste, B Caillaud, A Legay, R Passerone
Fundamenta Informaticae 108 (1), 119-149, 2011
1312011
Simulation Relation for Software Product Lines: Foundations for Scalable Model Checking
M Cordy, A Classen, G Perrouin, P Heymans, PY Schobbens, A Legay
130*
PLASMA-lab: A flexible, distributable statistical model checking library
B Boyer, K Corre, A Legay, S Sedwards
International Conference on Quantitative Evaluation of Systems, 160-164, 2013
1292013
On the performance of convolutional neural networks for side-channel analysis
S Picek, IP Samiotis, J Kim, A Heuser, S Bhasin, A Legay
Security, Privacy, and Applied Cryptography Engineering: 8th International ¡¦, 2018
1262018
Statistical abstraction and model-checking of large heterogeneous systems
A Basu, S Bensalem, M Bozga, B Caillaud, B Delahaye, A Legay
Formal Techniques for Distributed Systems, 32-46, 2010
1222010
Importance splitting for statistical model checking rare properties
C Jegourel, A Legay, S Sedwards
Computer Aided Verification: 25th International Conference, CAV 2013, Saint ¡¦, 2013
1202013
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20