Iterating Transducers in the Large (Extended Abstract). - Bernard Boigelot; Axel Legay; Pierre Wolper (CAV, 2003)

Omega-Regular Model Checking. - Bernard Boigelot; Axel Legay; Pierre Wolper (TACAS, 2004)

Handling Liveness Properties in (omega-)Regular Model Checking. - Ahmed Bouajjani; Axel Legay; Pierre Wolper (INFINITY, 2004)

Sociable Interfaces. - Luca de Alfaro; Leandro Dias da Silva; Marco Faella; Axel Legay; Pritam Roy; Maria Sorea (FroCoS, 2005)

Simulation-Based Iteration of Tree Transducers. - Parosh Aziz Abdulla; Axel Legay; Julien d'Orso; Ahmed Rezine (TACAS, 2005)

On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address. - Axel Legay; Pierre Wolper (MTCoord@COORDINATION, 2005)

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 (CAV, 2006)

An Introduction to the Tool Ticc. - Axel Legay; Luca de Alfaro; Marco Faella (Trustworthy Software, 2006)

Tree regular model checking: A simulation-based approach. - Parosh Aziz Abdulla; Axel Legay; Julien d'Orso; Ahmed Rezine (J. Log. Algebraic Methods Program., 2006)

T(O)RMC: A Tool for (omega)-Regular Model Checking. - Axel Legay (CAV, 2008)

Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. - Edmund M. Clarke; James R. Faeder; Christopher James Langmead; Leonard A. Harris; Sumit Kumar Jha 001; Axel Legay (CMSB, 2008)

Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator. - Edmund M. Clarke; Alexandre Donzé; Axel Legay (Haifa Verification Conference, 2008)

µ-calculus Pushdown Module Checking with Imperfect State Information. - Benjamin Aminof; Axel Legay; Aniello Murano; Olivier Serre (IFIP TCS, 2008)

On Automated Verification of Probabilistic Programs. - Axel Legay; Andrzej S. Murawski; Joël Ouaknine; James Worrell 001 (TACAS, 2008)

Model Checking Quantitative Linear Time Logic. - Marco Faella; Axel Legay; Mariëlle Stoelinga (QAPL, 2008)

A Bayesian Approach to Model Checking Biological Systems. - Sumit Kumar Jha 001; Edmund M. Clarke; Christopher James Langmead; Axel Legay; André Platzer; Paolo Zuliani (CMSB, 2009)

Modal interfaces: unifying interface automata and modal specifications. - Jean-Baptiste Raclet; Éric Badouel; Albert Benveniste; Benoît Caillaud; Axel Legay; Roberto Passerone (EMSOFT, 2009)

Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. - Alexandre David; Kim G. Larsen; Axel Legay; Ulrik Nyman; Andrzej Wasowski (FMCO, 2009)

A Compositional Approach on Modal Specifications for Timed Systems. - Nathalie Bertrand 001; Axel Legay; Sophie Pinchinat; Jean-Baptiste Raclet (ICFEM, 2009)

Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems. - Axel Legay; Mahesh Viswanathan 001 (QEST, 2009)

Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. - Alexandre Donzé; Gilles Clermont; Axel Legay; Christopher James Langmead (RECOMB, 2009)

A Framework to Handle Linear Temporal Properties in ( omega-)Regular Model Checking - Ahmed Bouajjani; Axel Legay; Pierre Wolper (CoRR, 2009)

Qualitative Logics and Equivalences for Probabilistic Systems - Krishnendu Chatterjee; Luca de Alfaro; Marco Faella; Axel Legay (Log. Methods Comput. Sci., 2009)

Some Models and Tools for Open Systems - Axel Legay; Marco Faella (CoRR, 2009)

Computing Convex Hulls by Automata Iteration. - François Cantin; Axel Legay; Pierre Wolper (Int. J. Found. Comput. Sci., 2009)

Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. - Benoît Delahaye; Benoît Caillaud; Axel Legay (ACSD, 2010)

Robustness of Sequential Circuits. - Laurent Doyen 001; Thomas A. Henzinger; Axel Legay; Dejan Nickovic (ACSD, 2010)

ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. - Alexandre David; Kim Guldstrand Larsen; Axel Legay; Ulrik Nyman; Andrzej Wasowski (ATVA, 2010)

Incremental component-based construction and verification using invariants. - Saddek Bensalem; Marius Bozga; Axel Legay; Thanh-Hung Nguyen; Joseph Sifakis; Rongjie Yan (FMCAD, 2010)

Memory Event Clocks. - James Jerson Ortiz; Axel Legay; Pierre-Yves Schobbens (FORMATS, 2010)

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. - Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Caillaud; Benoît Delahaye; Axel Legay (FMOODS/FORTE, 2010)

Timed I/O automata: a complete specification theory for real-time systems. - Alexandre David; Kim G. Larsen; Axel Legay; Ulrik Nyman; Andrzej Wasowski (HSCC, 2010)

Model checking lots of systems: efficient verification of temporal properties in software product lines. - Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Axel Legay; Jean-François Raskin (ICSE (1), 2010)

Compositional Design Methodology with Constraint Markov Chains. - Benoît Caillaud; Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (QEST, 2010)

Verification of an AFDX Infrastructure Using Simulations and Probabilities. - Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Delahaye; Axel Legay; Emmanuel Sifakis (RV, 2010)

Statistical Model Checking: An Overview. - Axel Legay; Benoît Delahaye; Saddek Bensalem (RV, 2010)

Incremental Invariant Generation for Compositional Design. - Saddek Bensalem; Axel Legay; Thanh-Hung Nguyen; Joseph Sifakis; Rongjie Yan (TASE, 2010)

Complexity Bounds for the Verification of Real-Time Software. - Rohit Chadha; Axel Legay; Pavithra Prabhakar; Mahesh Viswanathan 001 (VMCAI, 2010)

New Results on Timed Specifications. - Timothy Bourke; Alexandre David; Kim G. Larsen; Axel Legay; Didier Lime; Ulrik Nyman; Andrzej Wasowski (WADT, 2010)

Statistical Model Checking : An Overview - Axel Legay; Benoît Delahaye (CoRR, 2010)

A Few Considerations on Structural and Logical Composition in Specification Theories - Axel Legay; Andrzej Wasowski (FIT, 2010)

On simulation-based probabilistic model checking of mixed-analog circuits. - Edmund M. Clarke; Alexandre Donzé; Axel Legay (Formal Methods Syst. Des., 2010)

On (Omega-)regular model checking. - Axel Legay; Pierre Wolper (ACM Trans. Comput. Log., 2010)

New Results on Abstract Probabilistic Automata. - Benoît Delahaye; Joost-Pieter Katoen; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Falak Sher; Andrzej Wasowski (ACSD, 2011)

MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. - Sebastian S. Bauer; Philip Mayer; Axel Legay (ATVA, 2011)

Time for Statistical Model Checking of Real-Time Systems. - Alexandre David; Kim G. Larsen; Axel Legay; Marius Mikucionis; Zheng Wang 005 (CAV, 2011)

Statistical Model Checking for Networks of Priced Timed Automata. - Alexandre David; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Jonas van Vliet; Zheng Wang 005 (FORMATS, 2011)

Robust Specification of Real Time Components. - Kim G. Larsen; Axel Legay; Louis-Marie Traonouez; Andrzej Wasowski (FORMATS, 2011)

The Quantitative Linear-Time–Branching-Time Spectrum. - Uli Fahrenberg; Axel Legay; Claus R. Thrane (FSTTCS, 2011)

Symbolic model checking of software product lines. - Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Axel Legay (ICSE, 2011)

Decision Problems for Interval Markov Chains. - Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (LATA, 2011)

Efficient deadlock detection for concurrent systems. - Saddek Bensalem; Andreas Griesmayer; Axel Legay; Thanh-Hung Nguyen; Doron A. Peled (MEMOCODE, 2011)

Quantitative Refinement for Weighted Modal Transition Systems. - Sebastian S. Bauer; Uli Fahrenberg; Line Juhl; Kim G. Larsen; Axel Legay; Claus R. Thrane (MFCS, 2011)

Vision Paper: Make a Difference! (Semantically). - Uli Fahrenberg; Axel Legay; Andrzej Wasowski (MoDELS, 2011)

D-Finder 2: Towards Efficient Correctness of Incremental Design. - Saddek Bensalem; Andreas Griesmayer; Axel Legay; Thanh-Hung Nguyen; Joseph Sifakis; Rongjie Yan (NASA Formal Methods, 2011)

APAC: A Tool for Reasoning about Abstract Probabilistic Automata. - Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (QEST, 2011)

A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. - Saddek Bensalem; Lavindra de Silva; Andreas Griesmayer; Félix Ingrand; Axel Legay; Rongjie Yan (SC@TOOLS, 2011)

Distributed Event Clock Automata - Extended Abstract. - James Jerson Ortiz; Axel Legay; Pierre-Yves Schobbens (CIAA, 2011)

Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata - Alexandre David; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Jonas van Vliet; Zheng Wang 005 (CoRR, 2011)

Distributed Parametric and Statistical Model Checking - Peter E. Bulychev; Alexandre David; Kim Guldstrand Larsen; Marius Mikucionis; Axel Legay (PDMC, 2011)

Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. - Benoît Delahaye; Benoît Caillaud; Axel Legay (Formal Methods Syst. Des., 2011)

