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
4602010
Model Checking Lots of Systems
A Classen, P Heymans, PY Schobbens, A Legay, JF Raskin
ICSE’10, 2009
373*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
3642015
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
2772009
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
2662011
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
2242012
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
2142010
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
1662011
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
1642011
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
1602012
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
135*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
1322008
Iterating transducers in the large
B Boigelot, A Legay, P Wolper
Computer Aided Verification, 223-235, 2003
1322003
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
1252011
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
1142012
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
1142010
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
1102012
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
1062013
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
992013
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
942012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20