Axel Legay - RankMe

514 papers A* 16A 9B 53C 42Misc 16Journal 174Unranked 187

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	PANTHER: Pluginizable testing environment for network protocols. Sci. Comput. Program. Christophe Crochet, John O. R. Aoga, Axel Legay
2025	—	`conf`	A Unified Comparison of Tabular and Graph-Based Feature Representations in Machine Learning for Malware Detection. EuroS&P (Workshops) Samy Bettaieb, Serena Lucca, Charles-Henry Bertrand Van Ouytsel, Axel Legay, Etienne Rivière
2025	—	`conf`	Assessing Static and Dynamic Features for Packing Detection. The Combined Power of Research, Education, and Dissemination Charles-Henry Bertrand Van Ouytsel, Axel Legay, Serena Lucca, Dimitri Wauters
2025	J	`jnl`	Baital: Sampling configurable systems with high t-wise coverage. Sci. Comput. Program. Eduard Baranov, Axel Legay
2025	J	`jnl`	Combinatorial transition testing in dynamically adaptive systems: Implementation and test oracle. J. Syst. Softw. Pierre Martou, Benoît Duhoux, Kim Mens, Axel Legay
2025	J	`jnl`	Formally Discovering and Reproducing Network Protocols Vulnerabilities. CoRR Christophe Crochet, John O. R. Aoga, Axel Legay
2025	—	`conf`	Integrating Gamification, Recommender System, and Chatbot in Cybersecurity Training: A User-Centered Approach for Enhanced Engagement and Motivation. HCI (49) Ling Leung, Benoît Duhoux, Axel Legay, Suzanne Kieffer
2025	Misc	`conf`	Local-First Smart Home Applications with HubOS. EDCC Igor Zavalvshyn, Axel Legay, Annanda Rath, Etienne Rivière
2025	J	`jnl`	Network Simulator-centric Compositional Testing. CoRR Tom Rousseaux, Christophe Crochet, John O. R. Aoga, Axel Legay
2025	J	`jnl`	PANTHER: Pluginizable Testing Environment for Network Protocols. CoRR Christophe Crochet, John O. R. Aoga, Axel Legay
2025	J	`jnl`	Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures. J. Syst. Softw. Leonardo Picchiami, Maxime Parmentier, Axel Legay, Toni Mancini, Enrico Tronci
2025	—	`conf`	Testing Tool for Combinatorial Transition Testing in Dynamically Adaptive Software Systems. ICSTW Pierre Martou, Benoît Duhoux, Kim Mens, Axel Legay
2025	J	`jnl`	Verifying QUIC implementations using Ivy. CoRR Christophe Crochet, Tom Rousseaux, Jean-François Sambon, Maxime Piraux, Axel Legay
2024	J	`jnl`	A Scalable $t$t-Wise Coverage Estimator: Algorithms and Applications. IEEE Trans. Software Eng. Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran
2024	A*	`conf`	A vision on a methodology for the application of an Intrusion Detection System for satellites. ASE Sébastien Gios, Charles-Henry Bertrand Van Ouytsel, Mark Diamantino Caribé, Axel Legay
2024	—	`conf`	Adaptive Stopping Algorithms Based on Concentration Inequalities. AISoLA Maxime Parmentier, Axel Legay
2024	J	`jnl`	Analysis of machine learning approaches to packing detection. Comput. Secur. Charles-Henry Bertrand Van Ouytsel, Khanh-Huu-The Dam, Axel Legay
2024	—	`conf`	Automated Vulnerability Detection in Smart Contracts using Control Flow Graphs and Machine Learning. ACSAC Workshops Charles Lohest, Samy Bettaieb, Axel Legay
2024	B	`conf`	Avoiding "Hot Potato" Problems in Internet Service Providers. NOMS Khanh-Huu-The Dam, Gorby Kabasele Ndonda, Axel Legay, Ramin Sadre
2024	—	`conf`	Bridging Disciplinary Boundaries: Integrating XR in Communication Sciences Master's Programs. HCI (41) Suzanne Kieffer, Sebastien Nahon, Damien Renard, Axel Legay
2024	—	`conf`	Combinatorial Transition Testing in Dynamically Adaptive Systems. VaMoS Pierre Martou, Benoît Duhoux, Kim Mens, Axel Legay
2024	—	`conf`	Daedalux: An Extensible Platform for Variability-Aware Model Checking. ICSE Companion Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay
2024	—	`conf`	Ensuring Data Security and Annotators Anonymity Through a Secure and Anonymous Multiparty Annotation System. NiDS Dany Rimez, Axel Legay, Benoît Macq
2024	—	`conf`	Exploration of Potential New Benchmark for Fairness Evaluation in Europe. EWAF Magali Legast, Lisa Koutsoviti Koumeri, Yasaman Yousefi, Axel Legay
2024	B	`conf`	Extended Abstract: Evading Packing Detection: Breaking Heuristic-Based Static Detectors. DIMVA Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay
2024	J	`jnl`	Feature selection for packer classification based on association rule mining. Eng. Appl. Artif. Intell. Rosana Veroneze, Charles-Henry Bertrand Van Ouytsel, Khanh-Huu-The Dam, Axel Legay
2024	—	`conf`	Formally Discovering and Reproducing Network Protocols Vulnerabilities. NordSec Christophe Crochet, John O. R. Aoga, Axel Legay
2024	C	`conf`	Fuzzing an Industrial Proprietary Protocol. FMICS Eduard Baranov, Axel Legay, Martin Vivian
2024	C	`conf`	Highlighting the Impact of Packed Executable Alterations with Unsupervised Learning. CRiSIS Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay
2024	—	`conf`	Improving security analysis rule set by relationship identification. ICSTW Charles Lohest, Axel Legay
2024	C	`conf`	Network Simulator-Centric Compositional Testing. FORTE Tom Rousseaux, Christophe Crochet, John O. R. Aoga, Axel Legay
2024	—	`conf`	Secure federated learning applied to medical imaging with fully homomorphic encryption. ICAIC Xavier Lessage, Leandro Collier, Charles-Henry Bertrand Van Ouytsel, Axel Legay, Saïd Mahmoudi, Philippe Massonet
2024	—	`conf`	Statistical Analysis of the Impact of Bit-Flips in Security Critical Code. AISoLA Tobias Worm Bøgedal, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
2024	J	`jnl`	Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions. ACM Trans. Softw. Eng. Methodol. Rong Gu, Eduard Baranov, Afshin Ameri, Cristina Seceleanu, Eduard Paul Enoiu, Baran Çürüklü, Axel Legay, Kristina Lundqvist
2024	—	`conf`	Toward interdisciplinary practice and increased social ROI: a case study on downstream effects of integrating UX in cyber system design. HICSS Justine Ramelot, Daniela Azevedo, Axel Legay, Suzanne Kieffer
2024	—	`conf`	With or Without U(sers): A Journey to Integrate UX Activities in Cybersecurity. HCI (45) Daniela Azevedo, Justine Ramelot, Axel Legay, Suzanne Kieffer
2023	C	`conf`	Assistance in the management of rule sets for rule-based expert systems (S). SEKE Magali Legast, Axel Legay
2023	—	`conf`	Beyond Combinatorial Interaction Testing: On the need for transition testing in dynamically adaptive context-aware systems. ICSTW Pierre Martou, Benoît Duhoux, Kim Mens, Axel Legay
2023	—	`conf`	Compatibility of Fairness Metrics With EU Non-Discrimination Law: A Legal and Technical Case Study. EWAF Yasaman Yousefi, Lisa Koutsoviti Koumeri, Magali Legast, Christoph Schommer, Koen Vanhoof, Axel Legay
2023	J	`jnl`	Compatibility of Fairness Metrics with EU Non-Discrimination Laws: Demographic Parity & Conditional Demographic Disparity. CoRR Lisa Koutsoviti Koumeri, Magali Legast, Yasaman Yousefi, Koen Vanhoof, Axel Legay, Christoph Schommer
2023	J	`jnl`	Design, Validate, Implement, and Validate: From Dreaming Approaches to Realities. IT Prof. Axel Legay
2023	C	`conf`	Experimental Toolkit for Manipulating Executable Packing. CRiSIS Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay
2023	J	`jnl`	Experimental Toolkit for Manipulating Executable Packing. CoRR Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay
2023	—	`conf`	Family-based model checking of fMultiLTL properties. SPLC (A) Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay
2023	B	`conf`	Lightweight Verification of Hyperproperties. ATVA Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang
2023	B	`conf`	Mitigate Data Poisoning Attack by Partially Federated Learning. ARES Khanh-Huu-The Dam, Axel Legay
2023	—	`conf`	Métriques d'équité en Apprentissage Automatique et droit de l'Union Europénne en matière de non-discrimination. CNIA Magali Legast, Yasaman Yousefi, Lisa Koutsoviti Koumeri, Axel Legay, Christoph Schommer, Koen Vanhoof
2023	—	`conf`	On Exploiting Symbolic Execution to Improve the Analysis of RAT Samples with angr. FPS (1) Serena Lucca, Christophe Crochet, Charles-Henry Bertrand Van Ouytsel, Axel Legay
2023	—	`conf`	Optimized Smart Sampling. AISoLA Maxime Parmentier, Axel Legay, Firmin Chenoy
2023	C	`conf`	Refinement of Systems with an Attacker Focus. FMICS Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
2023	—	`conf`	Test Scenario Generation for Feature-Based Context-Oriented Software Systems. SPLC (A) Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay
2023	J	`jnl`	Test scenario generation for feature-based context-oriented software systems. J. Syst. Softw. Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay
2023	J	`jnl`	Timed I/O Automata: It is never too late to complete your timed specification theory. CoRR Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski
2023	—	`conf`	Towards Strengthening Formal Specifications with Mutation Model Checking. ESEC/SIGSOFT FSE Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens
2023	Misc	`conf`	xBGP: Faster Innovation in Routing Protocols. NSDI Thomas Wirtgen, Tom Rousseaux, Quentin De Coninck, Nicolas Rybowski, Randy Bush, Laurent Vanbever, Axel Legay, Olivier Bonaventure
2022	A*	`conf`	A Scalable t-wise Coverage Estimator. ICSE Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran
2022	—	`conf`	Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept. ISoLA (1) Khanh-Huu-The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay
2022	—	`conf`	Baital: an adaptive weighted sampling platform for configurable systems. SPLC (B) Eduard Baranov, Axel Legay
2022	—	`conf`	CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems. CPS Summer School, PhD Workshop Valeria Trombetta, Maxime Cordy, Enrico Tronci, Axel Legay
2022	J	`jnl`	Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. Int. J. Softw. Tools Technol. Transf. Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay
2022	J	`jnl`	Featured games. Sci. Comput. Program. Uli Fahrenberg, Axel Legay
2022	—	`conf`	Formal Methods Meet Machine Learning (F3ML). ISoLA (3) Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
2022	—	`conf`	Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study. COP@ECOOP Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay
2022	—	`conf`	Importance Splitting in Uppaal. ISoLA (3) Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
2022	—	`conf`	Malware Analysis with Symbolic Execution and Graph Kernel. NordSec Charles-Henry Bertrand Van Ouytsel, Axel Legay
2022	J	`jnl`	Malware Analysis with Symbolic Execution and Graph Kernel. CoRR Charles-Henry Bertrand Van Ouytsel, Axel Legay
2022	J	`jnl`	Packer classification based on association rule mining. Appl. Soft Comput. Khanh-Huu-The Dam, Thomas Given-Wilson, Axel Legay, Rosana Veroneze
2022	—	`conf`	Product Incremental Security Risk Assessment Using DevSecOps Practices. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS Sébastien Dupont, Artsiom Yautsiukhin, Guillaume Ginis, Giacomo Iadarola, Stefano Fagnano, Fabio Martinelli, Christophe Ponsard, Axel Legay, Philippe Massonet
2022	J	`jnl`	Sequential Relational Decomposition. Log. Methods Comput. Sci. Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
2022	J	`jnl`	Several lifted abstract domains for static analysis of numerical program families. Sci. Comput. Program. Aleksandar S. Dimovski, Sven Apel, Axel Legay
2022	J	`jnl`	SoK: Privacy-enhancing Smart Home Hubs. Proc. Priv. Enhancing Technol. Igor Zavalyshyn, Axel Legay, Annanda Rath, Etienne Rivière
2022	J	`jnl`	Static detection of equivalent mutants in real-time model-based mutation testing. Empir. Softw. Eng. Davide Basile, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy, Axel Legay
2022	—	`conf`	Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. SPIN Shiraj Arora, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
2022	B	`conf`	Symbolic analysis meets federated learning to enhance malware identifier. ARES Charles-Henry Bertrand Van Ouytsel, Khanh-Huu-The Dam, Axel Legay
2022	J	`jnl`	Symbolic analysis meets federated learning to enhance malware identifier. CoRR Khanh-Huu-The Dam, Charles-Henry Bertrand Van Ouytsel, Axel Legay
2022	C	`conf`	Tool Paper - SEMA: Symbolic Execution Toolchain for Malware Analysis. CRiSIS Charles-Henry Bertrand Van Ouytsel, Christophe Crochet, Khanh-Huu-The Dam, Axel Legay
2022	J	`jnl`	Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017. Int. J. Softw. Tools Technol. Transf. Axel Legay, Tiziana Margaria
2022	—	`conf`	User Reception of Babylon Health's Chatbot. VISIGRAPP (2: HUCAPP) Daniela Azevedo, Axel Legay, Suzanne Kieffer
2022	—	`conf`	Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. ISoLA (3) Sami Lazreg, Maxime Cordy, Axel Legay
2021	B	`conf`	A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features. FASE Aleksandar S. Dimovski, Sven Apel, Axel Legay
2021	—	`conf`	A Secure User-Centred Healthcare System: Design and Verification. DataMod Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber
2021	J	`jnl`	ADTLang: a programming language approach to attack defense trees. Int. J. Softw. Tools Technol. Transf. René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Peter Gjøl Jensen, Danny Bøgsted Poulsen
2021	J	`jnl`	Analysis of Machine Learning Approaches to Packing Detection. CoRR Charles-Henry Bertrand Van Ouytsel, Thomas Given-Wilson, Jeremy Minet, Julian Roussieau, Axel Legay
2021	—	`conf`	Analysis of Source Code Using UPPAAL. F-IDE@NFM Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
2021	—	`conf`	C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs. SPIN Antoine Chenoy, Fabien Duchene, Thomas Given-Wilson, Axel Legay
2021	B	`conf`	Chaos Duck: A Tool for Automatic IoT Software Fault-Tolerance Analysis. SRDS Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre, Etienne Rivière
2021	—	`conf`	Controlling Security Rules Using Natural Dialogue: an Application to Smart Home Care. UbiComp/ISWC Adjunct Stanley Goffinet, Donatien Schmitz, Igor Zavalyshyn, Axel Legay, Etienne Rivière
2021	Misc	`conf`	Featured Games. TASE Uli Fahrenberg, Axel Legay
2021	—	`conf`	Implementing the plugin distribution system. SIGCOMM Posters and Demos Nicolas Rybowski, Quentin De Coninck, Tom Rousseaux, Axel Legay, Olivier Bonaventure
2021	J	`jnl`	Masterminding change by combining secure system design with security risk assessment. Int. J. Softw. Tools Technol. Transf. Florian Kammüller, Axel Legay, Stefano Schivo
2021	J	`jnl`	OpenPosLib: A Library to Achieve Centimetric Geo-Spatial Positioning on a Budget. IEEE Access Lionel Metongnon, Sébastien Strebelle, Fabien Duchene, Axel Legay, Ramin Sadre
2021	J	`jnl`	Optimal measurement budget allocation for Kalman prediction over a finite time horizon by genetic algorithms. EURASIP J. Adv. Signal Process. Antoine Aspeel, Axel Legay, Raphaël M. Jungers, Benoît Macq
2021	—	`conf`	Program Sketching Using Lifted Analysis for Numerical Program Families. NFM Aleksandar S. Dimovski, Sven Apel, Axel Legay
2021	J	`jnl`	Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2021	J	`jnl`	Quantitative Security Risk Modeling and Analysis with RisQFLan. CoRR Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2021	—	`conf`	Smart Home Care: Towards Supporting Elderlies in the Comfort and Safety of their (Smart) Homes. LADC Igor Zavalyshyn, Axel Legay, Annanda Rath, Etienne Rivière
2021	J	`jnl`	Statistical model checking for variability-intensive systems: applications to bug detection and minimization. Formal Aspects Comput. Maxime Cordy, Sami Lazreg, Mike Papadakis, Axel Legay
2021	C	`conf`	Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
2021	J	`jnl`	Test Scenario Generation for Context-Oriented Programs. CoRR Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay
2021	Misc	`conf`	Unsupervised behavioural mining and clustering for malware family identification. SAC Khanh-Huu-The Dam, Thomas Given-Wilson, Axel Legay
2021	—	`conf`	Verifying QUIC implementations using Ivy. EPIQ@CoNEXT Christophe Crochet, Tom Rousseaux, Maxime Piraux, Jean-François Sambon, Axel Legay
2020	—	`conf`	30 Years of Statistical Model Checking. ISoLA (1) Kim G. Larsen, Axel Legay
2020	J	`jnl`	A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version). CoRR Aleksandar S. Dimovski, Sven Apel, Axel Legay
2020	J	`jnl`	A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. IEEE Trans. Software Eng. Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2020	J	`jnl`	A linear-time-branching-time spectrum for behavioral specification theories. J. Log. Algebraic Methods Program. Uli Fahrenberg, Axel Legay
2020	J	`jnl`	Automatic Verification of LLVM Code. CoRR Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
2020	—	`conf`	Baital: an adaptive weighted sampling approach for improved t-wise coverage. ESEC/SIGSOFT FSE Eduard Baranov, Axel Legay, Kuldeep S. Meel
2020	—	`conf`	Behavioral Specification Theories: An Algebraic Taxonomy. ISoLA (1) Uli Fahrenberg, Axel Legay
2020	J	`jnl`	Behavioral Specification Theories: an Algebraic Taxonomy. CoRR Uli Fahrenberg, Axel Legay
2020	C	`conf`	Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software. SSS Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre
2020	—	`conf`	Building User Trust of Critical Digital Technologies. ICIT Thomas Given-Wilson, Eduard Baranov, Axel Legay
2020	J	`jnl`	Combined software and hardware fault injection vulnerability detection. Innov. Syst. Softw. Eng. Thomas Given-Wilson, Nisrine Jafri, Axel Legay
2020	B	`conf`	Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. FASE Aleksandar S. Dimovski, Axel Legay
2020	J	`jnl`	Computing branching distances with quantitative games. Theor. Comput. Sci. Uli Fahrenberg, Axel Legay, Karin Quaas
2020	J	`jnl`	Controller synthesis of service contracts with variability. Sci. Comput. Program. Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
2020	J	`jnl`	Expressiveness of concurrent intensionality. Theor. Comput. Sci. Ioana Cristescu, Thomas Given-Wilson, Axel Legay
2020	J	`jnl`	Featured Games. CoRR Uli Fahrenberg, Axel Legay
2020	B	`conf`	Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications. TrustCom Eduardo Gomes, Igor Zavalyshyn, Nuno Santos, João Silva, Axel Legay
2020	B	`conf`	Formalising fault injection and countermeasures. ARES Thomas Given-Wilson, Axel Legay
2020	J	`jnl`	Generalized abstraction-refinement for game-based CTL lifted model checking. Theor. Comput. Sci. Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
2020	—	`conf`	Improving Secure and Robust Patient Service Delivery. ISoLA (1) Eduard Baranov, Thomas Given-Wilson, Axel Legay
2020	J	`jnl`	Introduction to the special issue for SPIN 2019. Int. J. Softw. Tools Technol. Transf. Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
2020	J	`jnl`	Logical vs. behavioural specifications. Inf. Comput. Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
2020	C	`conf`	My House, My Rules: A Private-by-Design Smart Home Platform. MobiQuitous Igor Zavalyshyn, Nuno Santos, Ramin Sadre, Axel Legay
2020	J	`jnl`	Optimizing symbolic execution for malware behavior classification. Comput. Secur. Stefano Sebastio, Eduard Baranov, Fabrizio Biondi, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf
2020	C	`conf`	Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking. IV Anshul Paigwar, Eduard Baranov, Alessandro Renzaglia, Christian Laugier, Axel Legay
2020	B	`conf`	Statistical Model Checking for Variability-Intensive Systems. FASE Maxime Cordy, Mike Papadakis, Axel Legay
2020	C	`conf`	Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. FORTE Davide Basile, Maurice H. ter Beek, Axel Legay
2020	—	`conf`	Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. SPLC (A) Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay
2020	J	`jnl`	Timed service contract automata. Innov. Syst. Softw. Eng. Davide Basile, Maurice H. ter Beek, Axel Legay
2020	—	`conf`	Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. VaMoS Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2020	—	`conf`	X-by-Construction - Correctness Meets Probability. ISoLA (1) Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson
2019	—	`conf`	A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin
2019	J	`jnl`	An automated and scalable formal process for detecting fault injection vulnerabilities in binaries. Concurr. Comput. Pract. Exp. Thomas Given-Wilson, Annelie Heuser, Nisrine Jafri, Axel Legay
2019	J	`jnl`	An ωω\omega-Algebra for Real-Time Energy Problems. Log. Methods Comput. Sci. David Cachera, Uli Fahrenberg, Axel Legay
2019	C	`conf`	Computing Branching Distances Using Quantitative Games. ICTAC Uli Fahrenberg, Axel Legay, Karin Quaas
2019	J	`jnl`	Computing Branching Distances Using Quantitative Games. CoRR Uli Fahrenberg, Axel Legay, Karin Quaas
2019	J	`jnl`	Effective, efficient, and robust packing detection and classification. Comput. Secur. Fabrizio Biondi, Michael A. Enescu, Thomas Given-Wilson, Axel Legay, Lamine Noureddine, Vivek Verma
2019	J	`jnl`	Hybrid statistical estimation of mutual information and its application to information flow. Formal Aspects Comput. Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
2019	—	`ed.`	Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings SPIN Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
2019	C	`conf`	Model Checking the IKEv2 Protocol Using Spin. PST Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra
2019	C	`conf`	Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. FMICS Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay
2019	A*	`conf`	Pluginizing QUIC. SIGCOMM Quentin De Coninck, François Michel, Maxime Piraux, Florentin Rochet, Thomas Given-Wilson, Axel Legay, Olivier Pereira, Olivier Bonaventure
2019	—	`conf`	Quantitative Variability Modeling and Analysis. VaMoS Maurice H. ter Beek, Axel Legay
2019	J	`jnl`	Quantitative properties of featured automata. Int. J. Softw. Tools Technol. Transf. Uli Fahrenberg, Axel Legay
2019	J	`jnl`	Quantitative variability modelling and analysis. Int. J. Softw. Tools Technol. Transf. Maurice H. ter Beek, Axel Legay
2019	J	`jnl`	Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn). IEEE Access Sébastien Lugan, Paul Desbordes, Eliott Brion, Luis Xavier Ramos Tormo, Axel Legay, Benoît Macq
2019	J	`jnl`	Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn). CoRR Sébastien Lugan, Paul Desbordes, Luis Xavier Ramos Tormo, Axel Legay, Benoît Macq
2019	J	`jnl`	Sequential Relational Decomposition. CoRR Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
2019	—	`ch.`	Statistical Model Checking. Computing and Software Science Axel Legay, Anna Lukina, Louis-Marie Traonouez, Junxing Yang, Scott A. Smolka, Radu Grosu
2019	B	`conf`	Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. IFM Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2019	B	`conf`	Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. ATVA Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist
2019	—	`conf`	The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2. TrustCom/BigDataSE Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra
2019	—	`conf`	The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems. IEEE BigData 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, Christos Fidas, Andreas Pitsillides, M. Kumar, Michael Rossbory
2019	—	`conf`	Towards sampling and simulation-based analysis of featured weighted automata. FormaliSE@ICSE Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet
2019	C	`conf`	Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking. IV Mathieu Barbier, Alessandro Renzaglia, Jean Quilbeuf, Lukas Rummelhard, Anshul Paigwar, Christian Laugier, Axel Legay, Javier Ibañez-Guzmán, Olivier Simonin
2019	B	`conf`	Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. FASE Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
2019	J	`jnl`	Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version). CoRR Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
2019	J	`jnl`	Verification and abstraction of real-time variability-intensive systems. Int. J. Softw. Tools Technol. Transf. Maxime Cordy, Axel Legay
2018	—	`conf`	A Language for Analyzing Security of IOT Systems. SoSE Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Régis Fleurquin, Axel Legay, Jean Quilbeuf, Salah Sadou
2018	C	`conf`	A Modeling Language for Security Threats of IoT Systems. FMICS Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf
2018	J	`jnl`	Compositionality for quantitative specifications. Soft Comput. Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
2018	A	`conf`	Detection of Mirai by Syntactic and Behavioral Analysis. ISSRE Najah Ben Said, Fabrizio Biondi, Vesselin Bontchev, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Jean Quilbeuf
2018	J	`jnl`	Dynamic networks of heterogeneous timed machines. Math. Struct. Comput. Sci. José Luiz Fiadeiro, Antónia Lopes, Benoît Delahaye, Axel Legay
2018	J	`jnl`	Formal verification of probabilistic SystemC models with statistical model checking. J. Softw. Evol. Process. Van Chan Ngo, Axel Legay
2018	J	`jnl`	Group abstraction for assisted navigation of social activities in intelligent environments. J. Reliab. Intell. Environ. Thomas Given-Wilson, Axel Legay, Sean Sedwards, Olivier Zendra
2018	J	`jnl`	High-level frameworks for the specification and verification of scheduling problems. Int. J. Softw. Tools Technol. Transf. Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez
2018	J	`jnl`	Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow. CoRR Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
2018	B	`conf`	Let's shock our IoT's heart: ARMv7-M under (fault) attacks. ARES Sébanjila Kevin Bukasa, Ronan Lashermes, Jean-Louis Lanet, Axel Legay
2018	—	`conf`	Mitigating Security Risks Through Attack Strategies Exploration. ISoLA (2) Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
2018	J	`jnl`	Model-based mutant equivalence detection using automata language equivalence and simulations. J. Syst. Softw. Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2018	—	`conf`	On the Expressiveness of Joining and Splitting. Models, Mindsets, Meta Thomas Given-Wilson, Axel Legay
2018	—	`conf`	On the Performance of Convolutional Neural Networks for Side-Channel Analysis. SPACE Stjepan Picek, Ioannis Petros Samiotis, Jaehun Kim, Annelie Heuser, Shivam Bhasin, Axel Legay
2018	J	`jnl`	On the Performance of Deep Learning for Side-channel Analysis. IACR Cryptol. ePrint Arch. Stjepan Picek, Ioannis Petros Samiotis, Annelie Heuser, Jaehun Kim, Shivam Bhasin, Axel Legay
2018	C	`conf`	Orchestration Synthesis for Real-Time Service Contracts. VECoS Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez
2018	J	`jnl`	Performance evaluation of stochastic real-time systems with the SBIP framework. Int. J. Crit. Comput. Based Syst. Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay
2018	—	`ch.`	Physical Security Versus Masking Schemes. Cyber-Physical Systems Security Jean-Luc Danger, Sylvain Guilley, Annelie Heuser, Axel Legay, Ming Tang
2018	B	`conf`	QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. FM Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente
2018	C	`ed.`	Risks and Security of Internet and Systems - 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers CRiSIS Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquín García-Alfaro
2018	B	`conf`	Scalable Approximation of Quantitative Information Flow in Programs. VMCAI Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf
2018	A*	`conf`	Sequential Relational Decomposition. LICS Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
2018	—	`conf`	Statistical Model Checking of Incomplete Stochastic Systems. ISoLA (2) Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez
2018	B	`conf`	Statistical Model Checking of LLVM Code. FM Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez
2018	—	`conf`	Statistical Model Checking the 2018 Edition! ISoLA (2) Kim Guldstrand Larsen, Axel Legay
2018	C	`conf`	The State of Fault Injection Vulnerability Detection. VECoS Thomas Given-Wilson, Nisrine Jafri, Axel Legay
2018	—	`conf`	Trace checking for dynamic software product lines. SEAMS@ICSE Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg
2018	—	`conf`	Tutorial: An Overview of Malware Detection and Evasion Techniques. ISoLA (1) Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf
2018	—	`conf`	Universal Optimality of Apollonian Cell Encoders. TrustCom/BigDataSE Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
2018	J	`jnl`	When time meets test. Int. J. Inf. Sec. Jean-Louis Lanet, Hélène Le Bouder, Mohammed Benattou, Axel Legay
2018	—	`conf`	X-by-C: Non-functional Security Challenges. ISoLA (1) Thomas Given-Wilson, Axel Legay
2017	B	`conf`	A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. SOFSEM Uli Fahrenberg, Axel Legay
2017	J	`jnl`	A framework for quantitative modeling and analysis of highly (re)configurable systems. CoRR Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2017	J	`jnl`	An Algebraic Approach to Energy Problems I - Acta Cybern. Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
2017	J	`jnl`	An Algebraic Approach to Energy Problems II - The Algebra of Energy Functions. Acta Cybern. Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
2017	J	`jnl`	An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
2017	J	`jnl`	An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
2017	—	`conf`	An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT. TrustCom/BigDataSE/ICESS Thomas Given-Wilson, Nisrine Jafri, Jean-Louis Lanet, Axel Legay
2017	J	`jnl`	An ω-Algebra for Real-Time Energy Problems. CoRR David Cachera, Uli Fahrenberg, Axel Legay
2017	—	`conf`	Analyzing ambient assisted living solutions: A research perspective. DTIS Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Cerschi Seceleanu, Bernhard Steffen, Louis-Marie Traonouez
2017	A	`conf`	Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. ICST Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2017	—	`conf`	Climbing Down the Hierarchy: Hierarchical Classification for Machine Learning Side-Channel Attacks. AFRICACRYPT Stjepan Picek, Annelie Heuser, Alan Jovic, Axel Legay
2017	Misc	`conf`	Compatibility flooding: measuring interaction of services interfaces. SAC Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün
2017	—	`conf`	Compositional Testing of Real-Time Systems. ModelEd, TestEd, TrustEd Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman
2017	J	`jnl`	Effectiveness of synthesis in concolic deobfuscation. Comput. Secur. Fabrizio Biondi, Sébastien Josse, Axel Legay, Thomas Sirvent
2017	C	`conf`	Extensible Energy Planning Framework for Preemptive Tasks. ISORC Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee
2017	—	`conf`	Featured Weighted Automata. FormaliSE@ICSE Uli Fahrenberg, Axel Legay
2017	J	`jnl`	Featured Weighted Automata. CoRR Uli Fahrenberg, Axel Legay
2017	J	`jnl`	Formal Verification of Probabilistic SystemC Models with Statistical Model Checking. CoRR Van Chan Ngo, Axel Legay
2017	—	`ch.`	From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. Dependable Software Systems Engineering Kim G. Larsen, Uli Fahrenberg, Axel Legay
2017	C	`conf`	How TrustZone Could Be Bypassed: Side-Channel Attacks on a Modern System-on-Chip. WISTP Sébanjila Kevin Bukasa, Ronan Lashermes, Hélène Le Bouder, Jean-Louis Lanet, Axel Legay
2017	B	`conf`	HyLeak: Hybrid Analysis Tool for Information Leakage. ATVA Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
2017	—	`conf`	Information Leakage as a Scheduling Resource. FMICS-AVoCS Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay
2017	—	`conf`	Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults. HCI (22) Thomas Given-Wilson, Axel Legay, Sean Sedwards
2017	B	`conf`	Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. ICECCS Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman
2017	—	`conf`	MASSE: Modular Automated Syntactic Signature Extraction. ISSRE Workshops Fabrizio Biondi, François Déchelle, Axel Legay
2017	—	`ed.`	Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday Models, Algorithms, Logics and Tools Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare
2017	B	`conf`	On Featured Transition Systems. SOFSEM Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans
2017	—	`conf`	On quantitative requirements for product lines. VaMoS Axel Legay, Gilles Perrouin
2017	—	`conf`	Practical controller synthesis for MTL SPIN Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
2017	J	`jnl`	Profiled SCA with a New Twist: Semi-supervised Learning. IACR Cryptol. ePrint Arch. Stjepan Picek, Annelie Heuser, Alan Jovic, Axel Legay, Karlo Knezevic
2017	—	`conf`	Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata. GraMSec René Rydhof Hansen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
2017	C	`ed.`	Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers CRiSIS Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay
2017	J	`jnl`	Statistical prioritization for software product line testing: an experience report. Softw. Syst. Model. Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2017	J	`jnl`	The secrets of profiling for side-channel analysis: feature selection matters. IACR Cryptol. ePrint Arch. Stjepan Picek, Annelie Heuser, Alan Jovic, Lejla Batina, Axel Legay
2017	—	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I TACAS (1) Axel Legay, Tiziana Margaria
2017	—	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II TACAS (2) Axel Legay, Tiziana Margaria
2017	—	`conf`	Verification of Interlocking Systems Using Statistical Model Checking. HASE Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay
2016	C	`conf`	A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. CRiSIS Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet
2016	J	`jnl`	A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories. CoRR Uli Fahrenberg, Axel Legay
2016	—	`conf`	A Logic for the Statistical Model Checking of Dynamic Software Architectures. ISoLA (1) Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay
2016	—	`conf`	A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen
2016	—	`conf`	A complexity tale: web configurators. VACE@ICSE Gilles Perrouin, Mathieu Acher, Jean-Marc Davril, Axel Legay, Patrick Heymans
2016	Misc	`conf`	A formal modeling and analysis framework for software product line of preemptive real-time systems. SAC Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, Sungwon Kang
2016	J	`jnl`	A tag contract framework for modeling heterogeneous systems. Sci. Comput. Program. Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay
2016	—	`conf`	An Application of SMC to continuous validation of heterogeneous systems. SimuTools Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
2016	J	`jnl`	Attainable unconditional security for shared-key cryptosystems. Inf. Sci. Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
2016	B	`ed.`	Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings ATVA Cyrille Artho, Axel Legay, Doron Peled
2016	J	`jnl`	Bypassing Malware Obfuscation with Dynamic Synthesis. ERCIM News Fabrizio Biondi, Sébastien Josse, Axel Legay
2016	J	`jnl`	Command-based importance sampling for statistical model checking. Theor. Comput. Sci. Cyrille Jégourel, Axel Legay, Sean Sedwards
2016	J	`jnl`	Component-based verification using incremental design and invariants. Softw. Syst. Model. Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2016	J	`jnl`	Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. ACM Trans. Embed. Comput. Syst. Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
2016	C	`conf`	Counterexample guided abstraction refinement of product-line behavioural models. Software Engineering Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
2016	—	`conf`	Featured model types: towards systematic reuse in modelling language engineering. MiSE@ICSE Gilles Perrouin, Moussa Amrani, Mathieu Acher, Benoît Combemale, Axel Legay, Pierre-Yves Schobbens
2016	A*	`conf`	Featured model-based mutation analysis. ICSE Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2016	—	`conf`	Feedback Control for Statistical Model Checking of Cyber-Physical Systems. ISoLA (1) Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu
2016	B	`conf`	Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. FM Yusuke Kawamoto, Fabrizio Biondi, Axel Legay
2016	Misc	`conf`	Importance Sampling for Stochastic Timed Automata. SETTA Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2016	J	`jnl`	Long-Term Average Cost in Featured Transition Systems. CoRR Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay
2016	B	`conf`	Long-term average cost in featured transition systems. SPLC Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay
2016	—	`conf`	Modelling Attack-defense Trees Using Timed Automata. FORMATS Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen
2016	C	`conf`	On the Expressiveness of Symmetric Communication. ICTAC Thomas Given-Wilson, Axel Legay
2016	—	`conf`	On the Power of Statistical Model Checking. ISoLA (2) Kim G. Larsen, Axel Legay
2016	J	`jnl`	Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi
2016	—	`conf`	PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. CAV (1) Van Chan Ngo, Axel Legay, Vania Joloboff
2016	C	`conf`	Performance Evaluation of Complex Systems Using the SBIP Framework. VECoS Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
2016	—	`conf`	Plasma Lab: A Modular Statistical Model Checking Platform. ISoLA (1) Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2016	—	`ed.`	Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, SiSoS@ECSA 2016, Copenhagen, Denmark, November 29-29, 2016 SiSoS@ECSA Khalil Drira, Flávio Oquendo, Muhammad Ali Babar, Axel Legay
2016	C	`conf`	Ransomware and the Legacy Crypto API. CRiSIS Aurélien Palisse, Hélène Le Bouder, Jean-Louis Lanet, Colas Le Guernic, Axel Legay
2016	—	`conf`	Rare Events for Statistical Model Checking an Overview. RP Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2016	—	`conf`	Search-based Similarity-driven Behavioural SPL Testing. VaMoS Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2016	—	`conf`	Security and Privacy of Protocols and Software with Formal Methods. ISoLA (1) Fabrizio Biondi, Axel Legay
2016	B	`conf`	Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. IFM Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards
2016	—	`conf`	Statistical Model Checking for Product Lines. ISoLA (1) Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2016	—	`conf`	Statistical Model Checking for SystemC Models. HASE Van Chan Ngo, Axel Legay, Jean Quilbeuf
2016	B	`conf`	Statistical Model Checking of Dynamic Software Architectures. ECSA Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay
2016	J	`jnl`	Statistical Model Checking with Change Detection. LNCS Trans. Found. Mastering Chang. Axel Legay, Louis-Marie Traonouez
2016	—	`conf`	Statistical Model Checking: Past, Present, and Future. ISoLA (1) Kim G. Larsen, Axel Legay
2016	J	`jnl`	Verification of interlocking systems using statistical model checking. CoRR Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay
2016	J	`jnl`	Vulnerability Prediction Against Fault Attacks. ERCIM News Nisrine Jafri, Axel Legay, Jean-Louis Lanet
2015	—	`conf`	*-Continuous Kleene ω-Algebras for Energy Problems. FICS Zoltán Ésik, Uli Fahrenberg, Axel Legay
2015	C	`conf`	*-Continuous Kleene ω-Algebras. DLT Zoltán Ésik, Uli Fahrenberg, Axel Legay
2015	J	`jnl`	*-Continuous Kleene ω-Algebras. CoRR Zoltán Ésik, Uli Fahrenberg, Axel Legay
2015	—	`conf`	An omega-Algebra for Real-Time Energy Problems. FSTTCS David Cachera, Uli Fahrenberg, Axel Legay
2015	—	`conf`	Attainable Unconditional Security for Shared-Key Cryptosystems. TrustCom/BigDataSE/ISPA (1) Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
2015	—	`conf`	Comparative Analysis of Leakage Tools on Scalable Case Studies. SPIN Fabrizio Biondi, Axel Legay, Jean Quilbeuf
2015	—	`book`	Contributions to Statistical Model Checking. Axel Legay
2015	—	`conf`	Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. VaMoS Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2015	J	`jnl`	Dependability Analysis of Control Systems using SystemC and Statistical Model Checking. CoRR Van Chan Ngo, Axel Legay, Jean Quilbeuf
2015	J	`jnl`	Distributed Verification of Rare Properties using Importance Splitting Observers. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2015	J	`jnl`	Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers. CoRR Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2015	J	`jnl`	Efficient customisable dynamic motion planning for assistive robots in complex human environments. J. Ambient Intell. Smart Environ. Alessio Colombo, Daniele Fontanelli, Axel Legay, Luigi Palopoli, Sean Sedwards
2015	J	`jnl`	Estimating Rewards & Rare Events in Nondeterministic Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2015	J	`jnl`	Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL. ERCIM News Flávio Oquendo, Axel Legay
2015	J	`jnl`	GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems. ERCIM News Flávio Oquendo, Axel Legay, Khalil Drira
2015	J	`jnl`	Generating counterexamples of model-based software product lines. Int. J. Softw. Tools Technol. Transf. João Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Axel Legay, Benoit Baudry
2015	—	`conf`	Measuring Behaviour Interactions between Product-Line Features. FormaliSE@ICSE Joanne M. Atlee, Uli Fahrenberg, Axel Legay
2015	—	`conf`	Merging Features in Featured Transition Systems. MoDeVVa@MoDELS Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay
2015	—	`conf`	Modeling and Verification for Probabilistic Properties in Software Product Lines. HASE Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Axel Legay
2015	—	`conf`	Modelling Social-Technical Attacks with Timed Automata. MIST@CCS Nicolas David, Alexandre David, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst
2015	J	`jnl`	Navigation assistance and guidance of older adults across complex public spaces: the DALi approach. Intell. Serv. Robotics Luigi Palopoli, Antonis A. Argyros, Josef A. Birchbauer, Alessio Colombo, Daniele Fontanelli, Axel Legay, Andrea Garulli, Antonello Giannitrapani, David Macii, Federico Moro, Payam Nazemzadeh, Pashalis Padeleris, Roberto Passerone, Georg Poier, Domenico Prattichizzo, Tizar Rizano, Luca Rizzon, Stefano Scheggi, Sean Sedwards
2015	—	`conf`	On the Expressiveness of Joining. ICE Thomas Given-Wilson, Axel Legay
2015	B	`conf`	Partial Higher-dimensional Automata. CALCO Ulrich Fahrenberg, Axel Legay
2015	J	`jnl`	Quantifying information leakage of randomized protocols. Theor. Comput. Sci. Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski
2015	—	`conf`	Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. FMSPLE Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2015	J	`jnl`	Real-time specifications. Int. J. Softw. Tools Technol. Transf. Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski
2015	—	`conf`	Resource-Parameterized Timing Analysis of Real-Time Systems. Haifa Verification Conference Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
2015	B	`conf`	SPLat 2015: Second International Workshop on Software Product Line Analysis Tools. SPLC Gilles Perrouin, Axel Legay
2015	J	`jnl`	Schedulability of Herschel revisited using statistical model checking. Int. J. Softw. Tools Technol. Transf. Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
2015	J	`jnl`	Smart sampling for lightweight verification of Markov decision processes. Int. J. Softw. Tools Technol. Transf. Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2015	—	`conf`	State machine flattening, a mapping study and tools assessment. ICST Workshops Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
2015	—	`conf`	Statistical Model Checking of Simulink Models with Plasma Lab. FTSCS Axel Legay, Louis-Marie Traonouez
2015	B	`conf`	Statistical analysis of probabilistic models of software product lines with quantitative constraints. SPLC Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2015	J	`jnl`	Statistical model checking QoS properties of systems with SBIP. Int. J. Softw. Tools Technol. Transf. Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay
2015	J	`jnl`	Statistical model checking for biological systems. Int. J. Softw. Tools Technol. Transf. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2015	J	`jnl`	Statistical model checking: challenges and perspectives. Int. J. Softw. Tools Technol. Transf. Axel Legay, Mahesh Viswanathan
2015	J	`jnl`	Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
2015	J	`jnl`	Verifying Systems-of-Systems with Statistical Model Checking. ERCIM News Axel Legay, Jean Quilbeuf, Flávio Oquendo
2014	—	`conf`	A Formalism for Stochastic Adaptive Systems. ISoLA (2) Benoît Boyer, Axel Legay, Louis-Marie Traonouez
2014	J	`jnl`	A meta-theory for component interfaces with contracts on ports. Sci. Comput. Program. Sebastian S. Bauer, Rolf Hennicker, Axel Legay
2014	J	`jnl`	A modal specification theory for components with data. Sci. Comput. Program. Sebastian S. Bauer, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2014	—	`conf`	A variability perspective of mutation analysis. SIGSOFT FSE Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens
2014	—	`conf`	An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking. ISoLA (2) Cyrille Jégourel, Axel Legay, Sean Sedwards
2014	C	`conf`	Building faithful high-level models and performance evaluation of manycore embedded systems. MEMOCODE Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem
2014	—	`conf`	Compositionality for Quantitative Specifications. FACS Ulrich Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
2014	J	`jnl`	Compositionality for Quantitative Specifications. CoRR Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
2014	—	`conf`	Configurable Formal Methods for Extreme Modeling. XM@MoDELS Uli Fahrenberg, Axel Legay
2014	—	`conf`	Counterexample guided abstraction refinement of product-line behavioural models. SIGSOFT FSE Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
2014	—	`conf`	Coverage Criteria for Behavioural Testing of Software Product Lines. ISoLA (1) Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans
2014	—	`conf`	Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. ISoLA (1) Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay
2014	J	`jnl`	Dynamic Verification of SystemC with Statistical Model Checking. CoRR Van Chan Ngo, Axel Legay, Jean Quilbeuf
2014	B	`conf`	Faster Statistical Model Checking by Means of Abstraction and Learning. RV Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem
2014	—	`ed.`	Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings FORMATS Axel Legay, Marius Bozga
2014	J	`jnl`	Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
2014	—	`ed.`	From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings FPS@ETAPS Saddek Bensalem, Yassine Lakhnech, Axel Legay
2014	J	`jnl`	General quantitative specification theories with modal transition systems. Acta Informatica Uli Fahrenberg, Axel Legay
2014	C	`conf`	Heterogeneous Timed Machines. ICTAC Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
2014	J	`jnl`	Homotopy Bisimilarity for Higher-Dimensional Automata. CoRR Uli Fahrenberg, Axel Legay
2014	—	`conf`	Information Leakage of Non-Terminating Processes. FSTTCS Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Pasquale Malacaria, Andrzej Wasowski
2014	J	`jnl`	Lightweight Verification of Markov Decision Processes with Rewards. CoRR Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2014	J	`jnl`	Maximizing entropy over Markov processes. J. Log. Algebraic Methods Program. Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski
2014	—	`conf`	Measuring Global Similarity Between Texts. SLSP Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay
2014	J	`jnl`	Measuring Structural Distances between Texts. CoRR Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay
2014	Misc	`conf`	On Statistical Model Checking with PLASMA. TASE Axel Legay, Sean Sedwards
2014	B	`conf`	On Time with Minimal Expected Cost! ATVA Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob Haahr Taankvist
2014	—	`conf`	Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez
2014	—	`conf`	Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. ACSD Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
2014	—	`conf`	Quantitative Anonymity Evaluation of Voting Protocols. SEFM Workshops Fabrizio Biondi, Axel Legay
2014	J	`jnl`	Refinement and Difference for Probabilistic Automata Log. Methods Comput. Sci. Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay
2014	J	`jnl`	Robust synthesis for real-time systems. Theor. Comput. Sci. Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
2014	B	`conf`	SPLat 2014: First International Workshop on Software Product Line Analysis Tools. SPLC Axel Legay, Erik P. de Vink
2014	—	`conf`	Scalable Verification of Markov Decision Processes. SEFM Workshops Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2014	J	`jnl`	Smart Sampling for Lightweight Verification of Markov Decision Processes. CoRR Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2014	B	`conf`	Sound Merging and Differencing for Class Diagrams. FASE Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski
2014	—	`conf`	Specification Theories for Probabilistic and Real-Time Systems. FPS@ETAPS Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
2014	J	`jnl`	State Machine Flattening: Mapping Study and Assessment. CoRR Xavier Devroey, Gilles Perrouin, Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2014	—	`conf`	Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems. ISoLA (1) Axel Legay, Sean Sedwards
2014	—	`conf`	Statistical Model Checking Past, Present, and Future - (Track Introduction). ISoLA (2) Kim Guldstrand Larsen, Axel Legay
2014	C	`conf`	Structural Refinement for the Modal nu-Calculus. ICTAC Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
2014	J	`jnl`	Structural Refinement for the Modal nu-Calculus. CoRR Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
2014	J	`jnl`	Stuttering for Abstract Probabilistic Automata. J. Log. Algebraic Methods Program. Benoît Delahaye, Kim G. Larsen, Axel Legay
2014	J	`jnl`	The quantitative linear-time-branching-time spectrum. Theor. Comput. Sci. Uli Fahrenberg, Axel Legay
2014	—	`conf`	Towards statistical prioritization for software product lines testing. VaMoS Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
2014	J	`jnl`	Tropical Fourier-Motzkin elimination, with an application to real-time verification. Int. J. Algebra Comput. Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay
2013	C	`conf`	A Completion Algorithm for Lattice Tree Automata. CIAA Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat
2013	—	`conf`	A Tag Contract Framework for Heterogeneous Systems. ESOCC Workshops Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
2013	—	`conf`	A Timed Component Algebra for Services. FMOODS/FORTE Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
2013	—	`conf`	A framework for the rigorous design of highly adaptive timed systems. FormaliSE@ICSE Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez
2013	J	`jnl`	Abstract Probabilistic Automata. Inf. Comput. Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2013	J	`jnl`	Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091). Dagstuhl Reports Paulo Borba, Myra B. Cohen, Axel Legay, Andrzej Wasowski
2013	C	`conf`	Behavioural templates improve robot motion planning with social force model in human environments. ETFA Alessio Colombo, Daniele Fontanelli, Dhaval Gandhi, Antonella De Angeli, Luigi Palopoli, Sean Sedwards, Axel Legay
2013	A*	`conf`	Beyond boolean product-line model checking: dealing with feature attributes and multi-features. ICSE Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2013	—	`conf`	Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach. AiSoS Alexandre Arnold, Benoît Boyer, Axel Legay
2013	A*	`conf`	Efficient quality assurance of variability-intensive systems. ICSE Patrick Heymans, Axel Legay, Maxime Cordy
2013	J	`jnl`	Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng. Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin
2013	B	`conf`	Generalized Quantitative Analysis of Metric Transition Systems. APLAS Uli Fahrenberg, Axel Legay
2013	—	`ed.`	Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings Haifa Verification Conference Valeria Bertacco, Axel Legay
2013	B	`conf`	Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CONCUR Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay
2013	J	`jnl`	Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CoRR Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay
2013	B	`conf`	History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. MFPS Uli Fahrenberg, Axel Legay
2013	A*	`conf`	Importance Splitting for Statistical Model Checking Rare Properties. CAV Cyrille Jégourel, Axel Legay, Sean Sedwards
2013	—	`conf`	Incremental Generation of Linear Invariants for Component-Based Systems. ACSD Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay
2013	B	`conf`	Kleene Algebras and Semimodules for Energy Problems. ATVA Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
2013	J	`jnl`	Kleene Algebras and Semimodules for Energy Problems. CoRR Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
2013	J	`jnl`	Lightweight Monte Carlo Algorithm for Markov Decision Processes. CoRR Axel Legay, Sean Sedwards
2013	C	`conf`	Maximizing Entropy over Markov Processes. LATA Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski
2013	—	`ch.`	Model Checking Adaptive Software with Featured Transition Systems. Assurances for Self-Adaptive Systems Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
2013	—	`conf`	Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. ICTAC Training School on Software Engineering Uli Fahrenberg, Kim G. Larsen, Axel Legay
2013	—	`ch.`	Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. Engineering Dependable Software Systems Uli Fahrenberg, Kim G. Larsen, Axel Legay, Claus R. Thrane
2013	—	`conf`	Motion planning in crowds using statistical model checking to enhance the social force model. CDC Alessio Colombo, Daniele Fontanelli, Axel Legay, Luigi Palopoli, Sean Sedwards
2013	—	`conf`	Optimizing Control Strategy Using Statistical Model Checking. NASA Formal Methods Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
2013	—	`conf`	PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library. QEST Benoît Boyer, Kevin Corre, Axel Legay, Sean Sedwards
2013	—	`conf`	ProVeLines: a product line of verifiers for software product lines. SPLC Workshops Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
2013	—	`conf`	Probabilistic Modal Specifications (Invited Extended Abstract). FACS Kim G. Larsen, Axel Legay
2013	—	`ed.`	Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013. AiSoS Kim G. Larsen, Axel Legay, Ulrik Nyman
2013	J	`jnl`	Pushdown module checking with imperfect information. Inf. Comput. Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi
2013	B	`conf`	PyEcdar: Towards Open Source Implementation for Timed Systems. ATVA Axel Legay, Louis-Marie Traonouez
2013	A*	`conf`	QUAIL: A Quantitative Security Analyzer for Imperative Code. CAV Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
2013	B	`conf`	Quantifying Information Leakage of Randomized Protocols. VMCAI Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski
2013	—	`conf`	Refinement and Difference for Probabilistic Automata. QEST Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay
2013	J	`jnl`	Rigorous embedded design: challenges and perspectives. Int. J. Softw. Tools Technol. Transf. Saddek Bensalem, Axel Legay, Marius Bozga
2013	B	`ed.`	Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings RV Axel Legay, Saddek Bensalem
2013	—	`conf`	SoS contract verification using statistical model checking. AiSoS Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold
2013	J	`jnl`	Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen
2013	—	`conf`	Stochastic modeling and performance analysis of multimedia SoCs. ICSAMOS Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty
2013	Misc	`conf`	Stuttering for Abstract Probabilistic Automata. LFCS Benoît Delahaye, Kim G. Larsen, Axel Legay
2013	C	`conf`	Synthesizing distributed scheduling implementation for probabilistic component-based systems. MEMOCODE Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled
2013	—	`conf`	Tag Machines for Modeling Heterogeneous Systems. ACSD Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay
2013	J	`jnl`	Towards Statistical Prioritization for Software Product Lines Testing. CoRR Xavier Devroey, Maxime Cordy, Gilles Perrouin, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
2013	J	`jnl`	Tropical Fourier-Motzkin elimination, with an application to real-time verification. CoRR Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay
2013	J	`jnl`	Verification for Reliable Product Lines. CoRR Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay
2013	J	`jnl`	Weighted modal transition systems. Formal Methods Syst. Des. Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2012	Misc	`conf`	A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. TASE Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay
2012	A	`conf`	A Platform for High Performance Statistical Model Checking - PLASMA. TACAS Cyrille Jégourel, Axel Legay, Sean Sedwards
2012	Misc	`conf`	A Robust Specification Theory for Modal Event-Clock Automata FIT Uli Fahrenberg, Axel Legay
2012	—	`conf`	A Vision for Behavioural Model-Driven Validation of Software Product Lines. ISoLA (1) Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry
2012	—	`conf`	Behavioural modelling and verification of real-time software product lines. SPLC (1) Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012	—	`conf`	Checking and Distributing Statistical Model Checking. NASA Formal Methods Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
2012	—	`conf`	Component Interfaces with Contracts on Ports. FACS Sebastian S. Bauer, Rolf Hennicker, Axel Legay
2012	J	`jnl`	Compositional verification of real-time systems using Ecdar. Int. J. Softw. Tools Technol. Transf. Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski
2012	—	`conf`	Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach IWIGP Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis
2012	J	`jnl`	Consistency and refinement for Interval Markov Chains. J. Log. Algebraic Methods Program. Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2012	A*	`conf`	Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. CAV Cyrille Jégourel, Axel Legay, Sean Sedwards
2012	J	`jnl`	Cross-entropy optimisation of importance sampling parameters for statistical model checking CoRR Cyrille Jégourel, Axel Legay, Sean Sedwards
2012	C	`conf`	Equational Abstraction Refinement for Certified Tree Regular Model Checking. ICFEM Yohan Boichut, Benoît Boyer, Thomas Genet, Axel Legay
2012	J	`jnl`	Extending modal transition systems with structured labels. Math. Struct. Comput. Sci. Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba
2012	J	`jnl`	Extrapolating (omega-)regular model checking. Int. J. Softw. Tools Technol. Transf. Axel Legay
2012	Misc	`conf`	General Quantitative Specification Theories with Modalities. CSR Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane
2012	J	`jnl`	History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps CoRR Uli Fahrenberg, Axel Legay
2012	—	`conf`	Managing evolution in software product lines: a model-checking perspective. VaMoS Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012	J	`jnl`	Modal event-clock specifications for timed component-based design. Sci. Comput. Program. Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet
2012	J	`jnl`	Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
2012	B	`conf`	Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. LPAR Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer
2012	B	`conf`	Moving from Specifications to Contracts in Component-Based Design. FASE Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2012	J	`jnl`	New results for Constraint Markov Chains. Perform. Evaluation Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2012	J	`jnl`	On timed alternating simulation for concurrent timed games. Acta Informatica Laura Bozzelli, Axel Legay, Sophie Pinchinat
2012	—	`ed.`	Proceedings Quantities in Formal Methods, QFM 2012, Paris, France, 28 August 2012. QFM Uli Fahrenberg, Axel Legay, Claus R. Thrane
2012	—	`conf`	Quantitative Modal Transition Systems. WADT Kim G. Larsen, Axel Legay
2012	B	`conf`	Rewrite-Based Statistical Model Checking of WMTL. RV Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
2012	—	`conf`	Runtime Verification of Biological Systems. ISoLA (1) Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2012	—	`conf`	Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. ISoLA (2) Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
2012	A*	`conf`	Simulation-based abstractions for software product-line model checking. ICSE Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012	A	`conf`	State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans
2012	—	`conf`	Statistical Model Checking QoS Properties of Systems with SBIP. ISoLA (1) Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri
2012	—	`conf`	Statistical Model Checking for Stochastic Hybrid Systems HSB Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2012	J	`jnl`	Statistical abstraction and model-checking of large heterogeneous systems. Int. J. Softw. Tools Technol. Transf. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay
2012	—	`conf`	Synchronous Interface Theories and Time Triggered Scheduling. FMOODS/FORTE Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic
2012	—	`conf`	Towards an incremental automata-based approach for software product-line model checking. SPLC (2) Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012	—	`conf`	TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. FMOODS/FORTE Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha
2012	J	`jnl`	Tree Regular Model Checking for Lattice-Based Automata CoRR Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat
2012	—	`conf`	UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata QAPL Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang
2012	J	`jnl`	Weighted Modal Transition Systems CoRR Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2011	A	`conf`	A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. SC Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan
2011	J	`jnl`	A Modal Interface Theory for Component-based Design. Fundam. Informaticae Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
2011	—	`conf`	A Modal Specification Theory for Components with Data. FACS Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2011	—	`conf`	APAC: A Tool for Reasoning about Abstract Probabilistic Automata. QEST Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2011	B	`conf`	Abstract Probabilistic Automata. VMCAI Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2011	J	`jnl`	Constraint Markov Chains. Theor. Comput. Sci. Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2011	—	`conf`	D-Finder 2: Towards Efficient Correctness of Incremental Design. NASA Formal Methods Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2011	C	`conf`	Decision Problems for Interval Markov Chains. LATA Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2011	C	`conf`	Distributed Event Clock Automata - Extended Abstract. CIAA James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens
2011	—	`conf`	Distributed Parametric and Statistical Model Checking PDMC Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay
2011	C	`conf`	Efficient deadlock detection for concurrent systems. MEMOCODE Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled
2011	J	`jnl`	Hardness of preorder checking for basic formalisms. Theor. Comput. Sci. Laura Bozzelli, Axel Legay, Sophie Pinchinat
2011	B	`conf`	MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. ATVA Sebastian S. Bauer, Philip Mayer, Axel Legay
2011	—	`conf`	New Results on Abstract Probabilistic Automata. ACSD Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2011	J	`jnl`	Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Formal Methods Syst. Des. Benoît Delahaye, Benoît Caillaud, Axel Legay
2011	B	`conf`	Quantitative Refinement for Weighted Modal Transition Systems. MFCS Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2011	—	`conf`	Robust Specification of Real Time Components. FORMATS Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
2011	—	`conf`	Statistical Model Checking for Networks of Priced Timed Automata. FORMATS Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
2011	J	`jnl`	Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata CoRR Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
2011	A*	`conf`	Symbolic model checking of software product lines. ICSE Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
2011	—	`conf`	The Quantitative Linear-Time--Branching-Time Spectrum. FSTTCS Uli Fahrenberg, Axel Legay, Claus R. Thrane
2011	A*	`conf`	Time for Statistical Model Checking of Real-Time Systems. CAV Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang
2011	A	`conf`	Vision Paper: Make a Difference! (Semantically). MoDELS Uli Fahrenberg, Axel Legay, Andrzej Wasowski
2010	Misc	`conf`	A Few Considerations on Structural and Logical Composition in Specification Theories FIT Axel Legay, Andrzej Wasowski
2010	B	`conf`	Complexity Bounds for the Verification of Real-Time Software. VMCAI Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan
2010	—	`conf`	Compositional Design Methodology with Constraint Markov Chains. QEST Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2010	B	`conf`	ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. ATVA Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2010	—	`conf`	Hardness of Preorder Checking for Basic Formalisms. LPAR (Dakar) Laura Bozzelli, Axel Legay, Sophie Pinchinat
2010	Misc	`conf`	Incremental Invariant Generation for Compositional Design. TASE Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2010	B	`conf`	Incremental component-based construction and verification using invariants. FMCAD Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2010	—	`conf`	Memory Event Clocks. FORMATS James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens
2010	—	`conf`	Model checking lots of systems: efficient verification of temporal properties in software product lines. ICSE (1) Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin
2010	—	`conf`	New Results on Timed Specifications. WADT Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski
2010	J	`jnl`	On (Omega-)regular model checking. ACM Trans. Comput. Log. Axel Legay, Pierre Wolper
2010	J	`jnl`	On simulation-based probabilistic model checking of mixed-analog circuits. Formal Methods Syst. Des. Edmund M. Clarke, Alexandre Donzé, Axel Legay
2010	—	`conf`	Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. ACSD Benoît Delahaye, Benoît Caillaud, Axel Legay
2010	Misc	`ed.`	Proceedings Foundations for Interface Technologies, FIT 2010, Paris, France, 30th August 2010. FIT Axel Legay, Benoît Caillaud
2010	—	`conf`	Robustness of Sequential Circuits. ACSD Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic
2010	—	`conf`	Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay
2010	J	`jnl`	Statistical Model Checking : An Overview CoRR Axel Legay, Benoît Delahaye
2010	B	`conf`	Statistical Model Checking: An Overview. RV Axel Legay, Benoît Delahaye, Saddek Bensalem
2010	—	`conf`	Timed I/O automata: a complete specification theory for real-time systems. HSCC Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2010	B	`conf`	Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis
2009	—	`conf`	A Bayesian Approach to Model Checking Biological Systems. CMSB Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani
2009	C	`conf`	A Compositional Approach on Modal Specifications for Timed Systems. ICFEM Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet
2009	J	`jnl`	A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking CoRR Ahmed Bouajjani, Axel Legay, Pierre Wolper
2009	J	`jnl`	Computing Convex Hulls by Automata Iteration. Int. J. Found. Comput. Sci. François Cantin, Axel Legay, Pierre Wolper
2009	—	`conf`	Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. FMCO Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2009	Misc	`conf`	Modal interfaces: unifying interface automata and modal specifications. EMSOFT Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
2009	—	`conf`	On Timed Alternating Simulation for Concurrent Timed Games. FSTTCS Laura Bozzelli, Axel Legay, Sophie Pinchinat
2009	B	`conf`	Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. RECOMB Alexandre Donzé, Gilles Clermont, Axel Legay, Christopher James Langmead
2009	—	`ed.`	Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009. INFINITY Axel Legay
2009	J	`jnl`	Qualitative Logics and Equivalences for Probabilistic Systems Log. Methods Comput. Sci. Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay
2009	—	`conf`	Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems. QEST Axel Legay, Mahesh Viswanathan
2009	J	`jnl`	Some Models and Tools for Open Systems CoRR Axel Legay, Marco Faella
2008	C	`conf`	Computing Convex Hulls by Automata Iteration. CIAA François Cantin, Axel Legay, Pierre Wolper
2008	—	`conf`	Model Checking Quantitative Linear Time Logic. QAPL Marco Faella, Axel Legay, Mariëlle Stoelinga
2008	J	`jnl`	On (Omega-)Regular Model Checking CoRR Axel Legay, Pierre Wolper
2008	A	`conf`	On Automated Verification of Probabilistic Programs. TACAS Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell
2008	—	`conf`	Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. CMSB Edmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha, Axel Legay
2008	—	`conf`	Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator. Haifa Verification Conference Edmund M. Clarke, Alexandre Donzé, Axel Legay
2008	A*	`conf`	T(O)RMC: A Tool for (omega)-Regular Model Checking. CAV Axel Legay
2008	—	`conf`	µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre
2007	—	`conf`	Qualitative Logics and Equivalences for Probabilistic Systems. QEST Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay
2006	—	`conf`	An Introduction to the Tool Ticc. Trustworthy Software Axel Legay, Luca de Alfaro, Marco Faella
2006	A*	`conf`	Ticc: A Tool for Interface Compatibility and Composition. CAV B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy
2006	J	`jnl`	Tree regular model checking: A simulation-based approach. J. Log. Algebraic Methods Program. Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine
2005	—	`conf`	On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address. MTCoord@COORDINATION Axel Legay, Pierre Wolper
2005	A	`conf`	Simulation-Based Iteration of Tree Transducers. TACAS Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine
2005	—	`conf`	Sociable Interfaces. FroCoS Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea
2004	—	`conf`	Handling Liveness Properties in ( INFINITY Ahmed Bouajjani, Axel Legay, Pierre Wolper
2004	A	`conf`	Omega-Regular Model Checking. TACAS Bernard Boigelot, Axel Legay, Pierre Wolper
2003	A*	`conf`	Iterating Transducers in the Large (Extended Abstract). CAV Bernard Boigelot, Axel Legay, Pierre Wolper