A Modal Interface Theory for Component-based Design. - Jean-Baptiste Raclet; Éric Badouel; Albert Benveniste; Benoît Caillaud; Axel Legay; Roberto Passerone (Fundam. Informaticae, 2011)

Hardness of preorder checking for basic formalisms. - Laura Bozzelli; Axel Legay; Sophie Pinchinat (Theor. Comput. Sci., 2011)

Constraint Markov Chains. - Benoît Caillaud; Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (Theor. Comput. Sci., 2011)

Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. - Cyrille Jégourel; Axel Legay; Sean Sedwards (CAV, 2012)

General Quantitative Specification Theories with Modalities. - Sebastian S. Bauer; Uli Fahrenberg; Axel Legay; Claus R. Thrane (CSR, 2012)

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 (DATE, 2012)

Component Interfaces with Contracts on Ports. - Sebastian S. Bauer; Rolf Hennicker; Axel Legay (FACS, 2012)

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 (FASE, 2012)

Synchronous Interface Theories and Time Triggered Scheduling. - Benoît Delahaye; Uli Fahrenberg; Thomas A. Henzinger; Axel Legay; Dejan Nickovic (FMOODS/FORTE, 2012)

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 (FMOODS/FORTE, 2012)

Equational Abstraction Refinement for Certified Tree Regular Model Checking. - Yohan Boichut; Benoît Boyer; Thomas Genet; Axel Legay (ICFEM, 2012)

Simulation-based abstractions for software product-line model checking. - Maxime Cordy; Andreas Classen; Gilles Perrouin; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (ICSE, 2012)

Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. - Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis (ISoLA (2), 2012)

Runtime Verification of Biological Systems. - Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Sean Sedwards (ISoLA (1), 2012)

A Vision for Behavioural Model-Driven Validation of Software Product Lines. - Xavier Devroey; Maxime Cordy; Gilles Perrouin; Eun-Young Kang 001; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay; Benoit Baudry (ISoLA (1), 2012)

Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. - Peter E. Bulychev; Alexandre David; Kim Guldstrand Larsen; Axel Legay; Guangyuan Li; Danny Bøgsted Poulsen; Amélie Stainer (LPAR, 2012)

Checking and Distributing Statistical Model Checking. - Peter E. Bulychev; Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen (NASA Formal Methods, 2012)

Rewrite-Based Statistical Model Checking of WMTL. - Peter E. Bulychev; Alexandre David; Kim G. Larsen; Axel Legay; Guangyuan Li; Danny Bøgsted Poulsen (RV, 2012)

Behavioural modelling and verification of real-time software product lines. - Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (SPLC (1), 2012)

Towards an incremental automata-based approach for software product-line model checking. - Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (SPLC (2), 2012)

A Platform for High Performance Statistical Model Checking - PLASMA. - Cyrille Jégourel; Axel Legay; Sean Sedwards (TACAS, 2012)

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. - Sebastian S. Bauer; Line Juhl; Kim G. Larsen; Jirí Srba; Axel Legay (TASE, 2012)

Managing evolution in software product lines: a model-checking perspective. - Maxime Cordy; Andreas Classen; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (VaMoS, 2012)

Quantitative Modal Transition Systems. - Kim G. Larsen; Axel Legay (WADT, 2012)

On timed alternating simulation for concurrent timed games. - Laura Bozzelli; Axel Legay; Sophie Pinchinat (Acta Informatica, 2012)

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach - Peter E. Bulychev; Alexandre David; Kim G. Larsen; Axel Legay; Marius Mikucionis (IWIGP, 2012)

Tree Regular Model Checking for Lattice-Based Automata - Thomas Genet; Tristan Le Gall; Axel Legay; Valérie Murat (CoRR, 2012)

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata - Peter E. Bulychev; Alexandre David; Kim Guldstrand Larsen; Marius Mikucionis; Danny Bøgsted Poulsen; Axel Legay; Zheng Wang 005 (QAPL, 2012)

A Robust Specification Theory for Modal Event-Clock Automata - Uli Fahrenberg; Axel Legay (FIT, 2012)

Statistical Model Checking for Stochastic Hybrid Systems - Alexandre David; Dehui Du; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Sean Sedwards (HSB, 2012)

Consistency and refinement for Interval Markov Chains. - Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (J. Log. Algebraic Methods Program., 2012)

Extending modal transition systems with structured labels. - Sebastian S. Bauer; Line Juhl; Kim G. Larsen; Axel Legay; Jirí Srba (Math. Struct. Comput. Sci., 2012)

New results for Constraint Markov Chains. - Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (Perform. Evaluation, 2012)

Modal event-clock specifications for timed component-based design. - Nathalie Bertrand 001; Axel Legay; Sophie Pinchinat; Jean-Baptiste Raclet (Sci. Comput. Program., 2012)

Statistical abstraction and model-checking of large heterogeneous systems. - Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Delahaye; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2012)

Model checking software product lines with SNIP. - Andreas Classen; Maxime Cordy; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens (Int. J. Softw. Tools Technol. Transf., 2012)

Compositional verification of real-time systems using Ecdar. - Alexandre David; Kim Guldstrand Larsen; Axel Legay; Mikael H. Møller; Ulrik Nyman; Anders P. Ravn; Arne Skou; Andrzej Wasowski (Int. J. Softw. Tools Technol. Transf., 2012)

Extrapolating (omega-)regular model checking. - Axel Legay (Int. J. Softw. Tools Technol. Transf., 2012)

Incremental Generation of Linear Invariants for Component-Based Systems. - Saddek Bensalem; Marius Bozga; Benoît Boyer; Axel Legay (ACSD, 2013)

Tag Machines for Modeling Heterogeneous Systems. - Thi Thieu Hoa Le; Roberto Passerone; Ulrich Fahrenberg; Axel Legay (ACSD, 2013)

Generalized Quantitative Analysis of Metric Transition Systems. - Uli Fahrenberg; Axel Legay (APLAS, 2013)

Kleene Algebras and Semimodules for Energy Problems. - Zoltán Ésik; Uli Fahrenberg; Axel Legay; Karin Quaas (ATVA, 2013)

PyEcdar: Towards Open Source Implementation for Timed Systems. - Axel Legay; Louis-Marie Traonouez (ATVA, 2013)

QUAIL: A Quantitative Security Analyzer for Imperative Code. - Fabrizio Biondi; Axel Legay; Louis-Marie Traonouez; Andrzej Wasowski (CAV, 2013)

Importance Splitting for Statistical Model Checking Rare Properties. - Cyrille Jégourel; Axel Legay; Sean Sedwards (CAV, 2013)

Motion planning in crowds using statistical model checking to enhance the social force model. - Alessio Colombo; Daniele Fontanelli; Axel Legay; Luigi Palopoli 002; Sean Sedwards (CDC, 2013)

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. - Nikola Benes; Benoît Delahaye; Uli Fahrenberg; Jan Kretínský; Axel Legay (CONCUR, 2013)

A Tag Contract Framework for Heterogeneous Systems. - Thi Thieu Hoa Le; Roberto Passerone; Uli Fahrenberg; Axel Legay (ESOCC Workshops, 2013)

Behavioural templates improve robot motion planning with social force model in human environments. - Alessio Colombo; Daniele Fontanelli; Dhaval Gandhi; Antonella De Angeli; Luigi Palopoli 002; Sean Sedwards; Axel Legay (ETFA, 2013)

Probabilistic Modal Specifications (Invited Extended Abstract). - Kim G. Larsen; Axel Legay (FACS, 2013)

A Timed Component Algebra for Services. - Benoît Delahaye; José Luiz Fiadeiro; Axel Legay; Antónia Lopes (FMOODS/FORTE, 2013)

A framework for the rigorous design of highly adaptive timed systems. - Maxime Cordy; Axel Legay; Pierre-Yves Schobbens; Louis-Marie Traonouez (FormaliSE@ICSE, 2013)

Beyond boolean product-line model checking: dealing with feature attributes and multi-features. - Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay (ICSE, 2013)

Efficient quality assurance of variability-intensive systems. - Patrick Heymans; Axel Legay; Maxime Cordy (ICSE, 2013)

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. - Uli Fahrenberg; Kim G. Larsen; Axel Legay (ICTAC Training School on Software Engineering, 2013)

Synthesizing distributed scheduling implementation for probabilistic component-based systems. - Saddek Bensalem; Axel Legay; Ayoub Nouri; Doron A. Peled (MEMOCODE, 2013)

Optimizing Control Strategy Using Statistical Model Checking. - Alexandre David; Dehui Du; Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis (NASA Formal Methods, 2013)

PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library. - Benoît Boyer; Kevin Corre; Axel Legay; Sean Sedwards (QEST, 2013)

Stochastic modeling and performance analysis of multimedia SoCs. - Balaji Raman 001; Ayoub Nouri; Deepak Gangadharan; Marius Bozga; Ananda Basu; Mayur Maheshwari; Axel Legay; Saddek Bensalem; Samarjit Chakraborty (ICSAMOS, 2013)

ProVeLines: a product line of verifiers for software product lines. - Maxime Cordy; Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Axel Legay (SPLC Workshops, 2013)

A Completion Algorithm for Lattice Tree Automata. - Thomas Genet; Tristan Le Gall; Axel Legay; Valérie Murat (CIAA, 2013)

Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach. - Alexandre Arnold; Benoît Boyer; Axel Legay (AiSoS, 2013)

Verification for Reliable Product Lines. - Maxime Cordy; Patrick Heymans; Pierre-Yves Schobbens; Amir Molzam Sharifloo; Carlo Ghezzi; Axel Legay (CoRR, 2013)

