axel legay
axel legay
Dirección de correo verificada de uclouvain.be
Título
Citado por
Citado por
Año
Statistical model checking: An overview
A Legay, B Delahaye, S Bensalem
Runtime Verification, 122-135, 2010
4332010
Model Checking Lots of Systems
A Classen, P Heymans, PY Schobbens, A Legay, JF Raskin
ICSE’10, 2009
358*2009
Uppaal SMC tutorial
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen
International Journal on Software Tools for Technology Transfer 17 (4), 397-415, 2015
3082015
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
2642009
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
2552011
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
2092012
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
1982010
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
1522011
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
1482012
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
1452011
Iterating transducers in the large
B Boigelot, A Legay, P Wolper
Computer Aided Verification, 223-235, 2003
1312003
Towards statistical prioritization for software product lines testing
X Devroey, G Perrouin, M Cordy, PY Schobbens, A Legay, P Heymans
Proceedings of the Eighth International Workshop on Variability Modelling of …, 2014
127*2014
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
1272008
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
1142011
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
1072010
Model checking software product lines with SNIP
A Classen, M Cordy, P Heymans, A Legay, PY Schobbens
International Journal on Software Tools for Technology Transfer 14 (5), 589-612, 2012
1032012
Moving from specifications to contracts in component-based design
SS Bauer, A David, R Hennicker, KG Larsen, A Legay, U Nyman, ...
International Conference on Fundamental Approaches to Software Engineering …, 2012
1032012
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
972013
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
932013
A platform for high performance statistical model checking–PLASMA
C Jegourel, A Legay, S Sedwards
International Conference on Tools and Algorithms for the Construction and …, 2012
902012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20