Axel Legay

Researcher Next ID · RN-040353

Researcher · Computer Science

Nexen (Canada)

Calgary, Ireland

Accepting doctoral researchersFunding unknown

Works count: 539
Citation count: 7,596
H-index: 39
i10-index: 182

Research interests

Computer Science

Formal Methods in Verification

Software Reliability and Analysis Research

Software Testing and Debugging Techniques

Advanced Software Engineering Methodologies

Model-Driven Software Engineering Techniques

Publications

Statistical Model Checking
Lecture notes in computer science · 2019 · 10.1007/978-3-319-91908-9_23
Statistical Model Checking
Lecture notes in computer science · 2019 · 10.1007/978-3-319-91908-9_23
On the Performance of Convolutional Neural Networks for Side-Channel Analysis
Lecture notes in computer science · 2018 · 10.1007/978-3-030-05072-6_10
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems
EasyChair preprint · 2018 · https://doi.org/10.29007/1mjd
On the Performance of Convolutional Neural Networks for Side-Channel Analysis
Lecture notes in computer science · 2018 · 10.1007/978-3-030-05072-6_10
Uppaal SMC tutorial
International Journal on Software Tools for Technology Transfer · 2015 · https://doi.org/10.1007/s10009-014-0361-y
Importance Splitting for Statistical Model Checking Rare Properties
Lecture notes in computer science · 2013 · 10.1007/978-3-642-39799-8_38
Importance Splitting for Statistical Model Checking Rare Properties
Lecture notes in computer science · 2013 · 10.1007/978-3-642-39799-8_38
Moving from Specifications to Contracts in Component-Based Design
Lecture notes in computer science · 2012 · 10.1007/978-3-642-28872-2_3
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
Electronic Proceedings in Theoretical Computer Science · 2012 · 10.4204/eptcs.85.1
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
Electronic Proceedings in Theoretical Computer Science · 2012 · 10.4204/eptcs.85.1
Moving from Specifications to Contracts in Component-Based Design
Lecture notes in computer science · 2012 · 10.1007/978-3-642-28872-2_3
A Modal Interface Theory for Component-based Design
Fundamenta Informaticae · 2011 · 10.3233/fi-2011-416
Statistical Model Checking for Networks of Priced Timed Automata
Lecture notes in computer science · 2011 · https://doi.org/10.1007/978-3-642-24310-3_7
Time for Statistical Model Checking of Real-Time Systems
Lecture notes in computer science · 2011 · 10.1007/978-3-642-22110-1_27
A Modal Interface Theory for Component-based Design
Fundamenta Informaticae · 2011 · 10.3233/fi-2011-416
Time for Statistical Model Checking of Real-Time Systems
Lecture notes in computer science · 2011 · 10.1007/978-3-642-22110-1_27
Timed I/O automata
Journal · 2010 · https://doi.org/10.1145/1755952.1755967
Statistical Model Checking: An Overview
Lecture notes in computer science · 2010 · https://doi.org/10.1007/978-3-642-16612-9_11
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway
Lecture notes in computer science · 2008 · 10.1007/978-3-540-88562-7_18
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway
Lecture notes in computer science · 2008 · 10.1007/978-3-540-88562-7_18
Iterating Transducers in the Large
Lecture notes in computer science · 2003 · 10.1007/978-3-540-45069-6_24
Iterating Transducers in the Large
Lecture notes in computer science · 2003 · 10.1007/978-3-540-45069-6_24

Current projects

No projects listed.