Lightweight Monte Carlo Algorithm for Markov Decision Processes. - Axel Legay; Sean Sedwards (CoRR, 2013)

SoS contract verification using statistical model checking. - Alessandro Mignogna; Leonardo Mangeruca; Benoît Boyer; Axel Legay; Alexandre Arnold (AiSoS, 2013)

Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091). - Paulo Borba; Myra B. Cohen; Axel Legay; Andrzej Wasowski (Dagstuhl Reports, 2013)

Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. - Alexandre David; Kim G. Larsen; Axel Legay; Danny Bøgsted Poulsen (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. - Uli Fahrenberg; Axel Legay (MFPS, 2013)

Weighted modal transition systems. - Sebastian S. Bauer; Uli Fahrenberg; Line Juhl; Kim G. Larsen; Axel Legay; Claus R. Thrane (Formal Methods Syst. Des., 2013)

Pushdown module checking with imperfect information. - Benjamin Aminof; Axel Legay; Aniello Murano; Olivier Serre; Moshe Y. Vardi (Inf. Comput., 2013)

Abstract Probabilistic Automata. - Benoît Delahaye; Joost-Pieter Katoen; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Falak Sher; Andrzej Wasowski (Inf. Comput., 2013)

Rigorous embedded design: challenges and perspectives. - Saddek Bensalem; Axel Legay; Marius Bozga (Int. J. Softw. Tools Technol. Transf., 2013)

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. - Andreas Classen; Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans; Axel Legay; Jean-François Raskin (IEEE Trans. Software Eng., 2013)

Model Checking Adaptive Software with Featured Transition Systems. - Maxime Cordy; Andreas Classen; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens (Assurances for Self-Adaptive Systems, 2013)

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. - Uli Fahrenberg; Kim G. Larsen; Axel Legay; Claus R. Thrane (Engineering Dependable Software Systems, 2013)

Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. - Alexandre David; Kim G. Larsen; Axel Legay; Guangyuan Li; Danny Bøgsted Poulsen (ACSD, 2014)

On Time with Minimal Expected Cost! - Alexandre David; Peter Gjøl Jensen; Kim Guldstrand Larsen; Axel Legay; Didier Lime; Mathias Grund Sørensen; Jakob Haahr Taankvist (ATVA, 2014)

Parametric and Quantitative Extensions of Modal Transition Systems. - Uli Fahrenberg; Kim Guldstrand Larsen; Axel Legay; Louis-Marie Traonouez (FPS@ETAPS, 2014)

Specification Theories for Probabilistic and Real-Time Systems. - Uli Fahrenberg; Axel Legay; Louis-Marie Traonouez (FPS@ETAPS, 2014)

Sound Merging and Differencing for Class Diagrams. - Uli Fahrenberg; Mathieu Acher; Axel Legay; Andrzej Wasowski (FASE, 2014)

Information Leakage of Non-Terminating Processes. - Fabrizio Biondi; Axel Legay; Bo Friis Nielsen; Pasquale Malacaria; Andrzej Wasowski (FSTTCS, 2014)

Heterogeneous Timed Machines. - Benoît Delahaye; José Luiz Fiadeiro; Axel Legay; Antónia Lopes (ICTAC, 2014)

Structural Refinement for the Modal nu-Calculus. - Uli Fahrenberg; Axel Legay; Louis-Marie Traonouez (ICTAC, 2014)

A Formalism for Stochastic Adaptive Systems. - Benoît Boyer; Axel Legay; Louis-Marie Traonouez (ISoLA (2), 2014)

Coverage Criteria for Behavioural Testing of Software Product Lines. - Xavier Devroey; Gilles Perrouin; Axel Legay; Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans (ISoLA (1), 2014)

An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking. - Cyrille Jégourel; Axel Legay; Sean Sedwards (ISoLA (2), 2014)

Statistical Model Checking Past, Present, and Future - (Track Introduction). - Kim Guldstrand Larsen; Axel Legay (ISoLA (2), 2014)

Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems. - Axel Legay; Sean Sedwards (ISoLA (1), 2014)

Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. - Stefan Naujokat; Louis-Marie Traonouez; Malte Isberner; Bernhard Steffen; Axel Legay (ISoLA (1), 2014)

Building faithful high-level models and performance evaluation of manycore embedded systems. - Ayoub Nouri; Marius Bozga; Anca Molnos; Axel Legay; Saddek Bensalem (MEMOCODE, 2014)

Configurable Formal Methods for Extreme Modeling. - Uli Fahrenberg; Axel Legay (XM@MoDELS, 2014)

Faster Statistical Model Checking by Means of Abstraction and Learning. - Ayoub Nouri; Balaji Raman 001; Marius Bozga; Axel Legay; Saddek Bensalem (RV, 2014)

Quantitative Anonymity Evaluation of Voting Protocols. - Fabrizio Biondi; Axel Legay (SEFM Workshops, 2014)

Scalable Verification of Markov Decision Processes. - Axel Legay; Sean Sedwards; Louis-Marie Traonouez (SEFM Workshops, 2014)

A variability perspective of mutation analysis. - Xavier Devroey; Gilles Perrouin; Maxime Cordy; Mike Papadakis; Axel Legay; Pierre-Yves Schobbens (SIGSOFT FSE, 2014)

Measuring Global Similarity Between Texts. - Uli Fahrenberg; Fabrizio Biondi; Kevin Corre; Cyrille Jégourel; Simon Kongshøj; Axel Legay (SLSP, 2014)

SPLat 2014: First International Workshop on Software Product Line Analysis Tools. - Axel Legay; Erik P. de Vink (SPLC, 2014)

On Statistical Model Checking with PLASMA. - Axel Legay; Sean Sedwards (TASE, 2014)

Towards statistical prioritization for software product lines testing. - Xavier Devroey; Gilles Perrouin; Maxime Cordy; Pierre-Yves Schobbens; Axel Legay; Patrick Heymans (VaMoS, 2014)

General quantitative specification theories with modal transition systems. - Uli Fahrenberg; Axel Legay (Acta Informatica, 2014)

State Machine Flattening: Mapping Study and Assessment. - Xavier Devroey; Gilles Perrouin; Maxime Cordy; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (CoRR, 2014)

Measuring Structural Distances between Texts. - Uli Fahrenberg; Fabrizio Biondi; Kevin Corre; Cyrille Jégourel; Simon Kongshøj; Axel Legay (CoRR, 2014)

Homotopy Bisimilarity for Higher-Dimensional Automata. - Uli Fahrenberg; Axel Legay (CoRR, 2014)

Lightweight Verification of Markov Decision Processes with Rewards. - Axel Legay; Sean Sedwards; Louis-Marie Traonouez (CoRR, 2014)

Dynamic Verification of SystemC with Statistical Model Checking. - Van Chan Ngo; Axel Legay; Jean Quilbeuf (CoRR, 2014)

Refinement and Difference for Probabilistic Automata - Benoît Delahaye; Uli Fahrenberg; Kim G. Larsen; Axel Legay (Log. Methods Comput. Sci., 2014)

Tropical Fourier-Motzkin elimination, with an application to real-time verification. - Xavier Allamigeon; Uli Fahrenberg; Stéphane Gaubert; Ricardo David Katz; Axel Legay (Int. J. Algebra Comput., 2014)

Maximizing entropy over Markov processes. - Fabrizio Biondi; Axel Legay; Bo Friis Nielsen; Andrzej Wasowski (J. Log. Algebraic Methods Program., 2014)

Stuttering for Abstract Probabilistic Automata. - Benoît Delahaye; Kim G. Larsen; Axel Legay (J. Log. Algebraic Methods Program., 2014)

A meta-theory for component interfaces with contracts on ports. - Sebastian S. Bauer; Rolf Hennicker; Axel Legay (Sci. Comput. Program., 2014)

A modal specification theory for components with data. - Sebastian S. Bauer; Kim G. Larsen; Axel Legay; Ulrik Nyman; Andrzej Wasowski (Sci. Comput. Program., 2014)

Formal semantics, modular specification, and symbolic verification of product-line behaviour. - Andreas Classen; Maxime Cordy; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens (Sci. Comput. Program., 2014)

The quantitative linear-time-branching-time spectrum. - Uli Fahrenberg; Axel Legay (Theor. Comput. Sci., 2014)

Robust synthesis for real-time systems. - Kim G. Larsen; Axel Legay; Louis-Marie Traonouez; Andrzej Wasowski (Theor. Comput. Sci., 2014)

Contributions to Statistical Model Checking. - Axel Legay (2015)

Partial Higher-dimensional Automata. - Ulrich Fahrenberg; Axel Legay (CALCO, 2015)

Modelling Social-Technical Attacks with Timed Automata. - Nicolas David 002; Alexandre David; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Mads Chr. Olesen; Christian W. Probst (MIST@CCS, 2015)

*-Continuous Kleene ω-Algebras. - Zoltán Ésik; Uli Fahrenberg; Axel Legay (DLT, 2015)

An omega-Algebra for Real-Time Energy Problems. - David Cachera; Uli Fahrenberg; Axel Legay (FSTTCS, 2015)

Statistical Model Checking of Simulink Models with Plasma Lab. - Axel Legay; Louis-Marie Traonouez (FTSCS, 2015)

Modeling and Verification for Probabilistic Properties in Software Product Lines. - Genaína Nunes Rodrigues; Vander Alves; Vinicius Nunes; André Lanna; Maxime Cordy; Pierre-Yves Schobbens; Amir Molzam Sharifloo; Axel Legay (HASE, 2015)

Resource-Parameterized Timing Analysis of Real-Time Systems. - Jin Hyun Kim; Axel Legay; Kim Guldstrand Larsen; Marius Mikucionis; Brian Nielsen (Haifa Verification Conference, 2015)

Measuring Behaviour Interactions between Product-Line Features. - Joanne M. Atlee; Uli Fahrenberg; Axel Legay (FormaliSE@ICSE, 2015)

State machine flattening, a mapping study and tools assessment. - Xavier Devroey; Maxime Cordy; Pierre-Yves Schobbens; Axel Legay; Patrick Heymans (ICST Workshops, 2015)

Merging Features in Featured Transition Systems. - Joanne M. Atlee; Sandy Beidu; Uli Fahrenberg; Axel Legay (MoDeVVa@MoDELS, 2015)

Comparative Analysis of Leakage Tools on Scalable Case Studies. - Fabrizio Biondi; Axel Legay; Jean Quilbeuf (SPIN, 2015)

Statistical analysis of probabilistic models of software product lines with quantitative constraints. - Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente; Andrea Vandin (SPLC, 2015)

SPLat 2015: Second International Workshop on Software Product Line Analysis Tools. - Gilles Perrouin; Axel Legay (SPLC, 2015)

Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. - Xavier Devroey; Gilles Perrouin; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (VaMoS, 2015)

Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. - Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente; Andrea Vandin (FMSPLE, 2015)

*-Continuous Kleene ω-Algebras for Energy Problems. - Zoltán Ésik; Uli Fahrenberg; Axel Legay (FICS, 2015)

On the Expressiveness of Joining. - Thomas Given-Wilson; Axel Legay (ICE, 2015)

Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers. - Cyrille Jégourel; Axel Legay; Sean Sedwards; Louis-Marie Traonouez (CoRR, 2015)

Dependability Analysis of Control Systems using SystemC and Statistical Model Checking. - Van Chan Ngo; Axel Legay; Jean Quilbeuf (CoRR, 2015)

Distributed Verification of Rare Properties using Importance Splitting Observers. - Cyrille Jégourel; Axel Legay; Sean Sedwards; Louis-Marie Traonouez (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Estimating Rewards & Rare Events in Nondeterministic Systems. - Axel Legay; Sean Sedwards; Louis-Marie Traonouez (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Verifying Systems-of-Systems with Statistical Model Checking. - Axel Legay; Jean Quilbeuf; Flávio Oquendo (ERCIM News, 2015)

Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL. - Flávio Oquendo; Axel Legay (ERCIM News, 2015)

GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems. - Flávio Oquendo; Axel Legay; Khalil Drira (ERCIM News, 2015)

Navigation assistance and guidance of older adults across complex public spaces: the DALi approach. - Luigi Palopoli 002; Antonis A. Argyros; Josef A. Birchbauer; Alessio Colombo; Daniele Fontanelli; Axel Legay; Andrea Garulli; Antonello Giannitrapani; David Macii; Federico Moro; Payam Nazemzadeh; Pashalis Padeleris; et al. (Intell. Serv. Robotics, 2015)

Efficient customisable dynamic motion planning for assistive robots in complex human environments. - Alessio Colombo; Daniele Fontanelli; Axel Legay; Luigi Palopoli 002; Sean Sedwards (J. Ambient Intell. Smart Environ., 2015)

Smart sampling for lightweight verification of Markov decision processes. - Pedro R. D'Argenio; Axel Legay; Sean Sedwards; Louis-Marie Traonouez (Int. J. Softw. Tools Technol. Transf., 2015)

Schedulability of Herschel revisited using statistical model checking. - Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis (Int. J. Softw. Tools Technol. Transf., 2015)

Uppaal SMC tutorial. - Alexandre David; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen (Int. J. Softw. Tools Technol. Transf., 2015)

Statistical model checking for biological systems. - Alexandre David; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Sean Sedwards (Int. J. Softw. Tools Technol. Transf., 2015)

Real-time specifications. - Alexandre David; Kim G. Larsen; Axel Legay; Ulrik Nyman; Louis-Marie Traonouez; Andrzej Wasowski (Int. J. Softw. Tools Technol. Transf., 2015)

Generating counterexamples of model-based software product lines. - João Bosco Ferreira Filho; Olivier Barais; Mathieu Acher; Jérôme Le Noir; Axel Legay; Benoit Baudry (Int. J. Softw. Tools Technol. Transf., 2015)

Statistical model checking: challenges and perspectives. - Axel Legay; Mahesh Viswanathan 001 (Int. J. Softw. Tools Technol. Transf., 2015)

Statistical model checking QoS properties of systems with SBIP. - Ayoub Nouri; Saddek Bensalem; Marius Bozga; Benoît Delahaye; Cyrille Jégourel; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2015)

Quantifying information leakage of randomized protocols. - Fabrizio Biondi; Axel Legay; Pasquale Malacaria; Andrzej Wasowski (Theor. Comput. Sci., 2015)

PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. - Van Chan Ngo; Axel Legay; Vania Joloboff (CAV (1), 2016)

A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. - Razika Lounas; Nisrine Jafri; Axel Legay; Mohamed Mezghiche; Jean-Louis Lanet (CRiSIS, 2016)

Ransomware and the Legacy Crypto API. - Aurélien Palisse; Hélène Le Bouder; Jean-Louis Lanet; Colas Le Guernic; Axel Legay (CRiSIS, 2016)

Statistical Model Checking of Dynamic Software Architectures. - Everton Cavalcante; Jean Quilbeuf; Louis-Marie Traonouez; Flávio Oquendo; Thaís Batista; Axel Legay (ECSA, 2016)

Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. - Yusuke Kawamoto 001; Fabrizio Biondi; Axel Legay (FM, 2016)

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 (FMICS-AVoCS, 2016)

Modelling Attack-defense Trees Using Timed Automata. - Olga Gadyatskaya; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Mads Chr. Olesen; Danny Bøgsted Poulsen (FORMATS, 2016)

Statistical Model Checking for SystemC Models. - Van Chan Ngo; Axel Legay; Jean Quilbeuf (HASE, 2016)

Featured model-based mutation analysis. - Xavier Devroey; Gilles Perrouin; Mike Papadakis; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (ICSE, 2016)

Featured model types: towards systematic reuse in modelling language engineering. - Gilles Perrouin; Moussa Amrani; Mathieu Acher; Benoît Combemale; Axel Legay; Pierre-Yves Schobbens (MiSE@ICSE, 2016)

A complexity tale: web configurators. - Gilles Perrouin; Mathieu Acher; Jean-Marc Davril; Axel Legay; Patrick Heymans (VACE@ICSE, 2016)

On the Expressiveness of Symmetric Communication. - Thomas Given-Wilson; Axel Legay (ICTAC, 2016)

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. - Pedro R. D'Argenio; Arnd Hartmanns; Axel Legay; Sean Sedwards (IFM, 2016)

Statistical Model Checking for Product Lines. - Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente; Andrea Vandin (ISoLA (1), 2016)

Security and Privacy of Protocols and Software with Formal Methods. - Fabrizio Biondi; Axel Legay (ISoLA (1), 2016)

Feedback Control for Statistical Model Checking of Cyber-Physical Systems. - Kenan Kalajdzic; Cyrille Jégourel; Anna Lukina; Ezio Bartocci; Axel Legay; Scott A. Smolka; Radu Grosu (ISoLA (1), 2016)

Statistical Model Checking: Past, Present, and Future. - Kim G. Larsen; Axel Legay (ISoLA (1), 2016)

On the Power of Statistical Model Checking. - Kim G. Larsen; Axel Legay (ISoLA (2), 2016)

Plasma Lab: A Modular Statistical Model Checking Platform. - Axel Legay; Sean Sedwards; Louis-Marie Traonouez (ISoLA (1), 2016)

A Logic for the Statistical Model Checking of Dynamic Software Architectures. - Jean Quilbeuf; Everton Cavalcante; Louis-Marie Traonouez; Flávio Oquendo; Thaís Batista; Axel Legay (ISoLA (1), 2016)

Rare Events for Statistical Model Checking an Overview. - Axel Legay; Sean Sedwards; Louis-Marie Traonouez (RP, 2016)

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 (SAC, 2016)

Counterexample guided abstraction refinement of product-line behavioural models. - Maxime Cordy; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens; Bruno Dawagne; Martin Leucker (Software Engineering, 2016)

Importance Sampling for Stochastic Timed Automata. - Cyrille Jégourel; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Sean Sedwards (SETTA, 2016)

Long-term average cost in featured transition systems. - Rafael Olaechea; Uli Fahrenberg; Joanne M. Atlee; Axel Legay (SPLC, 2016)

Search-based Similarity-driven Behavioural SPL Testing. - Xavier Devroey; Gilles Perrouin; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (VaMoS, 2016)

Performance Evaluation of Complex Systems Using the SBIP Framework. - Ayoub Nouri; Marius Bozga; Axel Legay; Saddek Bensalem (VECoS, 2016)

Bypassing Malware Obfuscation with Dynamic Synthesis. - Fabrizio Biondi; Sébastien Josse; Axel Legay (ERCIM News, 2016)

Vulnerability Prediction Against Fault Attacks. - Nisrine Jafri; Axel Legay; Jean-Louis Lanet (ERCIM News, 2016)

Statistical Model Checking with Change Detection. - Axel Legay; Louis-Marie Traonouez (LNCS Trans. Found. Mastering Chang., 2016)

Attainable unconditional security for shared-key cryptosystems. - Fabrizio Biondi; Thomas Given-Wilson; Axel Legay (Inf. Sci., 2016)

A tag contract framework for modeling heterogeneous systems. - Thi Thieu Hoa Le; Roberto Passerone; Ulrich Fahrenberg; Axel Legay (Sci. Comput. Program., 2016)

Optimizing the resource requirements of hierarchical scheduling systems. - Jin Hyun Kim; Axel Legay; Louis-Marie Traonouez; Abdeldjalil Boudjadar; Ulrik Nyman; Kim G. Larsen; Insup Lee 001; Jin-Young Choi (SIGBED Rev., 2016)

Component-based verification using incremental design and invariants. - Saddek Bensalem; Marius Bozga; Axel Legay; Thanh-Hung Nguyen; Joseph Sifakis; Rongjie Yan (Softw. Syst. Model., 2016)

Command-based importance sampling for statistical model checking. - Cyrille Jégourel; Axel Legay; Sean Sedwards (Theor. Comput. Sci., 2016)

Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. - Thi Thieu Hoa Le; Roberto Passerone; Uli Fahrenberg; Axel Legay (ACM Trans. Embed. Comput. Syst., 2016)

ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis. - Ayoub Nouri; Marius Bozga; Anca Molnos; Axel Legay; Saddek Bensalem (ACM Trans. Embed. Comput. Syst., 2016)

Climbing Down the Hierarchy: Hierarchical Classification for Machine Learning Side-Channel Attacks. - Stjepan Picek; Annelie Heuser; Alan Jovic; Axel Legay (AFRICACRYPT, 2017)

HyLeak: Hybrid Analysis Tool for Information Leakage. - Fabrizio Biondi; Yusuke Kawamoto 001; Axel Legay; Louis-Marie Traonouez (ATVA, 2017)

Compositional Testing of Real-Time Systems. - Kim G. Larsen; Axel Legay; Marius Mikucionis; Brian Nielsen; Ulrik Nyman (ModelEd, TestEd, TrustEd, 2017)

Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata. - René Rydhof Hansen; Peter Gjøl Jensen; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen (GraMSec@CSF, 2017)

Analyzing ambient assisted living solutions: A research perspective. - Ashalatha Kunnappilly; Axel Legay; Tiziana Margaria; Cristina Cerschi Seceleanu; Bernhard Steffen; Louis-Marie Traonouez (DTIS, 2017)

Information Leakage as a Scheduling Resource. - Fabrizio Biondi; Mounir Chadli; Thomas Given-Wilson; Axel Legay (FMICS-AVoCS, 2017)

Verification of Interlocking Systems Using Statistical Model Checking. - Quentin Cappart; Christophe Limbrée; Pierre Schaus; Jean Quilbeuf; Louis-Marie Traonouez; Axel Legay (HASE, 2017)

Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults. - Thomas Given-Wilson; Axel Legay; Sean Sedwards (HCI (22), 2017)

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. - Peter Gjøl Jensen; Kim Guldstrand Larsen; Axel Legay; Ulrik Nyman (ICECCS, 2017)

Featured Weighted Automata. - Uli Fahrenberg; Axel Legay (FormaliSE@ICSE, 2017)

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 (ICST, 2017)

Extensible Energy Planning Framework for Preemptive Tasks. - Jin Hyun Kim; Deepak Gangadharan; Oleg Sokolsky; Axel Legay; Insup Lee 001 (ISORC, 2017)

MASSE: Modular Automated Syntactic Signature Extraction. - Fabrizio Biondi; François Déchelle; Axel Legay (ISSRE Workshops, 2017)

Compatibility flooding: measuring interaction of services interfaces. - Meriem Ouederni; Uli Fahrenberg; Axel Legay; Gwen Salaün (SAC, 2017)

On Featured Transition Systems. - Axel Legay; Gilles Perrouin; Xavier Devroey; Maxime Cordy; Pierre-Yves Schobbens; Patrick Heymans (SOFSEM, 2017)

Practical controller synthesis for MTL0, ∞. - Guangyuan Li; Peter Gjøl Jensen; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen (SPIN, 2017)

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 (TrustCom/BigDataSE/ICESS, 2017)

On quantitative requirements for product lines. - Axel Legay; Gilles Perrouin (VaMoS, 2017)

How TrustZone Could Be Bypassed: Side-Channel Attacks on a Modern System-on-Chip. - Sébanjila Kevin Bukasa; Ronan Lashermes; Hélène Le Bouder; Jean-Louis Lanet; Axel Legay (WISTP, 2017)

An Algebraic Approach to Energy Problems I - *-Continuous Kleene ω-Algebras. - Zoltán Ésik; Uli Fahrenberg; Axel Legay; Karin Quaas (Acta Cybern., 2017)

An Algebraic Approach to Energy Problems II - The Algebra of Energy Functions. - Zoltán Ésik; Uli Fahrenberg; Axel Legay; Karin Quaas (Acta Cybern., 2017)

Effectiveness of synthesis in concolic deobfuscation. - Fabrizio Biondi; Sébastien Josse; Axel Legay; Thomas Sirvent (Comput. Secur., 2017)

An ω-Algebra for Real-Time Energy Problems. - David Cachera; Uli Fahrenberg; Axel Legay (CoRR, 2017)

The secrets of profiling for side-channel analysis: feature selection matters. - Stjepan Picek; Annelie Heuser; Alan Jovic; Lejla Batina; Axel Legay (IACR Cryptol. ePrint Arch., 2017)

Profiled SCA with a New Twist: Semi-supervised Learning. - Stjepan Picek; Annelie Heuser; Alan Jovic; Axel Legay; Karlo Knezevic (IACR Cryptol. ePrint Arch., 2017)

An Application of SMC to continuous validation of heterogeneous systems. - Alexandre Arnold; Massimo Baleani; Alberto Ferrari; Marco Marazza; Valerio Senni; Axel Legay; Jean Quilbeuf; Christoph Etzien (EAI Endorsed Trans. Ind. Networks Intell. Syst., 2017)

Statistical prioritization for software product line testing: an experience report. - Xavier Devroey; Gilles Perrouin; Maxime Cordy; Hamza Samih; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (Softw. Syst. Model., 2017)

From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. - Kim G. Larsen; Uli Fahrenberg; Axel Legay (Dependable Software Systems Engineering, 2017)

Physical Security Versus Masking Schemes. - Jean-Luc Danger; Sylvain Guilley; Annelie Heuser; Axel Legay; Ming Tang 002 (Cyber-Physical Systems Security, 2018)

Let's shock our IoT's heart: ARMv7-M under (fault) attacks. - Sébanjila Kevin Bukasa; Ronan Lashermes; Jean-Louis Lanet; Axel Legay (ARES, 2018)

S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. - Braham Lotfi Mediouni; Ayoub Nouri; Marius Bozga; Mahieddine Dellabani; Axel Legay; Saddek Bensalem (ATVA, 2018)

On the Expressiveness of Joining and Splitting. - Thomas Given-Wilson; Axel Legay (Models, Mindsets, Meta, 2018)

Statistical Model Checking of LLVM Code. - Axel Legay; Dirk Nowotka; Danny Bøgsted Poulsen; Louis-Marie Traonouez (FM, 2018)

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. - Andrea Vandin; Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente (FM, 2018)

A Modeling Language for Security Threats of IoT Systems. - Delphine Beaulaton; Ioana Cristescu; Axel Legay; Jean Quilbeuf (FMICS, 2018)

Trace checking for dynamic software product lines. - Rafael Olaechea; Joanne M. Atlee; Axel Legay; Uli Fahrenberg (SEAMS@ICSE, 2018)

Statistical Model Checking of Incomplete Stochastic Systems. - Shiraj Arora; Axel Legay; Tania Richmond; Louis-Marie Traonouez (ISoLA (2), 2018)

Tutorial: An Overview of Malware Detection and Evasion Techniques. - Fabrizio Biondi; Thomas Given-Wilson; Axel Legay; Cassius Puodzius; Jean Quilbeuf (ISoLA (1), 2018)

X-by-C: Non-functional Security Challenges. - Thomas Given-Wilson; Axel Legay (ISoLA (1), 2018)

Statistical Model Checking the 2018 Edition! - Kim Guldstrand Larsen; Axel Legay (ISoLA (2), 2018)

Mitigating Security Risks Through Attack Strategies Exploration. - Braham Lotfi Mediouni; Ayoub Nouri; Marius Bozga; Axel Legay; Saddek Bensalem (ISoLA (2), 2018)

Detection of Mirai by Syntactic and Behavioral Analysis. - Najah Ben Said; Fabrizio Biondi; Vesselin Bontchev; Olivier Decourbe; Thomas Given-Wilson; Axel Legay; Jean Quilbeuf (ISSRE, 2018)

On the Performance of Convolutional Neural Networks for Side-Channel Analysis. - Stjepan Picek; Ioannis Petros Samiotis; Jaehun Kim; Annelie Heuser; Shivam Bhasin; Axel Legay (SPACE, 2018)

A Language for Analyzing Security of IOT Systems. - Delphine Beaulaton; Najah Ben Said; Ioana Cristescu; Régis Fleurquin; Axel Legay; Jean Quilbeuf; Salah Sadou (SoSE, 2018)

Universal Optimality of Apollonian Cell Encoders. - Fabrizio Biondi; Thomas Given-Wilson; Axel Legay (TrustCom/BigDataSE, 2018)

Orchestration Synthesis for Real-Time Service Contracts. - Davide Basile 001; Maurice H. ter Beek; Axel Legay; Louis-Marie Traonouez (VECoS, 2018)

The State of Fault Injection Vulnerability Detection. - Thomas Given-Wilson; Nisrine Jafri; Axel Legay (VECoS, 2018)

Scalable Approximation of Quantitative Information Flow in Programs. - Fabrizio Biondi; Michael A. Enescu; Annelie Heuser; Axel Legay; Kuldeep S. Meel; Jean Quilbeuf (VMCAI, 2018)

On the Performance of Deep Learning for Side-channel Analysis. - Stjepan Picek; Ioannis Petros Samiotis; Annelie Heuser; Jaehun Kim; Shivam Bhasin; Axel Legay (IACR Cryptol. ePrint Arch., 2018)

Performance evaluation of stochastic real-time systems with the SBIP framework. - Ayoub Nouri; Braham Lotfi Mediouni; Marius Bozga; Jacques Combaz; Saddek Bensalem; Axel Legay (Int. J. Crit. Comput. Based Syst., 2018)

When time meets test. - Jean-Louis Lanet; Hélène Le Bouder; Mohammed Benattou; Axel Legay (Int. J. Inf. Sec., 2018)

Group abstraction for assisted navigation of social activities in intelligent environments. - Thomas Given-Wilson; Axel Legay; Sean Sedwards; Olivier Zendra (J. Reliab. Intell. Environ., 2018)

Model-based mutant equivalence detection using automata language equivalence and simulations. - Xavier Devroey; Gilles Perrouin; Mike Papadakis; Axel Legay; Pierre-Yves Schobbens; Patrick Heymans (J. Syst. Softw., 2018)

Dynamic networks of heterogeneous timed machines. - José Luiz Fiadeiro; Antónia Lopes; Benoît Delahaye; Axel Legay (Math. Struct. Comput. Sci., 2018)

Formal verification of probabilistic SystemC models with statistical model checking. - Van Chan Ngo; Axel Legay (J. Softw. Evol. Process., 2018)

Compositionality for quantitative specifications. - Uli Fahrenberg; Jan Kretínský; Axel Legay; Louis-Marie Traonouez (Soft Comput., 2018)

High-level frameworks for the specification and verification of scheduling problems. - Mounir Chadli; Jin Hyun Kim; Kim G. Larsen; Axel Legay; Stefan Naujokat; Bernhard Steffen; Louis-Marie Traonouez (Int. J. Softw. Tools Technol. Transf., 2018)

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. - Manfred Jaeger; Peter Gjøl Jensen; Kim Guldstrand Larsen; Axel Legay; Sean Sedwards; Jakob Haahr Taankvist (ATVA, 2019)

The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems. - Vladimir Janjic; Michael Vinov; Thomas Given-Wilson; Axel Legay; Euan Blackledge; R. Arredouani; George Stylianou; Wanting Huang; Juliana Küster Filipe Bowles; Andreas Francois Vermeulen; Agastya Silvina; Marios Belk; et al. (IEEE BigData, 2019)

A Decade of Featured Transition Systems. - Maxime Cordy; Xavier Devroey; Axel Legay; Gilles Perrouin; Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Jean-François Raskin (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. - Aleksandar S. Dimovski; Axel Legay; Andrzej Wasowski (FASE, 2019)

Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. - Davide Basile 001; Maurice H. ter Beek; Alessio Ferrari 001; Axel Legay (FMICS, 2019)

Towards sampling and simulation-based analysis of featured weighted automata. - Maxime Cordy; Axel Legay; Sami Lazreg; Philippe Collet (FormaliSE@ICSE, 2019)

Computing Branching Distances Using Quantitative Games. - Uli Fahrenberg; Axel Legay; Karin Quaas (ICTAC, 2019)

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 (IFM, 2019)

Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking. - Mathieu Barbier; Alessandro Renzaglia; Jean Quilbeuf; Lukas Rummelhard; Anshul Paigwar; Christian Laugier; Axel Legay; Javier Ibañez-Guzmán; Olivier Simonin 001 (IV, 2019)

Model Checking the IKEv2 Protocol Using Spin. - Tristan Ninet; Axel Legay; Romaric Maillard; Louis-Marie Traonouez; Olivier Zendra (PST, 2019)

Pluginizing QUIC. - Quentin De Coninck; François Michel; Maxime Piraux; Florentin Rochet; Thomas Given-Wilson; Axel Legay; Olivier Pereira; Olivier Bonaventure (SIGCOMM, 2019)

The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2. - Tristan Ninet; Axel Legay; Romaric Maillard; Louis-Marie Traonouez; Olivier Zendra (TrustCom/BigDataSE, 2019)

Quantitative Variability Modeling and Analysis. - Maurice H. ter Beek; Axel Legay (VaMoS, 2019)

Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn). - Sébastien Lugan; Paul Desbordes; Eliott Brion; Luis Xavier Ramos Tormo; Axel Legay; Benoît Macq (IEEE Access, 2019)

Effective, efficient, and robust packing detection and classification. - Fabrizio Biondi; Michael A. Enescu; Thomas Given-Wilson; Axel Legay; Lamine Noureddine; Vivek Verma (Comput. Secur., 2019)

An automated and scalable formal process for detecting fault injection vulnerabilities in binaries. - Thomas Given-Wilson; Annelie Heuser; Nisrine Jafri; Axel Legay (Concurr. Comput. Pract. Exp., 2019)

Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version). - Aleksandar S. Dimovski; Axel Legay; Andrzej Wasowski (CoRR, 2019)

Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn). - Sébastien Lugan; Paul Desbordes; Luis Xavier Ramos Tormo; Axel Legay; Benoît Macq (CoRR, 2019)

