Axel Legay
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
199
Venues
62
Active years
2003–2025
Best venue rank
A*
Where they publish
- CISoLA30 papers
- A*ICSE15 papers
- BSPLC11 papers
- BATVA9 papers
- A*CAV8 papers
- CFORTE7 papers
- CFMICS6 papers
- CVECoS6 papers
- BFASE6 papers
- AICST5 papers
- CCRiSIS5 papers
- BTrustCom5 papers
- CICTAC5 papers
- NationalHCI4 papers
- NationalTASE4 papers
- BVMCAI4 papers
- BRV4 papers
- ATACAS4 papers
- MulticonferenceSAC3 papers
- BFM3 papers
- AMODELS3 papers
- CMEMOCODE3 papers
- AESORICS2 papers
- A*SIGCOMM2 papers
- BIFM2 papers
- AISSRE2 papers
- BSOFSEM2 papers
- BSEFM2 papers
- CLATA2 papers
- CICFEM2 papers
- BLPAR2 papers
- UnrankedEDCC1 paper
- AACSAC1 paper
- BDIMVA1 paper
- BNOMS1 paper
- NationalNSDI1 paper
- CSEKE1 paper
- AECOOP1 paper
- ACoNEXT1 paper
- BSRDS1 paper
- CMobiquitous1 paper
- CSSS1 paper
- CPST1 paper
- A*LICS1 paper
- BICECCS1 paper
- CISORC1 paper
- CWISTP1 paper
- BECSA1 paper
- NationalSETTA1 paper
- BCALCO1 paper
- A*CCS1 paper
- CDLT1 paper
- BAPLAS1 paper
- BCONCUR1 paper
- CETFA1 paper
- NationalLFCS1 paper
- NationalCSR1 paper
- ADATE1 paper
- BMFCS1 paper
- BFMCAD1 paper
- Journal PublishedEMSOFT1 paper
- BRECOMB1 paper
Papers
199 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EDCC | Local-First Smart Home Applications with HubOS. | Igor Zavalvshyn, Axel Legay, Annanda Rath, Etienne Rivire |
| 2025 | ESORICS | Simplicity Performs, But Should It? Evaluating Malware Detection Benchmarks. | Samy Bettaieb, Laurens D'hooge, Charles-Henry Bertrand Van Ouytsel, Axel Legay, Etienne Rivire, Miel Verkerken, Bruno Volckaert |
| 2025 | HCI | Integrating Gamification, Recommender System, and Chatbot in Cybersecurity Training: A User-Centered Approach for Enhanced Engagement and Motivation. | Ling Leung, Benot Duhoux, Axel Legay, Suzanne Kieffer |
| 2025 | ICST | Testing Tool for Combinatorial Transition Testing in Dynamically Adaptive Software Systems. | Pierre Martou, Benot Duhoux, Kim Mens, Axel Legay |
| 2024 | ACSAC | Automated Vulnerability Detection in Smart Contracts using Control Flow Graphs and Machine Learning. | Charles Lohest, Samy Bettaieb, Axel Legay |
| 2024 | CRiSIS | Highlighting the Impact of Packed Executable Alterations with Unsupervised Learning. | Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay |
| 2024 | DIMVA | Extended Abstract: Evading Packing Detection: Breaking Heuristic-Based Static Detectors. | Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay |
| 2024 | FMICS | Fuzzing an Industrial Proprietary Protocol. | Eduard Baranov, Axel Legay, Martin Vivian |
| 2024 | FORTE | Network Simulator-Centric Compositional Testing. | Tom Rousseaux, Christophe Crochet, John O. R. Aoga, Axel Legay |
| 2024 | HCI | With or Without U(sers): A Journey to Integrate UX Activities in Cybersecurity. | Daniela Azevedo, Justine Ramelot, Axel Legay, Suzanne Kieffer |
| 2024 | HCI | Bridging Disciplinary Boundaries: Integrating XR in Communication Sciences Master's Programs. | Suzanne Kieffer, Sebastien Nahon, Damien Renard, Axel Legay |
| 2024 | ICSE | Daedalux: An Extensible Platform for Variability-Aware Model Checking. | Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay |
| 2024 | ICST | Improving security analysis rule set by relationship identification. | Charles Lohest, Axel Legay |
| 2024 | NOMS | Avoiding "Hot Potato" Problems in Internet Service Providers. | Khanh-Huu-The Dam, Gorby Kabasele Ndonda, Axel Legay, Ramin Sadre |
| 2024 | VECoS | Statistical Analysis of the Impact of Bit-Flips in Security Critical Code. | Tobias Worm Bgedal, Ren Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bgsted Poulsen |
| 2024 | VECoS | Adaptive Stopping Algorithms Based on Concentration Inequalities. | Maxime Parmentier, Axel Legay |
| 2023 | ATVA | Lightweight Verification of Hyperproperties. | Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang |
| 2023 | CRiSIS | Experimental Toolkit for Manipulating Executable Packing. | Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay |
| 2023 | FMICS | Refinement of Systems with an Attacker Focus. | Kim Guldstrand Larsen, Axel Legay, Danny Bgsted Poulsen |
| 2023 | ICST | Beyond Combinatorial Interaction Testing: On the need for transition testing in dynamically adaptive context-aware systems. | Pierre Martou, Benot Duhoux, Kim Mens, Axel Legay |
| 2023 | NSDI | xBGP: Faster Innovation in Routing Protocols. | Thomas Wirtgen, Tom Rousseaux, Quentin De Coninck, Nicolas Rybowski, Randy Bush, Laurent Vanbever, Axel Legay, Olivier Bonaventure |
| 2023 | SEKE | Assistance in the management of rule sets for rule-based expert systems (S). | Magali Legast, Axel Legay |
| 2023 | SPLC | Family-based model checking of fMultiLTL properties. | Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay |
| 2023 | SPLC | Test Scenario Generation for Feature-Based Context-Oriented Software Systems. | Pierre Martou, Kim Mens, Benot Duhoux, Axel Legay |
| 2023 | VECoS | Optimized Smart Sampling. | Maxime Parmentier, Axel Legay, Firmin Chenoy |
| 2022 | CRiSIS | Tool Paper - SEMA: Symbolic Execution Toolchain for Malware Analysis. | Charles-Henry Bertrand Van Ouytsel, Christophe Crochet, Khanh-Huu-The Dam, Axel Legay |
| 2022 | ECOOP | Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study. | Pierre Martou, Kim Mens, Benot Duhoux, Axel Legay |
| 2022 | ESORICS | Product Incremental Security Risk Assessment Using DevSecOps Practices. | Sbastien Dupont, Artsiom Yautsiukhin, Guillaume Ginis, Giacomo Iadarola, Stefano Fagnano, Fabio Martinelli, Christophe Ponsard, Axel Legay, Philippe Massonet |
| 2022 | ICSE | A Scalable t-wise Coverage Estimator. | Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran |
| 2022 | ISoLA | Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept. | Khanh-Huu-The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay |
| 2022 | ISoLA | Importance Splitting in Uppaal. | Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen |
| 2022 | ISoLA | Formal Methods Meet Machine Learning (F3ML). | Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlter, Marille Stoelinga, Bernhard Steffen |
| 2022 | ISoLA | Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. | Sami Lazreg, Maxime Cordy, Axel Legay |
| 2022 | SPLC | Baital: an adaptive weighted sampling platform for configurable systems. | Eduard Baranov, Axel Legay |
| 2021 | CoNEXT | Verifying QUIC implementations using Ivy. | Christophe Crochet, Tom Rousseaux, Maxime Piraux, Jean-Franois Sambon, Axel Legay |
| 2021 | FASE | A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features. | Aleksandar S. Dimovski, Sven Apel, Axel Legay |
| 2021 | FORTE | Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. | Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico |
| 2021 | SAC | Unsupervised behavioural mining and clustering for malware family identification. | Khanh-Huu-The Dam, Thomas Given-Wilson, Axel Legay |
| 2021 | SIGCOMM | Implementing the plugin distribution system. | Nicolas Rybowski, Quentin De Coninck, Tom Rousseaux, Axel Legay, Olivier Bonaventure |
| 2021 | SRDS | Chaos Duck: A Tool for Automatic IoT Software Fault-Tolerance Analysis. | Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre, Etienne Rivire |
| 2021 | TASE | Featured Games. | Uli Fahrenberg, Axel Legay |
| 2020 | FASE | Statistical Model Checking for Variability-Intensive Systems. | Maxime Cordy, Mike Papadakis, Axel Legay |
| 2020 | FASE | Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. | Aleksandar S. Dimovski, Axel Legay |
| 2020 | FORTE | Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. | Davide Basile, Maurice H. ter Beek, Axel Legay |
| 2020 | ISoLA | Improving Secure and Robust Patient Service Delivery. | Eduard Baranov, Thomas Given-Wilson, Axel Legay |
| 2020 | ISoLA | X-by-Construction - Correctness Meets Probability. | Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson |
| 2020 | ISoLA | Behavioral Specification Theories: An Algebraic Taxonomy. | Uli Fahrenberg, Axel Legay |
| 2020 | ISoLA | 30 Years of Statistical Model Checking. | Kim G. Larsen, Axel Legay |
| 2020 | Mobiquitous | My House, My Rules: A Private-by-Design Smart Home Platform. | Igor Zavalyshyn, Nuno Santos, Ramin Sadre, Axel Legay |
| 2020 | TrustCom | Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications. | Eduardo Gomes, Igor Zavalyshyn, Nuno Santos, Joo Silva, Axel Legay |
| 2020 | SPLC | Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. | Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay |
| 2020 | SSS | Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software. | Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre |
| 2019 | ATVA | Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. | Manfred Jaeger, Peter Gjl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist |
| 2019 | FASE | Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. | Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski |
| 2019 | FMICS | Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. | Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay |
| 2019 | ICSE | Towards sampling and simulation-based analysis of featured weighted automata. | Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet |
| 2019 | ICTAC | Computing Branching Distances Using Quantitative Games. | Uli Fahrenberg, Axel Legay, Karin Quaas |
| 2019 | IFM | Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. | Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin |
| 2019 | PST | Model Checking the IKEv2 Protocol Using Spin. | Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra |
| 2019 | TrustCom | The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2. | Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra |
| 2019 | SIGCOMM | Pluginizing QUIC. | Quentin De Coninck, Franois Michel, Maxime Piraux, Florentin Rochet, Thomas Given-Wilson, Axel Legay, Olivier Pereira, Olivier Bonaventure |
| 2018 | ATVA | Untitled record | Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem |
| 2018 | FM | Statistical Model Checking of LLVM Code. | Axel Legay, Dirk Nowotka, Danny Bgsted Poulsen, Louis-Marie Traonouez |
| 2018 | FM | QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. | Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente |
| 2018 | FMICS | A Modeling Language for Security Threats of IoT Systems. | Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf |
| 2018 | ICSE | Trace checking for dynamic software product lines. | Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg |
| 2018 | ISoLA | Statistical Model Checking of Incomplete Stochastic Systems. | Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez |
| 2018 | ISoLA | Tutorial: An Overview of Malware Detection and Evasion Techniques. | Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf |
| 2018 | ISoLA | X-by-C: Non-functional Security Challenges. | Thomas Given-Wilson, Axel Legay |
| 2018 | ISoLA | Statistical Model Checking the 2018 Edition! | Kim Guldstrand Larsen, Axel Legay |
| 2018 | ISoLA | Mitigating Security Risks Through Attack Strategies Exploration. | Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem |
| 2018 | ISSRE | Detection of Mirai by Syntactic and Behavioral Analysis. | Najah Ben Said, Fabrizio Biondi, Vesselin Bontchev, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Jean Quilbeuf |
| 2018 | LICS | Sequential Relational Decomposition. | Dror Fried, Axel Legay, Jol Ouaknine, Moshe Y. Vardi |
| 2018 | TrustCom | Universal Optimality of Apollonian Cell Encoders. | Fabrizio Biondi, Thomas Given-Wilson, Axel Legay |
| 2018 | VECoS | Orchestration Synthesis for Real-Time Service Contracts. | Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez |
| 2018 | VECoS | The State of Fault Injection Vulnerability Detection. | Thomas Given-Wilson, Nisrine Jafri, Axel Legay |
| 2018 | VMCAI | Scalable Approximation of Quantitative Information Flow in Programs. | Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf |
| 2017 | ATVA | HyLeak: Hybrid Analysis Tool for Information Leakage. | Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez |
| 2017 | FMICS | Information Leakage as a Scheduling Resource. | Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay |
| 2017 | HCI | Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults. | Thomas Given-Wilson, Axel Legay, Sean Sedwards |
| 2017 | ICECCS | Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. | Peter Gjl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman |
| 2017 | ICSE | Featured Weighted Automata. | Uli Fahrenberg, Axel Legay |
| 2017 | ICST | Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. | Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans |
| 2017 | ISORC | Extensible Energy Planning Framework for Preemptive Tasks. | Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee |
| 2017 | ISSRE | MASSE: Modular Automated Syntactic Signature Extraction. | Fabrizio Biondi, Franois Dchelle, Axel Legay |
| 2017 | SAC | Compatibility flooding: measuring interaction of services interfaces. | Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salan |
| 2017 | TrustCom | An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT. | Thomas Given-Wilson, Nisrine Jafri, Jean-Louis Lanet, Axel Legay |
| 2017 | SOFSEM | A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. | Uli Fahrenberg, Axel Legay |
| 2017 | SOFSEM | On Featured Transition Systems. | Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans |
| 2017 | WISTP | How TrustZone Could Be Bypassed: Side-Channel Attacks on a Modern System-on-Chip. | Sbanjila Kevin Bukasa, Ronan Lashermes, Hlne Le Bouder, Jean-Louis Lanet, Axel Legay |
| 2016 | CAV | PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. | Van Chan Ngo, Axel Legay, Vania Joloboff |
| 2016 | CRiSIS | A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. | Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet |
| 2016 | CRiSIS | Ransomware and the Legacy Crypto API. | Aurlien Palisse, Hlne Le Bouder, Jean-Louis Lanet, Colas Le Guernic, Axel Legay |
| 2016 | ECSA | Statistical Model Checking of Dynamic Software Architectures. | Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flvio Oquendo, Thas Batista, Axel Legay |
| 2016 | FM | Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. | Yusuke Kawamoto, Fabrizio Biondi, Axel Legay |
| 2016 | FMICS | A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. | Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen |
| 2016 | ICSE | Featured model-based mutation analysis. | Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans |
| 2016 | ICSE | Featured model types: towards systematic reuse in modelling language engineering. | Gilles Perrouin, Moussa Amrani, Mathieu Acher, Benot Combemale, Axel Legay, Pierre-Yves Schobbens |
| 2016 | ICSE | A complexity tale: web configurators. | Gilles Perrouin, Mathieu Acher, Jean-Marc Davril, Axel Legay, Patrick Heymans |
| 2016 | ICTAC | On the Expressiveness of Symmetric Communication. | Thomas Given-Wilson, Axel Legay |
| 2016 | IFM | Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. | Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards |
| 2016 | ISoLA | Statistical Model Checking for Product Lines. | Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin |
| 2016 | ISoLA | Security and Privacy of Protocols and Software with Formal Methods. | Fabrizio Biondi, Axel Legay |
| 2016 | ISoLA | Feedback Control for Statistical Model Checking of Cyber-Physical Systems. | Kenan Kalajdzic, Cyrille Jgourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu |
| 2016 | ISoLA | Statistical Model Checking: Past, Present, and Future. | Kim G. Larsen, Axel Legay |
| 2016 | ISoLA | On the Power of Statistical Model Checking. | Kim G. Larsen, Axel Legay |
| 2016 | ISoLA | Plasma Lab: A Modular Statistical Model Checking Platform. | Axel Legay, Sean Sedwards, Louis-Marie Traonouez |
| 2016 | ISoLA | A Logic for the Statistical Model Checking of Dynamic Software Architectures. | Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flvio Oquendo, Thas Batista, Axel Legay |
| 2016 | SAC | A formal modeling and analysis framework for software product line of preemptive real-time systems. | Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, Sungwon Kang |
| 2016 | SETTA | Importance Sampling for Stochastic Timed Automata. | Cyrille Jgourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen, Sean Sedwards |
| 2016 | SPLC | Long-term average cost in featured transition systems. | Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay |
| 2016 | VECoS | Performance Evaluation of Complex Systems Using the SBIP Framework. | Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem |
| 2015 | CALCO | Partial Higher-dimensional Automata. | Ulrich Fahrenberg, Axel Legay |
| 2015 | CCS | Modelling Social-Technical Attacks with Timed Automata. | Nicolas David, Alexandre David, Ren Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst |
| 2015 | DLT | *-Continuous Kleene ω-Algebras. | Zoltn sik, Uli Fahrenberg, Axel Legay |
| 2015 | ICSE | Measuring Behaviour Interactions between Product-Line Features. | Joanne M. Atlee, Uli Fahrenberg, Axel Legay |
| 2015 | ICST | State machine flattening, a mapping study and tools assessment. | Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans |
| 2015 | MODELS | Merging Features in Featured Transition Systems. | Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay |
| 2015 | TrustCom | Attainable Unconditional Security for Shared-Key Cryptosystems. | Fabrizio Biondi, Thomas Given-Wilson, Axel Legay |
| 2015 | SPLC | Statistical analysis of probabilistic models of software product lines with quantitative constraints. | Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin |
| 2015 | SPLC | SPLat 2015: Second International Workshop on Software Product Line Analysis Tools. | Gilles Perrouin, Axel Legay |
| 2014 | ATVA | On Time with Minimal Expected Cost! | Alexandre David, Peter Gjl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Srensen, Jakob Haahr Taankvist |
| 2014 | FASE | Sound Merging and Differencing for Class Diagrams. | Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski |
| 2014 | ICTAC | Heterogeneous Timed Machines. | Benot Delahaye, Jos Luiz Fiadeiro, Axel Legay, Antnia Lopes |
| 2014 | ICTAC | Structural Refinement for the Modal nu-Calculus. | Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez |
| 2014 | ISoLA | A Formalism for Stochastic Adaptive Systems. | Benot Boyer, Axel Legay, Louis-Marie Traonouez |
| 2014 | ISoLA | Coverage Criteria for Behavioural Testing of Software Product Lines. | Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans |
| 2014 | ISoLA | An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking. | Cyrille Jgourel, Axel Legay, Sean Sedwards |
| 2014 | ISoLA | Statistical Model Checking Past, Present, and Future - (Track Introduction). | Kim Guldstrand Larsen, Axel Legay |
| 2014 | ISoLA | Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems. | Axel Legay, Sean Sedwards |
| 2014 | ISoLA | Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. | Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay |
| 2014 | MEMOCODE | Building faithful high-level models and performance evaluation of manycore embedded systems. | Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem |
| 2014 | MODELS | Configurable Formal Methods for Extreme Modeling. | Uli Fahrenberg, Axel Legay |
| 2014 | RV | Faster Statistical Model Checking by Means of Abstraction and Learning. | Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem |
| 2014 | SEFM | Quantitative Anonymity Evaluation of Voting Protocols. | Fabrizio Biondi, Axel Legay |
| 2014 | SEFM | Scalable Verification of Markov Decision Processes. | Axel Legay, Sean Sedwards, Louis-Marie Traonouez |
| 2014 | SPLC | SPLat 2014: First International Workshop on Software Product Line Analysis Tools. | Axel Legay, Erik P. de Vink |
| 2014 | TASE | On Statistical Model Checking with PLASMA. | Axel Legay, Sean Sedwards |
| 2013 | APLAS | Generalized Quantitative Analysis of Metric Transition Systems. | Uli Fahrenberg, Axel Legay |
| 2013 | ATVA | Kleene Algebras and Semimodules for Energy Problems. | Zoltn sik, Uli Fahrenberg, Axel Legay, Karin Quaas |
| 2013 | ATVA | PyEcdar: Towards Open Source Implementation for Timed Systems. | Axel Legay, Louis-Marie Traonouez |
| 2013 | CAV | QUAIL: A Quantitative Security Analyzer for Imperative Code. | Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski |
| 2013 | CAV | Importance Splitting for Statistical Model Checking Rare Properties. | Cyrille Jgourel, Axel Legay, Sean Sedwards |
| 2013 | CONCUR | Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. | Nikola Benes, Benot Delahaye, Uli Fahrenberg, Jan Kretnsk, Axel Legay |
| 2013 | ETFA | Behavioural templates improve robot motion planning with social force model in human environments. | Alessio Colombo, Daniele Fontanelli, Dhaval Gandhi, Antonella De Angeli, Luigi Palopoli, Sean Sedwards, Axel Legay |
| 2013 | FORTE | A Timed Component Algebra for Services. | Benot Delahaye, Jos Luiz Fiadeiro, Axel Legay, Antnia Lopes |
| 2013 | ICSE | A framework for the rigorous design of highly adaptive timed systems. | Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez |
| 2013 | ICSE | Beyond boolean product-line model checking: dealing with feature attributes and multi-features. | Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay |
| 2013 | ICSE | Efficient quality assurance of variability-intensive systems. | Patrick Heymans, Axel Legay, Maxime Cordy |
| 2013 | ICTAC | Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. | Uli Fahrenberg, Kim G. Larsen, Axel Legay |
| 2013 | LATA | Maximizing Entropy over Markov Processes. | Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski |
| 2013 | LFCS | Stuttering for Abstract Probabilistic Automata. | Benot Delahaye, Kim G. Larsen, Axel Legay |
| 2013 | MEMOCODE | Synthesizing distributed scheduling implementation for probabilistic component-based systems. | Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled |
| 2013 | SPLC | ProVeLines: a product line of verifiers for software product lines. | Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay |
| 2013 | VMCAI | Quantifying Information Leakage of Randomized Protocols. | Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski |
| 2012 | CAV | Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. | Cyrille Jgourel, Axel Legay, Sean Sedwards |
| 2012 | CSR | General Quantitative Specification Theories with Modalities. | Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane |
| 2012 | DATE | State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. | Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans |
| 2012 | FASE | Moving from Specifications to Contracts in Component-Based Design. | Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
| 2012 | FORTE | Synchronous Interface Theories and Time Triggered Scheduling. | Benot Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic |
| 2012 | FORTE | TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. | Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha |
| 2012 | ICFEM | Equational Abstraction Refinement for Certified Tree Regular Model Checking. | Yohan Boichut, Benot Boyer, Thomas Genet, Axel Legay |
| 2012 | ICSE | Simulation-based abstractions for software product-line model checking. | Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay |
| 2012 | ISoLA | Statistical Model Checking QoS Properties of Systems with SBIP. | Saddek Bensalem, Marius Bozga, Benot Delahaye, Cyrille Jgourel, Axel Legay, Ayoub Nouri |
| 2012 | ISoLA | Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis |
| 2012 | ISoLA | Runtime Verification of Biological Systems. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen, Sean Sedwards |
| 2012 | ISoLA | A Vision for Behavioural Model-Driven Validation of Software Product Lines. | Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry |
| 2012 | LPAR | Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bgsted Poulsen, Amlie Stainer |
| 2012 | RV | Rewrite-Based Statistical Model Checking of WMTL. | Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bgsted Poulsen |
| 2012 | SPLC | Behavioural modelling and verification of real-time software product lines. | Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay |
| 2012 | SPLC | Towards an incremental automata-based approach for software product-line model checking. | Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay |
| 2012 | TACAS | A Platform for High Performance Statistical Model Checking - PLASMA. | Cyrille Jgourel, Axel Legay, Sean Sedwards |
| 2012 | TASE | A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. | Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jir Srba, Axel Legay |
| 2011 | ATVA | MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. | Sebastian S. Bauer, Philip Mayer, Axel Legay |
| 2011 | CAV | Time for Statistical Model Checking of Real-Time Systems. | Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang |
| 2011 | ICSE | Symbolic model checking of software product lines. | Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay |
| 2011 | LATA | Decision Problems for Interval Markov Chains. | Benot Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski |
| 2011 | MEMOCODE | Efficient deadlock detection for concurrent systems. | Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled |
| 2011 | MFCS | Quantitative Refinement for Weighted Modal Transition Systems. | Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane |
| 2011 | MODELS | Vision Paper: Make a Difference! (Semantically). | Uli Fahrenberg, Axel Legay, Andrzej Wasowski |
| 2011 | VMCAI | Abstract Probabilistic Automata. | Benot Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski |
| 2010 | ATVA | ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
| 2010 | FMCAD | Incremental component-based construction and verification using invariants. | Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
| 2010 | FORTE | Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. | Ananda Basu, Saddek Bensalem, Marius Bozga, Benot Caillaud, Benot Delahaye, Axel Legay |
| 2010 | ICSE | Model checking lots of systems: efficient verification of temporal properties in software product lines. | Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-Franois Raskin |
| 2010 | LPAR | Hardness of Preorder Checking for Basic Formalisms. | Laura Bozzelli, Axel Legay, Sophie Pinchinat |
| 2010 | RV | Verification of an AFDX Infrastructure Using Simulations and Probabilities. | Ananda Basu, Saddek Bensalem, Marius Bozga, Benot Delahaye, Axel Legay, Emmanuel Sifakis |
| 2010 | RV | Statistical Model Checking: An Overview. | Axel Legay, Benot Delahaye, Saddek Bensalem |
| 2010 | TASE | Incremental Invariant Generation for Compositional Design. | Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
| 2010 | VMCAI | Complexity Bounds for the Verification of Real-Time Software. | Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan |
| 2009 | EMSOFT | Modal interfaces: unifying interface automata and modal specifications. | Jean-Baptiste Raclet, ric Badouel, Albert Benveniste, Benot Caillaud, Axel Legay, Roberto Passerone |
| 2009 | ICFEM | A Compositional Approach on Modal Specifications for Timed Systems. | Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet |
| 2009 | RECOMB | Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. | Alexandre Donz, Gilles Clermont, Axel Legay, Christopher James Langmead |
| 2008 | CAV | T(O)RMC: A Tool for (omega)-Regular Model Checking. | Axel Legay |
| 2008 | TACAS | On Automated Verification of Probabilistic Programs. | Axel Legay, Andrzej S. Murawski, Jol Ouaknine, James Worrell |
| 2006 | CAV | Ticc: A Tool for Interface Compatibility and Composition. | B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy |
| 2005 | TACAS | Simulation-Based Iteration of Tree Transducers. | Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine |
| 2004 | TACAS | Omega-Regular Model Checking. | Bernard Boigelot, Axel Legay, Pierre Wolper |
| 2003 | CAV | Iterating Transducers in the Large (Extended Abstract). | Bernard Boigelot, Axel Legay, Pierre Wolper |