Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Axel Legay
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
High-Level Frameworks for the Specification and Verification of Scheduling Problems
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Performance Evaluation of Stochastic Real-Time Systems With the SBIP Framework
International Journal of Critical Computer-Based Systems
Computer Science
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation
A Variability Perspective of Mutation Analysis
Survey on Cryptanalysis of Code-Based Cryptography: From Theoretical to Physical Attacks
A Complexity Tale
Behavioural Templates Improve Robot Motion Planning With Social Force Model in Human Environments
Towards Statistical Prioritization for Software Product Lines Testing
Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking
‹
1
2
3
›