Hybrid statistical estimation of mutual information and its application to information flow. - Fabrizio Biondi; Yusuke Kawamoto 001; Axel Legay; Louis-Marie Traonouez (Formal Aspects Comput., 2019)

An ωω omega-Algebra for Real-Time Energy Problems. - David Cachera; Uli Fahrenberg; Axel Legay (Log. Methods Comput. Sci., 2019)

Quantitative variability modelling and analysis. - Maurice H. ter Beek; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2019)

Verification and abstraction of real-time variability-intensive systems. - Maxime Cordy; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2019)

Quantitative properties of featured automata. - Uli Fahrenberg; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2019)

Statistical Model Checking. - Axel Legay; Anna Lukina; Louis-Marie Traonouez; Junxing Yang; Scott A. Smolka; Radu Grosu (Computing and Software Science, 2019)

Supplementary material for "BADGraph: Quantitative Modeling and Analysis of Probabilistic Attack Scenarios". - Christian Bach; Christian Toftemann Bæk; Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente; Andrea Vandin (Zenodo, 2019)

Formalising fault injection and countermeasures. - Thomas Given-Wilson; Axel Legay (ARES, 2020)

Statistical Model Checking for Variability-Intensive Systems. - Maxime Cordy; Mike Papadakis; Axel Legay (FASE, 2020)

Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. - Aleksandar S. Dimovski; Axel Legay (FASE, 2020)

Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. - Davide Basile 001; Maurice H. ter Beek; Axel Legay (FORTE, 2020)

Building User Trust of Critical Digital Technologies. - Thomas Given-Wilson; Eduard Baranov; Axel Legay (ICIT, 2020)

Improving Secure and Robust Patient Service Delivery. - Eduard Baranov; Thomas Given-Wilson; Axel Legay (ISoLA (1), 2020)

X-by-Construction - Correctness Meets Probability. - Maurice H. ter Beek; Loek Cleophas; Axel Legay; Ina Schaefer; Bruce W. Watson (ISoLA (1), 2020)

Behavioral Specification Theories: An Algebraic Taxonomy. - Uli Fahrenberg; Axel Legay (ISoLA (1), 2020)

30 Years of Statistical Model Checking. - Kim G. Larsen; Axel Legay (ISoLA (1), 2020)

Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking. - Anshul Paigwar; Eduard Baranov; Alessandro Renzaglia; Christian Laugier; Axel Legay (IV, 2020)

My House, My Rules: A Private-by-Design Smart Home Platform. - Igor Zavalyshyn; Nuno Santos 001; Ramin Sadre; Axel Legay (MobiQuitous, 2020)

Baital: an adaptive weighted sampling approach for improved t-wise coverage. - Eduard Baranov; Axel Legay; Kuldeep S. Meel (ESEC/SIGSOFT FSE, 2020)

Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. - Davide Basile 001; Maurice H. ter Beek; Maxime Cordy; Axel Legay (SPLC (A), 2020)

Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software. - Igor Zavalyshyn; Thomas Given-Wilson; Axel Legay; Ramin Sadre (SSS, 2020)

Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications. - Eduardo Gomes; Igor Zavalyshyn; Nuno Santos 001; João Silva; Axel Legay (TrustCom, 2020)

Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. - Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente; Andrea Vandin (VaMoS, 2020)

Optimizing symbolic execution for malware behavior classification. - Stefano Sebastio; Eduard Baranov; Fabrizio Biondi; Olivier Decourbe; Thomas Given-Wilson; Axel Legay; Cassius Puodzius; Jean Quilbeuf (Comput. Secur., 2020)

Automatic Verification of LLVM Code. - Axel Legay; Dirk Nowotka; Danny Bøgsted Poulsen (CoRR, 2020)

A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version). - Aleksandar S. Dimovski; Sven Apel; Axel Legay (CoRR, 2020)

Logical vs. behavioural specifications. - Nikola Benes; Uli Fahrenberg; Jan Kretínský; Axel Legay; Louis-Marie Traonouez (Inf. Comput., 2020)

Timed service contract automata. - Davide Basile 001; Maurice H. ter Beek; Axel Legay (Innov. Syst. Softw. Eng., 2020)

Combined software and hardware fault injection vulnerability detection. - Thomas Given-Wilson; Nisrine Jafri; Axel Legay (Innov. Syst. Softw. Eng., 2020)

A linear-time-branching-time spectrum for behavioral specification theories. - Uli Fahrenberg; Axel Legay (J. Log. Algebraic Methods Program., 2020)

Controller synthesis of service contracts with variability. - Davide Basile 001; Maurice H. ter Beek; Pierpaolo Degano; Axel Legay; Gian-Luigi Ferrari 002; Stefania Gnesi; Felicita Di Giandomenico (Sci. Comput. Program., 2020)

Introduction to the special issue for SPIN 2019. - Fabrizio Biondi; Thomas Given-Wilson; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2020)

Expressiveness of concurrent intensionality. - Ioana Cristescu; Thomas Given-Wilson; Axel Legay (Theor. Comput. Sci., 2020)

Generalized abstraction-refinement for game-based CTL lifted model checking. - Aleksandar S. Dimovski; Axel Legay; Andrzej Wasowski (Theor. Comput. Sci., 2020)

Computing branching distances with quantitative games. - Uli Fahrenberg; Axel Legay; Karin Quaas (Theor. Comput. Sci., 2020)

A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. - Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente; Andrea Vandin (IEEE Trans. Software Eng., 2020)

Verifying QUIC implementations using Ivy. - Christophe Crochet; Tom Rousseaux; Maxime Piraux; Jean-François Sambon; Axel Legay (EPIQ@CoNEXT, 2021)

A Secure User-Centred Healthcare System: Design and Verification. - Eduard Baranov; Juliana Bowles; Thomas Given-Wilson; Axel Legay; Thais Webber (DataMod, 2021)

A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features. - Aleksandar S. Dimovski; Sven Apel; Axel Legay (FASE, 2021)

Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. - Davide Basile 001; Maurice H. ter Beek; Pierpaolo Degano; Axel Legay; Gian-Luigi Ferrari 002; Stefania Gnesi; Felicita Di Giandomenico (FORTE, 2021)

Controlling Security Rules Using Natural Dialogue: an Application to Smart Home Care. - Stanley Goffinet; Donatien Schmitz; Igor Zavalyshyn; Axel Legay; Etienne Rivière (UbiComp/ISWC Adjunct, 2021)

Smart Home Care: Towards Supporting Elderlies in the Comfort and Safety of their (Smart) Homes. - Igor Zavalyshyn; Axel Legay; Annanda Rath; Etienne Rivière (LADC, 2021)

Program Sketching Using Lifted Analysis for Numerical Program Families. - Aleksandar S. Dimovski; Sven Apel; Axel Legay (NFM, 2021)

Unsupervised behavioural mining and clustering for malware family identification. - Khanh-Huu-The Dam; Thomas Given-Wilson; Axel Legay (SAC, 2021)

Implementing the plugin distribution system. - Nicolas Rybowski; Quentin De Coninck; Tom Rousseaux; Axel Legay; Olivier Bonaventure (SIGCOMM Posters and Demos, 2021)

C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs. - Antoine Chenoy; Fabien Duchene 001; Thomas Given-Wilson; Axel Legay (SPIN, 2021)

Chaos Duck: A Tool for Automatic IoT Software Fault-Tolerance Analysis. - Igor Zavalyshyn; Thomas Given-Wilson; Axel Legay; Ramin Sadre; Etienne Rivière (SRDS, 2021)

OpenPosLib: A Library to Achieve Centimetric Geo-Spatial Positioning on a Budget. - Lionel Metongnon; Sébastien Strebelle; Fabien Duchene 001; Axel Legay; Ramin Sadre (IEEE Access, 2021)

Quantitative Security Risk Modeling and Analysis with RisQFLan. - Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente; Andrea Vandin (Comput. Secur., 2021)

Analysis of Machine Learning Approaches to Packing Detection. - Charles-Henry Bertrand Van Ouytsel; Thomas Given-Wilson; Jeremy Minet; Julian Roussieau; Axel Legay (CoRR, 2021)

Analysis of Source Code Using UPPAAL. - Mitja Kulczynski; Axel Legay; Dirk Nowotka; Danny Bøgsted Poulsen (F-IDE@NFM, 2021)

Test Scenario Generation for Context-Oriented Programs. - Pierre Martou; Kim Mens; Benoît Duhoux; Axel Legay (CoRR, 2021)

Optimal measurement budget allocation for Kalman prediction over a finite time horizon by genetic algorithms. - Antoine Aspeel; Axel Legay; Raphaël M. Jungers; Benoît Macq (EURASIP J. Adv. Signal Process., 2021)

Statistical model checking for variability-intensive systems: applications to bug detection and minimization. - Maxime Cordy; Sami Lazreg; Mike Papadakis; Axel Legay (Formal Aspects Comput., 2021)

ADTLang: a programming language approach to attack defense trees. - René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Peter Gjøl Jensen; Danny Bøgsted Poulsen (Int. J. Softw. Tools Technol. Transf., 2021)

Masterminding change by combining secure system design with security risk assessment. - Florian Kammüller; Axel Legay; Stefano Schivo (Int. J. Softw. Tools Technol. Transf., 2021)

Symbolic analysis meets federated learning to enhance malware identifier. - Charles-Henry Bertrand Van Ouytsel; Khanh-Huu-The Dam; Axel Legay (ARES, 2022)

CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems. - Valeria Trombetta; Maxime Cordy; Enrico Tronci; Axel Legay (CPS Summer School, PhD Workshop, 2022)

Tool Paper - SEMA: Symbolic Execution Toolchain for Malware Analysis. - Charles-Henry Bertrand Van Ouytsel; Christophe Crochet; Khanh-Huu-The Dam; Axel Legay (CRiSIS, 2022)

Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study. - Pierre Martou; Kim Mens; Benoît Duhoux; Axel Legay (COP@ECOOP, 2022)

Product Incremental Security Risk Assessment Using DevSecOps Practices. - Sébastien Dupont; Artsiom Yautsiukhin; Guillaume Ginis; Giacomo Iadarola; Stefano Fagnano; Fabio Martinelli; Christophe Ponsard; Axel Legay; Philippe Massonet (CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS, 2022)

User Reception of Babylon Health's Chatbot. - Daniela Azevedo; Axel Legay; Suzanne Kieffer (VISIGRAPP (2: HUCAPP), 2022)

A Scalable t-wise Coverage Estimator. - Eduard Baranov; Sourav Chakraborty 001; Axel Legay; Kuldeep S. Meel; N. Variyam Vinodchandran (ICSE, 2022)

Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept. - Khanh-Huu-The Dam; Fabien Duchene 001; Thomas Given-Wilson; Maxime Cordy; Axel Legay (ISoLA (1), 2022)

Importance Splitting in Uppaal. - Kim Guldstrand Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen (ISoLA (3), 2022)

Formal Methods Meet Machine Learning (F3ML). - Kim G. Larsen; Axel Legay; Gerrit Nolte; Maximilian Schlüter; Mariëlle Stoelinga; Bernhard Steffen (ISoLA (3), 2022)

Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. - Sami Lazreg; Maxime Cordy; Axel Legay (ISoLA (3), 2022)

Malware Analysis with Symbolic Execution and Graph Kernel. - Charles-Henry Bertrand Van Ouytsel; Axel Legay (NordSec, 2022)

Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. - Shiraj Arora; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen (SPIN, 2022)

Baital: an adaptive weighted sampling platform for configurable systems. - Eduard Baranov; Axel Legay (SPLC (B), 2022)

Packer classification based on association rule mining. - Khanh-Huu-The Dam; Thomas Given-Wilson; Axel Legay; Rosana Veroneze (Appl. Soft Comput., 2022)

Static detection of equivalent mutants in real-time model-based mutation testing. - Davide Basile 001; Maurice H. ter Beek; Sami Lazreg; Maxime Cordy; Axel Legay (Empir. Softw. Eng., 2022)

Sequential Relational Decomposition. - Dror Fried; Axel Legay; Joël Ouaknine; Moshe Y. Vardi (Log. Methods Comput. Sci., 2022)

SoK: Privacy-enhancing Smart Home Hubs. - Igor Zavalyshyn; Axel Legay; Annanda Rath; Etienne Rivière (Proc. Priv. Enhancing Technol., 2022)

Several lifted abstract domains for static analysis of numerical program families. - Aleksandar S. Dimovski; Sven Apel; Axel Legay (Sci. Comput. Program., 2022)

Featured games. - Uli Fahrenberg; Axel Legay (Sci. Comput. Program., 2022)

Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. - Davide Basile 001; Maurice H. ter Beek; Alessio Ferrari 001; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2022)

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017. - Axel Legay; Tiziana Margaria (Int. J. Softw. Tools Technol. Transf., 2022)

Mitigate Data Poisoning Attack by Partially Federated Learning. - Khanh-Huu-The Dam; Axel Legay (ARES, 2023)

Lightweight Verification of Hyperproperties. - Oyendrila Dobe; Stefan Schupp; Ezio Bartocci; Borzoo Bonakdarpour; Axel Legay; Miroslav Pajic; Yu Wang 044 (ATVA, 2023)

Métriques d'équité en Apprentissage Automatique et droit de l'Union Europénne en matière de non-discrimination. - Magali Legast; Yasaman Yousefi; Lisa Koutsoviti Koumeri; Axel Legay; Christoph Schommer; Koen Vanhoof (CNIA, 2023)

Experimental Toolkit for Manipulating Executable Packing. - Alexandre D'Hondt; Charles-Henry Bertrand Van Ouytsel; Axel Legay (CRiSIS, 2023)

Compatibility of Fairness Metrics With EU Non-Discrimination Law: A Legal and Technical Case Study. - Yasaman Yousefi; Lisa Koutsoviti Koumeri; Magali Legast; Christoph Schommer; Koen Vanhoof; Axel Legay (EWAF, 2023)

Refinement of Systems with an Attacker Focus. - Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen (FMICS, 2023)

On Exploiting Symbolic Execution to Improve the Analysis of RAT Samples with angr. - Serena Lucca; Christophe Crochet; Charles-Henry Bertrand Van Ouytsel; Axel Legay (FPS (1), 2023)

Beyond Combinatorial Interaction Testing: On the need for transition testing in dynamically adaptive context-aware systems. - Pierre Martou; Benoît Duhoux; Kim Mens; Axel Legay (ICSTW, 2023)

xBGP: Faster Innovation in Routing Protocols. - Thomas Wirtgen; Tom Rousseaux; Quentin De Coninck; Nicolas Rybowski; Randy Bush; Laurent Vanbever; Axel Legay; Olivier Bonaventure (NSDI, 2023)

Assistance in the management of rule sets for rule-based expert systems (S). - Magali Legast; Axel Legay (SEKE, 2023)

Towards Strengthening Formal Specifications with Mutation Model Checking. - Maxime Cordy; Sami Lazreg; Axel Legay; Pierre-Yves Schobbens (ESEC/SIGSOFT FSE, 2023)

Family-based model checking of fMultiLTL properties. - Aleksandar S. Dimovski; Sami Lazreg; Maxime Cordy; Axel Legay (SPLC (A), 2023)

Optimized Smart Sampling. - Maxime Parmentier; Axel Legay; Firmin Chenoy (AISoLA, 2023)

Timed I/O Automata: It is never too late to complete your timed specification theory. - Martijn A. Goorden; Kim G. Larsen; Axel Legay; Florian Lorber; Ulrik Nyman; Andrzej Wasowski (CoRR, 2023)

Compatibility of Fairness Metrics with EU Non-Discrimination Laws: Demographic Parity & Conditional Demographic Disparity. - Lisa Koutsoviti Koumeri; Magali Legast; Yasaman Yousefi; Koen Vanhoof; Axel Legay; Christoph Schommer (CoRR, 2023)

Design, Validate, Implement, and Validate: From Dreaming Approaches to Realities. - Axel Legay (IT Prof., 2023)

Test scenario generation for feature-based context-oriented software systems. - Pierre Martou; Kim Mens; Benoît Duhoux; Axel Legay (J. Syst. Softw., 2023)

Automated Vulnerability Detection in Smart Contracts using Control Flow Graphs and Machine Learning. - Charles Lohest; Samy Bettaieb; Axel Legay (ACSAC Workshops, 2024)

Highlighting the Impact of Packed Executable Alterations with Unsupervised Learning. - Alexandre D'Hondt; Charles-Henry Bertrand Van Ouytsel; Axel Legay (CRiSIS, 2024)

Extended Abstract: Evading Packing Detection: Breaking Heuristic-Based Static Detectors. - Alexandre D'Hondt; Charles-Henry Bertrand Van Ouytsel; Axel Legay (DIMVA, 2024)

Exploration of Potential New Benchmark for Fairness Evaluation in Europe. - Magali Legast; Lisa Koutsoviti Koumeri; Yasaman Yousefi; Axel Legay (EWAF, 2024)

Fuzzing an Industrial Proprietary Protocol. - Eduard Baranov; Axel Legay; Martin Vivian (FMICS, 2024)

Network Simulator-Centric Compositional Testing. - Tom Rousseaux; Christophe Crochet; John O. R. Aoga; Axel Legay (FORTE, 2024)

With or Without U(sers): A Journey to Integrate UX Activities in Cybersecurity. - Daniela Azevedo; Justine Ramelot; Axel Legay; Suzanne Kieffer (HCI (45), 2024)

Bridging Disciplinary Boundaries: Integrating XR in Communication Sciences Master's Programs. - Suzanne Kieffer; Sebastien Nahon; Damien Renard; Axel Legay (HCI (41), 2024)

Toward interdisciplinary practice and increased social ROI: a case study on downstream effects of integrating UX in cyber system design. - Justine Ramelot; Daniela Azevedo; Axel Legay; Suzanne Kieffer (HICSS, 2024)

Secure federated learning applied to medical imaging with fully homomorphic encryption. - Xavier Lessage; Leandro Collier; Charles-Henry Bertrand Van Ouytsel; Axel Legay; Saïd Mahmoudi; Philippe Massonet (ICAIC, 2024)

Daedalux: An Extensible Platform for Variability-Aware Model Checking. - Sami Lazreg; Maxime Cordy; Simon Thrane Hansen; Axel Legay (ICSE Companion, 2024)

Improving security analysis rule set by relationship identification. - Charles Lohest; Axel Legay (ICSTW, 2024)

A vision on a methodology for the application of an Intrusion Detection System for satellites. - Sébastien Gios; Charles-Henry Bertrand Van Ouytsel; Mark Diamantino Caribé; Axel Legay (ASE, 2024)

Ensuring Data Security and Annotators Anonymity Through a Secure and Anonymous Multiparty Annotation System. - Dany Rimez; Axel Legay; Benoît Macq (NiDS, 2024)

Avoiding "Hot Potato" Problems in Internet Service Providers. - Khanh-Huu-The Dam; Gorby Kabasele Ndonda; Axel Legay; Ramin Sadre (NOMS, 2024)

Formally Discovering and Reproducing Network Protocols Vulnerabilities. - Christophe Crochet; John O. R. Aoga; Axel Legay (NordSec, 2024)

Combinatorial Transition Testing in Dynamically Adaptive Systems. - Pierre Martou; Benoît Duhoux; Kim Mens; Axel Legay (VaMoS, 2024)

Statistical Analysis of the Impact of Bit-Flips in Security Critical Code. - Tobias Worm Bøgedal; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen (AISoLA, 2024)

Adaptive Stopping Algorithms Based on Concentration Inequalities. - Maxime Parmentier; Axel Legay (AISoLA, 2024)

Feature selection for packer classification based on association rule mining. - Rosana Veroneze; Charles-Henry Bertrand Van Ouytsel; Khanh-Huu-The Dam; Axel Legay (Eng. Appl. Artif. Intell., 2024)

Analysis of machine learning approaches to packing detection. - Charles-Henry Bertrand Van Ouytsel; Khanh-Huu-The Dam; Axel Legay (Comput. Secur., 2024)

A Scalable $t$t-Wise Coverage Estimator: Algorithms and Applications. - Eduard Baranov; Sourav Chakraborty 001; Axel Legay; Kuldeep S. Meel; N. Variyam Vinodchandran (IEEE Trans. Software Eng., 2024)

Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions. - Rong Gu; Eduard Baranov; Afshin Ameri; Cristina Seceleanu; Eduard Paul Enoiu; Baran Çürüklü; Axel Legay; Kristina Lundqvist (ACM Trans. Softw. Eng. Methodol., 2024)

Assessing Static and Dynamic Features for Packing Detection. - Charles-Henry Bertrand Van Ouytsel; Axel Legay; Serena Lucca; Dimitri Wauters (The Combined Power of Research, Education, and Dissemination, 2025)

Local-First Smart Home Applications with HubOS. - Igor Zavalvshyn; Axel Legay; Annanda Rath; Etienne Rivière (EDCC, 2025)

Integrating Gamification, Recommender System, and Chatbot in Cybersecurity Training: A User-Centered Approach for Enhanced Engagement and Motivation. - Ling Leung; Benoît Duhoux; Axel Legay; Suzanne Kieffer (HCI (49), 2025)

Testing Tool for Combinatorial Transition Testing in Dynamically Adaptive Software Systems. - Pierre Martou; Benoît Duhoux; Kim Mens; Axel Legay (ICSTW, 2025)

Combinatorial transition testing in dynamically adaptive systems: Implementation and test oracle. - Pierre Martou; Benoît Duhoux; Kim Mens; Axel Legay (J. Syst. Softw., 2025)

Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures. - Leonardo Picchiami; Maxime Parmentier; Axel Legay; Toni Mancini; Enrico Tronci (J. Syst. Softw., 2025)

Baital: Sampling configurable systems with high t-wise coverage. - Eduard Baranov; Axel Legay (Sci. Comput. Program., 2025)

PANTHER: Pluginizable Testing Environment for Network Protocols. - Christophe Crochet; John O. R. Aoga; Axel Legay (CoRR, 2025)