- Accueil
- Répertoire
- Axel Legay
Axel Legay
Professeur
Cyber sécurité, analyse de malware, analyse de vulnérabilité logiciel et détection de la menace
IoT, villes intelligentes, tests de sûreté
Vérification formelle et statistiques.
Martou, Pierre ; Mens, Kim ; Duhoux, Benoît ; Legay, Axel. Test scenario generation for feature-based context-oriented software systems. In: Journal of Systems and Software, Vol. 197, no.1, p. 111570 (2023). doi:10.1016/j.jss.2022.111570.
Dam, Khanh Huu The ; Given-Wilson, Thomas ; Legay, Axel ; Veroneze, Rosana. Packer classification based on association rule mining. In: Applied Soft Computing, Vol. 127, p. 109373 (2022). doi:10.1016/j.asoc.2022.109373 (Accepté/Sous presse).
Saada, Hiba ; Pagneux, Quentin ; Wei, James ; Live, Ludovic ; Roussel, Alain ; Dogliani, Alexis ; Die Morini, Lycia ; Engelmann, Ilka ; Kazali Alidjinou, Enagnon ; Rolland, Anne Sophie ; Faure, Emmanuel ; Poissy, Julien ; Labreuche, Julien ; Lee, Gil ; Li, Peng ; Curran, Gerard ; Jawhari, Anass ; Yunda Sangoluisa, Jhonny Alexander ; Melinte, Sorin ; Legay, Axel ; Gala, Jean-Luc ; Devos, David ; Boukherroub, Rabah ; Szunerits, Sabine. Sensing of COVID-19 spike protein in nasopharyngeal samples using a portable surface plasmon resonance diagnostic system. In: Sensors & Diagnostics, Vol. 1, p. 1021-1031 (2022). doi:10.1039/d2sd00087c.
Dimovski, Aleksandar S. ; Apel, Sven ; Legay, Axel. Several lifted abstract domains for static analysis of numerical program families. In: Science of Computer Programming, Vol. 213, p. 102725 (2022). doi:10.1016/j.scico.2021.102725.
Zavalyshyn, Igor ; Legay, Axel ; Rath, Annanda ; Riviere, Etienne. SoK: Privacy-enhancing Smart Home Hubs. In: Proceedings on Privacy Enhancing Technologies, Vol. 2022, no. 4, p. 24-43 (2022). doi:10.56553/popets-2022-0097.
Bertrand Van Ouytsel, Charles-Henry ; Given-Wilson, Thomas ; Minet,Jeremy ; Roussieau, Julian ; Legay, Axel. Analysis of Machine Learning Approaches to Packing Detection. In: Computer & security, (2021) (Soumis).
Metongnon, Lionel ; Strebelle, Sébastien ; Duchêne, Fabien ; Legay, Axel ; Sadre, Ramin. OPENPOSLIB: A library to achieve centimetric geo-spatial positioning on a budget. In: IEEE Access, Vol. 9, no.1, p. 151507-151517 (2021). doi:10.1109/access.2021.3125496.
Aspeel, Antoine ; Legay, Axel ; Jungers, Raphaël M. ; Macq, Benoit. Optimal measurement budget allocation for Kalman prediction over a finite time horizon by genetic algorithms. In: EURASIP Journal on Advances in Signal Processing, Vol. 2021, no.1 (2021). doi:10.1186/s13634-021-00732-8.
ter Beek, Maurice H. ; Legay, Axel ; Lluch Lafuente, Alberto ; Vandin, Andrea. Quantitative Security Risk Modeling and Analysis with RisQFLan. In: Computers & Security, Vol. 109, p. 102381 (2021). doi:10.1016/j.cose.2021.102381.
Ter Beek, Maurice H. ; Legay, Axel ; Lafuente, Alberto Lluch ; Vandin, Andrea. A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. In: IEEE Transactions on Software Engineering, Vol. 46, no.3, p. 321-345 (2020). doi:10.1109/tse.2018.2853726.
Fahrenberg, Uli ; Legay, Axel. A linear-time–branching-time spectrum for behavioral specification theories. In: Journal of Logical and Algebraic Methods in Programming, Vol. 110, no.110, p. 100499 (2020). doi:10.1016/j.jlamp.2019.100499.
Given-Wilson, Thomas ; Jafri, Nisrine ; Legay, Axel. Combined software and hardware fault injection vulnerability detection. In: Innovations in Systems and Software Engineering, Vol. 16, no.2, p. 101-120 (2020). doi:10.1007/s11334-020-00364-5 (Accepté/Sous presse).
Fahrenberg, Uli ; Legay, Axel ; Quaas, Karin. Computing branching distances with quantitative games. In: Theoretical Computer Science, Vol. 847, no.847, p. 134-146 (2020). doi:10.1016/j.tcs.2020.10.001 (Accepté/Sous presse).
Basile, Davide ; ter Beek, Maurice H. ; Degano, Pierpaolo ; Legay, Axel ; Ferrari, Gian-Luigi ; Gnesi, Stefania ; Di Giandomenico, Felicita. Controller synthesis of service contracts with variability. In: Science of Computer Programming, Vol. 187, no.1, p. 102344 (2020). doi:10.1016/j.scico.2019.102344.
Cristescu, Ioana ; Given-Wilson, Thomas ; Legay, Axel. Expressiveness of concurrent intensionality. In: Theoretical Computer Science, Vol. 837, p. 54-83 (2020). doi:10.1016/j.tcs.2020.05.007 (Accepté/Sous presse).
Dimovski, Aleksandar S. ; Legay, Axel ; Wasowski, Andrzej. Generalized abstraction-refinement for game-based CTL lifted model checking. In: Theoretical Computer Science, Vol. 837, no.837, p. 181-206 (2020). doi:10.1016/j.tcs.2020.06.011.
Biondi, Fabrizio ; Given-Wilson, Thomas ; Legay, Axel. Introduction to the special issue for SPIN 2019. In: International Journal on Software Tools for Technology Transfer, Vol. 22, no.5, p. 563-564 (2020). doi:10.1007/s10009-020-00580-1.
Beneš, Nikola ; Fahrenberg, Uli ; Křetínský, Jan ; Legay, Axel ; Traonouez, Louis-Marie. Logical vs. behavioural specifications. In: Information and Computation, Vol. 271, no.1, p. 104487 (2020). doi:10.1016/j.ic.2019.104487.
Kammüller, Florian ; Legay, Axel ; Schivo, Stefano. Masterminding change by combining secure system design with security risk assessment. In: International Journal on Software Tools for Technology Transfer, Vol. 23, no.1, p. 69-70 (2020). doi:10.1007/s10009-020-00595-8.
Sebastio, Stefano ; Baranov, Eduard ; Biondi, Fabrizio ; Decourbe, Olivier ; Given-Wilson, Thomas ; Legay, Axel ; Puodzius, Cassius ; Quilbeuf, Jean. Optimizing symbolic execution for malware behavior classification. In: Computers & Security, Vol. 93, no.?, p. 101775 (2020). doi:10.1016/j.cose.2020.101775 (Accepté/Sous presse).
Basile, Davide ; ter Beek, Maurice H. ; Legay, Axel. Timed service contract automata. In: Innovations in Systems and Software Engineering, Vol. 16, no.2, p. 199-214 (2019). doi:10.1007/s11334-019-00353-3.
Given‐Wilson, Thomas ; Heuser, Annelie ; Jafri, Nisrine ; Legay, Axel. An automated and scalable formal process for detecting fault injection vulnerabilities in binaries. In: Concurrency and Computation: Practice and Experience, Vol. 31, no.23, p. 1-13 (2019). doi:10.1002/cpe.4794.
Legay, Axel ; Fahrenberg, Uli ; Cachera, David. An ωω\omega-Algebra for Real-Time Energy Problems. In: Logical Methods in Computer Science, Vol. 15, no.2 (2019) (Accepté/Sous presse).
Biondi, Fabrizio ; Enescu, Michael A. ; Given-Wilson, Thomas ; Legay, Axel ; Noureddine, Lamine ; Verma, Vivek. Effective, efficient, and robust packing detection and classification. In: Computers & Security, Vol. 85, no.85, p. 436-451 (2019). doi:10.1016/j.cose.2019.05.007.
Biondi, Fabrizio ; Kawamoto, Yusuke ; Legay, Axel ; Traonouez, Louis-Marie. Hybrid statistical estimation of mutual information and its application to information flow. In: Formal Aspects of Computing, Vol. 31, no.2, p. 165-206 (2018). doi:10.1007/s00165-018-0469-z (Accepté/Sous presse).
Fahrenberg, Uli ; Legay, Axel. Quantitative properties of featured automata. In: International Journal on Software Tools for Technology Transfer, Vol. 21, no.6, p. 667-677 (2019). doi:10.1007/s10009-019-00538-y.
ter Beek, Maurice H. ; Legay, Axel. Quantitative variability modelling and analysis. In: International Journal on Software Tools for Technology Transfer, Vol. 21, no.6, p. 607-612 (2019). doi:10.1007/s10009-019-00535-1.
Legay, Axel. Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking . In: IEEE Xplore digital library (IEEE/IET Electronic Library), (2019) (Accepté/Sous presse).
Cordy, Maxime ; Legay, Axel. Verification and abstraction of real-time variability-intensive systems. In: International Journal on Software Tools for Technology Transfer, Vol. 21, no.6, p. 635-649 (2019). doi:10.1007/s10009-019-00537-z (Accepté/Sous presse).
Given-Wilson, Thomas ; Heuser, Annelie ; Jafri, Nisrine ; Legay, Axel. An automated and scalable formal process for detecting fault injection vulnerabilities in binaries. In: Concurrency and Computation: Practice and Experience.
Fiadeiro, José ; Lopes, Antónia ; Delahaye, Benoît ; Legay, Axel. Dynamic networks of heterogeneous timed machines. In: Mathematical Structures in Computer Science, Vol. 28, no. 06, p. 800-855 (2018). doi:10.1017/S0960129517000135.
Biondi, Fabrizio ; Enescu, Michael ; Given-Wilson, Thomas ; Legay, Axel ; Noureddine, Lamine ; Verma, Vivek. Effective, Efficient, and Robust Packing Detection and Classification. In: Computers and Security.
Given-Wilson, Thomas ; Legay, Axel ; Sedwards, Sean ; Zendra, Olivier. Group Abstraction for Assisted Navigation of Social Activities in Intelligent Environments. In: Journal of Reliable Intelligent Environments, Vol. 4, no. 2, p. 107-120 (2018). doi:10.1007/s40860-018-0058-1.
Devroey, Xavier ; Perrouin, Gilles ; Papadakis, Mike ; Legay, Axel ; Schobbens, Pierre-Yves ; Heymans, Patrick. Model-based mutant equivalence detection using automata language equivalence and simulations. In: Journal of Systems and Software, Vol. 141, no. 2, p. 1-15 (2018). doi:10.1016/j.jss.2018.03.010.
Given-Wilson, Thomas ; Legay, Axel. On the Expressiveness of Joining and Splitting. In: Journal in honour of Bernhard Steffen's 60th.
Basile, Davide ; ter Beek, Maurice H. ; Legay, Axel ; Traonouez, Louis-Marie. Orchestration Synthesis for Real-Time Service Contracts. In: Verification and Evaluation of Computer and Communication Systems, (2018). doi:10.1007/978-3-030-00359-3_3.
Nouri, Ayoub ; Mediouni, Braham ; Bozga, Marius ; Combaz, Jacques ; Bensalem, Saddek ; Legay, Axel. Performance Evaluation of Stochastic Real-Time Systems with the SBIP Framework. In: International Journal of Critical Computer-Based Systems, p. 1-33 (2018).
Nouri, Ayoub ; Mediouni, Braham Lotfi ; Bozga, Marius ; Combaz, Jacques ; Bensalem, Saddek ; Legay, Axel. Performance evaluation of stochastic real-time systems with the SBIP framework. In: International Journal of Critical Computer-Based Systems, Vol. 8, no.3/4, p. 340 (2018). doi:10.1504/ijccbs.2018.096439.
Danger, Jean-Luc ; Guilley, Sylvain ; Heuser, Annelie ; Legay, Axel ; Ming, Tang. Physical Security Versus Masking Schemes. In: Cyber-Physical Systems Security, , p. pp 269-284 (2018). doi:10.1007/978-3-319-98935-8_13.
Arora, Shiraj ; Legay, Axel ; Richmond, Tania ; Traonouez, Louis-Marie. Statistical Model Checking of Incomplete Stochastic Systems. In: Statistical Model Checking of Incomplete Stochastic Systems, (2018). doi:10.1007/978-3-030-03421-4_23.
Legay, Axel ; Nowotka, Dirk ; Poulsen, Danny Bøgsted ; Tranouez, Louis-Marie. Statistical Model Checking of LLVM Code. In: Statistical Model Checking of LLVM Code, , p. pp 542-549 (2018). doi:10.1007/978-3-319-95582-7_32.
Guldstrand Larsen, Kim ; Legay, Axel. Statistical Model Checking the 2018 Edition!. In: Statistical Model Checking the 2018 Edition!, , p. pp 261-270 (2018). doi:10.1007/978-3-030-03421-4_17.
Given-Wilson, Thomas ; Legay, Axel. X-by-C: Non-functional Security Challenges. In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling, , p. pp 486-501 (2018). doi:10.1007/978-3-030-03418-4_29.
Fahrenberg, Uli ; Legay, Axel. A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories. In: SOFSEM 2017: Theory and Practice of Computer Science, , p. pp 49-61 (2017). doi:10.1007/978-3-319-51963-0_5.
Ésik, Zoltán ; Fahrenberg, Uli ; Legay, Axel ; Quaas, Karin. An Algebraic Approach to Energy Problems I — *-Continuous Kleene ω-Algebras. In: Acta Cybernetica, Vol. 23, no.1, p. 203-228 (2017). doi:10.14232/actacyb.23.1.2017.13.
Ésik, Zoltán ; Fahrenberg, Uli ; Legay, Axel ; Quaas, Karin. An Algebraic Approach to Energy Problems II — The Algebra of Energy Functions. In: Acta Cybernetica, Vol. 23, no.1, p. 229-268 (2017). doi:10.14232/actacyb.23.1.2017.14.
Arnold, Alexandre ; Baleani, Massimo ; Ferrari, Alberto ; Marazza, Marco ; Senni, Valerio ; Legay, Axel ; Quilbeuf, Jean ; Etzien, Christoph. An Application of SMC to continuous validation of heterogeneous systems. In: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, Vol. 4, no. 10, p. 152154 (2017). doi:10.4108/eai.1-2-2017.152154.
Fahrenberg, Uli ; Křetínský, Jan ; Legay, Axel ; Traonouez, Louis-Marie. Compositionality for quantitative specifications. In: Soft Computing, Vol. 22, no.4, p. 1139-1158 (2017). doi:10.1007/s00500-017-2519-5.
Biondi, Fabrizio ; Josse, Sébastien ; Legay, Axel ; Sirvent, Thomas. Effectiveness of Synthesis in Concolic Deobfuscation. In: Computers and Security, Vol. 70, p. 500-515 (2017). doi:10.1016/j.cose.2017.07.006.
Ngo, Van Chan ; Legay, Axel. Formal verification of probabilistic SystemC models with statistical model checking : Formal verification of probabilistic SystemC models with statistical model checking. In: Journal of Software: Evolution and Process, Vol. 30, no.3, p. e1890 (2017). doi:10.1002/smr.1890.
Devroey, Xavier ; Perrouin, Gilles ; Cordy, Maxime ; Samih, Hamza ; Legay, Axel ; Schobbens, Pierre-Yves ; Heymans, Patrick. Statistical Prioritization for Software Product Line Testing: an Experience Report. In: Software & Systems Modeling.
Lanet, Jean-Louis ; Le Bouder, Hélène ; Benattou, Mohammed ; Legay, Axel. When Time Meets Test. In: International Journal of Information Security, p. 395-409 (2017). doi:10.1007/s10207-017-0371-3.
Le Thi Thieu, Hoa ; Passerone, Roberto ; Fahrenberg, Uli ; Legay, Axel. A Tag Contract Framework for Modeling Heterogeneous Systems. In: Science of Computer Programming.
Nouri, Ayoub ; Bozga, Marius ; Molnos, Anca ; Legay, Axel ; Bensalem, Saddek. ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis. In: ACM Transactions on Embedded Computing Systems (TECS), p. 1-26 (2016). doi:10.1145/2885498.
Biondi, Fabrizio ; Given-Wilson, Thomas ; Legay, Axel. Attainable Unconditional Security for Shared-Key Cryptosystems. In: Information Sciences.
Biondi, Fabrizio ; Josse, Sébastien ; Legay, Axel. Bypassing Malware Obfuscation with Dynamic Synthesis. In: ERCIM News, no. 106 (2016).
Jegourel, Cyrille ; Legay, Axel ; Sedwards, Sean. Command-based importance sampling for statistical model checking. In: Theoretical Computer Science, Vol. 649, p. 1 - 24 (2016).
Le Thi Thieu, Hoa ; Passerone, Roberto ; Fahrenberg, Uli ; Legay, Axel. Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. In: Theory of Computing Systems, Vol. 15, p. 1-26 (2016). doi:10.1145/2885752.
Kim Jin, Hyun ; Legay, Axel ; Traonouez, Louis-Marie ; Boudjadar, Abdeldjalil ; Nyman, Ulrik ; Larsen Kim, Guldstrand ; Lee, Insup ; Choi, Jin-Young. Optimizing the Resource Requirements of Hierarchical Scheduling Systems. In: ACM SIGBED Review, Vol. 13, no. 3, p. 41-48 (2016). doi:10.1145/2983185.2983192.
Legay, Axel ; Traonouez, Louis-Marie. Statistical Model Checking with Change Detection. In: Foundations for Mastering Change.
Jafri, Nisrine ; Legay, Axel ; Lanet, Jean-Louis. Vulnerability Prediction Against Fault Attacks. In: ERCIM News.
Colombo, Alessio ; Fontanelli, Daniele ; Legay, Axel ; Palopoli, Luigi ; Sedwards, Sean. Efficient customisable dynamic motion planning for assistive robots in complex human environments. In: Journal of ambient intelligence and smart environments, p. 617-634 (2015). doi:10.3233/AIS-150338.
Oquendo, Flavio ; Legay, Axel. Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL. In: ERCIM News, no. 102 (2015).
Oquendo, Flavio ; Legay, Axel ; Drira, Khalil. GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems. In: ERCIM News, no. 102 (2015).
David, Alexandre ; Larsen Kim, Guldstrand ; Legay, Axel ; Nyman, Ulrik ; Traonouez, Louis-Marie ; Wasowski, Andrzej. Real-Time Specifications. In: Software Tools for Technology Transfer (STTT), Vol. 17, no. 1, p. 17-45 (2015). doi:10.1007/s10009-013-0286-x.
D'Argenio, Pedro ; Legay, Axel ; Sedwards, Sean ; Traonouez, Louis-Marie. Smart Sampling for Lightweight Verification of Markov Decision Processes. In: International Journal on Software Tools for Technology Transfer, Vol. 17, no. 4, p. 469-484 (2015). doi:10.1007/s10009-015-0383-0.
Legay, Axel. UPPAAL SMC: A tutorial. In: International Journal on Software Tools for Technology Transfer, Vol. 17, no.4, p. 20 (2015). doi:10.1007/s10009-014-0361-y .
Legay, Axel ; Quilbeuf, Jean ; Oquendo, Flavio. Verifying Systems-of-Systems with Statistical Model Checking. In: ERCIM News, no. 103 (2015).
Bensalem, Saddek ; Bozga, Marius ; Legay, Axel ; Nguyen, Thanh-Hung ; Sifakis, Joseph ; Yan, Rongjie. Component-based Verification using Incremental design and Invariants. In: Software & Systems Modeling, p. 427-451 (2014). doi:10.1007/s10270-014-0410-8.
Fahrenberg, Uli ; Legay, Axel. General quantitative specification theories with modal transition systems. In: Acta Informatica, p. 261-295 (2014). doi:10.1007/s00236-014-0196-8.
Ferreira Filho Joao, Bosco ; Barais, Olivier ; Acher, Mathieu ; Le Noir, Jérôme ; Legay, Axel ; Baudry, Benoit. Generating Counterexamples of Model-based Software Product Lines. In: Software Tools for Technology Transfer (STTT).
Biondi, Fabrizio ; Legay, Axel ; Nielsen Bo, Friis ; Wasowski, Andrzej. Maximizing Entropy over Markov Processes. In: Journal of Logical and Algebraic Methods in Programming.
Biondi, Fabrizio ; Legay, Axel ; Malacaria, Pasquale ; Wąsowski, Andrzej. Quantifying Information Leakage of Randomized Protocols. In: Theoretical Computer Science, p. 68-87 (2014). doi:10.1007/978-3-642-35873-9_7.
Delahaye, Benoit ; Fahrenberg, Uli ; Larsen Kim, Guldstrand ; Legay, Axel. Refinement and Difference for Probabilistic Automata. In: Logical Methods in Computer Science, p. LMCS-2013-936 (2014).
Larsen Kim, Guldstrand ; Legay, Axel ; Traonouez, Louis-Marie ; Wąsowski, Andrzej. Robust Synthesis for Real Time Systems. In: Theoretical Computer Science, Vol. 515, p. 96-122 (2014). doi:10.1016/j.tcs.2013.08.015.
Nouri, Ayoub ; Bensalem, Saddek ; Bozga, Marius ; Delahaye, Benoit ; Jegourel, Cyrille ; Legay, Axel. Statistical model checking QoS properties of systems with SBIP. In: International Journal on Software Tools for Technology Transfer, p. 171-185 (2014). doi:10.1007/s10009-014-0313-6.
Delahaye, Benoit ; Larsen Kim, Guldstrand ; Legay, Axel. Stuttering for Abstract Probabilistic Automata. In: Journal of Logic and Algebraic Programming, p. 1-19 (2014). doi:10.1016/j.jlap.2013.05.006.
Fahrenberg, Uli ; Legay, Axel. The quantitative linear-time–branching-time spectrum. In: Theoretical Computer Science, p. 54-69 (2014). doi:10.1016/j.tcs.2013.07.030.
Allamigeon, Xavier ; Legay, Axel ; Fahrenberg, Uli ; Katz, Ricardo ; Gaubert, Stéphane. Tropical Fourier–Motzkin elimination, with an application to real-time verification. In: International Journal of Algebra and Computation (IJAC), Vol. 24, no. 5, p. 569-607 (2014). doi:10.1142/S0218196714500258.
Aminof, Benjamin ; Legay, Axel ; Murano, Aniello ; Serre, Olivier ; Vardi, Moshe. Pushdown Module Checking with Imperfect Information. In: Information and Computation, Vol. 223, p. 1-17 (2013). doi:10.1016/j.ic.2012.11.005.
Bensalem, Saddek ; Legay, Axel ; Bozga, Marius. Rigorous embedded design: challenges and perspectives. In: International Journal on Software Tools for Technology Transfer, Vol. 15, no. 3, p. 149-154 (2013). doi:10.1007/s10009-013-0271-4.
Bauer Sebastian, S. ; Fahrenberg, Uli ; Juhl, Line ; Larsen Kim, Guldstrand ; Legay, Axel ; Thrane, Claus. Weighted modal transition systems. In: Formal Methods in System Design, Vol. 42, no. 2, p. 193-220 (2013). doi:10.1007/s10703-012-0178-9.
Bertrand, Nathalie ; Legay, Axel ; Pinchinat, Sophie ; Raclet, Jean-Baptiste. Modal event-clock specifications for timed component-based design. In: Science of Computer Programming, no. 77, p. 1212-1234 (2012). doi:10.1016/j.scico.2011.01.007.
Classen, Andreas ; Cordy, Maxime ; Heymans, Patrick ; Schobbens, Pierre-Yves ; Legay, Axel. Model Checking for Software Product Lines with SNIP. In: International Journal on Software Tools for Technology Transfer, p. 589-612 (2012). doi:10.1007/s10009-012-0234-1.
Bozzelli, Laura ; Legay, Axel ; Pinchinat, Sophie. On timed alternating simulation for concurrent timed games. In: Acta Informatica, Vol. 49, no. 4, p. 249-279 (2012). doi:10.1007/s00236-012-0158-y.
Basu, Ananda ; Bensalem, Saddek ; Bozga, Marius ; Delahaye, Benoît ; Legay, Axel. Statistical abstraction and model-checking of Large Heterogeneous Systems. In: International Journal on Software Tools for Technology Transfer, Vol. 14, no. 1, p. 53-72 (2012). doi:10.1007/s10009-011-0201-2.
Raclet, Jean-Baptiste ; Badouel, Eric ; Benveniste, Albert ; Caillaud, Benoît ; Legay, Axel ; Passerone, Roberto. A Modal Interface Theory for Component-based Design. In: Fundamenta Informaticae, Vol. 108, no. 1-2, p. 119-149 (2011). doi:10.3233/FI-2011-416.
Caillaud, Benoit ; Delahaye, Benoît ; Larsen Kim, Guldstrand ; Legay, Axel ; Pedersen Mikkel, L. ; Wasowski, Andrzej. Constraint Markov Chains. In: Theoretical Computer Science, Vol. 412, no. 34, p. 4373-4404 (2011). doi:10.1016/j.tcs.2011.05.010.
Delahaye, Benoît ; Caillaud, Benoît ; Legay, Axel. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Systems with Stochastic and/or non-Deterministic Aspects. In: Formal Methods in System Design, Vol. 38, no. 1, p. 1-32 (2011). doi:10.1007/s10703-010-0107-8.
Bouajjani, Ahmed ; Legay, Axel ; Wolper, Pierre. Handling Liveness Properties in (omega-)Regular Model Checking.. In: Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings, Vol. 138, no.3, p. 101-115 (2005). doi:https://doi.org/10.1016/j.entcs.2005.02.061. doi:10.1016/j.entcs.2005.02.061 (Soumis).
Martou, Pierre ; Mens, Kim ; Duhoux, Benoît ; Legay, Axel. Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study, COP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity (Collocated with ECOOP), Association for Computing Machinery: New York, NY, USA, 2022. 9781450399869. 9 p. doi:10.1145/3570353.3570358.
Model Checking Software, éd. Fabrizio Biondi ; Given-Wilson, Thomas ; Legay, Axel, 2019. 978-3-030-30922-0. VIII, 251 p. doi:10.1007/978-3-030-30923-7.
Jaeger, Manfred ; Jensen, Peter Gjøl ; Guldstrand Larsen, Kim ; Legay, Axel ; Sedwards, Sean ; Taankvist, Jakob Haahr. Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs (Lecture Notes in Computer Science; 11781), Springer, 2019. 978-3-030-31783-6. doi:10.1007/978-3-030-31784-3_5.
Cuppens-Boulahia, Nora ; Cuppens, Frédéric ; Lanet, Jean-Louis ; Legay, Axel ; Garcia-Alfaro, Joaquin. Risks and security of internet and systems : 12th international conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, revised selected papers, 2018. 978-3-319-76686-7. 269 p.
Oquendo, Flavio ; Drira, Khalil ; Legay, Axel ; Batista, Thais. Proceedings of the 1st ACM SAC Conference Track on Software-intensive Systems-of-Systems (SiSoS 2017) : 32nd ACM SIGAPP Symposium On Applied Computing : 32nd ACM SIGAPP Symposium On Applied Computing, 2017.
Oquendo, Flavio ; Ali Babar, Muhammad ; Drira, Khalil ; Legay, Axel. Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 2016.
Cantin, François ; Legay, Axel ; Wolper, Pierre. Computing Convex Hulls by Automata Iteration (Axel Legay), 2008. 1-2345-6789-X}. doi:10.1007/978-3-540-70844-5_12.
Sava Zxivanovich ; Branislav Todorovic ; Jean Pierre Lorré ; Darko Trifunovic ; Adrian Kotelba ; Sadre, Ramin ; Legay, Axel. IoT in a New Age of Unified and Zero-Trust Networks and Increased Privacy Protection. In: Rida Khatoun (coord.), Cybersecurity in Smart Homes: Architectures, Solutions and Technologies, 2022. 9781789450866. doi:10.1002/9781119987451.ch5.
Legay, Axel ; Lukina, Anna ; Traonouez, Louis Marie ; Yang, Junxing ; Smolka, Scott A. ; Grosu, Radu. Statistical Model Checking. In: Steffen, ; Woeginger, Gerhard J., Lecture Notes in Computer Science : Computing and Software Science (Lecture Notes in Computer Science; 10000), Springer, 2019, 478-504. 9783319919072. doi:10.1007/978-3-319-91908-9_23.
Beaulaton, Delphine ; Cristescu, Ioana ; Legay, Axel ; Quilbeuf, Jean. A Modeling Language for Security Threats of IoT Systems, 2018.
Given-Wilson, Thomas ; Jafri, Nisrine ; Legay, Axel. The State of Fault Injection Vulnerability Detection, 2018.
Fahrenberg, Uli ; Larsen Kim, Guldstrand ; Legay, Axel ; Thrane, Claus. Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems, Springer Berlin Heidelberg: Berlin, Heidelberg, 2013. 9783642397202. doi:10.1007/978-3-642-39721-9_2.
Wirtgen, Thomas ; Rousseaux, Tom ; De Coninck, Quentin ; Rybowski, Nicolas ; Bush, Randy ; Vanbever, Laurent ; Legay, Axel ; Bonaventure, Olivier. xBGP: Faster Innovation in Routing Protocols. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23) (Boston, MA, USA, du 17/04/2023 au 19/04/2023). In: 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23), (2023) (Accepté/Sous presse).
Baranov, Eduard ; Chakraborty, Sourav ; Legay, Axel ; Meel, Kuldeep S. ; Variyam, Vinodchandran N. . A Scalable t-wise Coverage Estimator. 44th International Conference on Software Engineering (Pittsburgh USA / Virtual, du 08/05/2022 au 27/05/2022). In: 44th International Conference on Software Engineering (ICSE '22), May 21--29, 2022, Pittsburgh, PA, USA, 2022. 978-1-4503-9221-1/22/05. doi:10.1145/3510003.3510218.
Baranov, Eduard ; Legay, Axel. Baital: An Adaptive Weighted Sampling Platform for Configurable Systems. 26th ACM International Systems and Software Product Line Conference (Graz, Austria, du 12/09/2022 au 16/09/2022). In: 26th ACM International Systems and Software Product Line Conference - Volume B (SPLC '22), September 12--16, 2022, Graz, Austria, 2022. 978-1-4503-9206-8/22/09. doi:10.1145/3503229.3547030.
Bertrand Van Ouytsel, Charles-Henry ; Legay, Axel. Malware Analysis with Symbolic Execution and Graph Kernel. NordSec'22: The 27th Nordic Conference on Secure IT Systems (Reykjavik). In: NordSec'22: Proceedings of the 27th Nordic conference on Secure IT Systems, 2022. 978-3-642-34209-7.
D'Hondt, Alexandre ; Bertrand Van Ouytsel, Charles-Henry ; Legay, Axel. Packing-Box: Playing with Executable Packing. BlackHat Europe 2022 (London, du 07/12/2022 au 08/12/2022).
Baranov, Eduard ; Legay, Axel. Serums Healthcare System: Completed and Secured. 4th International Workshop on Adaptive and Personalized Privacy and Security (Barcelona,Spain/Virtual, 07/07/2022).
Bertrand Van Ouytsel, Charles-Henry ; Dam, Khanh Huu The ; Legay, Axel. Symbolic analysis meets federated learning to enhance malware identifier. ARES 2022: The 17th International Conference on Availability, Reliability and Security (Vienna Austria). In: ARES '22: Proceedings of the 17th International Conference on Availability, Reliability and Security, 2022. 978-1-4503-9670-7, p. 1-10. doi:10.1145/3538969.3538996.
Bertrand Van Ouytsel, Charles-Henry ; Crochet, Christophe ; Legay, Axel. Tool paper - SEMA: Symbolic Execution toolchain for Malware Analysis. 17th International Conference on Risks and Security of Internet and Systems. In: CRiSIS '22: Proceedings of the 17th International Conference on Risks and Security of Internet and Systems, 2022. 9783031020667.
Magalhaes Azevedo, Daniela ; Legay, Axel ; Kieffer, Suzanne. User Reception of Babylon Health's Chatbot. HUCAPP 2022, 6th International Conference on Human Computer Interaction Theory and Applications (Vienna, Austria, du 06/02/2022 au 08/02/2022). In: Proceedings of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, 2022. 978-989-758-555-5, p. 134-141. doi:10.5220/0000156800003124.
Baranov, Eduard ; Bowles, Juliana ; Given-Wilson, Thomas ; Legay, Axel ; Webber, Thais. A Secure User-Centred Healthcare System: Design and Verification. 10th International Symposium "From Data to Models and Back" (Virtual, du 06/12/2021 au 07/12/2021). In: LNCS, Vol. 13268 (2022). doi:10.1007/978-3-031-16011-0_4.
Chenoy, Antoine ; Duchêne, Fabien ; Given-Wilson, Thomas ; Legay, Axel. C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs. SPIN 2021 - 27th International SPIN Symposium on Model Checking of Software (Online, du 12/07/2021 au 13/07/2021). In: Proceedings of the 27th International SPIN Symposium on Model Checking of Software, 2021. 000-0-0000-0000-0.
Zavalyshyn, Igor ; Given-Wilson, Thomas ; Legay, Axel ; Sadre, Ramin ; Riviere, Etienne. Chaos Duck: Towards Automatic IoT Software Fault-Tolerance Analysis. The 40th International Symposium on Reliable Distributed Systems (SRDS). In: Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021. 978-1-7281-7626-0.
Goffinet, Stanley ; Schmitz, Donatien ; Zavalyshyn, Igor ; Legay, Axel ; Riviere, Etienne. Controlling Security Rules Using Natural Dialogue: an Application to Smart Home Care. UbiComp '21 workshops: The 2021 ACM International Joint Conference on Pervasive and Ubiquitous Computing (Virtual USA). In: UbiComp '21: Adjunct Proceedings of the 2021 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2021. 978-1-4503-8461-2. doi:10.1145/3460418.3479331.
Bertrand Van Ouytsel, Charles-Henry ; Legay, Axel. Extended abstract - Detection and classification of malware based on symbolic execution and machine learning methods. Cybersec&AI (Online, du 04/11/2021 au 05/11/2021) (Soumis).
Rybowski, Nicolas ; De Coninck, Quentin ; Rousseaux, Tom ; Legay, Axel ; Bonaventure, Olivier. Implementing the plugin distribution system. SIGCOMM '21: ACM SIGCOMM 2021 Conference (Virtual Event, du 23/08/2021 au 27/08/2021). In: SIGCOMM '21: Proceedings of the SIGCOMM '21 Poster and Demo Sessions, Association for Computing Machinery: New York, NY, United States, 2021. 978-1-4503-8629-6, p. 39-41. doi:10.1145/3472716.3472860.
Zavalyshyn, Igor ; Legay, Axel ; Rath, Annanda ; Riviere, Etienne. Smart Home Care: Towards Supporting Elderlies in the Comfort and Safety of their (Smart) Homes. Safety, Security, and Privacy in Complex Artificial Intelligence based Systems (SAFELIFE 2021) (du 22/11/2021 au 26/11/2021). In: Proceedings of the LADC 2021 workshops, 2021. 978-1-7281-6622-3.
Basile, Davide ; ter Beek, Maurice H. ; Degano, Pierpaolo ; Legay, Axel ; Ferrari, Gian-Luigi ; Gnesi, Stefania ; Di Giandomenico, Felicita. Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021 held ([S.l], du 14/06/2021 au 18/06/2021). In: Lecture Notes in Computer Science, Vol. 12719 LNCS, p. 177-181 (2021). doi:10.1007/978-3-030-78089-0_10.
Martou, Pierre ; Mens, Kim ; Duhoux, Benoît ; Legay, Axel. Test Scenario Generation for Context-Oriented Programs. VALID 2021, The Thirteenth International Conference on Advances in System Testing and Validation Lifecycle (Barcelona, Spain, du 03/10/2021 au 07/10/2021). In: VALID 2021, The Thirteenth International Conference on Advances in System Testing and Validation Lifecycle (VALID, International Conference on Advances in System Testing and Validation Lifecycle), Jos van Rooyen, huis voor software kwaliteit, The Netherlands, 2021. 978-1-61208-897-6, p. 1-11.
Crochet, Christophe ; Rousseaux, Tom ; Piraux, Maxime ; Sambon, Jean-François ; Legay, Axel. Verifying QUIC implementations using Ivy. ACM CoNEXT 2021 Workshop on the Evolution, Performance, and Interoperability of QUIC (Germany, du 07/12/2021 au 07/12/2021), (2021). doi:10.1145/3488660.3493803 (Accepté/Sous presse).
Larsen, Kim G. ; Legay, Axel. 30 Years of Statistical Model Checking. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles . In: Lecture Notes in Computer Science, 2020. 9783030613617, p. 325-330. doi:10.1007/978-3-030-61362-4_18.
Baranov, Eduard ; Legay, Axel ; Meel, Kuldeep S.. Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage. 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (Virtual Event, USA, du 08/11/2020 au 13/11/2020). In: ESEC/FSE 2020: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Founda, Association for Computing Machinery: New York, NY, United States, 2020. 9781450370431. doi:10.1145/3368089.3409744.
Fahrenberg, Uli ; Legay, Axel. Behavioral Specification Theories: An Algebraic Taxonomy. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles . In: Lecture Notes in Computer Science, 2020. 9783030613617, p. 262-274. doi:10.1007/978-3-030-61362-4_14.
Zavalyshyn, Igor ; Given-Wilson, Thomas ; Legay, Axel ; Sadre, Ramin. Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software. SSS 2020: Stabilization, Safety, and Security of Distributed Systems . In: Lecture Notes in Computer Science, Vol. 12514, no.1, p. 317-322 (2020). doi:10.1007/978-3-030-64348-5_25.
Given-Wilson, Thomas ; Baranov, Eduard ; Legay, Axel. Building User Trust of Critical Digital Technologies. 2020 IEEE International Conference on Industrial Technology (ICIT) (Buenos Aires, Argentina, du 26/2/2020 au 28/2/2020). In: 2020 IEEE International Conference on Industrial Technology (ICIT), IEEE, 2020. 9781728157542. doi:10.1109/icit45562.2020.9067154.
Dimovski, Aleksandar S. ; Legay, Axel. Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. In: Fundamental Approaches to Software Engineering : Lecture Notes in Computer Science (Lecture Notes in Computer Science; 12076), Heike Wehrheim and Jordi Cabot, 2020. 9783030452339, p. 182-202. doi:10.1007/978-3-030-45234-6_9 (Accepté/Sous presse).
Duchêne, Fabien ; Given-Wilson, Thomas ; Legay, Axel ; Strebelle, Sébastien. Exploiting Virtualisation for Interactive Virtual Teaching. Teaching and Learning Computer Networking During the Pandemic and Beyond (Online, du 05/08/2020 au 06/08/2020) (Accepté/Sous presse).
Gomes, Eduardo ; Zavalyshyn, Igor ; Santos, Nuno ; Silva, João ; Legay, Axel. Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications. The 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom'20) (Guangzhou, China, du 29/12/2020 au 01/01/2021). In: The 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom'20), (2020).
Given-Wilson, Thomas ; Legay, Axel. Formalising fault injection and countermeasures. ARES 2020: The 15th International Conference on Availability, Reliability and Security (Virtual Event Ireland). In: Proceedings of the 15th International Conference on Availability, Reliability and Security, ACM, 2020. 9781450388337. doi:10.1145/3407023.3407049.
Baranov, Eduard ; Given-Wilson, Thomas ; Legay, Axel. Improving Secure and Robust Patient Service Delivery. ISoLA 2021 (Rhodes, Greece, du 19/10/2021 au 21/10/2021). In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, Vol. 12476, p. 404--418 (October 2020). doi:10.1007/978-3-030-61362-4_23 (Accepté/Sous presse).
Zavalyshyn, Igor ; Santos, Nuno ; Sadre, Ramin ; Legay, Axel. My House, My Rules: A Private-by-Design Smart Home Platform. EAI MobiQuitous 2020 - 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Virtual, du 07/12/2020 au 09/12/2020). In: EAI MobiQuitous 2020 - 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, (2020).
Paigwar, Anshul ; Baranov, Eduard ; Renzaglia, Alessandro ; Laugier, Christian ; Legay, Axel. Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking. IEEE Intelligent Vehicles Symposium (IV) 2020 ((Virtual) Las Vegas, NV, United States, du 19/10/2020 au 13/11/2020). In: IEEE Intelligent Vehicles Symposium. Proceedings, Vol. , no., p. 737 - 743 (2020). doi:10.1109/IV47402.2020.9304821.
Cordy, Maxime ; Papadakis, Mike ; Legay, Axel. Statistical Model Checking for Variability-Intensive Systems. Fundamental Approaches to Software Engineering : Lecture Notes in Computer Science. doi:10.1007/978-3-030-45234-6_15 (Accepté/Sous presse).
Basile, Davide ; ter Beek, Maurice H. ; Legay, Axel. Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. doi:10.1007/978-3-030-50086-3_1 (Accepté/Sous presse).
Basile, Davide ; Beek, Maurice H. ter ; Cordy, Maxime ; Legay, Axel. Tackling the equivalent mutant problem in real-time systems : the 12 commandments of model-based mutation testing. SPLC '20: 24th ACM International Systems and Software Product Line Conference (Montreal Quebec Canada). In: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, ACM, 2020. 9781450375696. doi:10.1145/3382025.3414966.
Beek, Maurice H. ter ; Legay, Axel ; Lafuente, Alberto Lluch ; Vandin, Andrea. Variability meets security : qantitative security modeling and analysis of highly customizable attack scenarios. VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems (Magdeburg Germany). In: Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems, ACM, 2020. 9781450375016. doi:10.1145/3377024.3377041.
ter Beek, Maurice H. ; Cleophas, Loek ; Legay, Axel ; Schaefer, Ina ; Watson, Bruce W.. X-by-Construction : Correctness Meets Probability. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. In: Lecture Notes in Computer Science, 2020. 9783030613617, p. 211-215. doi:10.1007/978-3-030-61362-4_11.
Cordy, Maxime ; Devroey, Xavier ; Legay, Axel ; Perrouin, Gilles ; Classen, Andreas ; Heymans, Patrick ; Schobbens, Pierre-Yves ; Raskin, Jean-François. A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occas (Porto). In: From Software Engineering to Formal Methods and Tools, and Back : Lecture Notes in Computer Science, Springer: Heidelberg, 2019. 9783030309848, p. 285-312. doi:10.1007/978-3-030-30985-5_18.
Fahrenberg, Uli ; Legay, Axel ; Quaas, Karin. Computing Branching Distances Using Quantitative Games. Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium (Hammamet Tunisia, du 31/10/2019 au 04/11/2019). In: Theoretical Aspects of Computing – ICTAC 2019 : Lecture Notes in Computer Science, 2019. 9783030325046, p. 59-75. doi:10.1007/978-3-030-32505-3_4.
Ninet, Tristan ; Legay, Axel ; Maillard, Romaric ; Traonouez, Louis-Marie ; Zendra, Olivier. Model Checking the IKEv2 Protocol Using Spin. 2019 17th International Conference on Privacy, Security and Trust (PST) (Fredericton, NB, Canada, du 26/8/2019 au 28/8/2019). In: 2019 17th International Conference on Privacy, Security and Trust (PST), IEEE, 2019. 9781728132655. doi:10.1109/pst47121.2019.8949057.
Legay, Axel ; Ter Beek, Maurice ; Ferrari, Alessio ; Basile, Davide. Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Uppaal SMC. Formal Methods for Industrially Critical Systems. In: Formal Methods for Industrial Critical Systems, (2019).
De Coninck, Quentin ; Michel, François ; Piraux, Maxime ; Rochet, Florentin ; Given-Wilson, Thomas ; Legay, Axel ; Pereira, Olivier ; Bonaventure, Olivier. Pluginizing QUIC. The ACM Special Interest Group on Data Communication - SIGCOMM '19 (Beijing, China, du 19/08/2019 au 23/08/2019). In: Proceedings of the ACM Special Interest Group on Data Communication - SIGCOMM '19, ACM Press, 2019. 9781450359566. doi:10.1145/3341302.3342078.
ter Beek, Maurice H. ; Legay, Axel. Quantitative Variability Modeling and Analysis. the 13th International Workshop (Leuven, Belgium, du 6/2/2019 au 8/2/2019). In: Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems - VAMOS '19, ACM Press, 2019. 9781450366489. doi:10.1145/3302333.3302349.
ter Beek, Maurice H. ; Legay, Axel ; Lluch Lafuente, Alberto ; Vandin, Andrea. Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. Integrated Formal Methods - 15th International Conference, {IFM} 2019 (Bergen, Norway, du 02/12/2019 au 06/12/2019). In: Lecture Notes in Computer Science : Integrated Formal Methods, Wolfgang Ahrendt and Silvia Lizeth, 2019. 9783030349677, p. 547-551. doi:10.1007/978-3-030-34968-4_35.
Legay, Axel ; Jaeger, Manfred ; Haahr Taankvist, Jakob ; Sedwards, Sean ; Jensen, Peter ; Larsen, Kim. Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs. ATVA. In: ATVA, Springer: Berlin Heidelberg, 2019. 978-3-030-16721-9.
Ninet, Tristan ; Legay, Axel ; Maillard, Romaric ; Traonouez, Louis-Marie ; Zendra, Olivier. The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2. 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications (Rotorua, New Zealand, du 5/8/2019 au 8/8/2019). In: 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications, IEEE, 2019. 9781728127774. doi:10.1109/trustcom/bigdatase.2019.00019.
Legay, Axel ; Cordy, Maxime ; Lazreg, Sami ; Collet, Philippe. Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata. Formalize (Waterloo) (Accepté/Sous presse).
Barbier, Mathieu ; Renzaglia, Alessandro ; Quilbeuf, Jean ; Rummelhard, Lukas ; Paigwar, Anshul ; Laugier, Christian ; Legay, Axel ; Ibanez-Guzman, Javier ; Simonin, Olivier. Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking. 2019 IEEE Intelligent Vehicles Symposium (IV) (Paris, France, du 9/6/2019 au 12/6/2019). In: 2019 IEEE Intelligent Vehicles Symposium (IV), IEEE, 2019. 9781728105604. doi:10.1109/ivs.2019.8813793.
Dimovski, Aleksandar S. ; Legay, Axel ; Wasowski, Andrzej. Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. In: FASE 2019. doi:10.1007/978-3-030-16722-6_11.
Mediouni, Braham Lotfi ; Nouri, Ayoub ; Bozga, Marius ; Dellabani, Mahieddine ; Legay, Axel ; Bensalem, Saddek. $$\mathcal {S}$$BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA,. doi:10.1007/978-3-030-01090-4_33.
Beaulaton, Delphine ; Ben Said, Najah ; Cristescu, Ioana ; Fleurquin, Régis ; Legay, Axel ; Quilbeuf, Jean ; Sadou, Salah. A Language for Analyzing Security of IOT Systems. 13th Annual Conference on System of Systems Engineering, SoSE 2018 (Paris, 19/06/2018). In: 2018 13th Annual Conference on System of Systems Engineering (SoSE), IEEE, 2018. 9781538648766. doi:10.1109/SYSOSE.2018.8428704.
Ben Said, Najah ; Said, Najah ; Biondi, Fabrizio ; Bontchev, Vesselin ; Decourbe, Olivier ; Given-Wilson, Thomas ; Legay, Axel ; Quilbeuf, Jean. Detection of Mirai by Syntactic and Semantic Analysis. 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE) (du 15/10/2018 au 18/10/2018).
Drira, Khalil ; Oquendo, Flavio ; Legay, Axel ; Batista, Thais. Editorial Message Track on Software-intensive Systems-of-Systems (SiSoS) of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018). SAC 2018 - The 33rd ACM/SIGAPP Symposium On Applied Computing (du 09/04/2018 au 13/04/2018).
Bukasa, Sebanjila ; Lashermes, Ronan ; Lanet, Jean-Louis ; Legay, Axel. Let's shock our IoT's heart: ARMv7-M under (fault) attacks. 13th International Conference on Availability, Reliability and Security (ARES 2018) (Hamburg, Germany, du 27/08/2018 au 30/08/2018). In: Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES 2018, ACM Press: New York, New York, USA, 2018. 9781450364485. doi:10.1145/3230833.3230842.
Mediouni, Braham ; Nouri, Ayoub ; Bozga, Marius ; Legay, Axel ; Bensalem, Saddek. Mitigating Security Risks through Attack Strategies Exploration. ISoLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (du 05/11/2018 au 09/11/2018).
Legay, Axel ; Picek, Stjepan ; Samiotis, Ioannis Petros ; Jaehun, Kim ; Heuser, Annelie ; Bhasin, Shivam . On the Performance of Convolutional Neural Networks for Side-Channel Analysis. Space 2018 (Indian Institute of Technology, Kanpur, du 17/12/2018 au 19/12/2018). In: Security, Privacy, and Applied Cryptography Engineering, , p. pp 157-176 (2018). doi:10.1007/978-3-030-05072-6_10.
Legay, Axel ; Vandin, Andrea ; H. ter Beek, Maurice ; Lluch Lafuente, Alberto . QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. FM 2018 : 22nd International Symposium on Formal Methods (Oxford, United Kingdom , du 15/07/2018 au 17/07/2018). In: Formal Methods, (2018). doi:10.1007/978-3-319-95582-7_19.
Mediouni, Braham ; Nouri, Ayoub ; Bozga, Marius ; Dellabani, Mahieddine ; Legay, Axel ; Bensalem, Saddek. SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems. ATVA 2018 - 16th International Symposium Automated Technology for Verification and Analysis (du 07/10/2018 au 10/10/2018).
Biondi, Fabrizio ; Enescu, Michael A. ; Heuser, Annelie ; Legay, Axel ; Meel, Kuldeep S. ; Quilbeuf, Jean. Scalable Approximation of Quantitative Information Flow in Programs.. VMCAI. In: VMCAI, , p. 71-93 (2018). doi:10.1007%2F978-3-319-73721-8_4.
Fried, Dror ; Legay, Axel ; Ouaknine, Joël ; Vardi, Moshe Y.. Sequential Relational Decomposition. the 33rd Annual ACM/IEEE Symposium (Oxford, United Kingdom, du 9/7/2018 au 12/7/2018). In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, ACM Press, 2018. 9781450355834. doi:10.1145/3209108.3209203.
Quilbeuf, Jean ; Barbier, Mathieu ; Rummelhard, Lukas ; Laugier, Christian ; Legay, Axel ; Baudouin, Blanche ; Genevois, Thomas ; Ibañez-Guzmán, Javier ; Simonin, Olivier. Statistical Model Checking Applied on Perception and Decision-making Systems for Autonomous Driving. PPNIV 2018 - 10th Workshop on Planning, Perception and Navigation for Intelligent Vehicles (du 01/10/2018 au 01/10/2018).
Olaechea, Rafael ; Atlee, Joanne ; Legay, Axel ; Fahrenberg, Uli. Trace checking for dynamic software product lines. the 13th International Conference (Gothenburg, Sweden, du 28/5/2018 au 29/5/2018). In: Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '18, ACM Press, 2018. 9781450357159. doi:10.1145/3194133.3194143.
Biondi, Fabrizio ; Given-Wilson, Thomas ; Legay, Axel ; Puodzius, Cassius ; Quilbeuf, Jean. Tutorial: an Overview of Malware Detection and Evasion Techniques. ISoLA (05/11/2018).
Given-Wilson, Thomas ; Jafri, Nisrine ; Lanet, Jean-Louis ; Legay, Axel. An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT. 2017 IEEE Trustcom/BigDataSE/ICESS (Sydney, Australia, du 01/08/2017 au 04/08/2017). In: 2017 IEEE Trustcom/BigDataSE/ICESS, IEEE, 2017. 9781509049066. doi:10.1109/Trustcom/BigDataSE/ICESS.2017.250.
Kunnappilly, Ashalatha ; Legay, Axel ; Margaria, Tiziana ; Seceleanu, Cristina ; Steffen, Bernhard ; Traonouez, Louis-Marie. Analyzing Ambient Assisted Living Solutions: A Research Perspective. 12th International Conference on Desig &Technology of Integrated Systems In Nanoscale Era (DTIS) (Palma de Mallorca, Spain, du 04/04/2017 au 06/04/2017). In: 2017 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS), IEEE, 2017. 9781509063772. doi:10.1109/DTIS.2017.7930168.
Devroey, Xavier ; Perrouin, Gilles ; Papadakis, Mike ; Legay, Axel ; Schobbens, Pierre-Yves ; Heymans, Patrick. Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation. ICST 2017 - International Conference on Software Testing, Verification and Validation (du 13/03/2017 au 13/03/2017).
Picek, Stjepan ; Heuser, Annelie ; Jovic, Alan ; Legay, Axel. Climbing Down the Hierarchy: Hierarchical Classification for Machine Learning Side-Channel Attacks. AFRICACRYPT 2017 - International Conference on Cryptology in Africa (du 24/05/2017 au 26/05/2017). In: Progress in Cryptology - AFRICACRYPT 2017 Lecture Notes in Computer Science, Springer International Publishing: Cham, 2017. 9783319573380. doi:10.1007/978-3-319-57339-7_4.
Fahrenberg, Uli ; Legay, Axel. Featured Weighted Automata. 5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017) (Buenos Aires, Argentina, 27/05/2017). In: 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE), IEEE, 2017. 9781538604229. doi:10.1109/FormaliSE.2017.2.
Bukasa, Sebanjila ; Lashermes, Ronan ; Bouder, Hélène ; Lanet, Jean-Louis ; Legay, Axel. How TrustZone Could Be Bypassed: Side-Channel Attacks on a Modern System-on-Chip. 11th IFIP International Conference on Information Security Theory and Practice (WISTP) (du 28/09/2017 au 29/09/2017). In: Information Security Theory and Practice Lecture Notes in Computer Science, Springer International Publishing: Cham, 2017. 9783319935232. doi:10.1007/978-3-319-93524-9_6.
Kevin, Bukasa ; Lashermes, Ronan ; Lanet, Jean-Louis ; Le Bouder, Hélène ; Legay, Axel. How TrustZone could be bypassed: Side-Channel Attacks on a modern System-on-Chip. Wistp'17, International Conference on Information Security Theory and Practice (du 28/09/2017 au 29/09/2017).
Biondi, Fabrizio ; Kawamoto, Yusuke ; Legay, Axel ; Traonouez, Louis-Marie. HyLeak: Hybrid Analysis Tool for Information Leakage. ATVA 2017 - Fifteenth International Symposium on Automated Technology for Verification and Analysis (du 03/10/2017 au 06/10/2017).
Biondi, Fabrizio ; Chadli, Mounir ; Given-Wilson, Thomas ; Legay, Axel. Information Leakage as a Scheduling Resource. International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (18/09/2017).
Given-Wilson, Thomas ; Legay, Axel ; Sedwards, Sean. Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults. HAS 2017 - International Conference on Human Aspects of Information Security, Privacy, and Trust (du 09/07/2017 au 14/07/2017). In: Human Aspects of Information Security, Privacy and Trust Lecture Notes in Computer Science, Springer International Publishing: Cham, 2017. 9783319584591. doi:10.1007/978-3-319-58460-7_7.
Biondi, Fabrizio ; Déchelle, François ; Legay, Axel. MASSE: Modular Automated Syntactic Signature Extraction. ISSRE 2017 - The 28th International Symposium on Software Reliability Engineering - IEEE (du 23/10/2017 au 26/10/2017).
Perrouin, Gilles ; Heymans, Patrick ; Legay, Axel ; Devroey, Xavier ; Cordy, Maxime ; Schobbens, Pierre-Yves. On Featured Transition Systems. SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Informatics (du 11/01/2017 au 20/01/2017).
Legay, Axel ; Traonouez, Louis-Marie. Plasma Lab Statistical Model Checker: Architecture, Usage and Extension. SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Computer Science (du 16/01/2017 au 20/01/2017).
Li, Guangyuan ; Jensen, Peter ; Larsen, Kim ; Legay, Axel ; Poulsen, Danny. Practical Controller Synthesis for MTL$0,∞$. International SPIN Symposium on Model Checking of Software (13/07/2017). doi:10.1145/nnnnnnn.nnnnnnn.
Gjøl Jensen, Peter ; Larsen, Kim ; Legay, Axel ; Poulsen, Danny. Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata. GraMSec 2017 - The Fourth International Workshop on Graphical Models for Security (21/08/2017).
Cappart, Quentin ; Limbrée, Christophe ; Schaus, Pierre ; Quilbeuf, Jean ; Traonouez, Louis-Marie ; Legay, Axel. Verification of Interlocking Systems Using Statistical Model Checking. 18th IEEE International Symposium on High Assurance Systems Engineering (HASE) (Singapore, du 12/01/2017 au 14/01/2017). In: 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), IEEE, 2017. 9781509046362. doi:10.1109/HASE.2017.10.
Cappart, Quentin ; Limbrée, Christophe ; Schaus, Pierre ; Quilbeuf, Jean ; Traonouez, Louis-Marie ; Legay, Axel. Verification of Interlocking Systems Using Statistical Model Checking. IEEE 18th International Symposium on High Assurance Systems Engineering (HASE 2017) (Singapore, du 11/01/2017 au 14/01/2017). doi:10.1109/HASE.2017.10 (Accepté/Sous presse).
Perrouin, Gilles ; Acher, Mathieu ; Davril, Jean-Marc ; Legay, Axel ; Heymans, Patrick. A Complexity Tale: Web Configurators. VACE 2016 - 1st International Workshop on Variability and Complexity in Software Design Pages (co-located with ICSE'16) (Austin, Texas, 15/05/2016). In: Proceedings of the 1st International Workshop on Variability and Complexity in Software Design - VACE '16, ACM Press: New York, New York, USA, 2016. 9781450341769. doi:10.1145/2897045.2897051.
Kim Jin, Hyun ; Legay, Axel ; Traonouez, Louis-Marie ; Acher, Mathieu ; Kang, Sungwon. A Formal Modeling and Analysis Framework for Software Product Line of Preemptive Real-Time Systems. Symposium on Applied Computing (Pisa, Italy, du 04/04/2016 au 08/04/2016). In: Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16, ACM Press: New York, New York, USA, 2016. 9781450337397. doi:10.1145/2851613.2851977.
Lounas, Razika ; Jafri, Nisrine ; Legay, Axel ; Mezghiche, Mohamed ; Lanet, Jean-Louis. A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. CRiSIS 2016 - The 11th International Conference on Risks and Security of Internet and Systems (du 05/09/2016 au 07/09/2016).
Quilbeuf, Jean ; Cavalcante, Everton ; Traonouez, Louis-Marie ; Oquendo, Flavio ; Batista, Thais ; Legay, Axel. A Logic for the Statistical Model Checking of Dynamic Software Architectures. ISoLA (du 10/10/2016 au 14/10/2016). In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Lecture Notes in Computer Science, Springer International Publishing: Cham, 2016. 9783319471655. doi:10.1007/978-3-319-47166-2_56.
Chadli, Mounir ; Kim Jin, Hyun ; Legay, Axel ; Traonouez, Louis-Marie ; Naujokat, Stefan ; Steffen, Bernhard ; Larsen Kim, Guldstrand. A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS (du 26/09/2016 au 28/09/2016). In: Lecture Notes in Computer Science Critical Systems: Formal Methods and Automated Verification, Springer International Publishing: Cham, 2016. 9783319459424. doi:10.1007/978-3-319-45943-1_9.
Arnold, Alexandre ; Baleani, Massimo ; Ferrari, Alberto ; Marazza, Marco ; Senni, Valerio ; Legay, Axel ; Quilbeuf, Jean ; Etzien, Christoph. An Application of SMC to continuous validation of heterogeneous systems. Simutools 2016 - Ninth EAI International Conference on Simulation Tools and Techniques (du 22/08/2016 au 23/08/2016).
Perrouin, Gilles ; Amrani, Moussa ; Acher, Mathieu ; Combemale, Benoit ; Legay, Axel ; Schobbens, Pierre-Yves. Featured model types: Towards Systematic Reuse in Modelling Language Engineering. MiSE '16 - 8th International Workshop on Modeling in Software Engineering (Austin, Texas, du 14/05/2016 au 22/05/2016). In: Proceedings of the 8th International Workshop on Modeling in Software Engineering - MiSE '16, ACM Press: New York, New York, USA, 2016. 9781450341646. doi:10.1145/2896982.2896987.
Devroey, Xavier ; Perrouin, Gilles ; Papadakis, Mike ; Legay, Axel ; Schobbens, Pierre-Yves ; Heymans, Patrick. Featured model-based mutation analysis. ICSE '16 - 38th International Conference on Software Engineering (Austin, Texas, du 14/05/2016 au 22/05/2016). In: Proceedings of the 38th International Conference on Software Engineering - ICSE '16, ACM Press: New York, New York, USA, 2016. 9781450339001. doi:10.1145/2884781.2884821.
Kawamoto, Yusuke ; Biondi, Fabrizio ; Legay, Axel. Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. FM 2016 - 21st International Symposium on Formal Methods (du 07/11/2016 au 11/11/2016).
Jegourel, Cyrille ; Larsen Kim, Guldstrand ; Legay, Axel ; Mikučionis, Marius ; Poulsen, Danny ; Sedwards, Sean. Importance Sampling for Stochastic Timed Automata. Dependable Software Engineering: Theories, Tools, and Applications (du 09/11/2016 au 11/11/2016).
Olaechea, Rafael ; Fahrenberg, Uli ; Atlee, Joanne ; Legay, Axel. Long-term average cost in featured transition systems. SPLC '16 - 20th International Systems and Software Product Line Conference (Beijing, China, du 16/09/2016 au 23/09/2016). In: Proceedings of the 20th International Systems and Software Product Line Conference on - SPLC '16, ACM Press: New York, New York, USA, 2016. 9781450340502. doi:10.1145/2934466.2934473.
Gadyatskaya, Olga ; Rydhof Hansen, René ; Larsen Kim, Guldstrand ; Legay, Axel ; Olesen, Mads ; Poulsen, Danny. Modelling Attack-defense Trees Using Timed Automata. FORMATS 2016 -14th International Conference on Formal Modelling and Analysis of Timed Systems (du 24/08/2016 au 26/08/2016). In: Lecture Notes in Computer Science Formal Modeling and Analysis of Timed Systems, Springer International Publishing: Cham, 2016. 9783319448770. doi:10.1007/978-3-319-44878-7_3.
Given-Wilson, Thomas ; Legay, Axel. On the Expressiveness of Symmetric Communication. Theoretical Aspects of Computing – ICTAC 2016 (du 24/10/2016 au 31/10/2016). In: Theoretical Aspects of Computing – ICTAC 2016 Lecture Notes in Computer Science, Springer International Publishing: Cham, 2016. 9783319467498. doi:10.1007/978-3-319-46750-4_9.
Larsen Kim, Guldstrand ; Legay, Axel. On the Power of Statistical Model Checking. 7th International Symposium, ISoLA 2016 (10/10/2016). In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications Lecture Notes in Computer Science, Springer International Publishing: Cham, 2016. 9783319471686. doi:10.1007/978-3-319-47169-3_62.
Ngo, Van ; Legay, Axel ; Joloboff, Vania. PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. CAV 2016 - 28th International Conference on Computer Aided Verification (du 17/07/2016 au 23/07/2016). In: Computer Aided Verification Lecture Notes in Computer Science, Springer International Publishing: Cham, 2016. 9783319415277. doi:10.1007/978-3-319-41528-4_5.
Nouri, Ayoub ; Bozga, Marius ; Legay, Axel ; Bensalem, Saddek. Performance Evaluation of Complex Systems Using the SBIP Framework. he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) (06/10/2016).
Legay, Axel ; Sedwards, Sean ; Traonouez, Louis-Marie. Plasma Lab: A Modular Statistical Model Checking Platform. ISoLA (du 10/10/2016 au 14/10/2016). In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Lecture Notes in Computer Science, Springer International Publishing: Cham, 2016. 9783319471655. doi:10.1007/978-3-319-47166-2_6.
Palisse, Aurélien ; Le Bouder, Hélène ; Lanet, Jean-Louis ; Le Guernic, Colas ; Legay, Axel. Ransomware and the Legacy Crypto API. The 11th International Conference on Risks and Security of Internet and Systems - CRiSIS 2016 (du 05/09/2016 au 07/09/2016). In: Lecture Notes in Computer Science Risks and Security of Internet and Systems, Springer International Publishing: Cham, 2016. 9783319548753. doi:10.1007/978-3-319-54876-0_2.
Legay, Axel ; Sedwards, Sean ; Traonouez, Louis-Marie. Rare Events for Statistical Model Checking: An Overview. Reachability Problems (du 19/09/2016 au 21/09/2016).
Devroey, Xavier ; Perrouin, Gilles ; Legay, Axel ; Schobbens, Pierre-Yves ; Heymans, Patrick. Search-based Similarity-driven Behavioural SPL Testing. VaMoS '16 - Tenth International Workshop on Variability Modelling of Software-intensive Systems (Salvador, Brazil, du 27/01/2016 au 29/01/2016). In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '16, ACM Press: New York, New York, USA, 2016. 9781450340199. doi:10.1145/2866614.2866627.
Biondi, Fabrizio ; Legay, Axel. Security and Privacy of Protocols and Software with Formal Methods. 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (du 05/10/2016 au 14/10/2016).
D'Argenio, Pedro ; Hartmanns, Arnd ; Legay, Axel ; Sedwards, Sean. Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. Integrated Formal Methods (du 01/06/2016 au 05/06/2016).
Ter Beek Maurice, H ; Legay, Axel ; Lluch Lafuente, Alberto ; Vandin, Andrea. Statistical Model Checking for Product Lines. 7th International Symposium, ISoLA 2016 (du 10/10/2016 au 14/10/2016).
Ngo Van, Chan ; Legay, Axel ; Quilbeuf, Jean. Statistical Model Checking for SystemC Models. High Assurance Systems Engineering Symposium (du 06/01/2016 au 09/01/2016).
Cavalcante, Everton ; Quilbeuf, Jean ; Traonouez, Louis-Marie ; Oquendo, Flavio ; Batista, Thais ; Legay, Axel. Statistical Model Checking of Dynamic Software Architectures. ECSA 2016 - 10th European Conference on Software Architecture (du 28/11/2016 au 02/12/2016).
Cachera, David ; Fahrenberg, Uli ; Legay, Axel. An ω-Algebra for Real-Time Energy Problems. 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (du 12/2015 au 12/2015).
Biondi, Fabrizio ; Given-Wilson, Thomas ; Legay, Axel. Attainable Unconditional Security for Shared-Key Cryptosystems. The 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-15) (20/08/2015).
Biondi, Fabrizio ; Legay, Axel ; Quilbeuf, Jean. Comparative Analysis of Leakage Tools on Scalable Case Studies. 22nd International SPIN Workshop on Model Checking of Software (24/08/2015). In: Model Checking Software Lecture Notes in Computer Science, Springer International Publishing: Cham, 2015. 9783319234038. doi:10.1007/978-3-319-23404-5_17.
Esik, Zoltán ; Fahrenberg, Uli ; Legay, Axel. Continuous Kleene ω-Algebras. Developments in Language Theory - 19th International Conference (du 07/2015 au 07/2015).
Esik, Zoltán ; Fahrenberg, Uli ; Legay, Axel. Continuous Kleene ω-Algebras for Energy Problems. Proceedings Tenth International Workshop on Fixed Points in Computer Science (du 09/2015 au 09/2015).
Jegourel, Cyrille ; Legay, Axel ; Sedwards, Sean ; Traonouez, Louis-Marie. Distributed Verification of Rare Properties using Importance Splitting Observers. Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) (du 02/09/2015 au 04/09/2015).
Legay, Axel ; Sedwards, Sean ; Traonouez, Louis-Marie. Estimating Rewards & Rare Events in Nondeterministic Systems. Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) (du 02/09/2015 au 04/09/2015). doi:10.14279/tuj.eceasst.72.1023.
Atlee Joanne, M. ; Fahrenberg, Uli ; Legay, Axel. Measuring Behaviour Interactions between Product-Line Features. 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering (du 05/2015 au 05/2015).
Atlee Joanne, M. ; Beidu, Sandy ; Fahrenberg, Uli ; Legay, Axel. Merging Features in Featured Transition Systems. Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (du 09/2015 au 09/2015).
Given-Wilson, Thomas ; Legay, Axel. On the Expressiveness of Joining. 8th Interaction and Concurrency Experience (ICE 2015) (du 04/06/2015 au 05/06/2015).
Fahrenberg, Uli ; Legay, Axel. Partial Higher-Dimensional Automata. 6th Conference on Algebra and Coalgebra in Computer Science (du 06/2015 au 06/2015).
Devroey, Xavier ; Perrouin, Gilles ; Cordy, Maxime ; Schobbens, Pierre-Yves ; Heymans, Patrick ; Legay, Axel. State machine flattening, a mapping study and tools assessment. 8th IEEE International Conference on Software Testing, Verification and Validation (Graz, Austria, 13/04/2015). In: 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), IEEE, 2015. 9781479918850. doi:10.1109/ICSTW.2015.7107408.
Legay, Axel ; Traonouez, Louis-Marie. Statistical Model Checking of Simulink Models with Plasma Lab. Fourth International Workshop on Formal Techniques for Safety-Critical Systems (du 06/11/2015 au 07/11/2015).
Boyer, Benoît ; Legay, Axel ; Traonouez, Louis-Marie. A Formalism for Stochastic Adaptive Systems. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (du 08/10/2014 au 11/10/2014). In: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2014. 9783662452301. doi:10.1007/978-3-662-45231-8_12.
Devroey, Xavier ; Perrouin, Gilles ; Cordy, Maxime ; Papadakis, Mike ; Legay, Axel ; Schobbens, Pierre-Yves. A Variability Perspective of Mutation Analysis. FSE 2014 : International Symposium on Foundations of Software Engineering (Hong Kong, China, 11/2014). In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014, ACM Press: New York, New York, USA, 2014. 9781450330565. doi:10.1145/2635868.2666610.
Jegourel, Cyrille ; Legay, Axel ; Sedwards, Sean. An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (08/10/2014). In: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2014. 9783662452301. doi:10.1007/978-3-662-45231-8_11.
Nouri, Ayoub ; Bozga, Marius ; Molnos, Anca ; Legay, Axel ; Bensalem, Saddek. Building Faithful High-level Models and Performance Evaluation of Manycore Embedded Systems. MEMOCODE (Lausanne, Switzerland, 10/2014). In: 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), IEEE, 2014. 9781479953387. doi:10.1109/MEMCOD.2014.6961864.
Fahrenberg, Uli ; Křetínský, Jan ; Legay, Axel ; Traonouez, Louis-Marie. Compositionality for Quantitative Specifications. FACS (09/2014).
Fahrenberg, Uli ; Legay, Axel. Configurable Formal Methods for Extreme Modeling. XM@MoDELS (09/2014).
Cordy, Maxime ; Heymans, Patrick ; Legay, Axel ; Schobbens, Pierre-Yves ; Dawagne, Bruno ; Leucker, Martin. Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models. FSE 2014 : International Symposium on Foundations of Software Engineering (Hong Kong, China, 11/2014). In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014, ACM Press: New York, New York, USA, 2014. 9781450330565. doi:10.1145/2635868.2635919.
Naujokat, Stefan ; Traonouez, Louis-Marie ; Isberner, Malte ; Steffen, Bernhard ; Legay, Axel. Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. (du 08/10/2014 au 11/10/2014). In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2014. 9783662452332. doi:10.1007/978-3-662-45234-9_33.
Nouri, Ayoub ; Raman, Balaji ; Bozga, Marius ; Legay, Axel ; Bensalem, Saddek. Faster Statistical Model Checking by Means of Abstraction and Learning. RV (09/2014). In: Runtime Verification Lecture Notes in Computer Science, Springer International Publishing: Cham, 2014. 9783319111636. doi:10.1007/978-3-319-11164-3_28.
Delahaye, Benoit ; Fiadeiro J., L. ; Legay, Axel ; Lopes, Antónia. Heterogeneous Timed Machines. 11th International Colloquium on Theoretical Aspects of Computing (du 17/09/2014 au 20/09/2014).
Biondi, Fabrizio ; Legay, Axel ; Nielsen Bo, Friis ; Malacaria, Pasquale ; Wasowski, Andrzej. Information Leakage of Non-Terminating Processes. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (15/12/2014). doi:10.4230/LIPIcs.FSTTCS.2014.517.
Fahrenberg, Uli ; Biondi, Fabrizio ; Corre, Kevin ; Jegourel, Cyrille ; Kongshøj, Simon ; Legay, Axel. Measuring Global Similarity between Texts. SLSP 2014 : Second International Conference on Statistical Language and Speech Processing (10/2014). In: Statistical Language and Speech Processing Lecture Notes in Computer Science, Springer International Publishing: Cham, 2014. 9783319113968. doi:10.1007/978-3-319-11397-5_17.
Legay, Axel ; Sedwards, Sean. On Statistical Model Checking with PLASMA. The 8th International Symposium on Theoretical Aspects of Software Engineering (du 01/09/2014 au 03/09/2014).
Fahrenberg, Uli ; Larsen Kim, Guldstrand ; Legay, Axel ; Traonouez, Louis-Marie. Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS (04/2014). In: From Programs to Systems. The Systems perspective in Computing Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2014. 9783642548475. doi:10.1007/978-3-642-54848-2_6.
Biondi, Fabrizio ; Legay, Axel. Quantitative Anonymity Evaluation of Voting Protocols. 12th International Conference on Software Engineering and Formal Methods (01/09/2014).
Legay, Axel ; Sedwards, Sean ; Traonouez, Louis-Marie. Scalable Verification of Markov Decision Processes. 4th Workshop on Formal Methods in the Development of Software (FMDS 2014) (du 02/09/2014 au 02/09/2014).
Fahrenberg, Uli ; Acher, Mathieu ; Legay, Axel ; Wąsowski, Andrzej. Sound Merging and Differencing for Class Diagrams. FASE 2014 : 17th International Conference on Fundamental Approaches to Software Engineering (du 05/04/2014 au 13/04/2014). In: Fundamental Approaches to Software Engineering Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2014. 9783642548031. doi:10.1007/978-3-642-54804-8_5.
Fahrenberg, Uli ; Legay, Axel ; Traonouez, Louis-Marie. Specification Theories for Probabilistic and Real-Time Systems. FPS@ETAPS (04/2014). In: From Programs to Systems. The Systems perspective in Computing Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2014. 9783642548475. doi:10.1007/978-3-642-54848-2_7.
Legay, Axel ; Sedwards, Sean. Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (du 08/10/2014 au 11/10/2014). In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2014. 9783662452332. doi:10.1007/978-3-662-45234-9_2.
Larsen Kim, Guldstrand ; Legay, Axel. Statistical Model Checking: Past, Present, and Future. 6th International Symposium, ISoLA 2014 (du 08/10/2014 au 11/10/2014).
Fahrenberg, Uli ; Legay, Axel ; Traonouez, Louis-Marie. Structural Refinement for the Modal nu-Calculus. ICTAC (09/2014). In: Theoretical Aspects of Computing – ICTAC 2014 Lecture Notes in Computer Science, Springer International Publishing: Cham, 2014. 9783319108810. doi:10.1007/978-3-319-10882-7_11.
Devroey, Xavier ; Perrouin, Gilles ; Cordy, Maxime ; Schobbens, Pierre-Yves ; Legay, Axel ; Heymans, Patrick. Towards statistical prioritization for software product lines testing. VAMOS (Sophia Antipolis, France, 01/2014). In: Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems - VaMoS '14, ACM Press: New York, New York, USA, 2014. 9781450325561. doi:10.1145/2556624.2556635.
Le Thi Thieu, Hoa ; Passerone, Roberto ; Fahrenberg, Uli ; Legay, Axel. A Tag Contract Framework for Heterogeneous Systems. FOCLASA 2013 - 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems (du 11/09/2013 au 11/09/2013).
Delahaye, Benoît ; Fiadeiro, José ; Legay, Axel ; Lopes, Antónia. A Timed Component Algebra for Services. 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) (du 03/06/2013 au 05/06/2013). In: Formal Techniques for Distributed Systems Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2013. 9783642385919. doi:10.1007/978-3-642-38592-6_17.
Genet, Thomas ; Le Gall, Tristan ; Legay, Axel ; Murat, Valérie. A completion algorithm for lattice tree automata. CIAA 2013 - 18th International Conference on Implementation and Application of Automata (du 16/07/2013 au 19/07/2013). In: Implementation and Application of Automata Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2013. 9783642392733. doi:10.1007/978-3-642-39274-0_13.
Cordy, Maxime ; Legay, Axel ; Schobbens, Pierre-Yves ; Traonouez, Louis-Marie. A framework for the rigorous design of highly adaptive timed systems. 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) (San Francisco, CA, USA, 25/05/2013). In: 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), IEEE, 2013. 9781467362924. doi:10.1109/FormaliSE.2013.6612279.
Colombo, Alessio ; Fontanelli, Daniele ; Gandhi, Dhaval ; De Angeli, Antonella ; Palopoli, Luigi ; Sedwards, Sean ; Legay, Axel. Behavioural templates improve robot motion planning with social force model in human environments. 2013 IEEE 18th Conference on Emerging Technologies \& Factory Automation (ETFA) (Cagliari, Italy, du 10/09/2013 au 13/09/2013). In: 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), IEEE, 2013. 9781479908646. doi:10.1109/ETFA.2013.6648081.
Cordy, Maxime ; Schobbens, Pierre-Yves ; Heymans, Patrick ; Legay, Axel. Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-Features. ICSE 2013 International Conference on Software Engineering (06/2013).
Fahrenberg, Uli ; Legay, Axel. Generalized Quantitative Analysis of Metric Transition Systems. APLAS 2013 - 11th Asian Symposium Programming Languages and Systems (du 09/12/2013 au 11/12/2013). In: Programming Languages and Systems Lecture Notes in Computer Science, Springer International Publishing: Cham, 2013. 9783319035413. doi:10.1007/978-3-319-03542-0_14.
Beneš, Nikola ; Delahaye, Benoît ; Fahrenberg, Uli ; Křetínský, Jan ; Legay, Axel. Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CONCUR 2013 - 24th International Conference Concurrency Theory (du 27/08/2013 au 30/08/2013). In: CONCUR 2013 – Concurrency Theory Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2013. 9783642401831. doi:10.1007/978-3-642-40184-8_7.
Fahrenberg, Uli ; Legay, Axel. History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. MFPS XXIX - Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics (du 23/06/2013 au 25/06/2013). In: Electronic Notes in Theoretical Computer Science, Elsevier BV, 2013. doi:10.1016/j.entcs.2013.09.012.
Fahrenberg, Uli ; Legay, Axel. History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. LICS 2013 - Twenty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (du 25/06/2013 au 28/06/2013).
Jegourel, Cyrille ; Legay, Axel ; Sedwards, Sean. Importance Splitting for Statistical Model Checking Rare Properties. Computer Aided Verification (13/07/2013). In: Computer Aided Verification Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2013. 9783642397981. doi:10.1007/978-3-642-39799-8_38.
Bensalem, Saddek ; Bozga, Marius ; Boyer, Benoît ; Legay, Axel. Incremental Generation of Linear Invariants for Component-Based Systems. 3th International Conference on Application of Concurrency to System Design (ACSD) (du 08/07/2013 au 10/07/2013).
Esik, Zoltá ; Fahrenberg, Uli ; Legay, Axel ; Quaas, Karin. Kleene Algebras and Semimodules for Energy Problems. ATVA 2013 - 11th International Symposium Automated Technology for Verification and Analysis (du 15/10/2013 au 18/10/2013). In: Automated Technology for Verification and Analysis Lecture Notes in Computer Science, Springer International Publishing: Cham, 2013. 9783319024431. doi:10.1007/978-3-319-02444-8_9.
Biondi, Fabrizio ; Legay, Axel ; Friis Nielsen, Bo ; Wasowski, Andrzej. Maximizing Entropy over Markov Processes. 7th International Conference on Language and Automata Theory and Applications (02/04/2013).
Fahrenberg, Uli ; Larsen Kim, Guldstrand ; Legay, Axel. Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. ICTAC (08/2013). In: Lecture Notes in Computer Science Unifying Theories of Programming and Formal Engineering Methods, Springer Berlin Heidelberg: Berlin, Heidelberg, 2013. 9783642397202. doi:10.1007/978-3-642-39721-9_2.
Colombo, Alessio ; Fontanelli, Daniele ; Legay, Axel ; Palopoli, Luigi ; Sedwards, Sean. Motion planning in crowds using statistical model checking to enhance the social force model. CDC 2013 - IEEE 52nd Annual Conference on Decision and Control (Firenze, du 10/12/2013 au 13/12/2013). In: 52nd IEEE Conference on Decision and Control, IEEE, 2013. 9781467357173. doi:10.1109/CDC.2013.6760437.
Boyer, Benot ; Corre, Kevin ; Legay, Axel ; Sedwards, Sean. PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library. Quantitative Evaluation of Systems (du 27/08/2013 au 30/08/2013). In: Quantitative Evaluation of Systems Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2013. 9783642401954. doi:10.1007/978-3-642-40196-1_12.
Legay, Axel ; Traonouez, Louis-Marie. PyEcdar: Towards Open Source Implementation for Timed Systems. 11th International Symposium on Automated Technology for Verification and Analysis (du 15/10/2013 au 18/10/2013). In: Automated Technology for Verification and Analysis Lecture Notes in Computer Science, Springer International Publishing: Cham, 2013. 9783319024431. doi:10.1007/978-3-319-02444-8_35.
Biondi, Fabrizio ; Legay, Axel ; Traonouez, Louis-Marie ; Wasowski, Andrzej. QUAIL: A Quantitative Security Analyzer for Imperative Code. CAV 2013 - 25th International Conference on Computer Aided Verification (du 13/07/2013 au 19/07/2013). In: Computer Aided Verification Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2013. 9783642397981. doi:10.1007/978-3-642-39799-8_49.
Biondi, Fabrizio ; Legay, Axel ; Malacaria, Pasquale ; Wąsowski, Andrzej. Quantifying Information Leakage of Randomized Protocols. 14th International Conference on Verification, Model Checking, and Abstract Interpretation (20/02/2013).
Delahaye, Benoît ; Fahrenberg, Uli ; Larsen Kim, Guldstrand ; Legay, Axel. Refinement and Difference for Probabilistic Automata. QEST 2013 - 10th International Conference Quantitative Evaluation of Systems (du 27/08/2013 au 30/08/2013). In: Quantitative Evaluation of Systems Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2013. 9783642401954. doi:10.1007/978-3-642-40196-1_3.
Raman, Balaji ; Nouri, Ayoub ; Gangadharan, Deepak ; Bozga, Marius ; Basu, Ananda ; Maheshwari, Mayur ; Milan, Jérôme ; Legay, Axel ; Bensalem, Saddek ; Chakraborty, Samarjit. Stochastic Modeling and Performance Analysis of Multimedia SoCs. Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII) (Agios konstantinos, Samos Island, Greece, du 15/07/2013 au 18/07/2013). In: IEEE Xplore Digital Library, p. 145-154 (2013). In: 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), IEEE, 2013. 9781479901036. doi:10.1109/SAMOS.2013.6621117.
Bensalem, Saddek ; Legay, Axel ; Nouri, Ayoub ; Peled, Doron. Synthesizing Distributed Scheduling Implementation for Probabilistic Component-based Systems. MEMOCODE (10/2013).
Le Thi Thieu, Hoa ; Passerone, Roberto ; Fahrenberg, Uli ; Legay, Axel. Tag Machines for Modeling Heterogeneous Systems. ACSD (07/2013).
Genet, Thomas ; Le Gall, Tristan ; Legay, Axel ; Murat, Valérie. Tree Regular Model Checking for Lattice-Based Automata. CIAA - 18th International Conference on Implementation and Application of Automata (du 16/07/2013 au 16/07/2013).
Cordy, Maxime ; Willemart, Marco ; Classen, Andreas ; Heymans, Patrick ; Schobbens, Pierre-Yves ; Legay, Axel. Verifying Software Product Lines with ProVeLines. 6ème Journée Lignes de Produits (du 29/11/2013 au 29/11/2013).
Jegourel, Cyrille ; Legay, Axel ; Sedwards, Sean. A Platform for High Performance Statistical Model Checking – PLASMA. TACAS 2012 - 18th International Conference Tools and Algorithms for the Construction and Analysis of Systems (du 24/03/2012 au 01/04/2012). In: Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2012. 9783642287558. doi:10.1007/978-3-642-28756-5_37.
Fahrenberg, Uli ; Legay, Axel. A Robust Specification Theory for Modal Event-Clock Automata. FIT 2012 - 4th International Workshop on Foundations of Interface Technologies (25/03/2012). In: Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2012. doi:10.4204/EPTCS.87.2.
Devroey, Xavier ; Cordy, Maxime ; Perrouin, Gilles ; Kang, Eun-Young ; Schobbens, Pierre-Yves ; Heymans, Patrick ; Legay, Axel ; Baudry, Benoit. A Vision for Behavioural Model-Driven Validation of Software Product Lines. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (15/10/2012).
Cordy, Maxime ; Heymans, Patrick ; Schobbens, Pierre-Yves ; Legay, Axel. Behavioural Modelling and Verification of Real-time Software Product Lines. 16th Software Product Line Conference (du 02/09/2012 au 07/09/2012).
Jégourel, Cyrille ; Legay, Axel ; Sedwards, Sean. Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. Computer Aided Verification (07/07/2012). In: Computer Aided Verification Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2012. 9783642314230. doi:10.1007/978-3-642-31424-7_26.
Boichut, Yohan ; Boyer, Benoit ; Genet, Thomas ; Legay, Axel. Equational Abstraction Refinement for Certified Tree Regular Model Checking. ICFEM (du 12/11/2012 au 16/11/2012).
Bauer Sebastian, S. ; Fahrenberg, Uli ; Legay, Axel ; Thrane, Claus. General Quantitative Specification Theories with Modalities. CSR (07/2012). In: Computer Science – Theory and Applications Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2012. 9783642306419. doi:10.1007/978-3-642-30642-6_3.
Cordy, Maxime ; Classen, Andreas ; Heymans, Patrick ; Schobbens, Pierre-Yves ; Legay, Axel. Managing Evolution in Software Product Lines : A Model-Checking Perspective. 6th International Workshop on Variability Modelling of Software Intensive Systems (du 25/01/2012 au 27/01/2012).
Bulychev, Peter ; David, Alexandre ; Larsen Kim, Guldstrand ; Legay, Axel ; Li, Guangyuan ; Bogsten Poulsen, Danny ; Stainer, Amélie. Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. Logic for Programming, Artificial Intelligence, and Reasoning (03/2012).
Larsen, Kim ; Legay, Axel. Quantitative Modal Transition Systems. 21th InternationalWorkshop on Algebraic Development Techniques (WADT) (du 07/06/2012 au 10/06/2012). In: Recent Trends in Algebraic Development Techniques Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2012. 9783642376344. doi:10.1007/978-3-642-37635-1_3.
David, Alexandre ; Larsen Kim, Guldstrand ; Legay, Axel ; Mikučionis, Marius ; Poulsen Danny, Bøgsted ; Sedwards, Sean. Runtime Verification of Biological Systems. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (du 15/10/2012 au 18/10/2012). In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2012. 9783642340253. doi:10.1007/978-3-642-34026-0_29.
Cordy, Maxime ; Classen, Andreas ; Perrouin, Gilles ; Schobbens, Pierre-Yves ; Heymans, Patrick ; Legay, Axel. Simulation-Based Abstractions for Software Product-Line Model Checking. ICSE 2012 : 34th International Conference on Software Engineering (Zurich, du 02/06/2012 au 09/06/2012). In: 2012 34th International Conference on Software Engineering (ICSE), IEEE, 2012. 9781467310666. doi:10.1109/ICSE.2012.6227150.
Bozga, Marius ; David, Alexandre ; Hartmanns, Arnd ; Hermanns, Holger ; Larsen Kim, Guldstrand ; Legay, Axel ; Tretmans, Jan. State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. 2012 Design, Automation & Test in Europe Conference & Exhibition (Dresden, du 12/03/2012 au 16/03/2012). In: 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), IEEE, 2012. 9781457721458. doi:10.1109/DATE.2012.6176499.
Bensalem, Saddek ; Bozga, Marius ; Delahaye, Benoît ; Jégourel, Cyrille ; Legay, Axel ; Nouri, Ayoub. Statistical Model Checking QoS properties of Systems with SBIP. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012 (du 15/10/2012 au 18/10/2012). In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2012. 9783642340253. doi:10.1007/978-3-642-34026-0_25.
David, Alexandre ; Mikučionis, Marius ; Larsen Kim, Guldstrand ; Bogsten Poulsen, Danny ; Legay, Axel ; Sedwards, Sean ; Du, Dehui. Statistical Model Checking for Stochastic Hybrid Systems. Proceedings First International Workshop on Hybrid Systems and Biology (du 03/09/2012 au 03/09/2012). In: Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2012. doi:10.4204/EPTCS.92.9.
Delahaye, Benot ; Fahrenberg, Uli ; Legay, Axel ; Ničković, Dejan. Synchronous Interface Theories and Time Triggered Scheduling. 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) (du 13/06/2012 au 16/06/2012). In: Formal Techniques for Distributed Systems Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2012. 9783642307928. doi:10.1007/978-3-642-30793-5_13.
Devroey, Xavier ; Cordy, Maxime ; Perrouin, Gilles ; Kang, Eun-Young ; Schobbens, Pierre-Yves ; Heymans, Patrick ; Legay, Axel ; Baudry, Benoit. Towards Behavioural Model-Driven Validation of Software Product Lines. 5th International Sympoisum on Leveraging Applications of Formal Methods (du 10/10/2012 au 18/07/2012).
Tasharofi, Samira ; Karmani, Rajesh ; Lauterburg, Steven ; Legay, Axel ; Marinov, Darko ; Agha, Gul. TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) (du 13/06/2012 au 16/06/2012). In: Formal Techniques for Distributed Systems Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2012. 9783642307928. doi:10.1007/978-3-642-30793-5_14.
Thrane, Claus ; Bauer Sebastian, S. ; Fahrenberg, Uli ; Larsen Kim, Guldstrand ; Juhl, Line ; Legay, Axel. Quantitative Refinement for Weighted Modal Transition Systems. MFCS (08/2011). In: Mathematical Foundations of Computer Science 2011 Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2011. 9783642229923. doi:10.1007/978-3-642-22993-0_9.
Larsen Kim, Guldstrand ; Legay, Axel ; Traonouez, Louis-Marie ; Wasowski, Andrzej. Robust Specification of Real Time Components. 9th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2011) (du 21/09/2011 au 23/09/2011). In: Lecture Notes in Computer Science Formal Modeling and Analysis of Timed Systems, Springer Berlin Heidelberg: Berlin, Heidelberg, 2011. 9783642243097. doi:10.1007/978-3-642-24310-3_10.
Classen, Andreas ; Heymans, Patrick ; Schobbens, Pierre-Yves ; Legay, Axel. Symbolic Model Checking of Software Product Lines. ICSE 2011 : 33rd International Conference on Software Engineering (Waikiki, Honolulu, HI, USA, 06/2011). In: Proceeding of the 33rd international conference on Software engineering - ICSE '11, ACM Press: New York, New York, USA, 2011. 9781450304450. doi:10.1145/1985793.1985838.
Fahrenberg, Uli ; Legay, Axel ; Thrane, Claus. The quantitative linear-time–branching-time spectrum. FSTTCS - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (du 12/12/2011 au 14/12/2011).
Fahrenberg, Uli ; Legay, Axel ; Wasowski, Andrzej. Vision Paper: Make a Difference! (Semantically). MoDELS (10/2011). In: Model Driven Engineering Languages and Systems Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2011. 9783642244841. doi:10.1007/978-3-642-24485-8_36.
Caillaud, Benoit ; Delahaye, Benoît ; Larsen Kim, Guldstrand ; Legay, Axel ; Pedersen Mikkel, L. ; Wasowski, Andrzej. Compositional design methodology with constraint Markov chains. QEST 2010 (Williamsburg, VA, USA, du 15/09/2010 au 18/09/2010). In: 2010 Seventh International Conference on the Quantitative Evaluation of Systems, IEEE, 2010. 9781424480821. doi:10.1109/QEST.2010.23.
Bozzelli, Laura ; Legay, Axel ; Pinchinat, Sophie. Hardness of Preorder Checking for Basic Formalisms. LPAR (du 25/04/2010 au 01/05/2010).
Bensalem, Saddek ; Bozga, Marius ; Legay, Axel ; Nguyen, Thanh-Hung ; Sifakis, Joseph ; Yan, Rongjie. Incremental Component-based Construction and Verification using Invariants. Formal Methods in Computer Aided Design, FMCAD 2010 (du 20/10/2010 au 23/10/2010).
Classen, Andreas ; Heymans, Patrick ; Schobbens, Pierre-Yves ; Legay, Axel ; Raskin, Jean-François. Model Checking Lots of Systems. ICSE 2010 : 32nd International Conference on Software Engineering (Cape Town, South Africa, 06/2010). In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10, ACM Press: New York, New York, USA, 2010. 9781605587196. doi:10.1145/1806799.1806850.
Delahaye, Benoît ; Caillaud, Benoît ; Legay, Axel. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems.. 10th International Conference on Application of Concurrency to System Design (ACSD) (du 21/06/2010 au 25/06/2010).
Basu, Ananda ; Bensalem, Saddek ; Bozga, Marius ; Caillaud, Benoît ; Delahaye, Benoît ; Legay, Axel. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) (du 07/06/2010 au 09/06/2010). In: Formal Techniques for Distributed Systems Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2010. 9783642134630. doi:10.1007/978-3-642-13464-7_4.
Legay, Axel ; Delahaye, Benoît ; Bensalem, Saddek. Statistical Model Checking: An Overview. Runtime Verification (du 01/11/2010 au 04/11/2010). In: Runtime Verification Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2010. 9783642166112. doi:10.1007/978-3-642-16612-9_11.
Basu, Ananda ; Bensalem, Saddek ; Bozga, Marius ; Delahaye, Benoît ; Legay, Axel ; Sifakis, Emmanuel. Verification of an AFDX infrastructure using simulation and probabilities. Runtime Verification - First International Conference, RV 2010 (du 01/11/2010 au 04/11/2010). In: Lecture Notes in Computer Science, Springer Berlin Heidelberg: Berlin, Heidelberg, 2010. 9783642166112. doi:10.1007/978-3-642-16612-9.
Bertrand, Nathalie ; Legay, Axel ; Pinchinat, Sophie ; Raclet, Jean-Baptiste. A Compositional Approach on Modal Specifications for Timed Systems.. 11th International Conference on Formal Engineering Methods (ICFEM'09) (12/2009).
Raclet, Jean-Baptiste ; Benveniste, Albert ; Caillaud, Benoît ; Legay, Axel ; Passerone, Roberto. Modal Interfaces: Unifying Interface Automata and Modal Specifications.. Proc. 9th International Conference on Embedded Software (EMSOFT'09) (12/10/2009).
Bozzelli, Laura ; Legay, Axel ; Pinchinat, Sophie. On Timed Alternating Simulation for Concurrent Timed Games. FSTTCS (du 15/12/2009 au 17/12/2009).
Aminof, Benjamin ; Legay, Axel ; Murano, Aniello ; Serre, Olivier. μ-Calculus Pushdown Module Checking with Imperfect State Information. Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC1, Foundations of Computer Science (07/09/2008).
Legay, Axel ; Alfaro, Luca de ; Faella, Marco. An Introduction to the Tool Ticc.. CAV.
Adler, B. Thomas ; Alfaro, Luca de ; Silva, Leandro Dias da ; Faella, Marco ; Legay, Axel ; Raman, Vishwanath ; Roy, Pritam. Ticc: A Tool for Interface Compatibility and Composition.. CAV. In: cav, , p. 59-62 (2006). doi:https://doi.org/10.1007/11817963_8. doi:10.1007/11817963_8.
Abdulla, Parosh Aziz ; Legay, Axel ; d'Orso, Julien ; Rezine, Ahmed. Simulation-Based Iteration of Tree Transducers.. TACAS. doi:https://doi.org/10.1007/978-3-540-31980-1_3. doi:10.1007/978-3-540-31980-1_3.
Alfaro, Luca de ; Silva, Leandro Dias da ; Faella, Marco ; Legay, Axel ; Roy, Pritam ; Sorea, Maria. Sociable Interfaces.. FROCOS. doi:https://doi.org/10.1007/11559306_5. doi:10.1007/11559306_5.
Boigelot, Bernard ; Legay, Axel ; Wolper, Pierre. Omega-Regular Model Checking.. TACAS. doi:https://doi.org/10.1007/978-3-540-24730-2_41. doi:10.1007/978-3-540-24730-2_41.
Boigelot, Bernard ; Legay, Axel ; Wolper, Pierre. Iterating Transducers in the Large (Extended Abstract).. CAV. doi:https://doi.org/10.1007/978-3-540-45069-6_24. doi:10.1007/978-3-540-45069-6_24.
Lugan, Sébastien ; Desbordes, Paul ; Legay, Axel ; Tormo, Luis Xavier Ramos ; Macq, Benoît. Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed, 2019. 8 p.
Legay, Axel ; Dror, Fried ; Ouaknine, Joël ; Moshe Y. Vardi. Sequential Relational Decomposition, 2019. 24 p.
Legay, Axel. On the Performance of Deep Learning for Side-channel Analysis. IACR Cryptolog, 2018. 19 p.
Legay, Axel. A framework for quantitative modeling and analysis of highly (re)configurable systems, 2017. 25 p.
Ngo Van, Chan ; Legay, Axel. Dependability Analysis of Control Systems using SystemC and Statistical Model Checking (), 2015.
Arnold, Alexandre ; Baleani, Massimo ; Ferrari, Alberto ; Marazza, Marco ; Senni, Valerio ; Legay, Axel ; Quilbeuf, Jean ; Etzien, Christoph. Statistical Model Checking of Systems of Systems: An Industrial Approach : Verification statistique de systèmes de systèmes : une approche industrielle (), 2015.
Fahrenberg, Uli ; Křetínský, Jan ; Legay, Axel ; Traonouez, Louis-Marie. Compositionality for Quantitative Specifications, 2014.
Ngo Van, Chan ; Legay, Axel ; Quilbeuf, Jean. Dynamic Verification of SystemC with Statistical Model Checking (), 2014.
Ouederni, Meriem ; Fahrenberg, Uli ; Legay, Axel ; Salaün, Gwen. Flooding-Based Algorithm for Behavioural Compatibility Measuring, 2014.
Fahrenberg, Uli ; Legay, Axel. Homotopy Bisimilarity for Higher-Dimensional Automata, 2014.
Legay, Axel ; Sedwards, Sean ; Traonouez, Louis-Marie. Lightweight Verification of Markov Decision Processes with Rewards, 2014.
Beneš, Nikola ; Fahrenberg, Uli ; Křetínský, Jan ; Legay, Axel ; Traonouez, Louis-Marie. Logical vs. Behavioural Specifications, 2014.
Atlee Joanne, M. ; Fahrenberg, Uli ; Legay, Axel. Measuring Behaviour Interactions between Product-Line Features, 2014.
Delahaye, Benoît ; Legay, Axel ; Sedwards, Sean. A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes, 2013.
Arnold, Alexandre ; Boyer, Benoît ; Legay, Axel. Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach, 2013.
Genet, Thomas ; Le Gall, Tristan ; Legay, Axel ; Murat, Valérie. Tree Regular Model Checking for Lattice-Based Automata (), 2012.
Boichut, Yohan ; Boyer, Benoît ; Genet, Thomas ; Legay, Axel. Equational Abstraction Refinement for Certified Tree Regular Model Checking, 2010.
Basu, Ananda ; Bensalem, Saddek ; Bozga, Marius ; Caillaud, Benoît ; Delahaye, Benoît ; Legay, Axel. Statistical abstraction and model-checking of large heterogeneous systems (), 2010.
Bertrand, Nathalie ; Legay, Axel ; Pinchinat, Sophie ; Raclet, Jean-Baptiste. A Compositional Approach on Modal Specifications for Timed Systems (), 2009.
Caillaud, Benoit ; Delahaye, Benoît ; Larsen Kim, Guldstrand ; Legay, Axel ; Pedersen Mikkel, L. ; Wasowski, Andrzej. Compositional Design Methodology with Constraint Markov Chains (), 2009.
Delahaye, Benoît ; Caillaud, Benoit ; Legay, Axel. Compositional Reasoning on (Probabilistic) Contracts (), 2009.
Aspeel, Antoine ; Legay, Axel ; Macq, Benoît. Genetic Algorithms for optimal intermittent measurements for tumor tracking, 2019. 2 p.
Given-Wilson, Thomas ; Jafri, Nisrine ; Legay, Axel. Bridging Software-Based and Hardware-Based Fault Injection Vulnerability Detection, 2018.
Baranov, Eduard ; Biondi, Fabrizio ; Decourbe, Olivier ; Given-Wilson, Thomas ; Legay, Axel ; Puodzius, Cassius ; Quilbeuf, Jean ; Sebastio, Stefano. Efficient Extraction of Malware Signatures Through System Calls and Symbolic Execution: An Experience Report, 2018.
Biondi, Fabrizio ; Kawamoto, Yusuke ; Legay, Axel ; Traonouez, Louis-Marie. Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow, 2018.
Biondi, Fabrizio ; Given-Wilson, Thomas ; Legay, Axel. Universal Optimality of Apollonian Cell Encoders, 2018.
Given-Wilson, Thomas ; Jafri, Nisrine ; Lanet, Jean-Louis ; Legay, Axel. An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT -- Extended Version, 2017.
Given-Wilson, Thomas ; Heuser, Annelie ; Jafri, Nisrine ; Lanet, Jean-Louis ; Legay, Axel. An Automated and Scalable Formal Process for Detecting Fault Injection Vulnerabilities in Binaries, 2017.
Chadli, Mounir ; Kim, Jin ; Larsen, Kim ; Legay, Axel ; Naujokat, Stefan ; Steffen, Bernhard ; Traonouez, Louis-Marie. High-level Frameworks for the Specification and Verification of Scheduling Problems, 2017.
Heuser, Annelie ; Picek, Stjepan ; Jovic, Alan ; Legay, Axel. On the Relevance of Feature Selection for Profiled Side-channel Attacks, 2017.
Ben Said, Najah ; Abdellatif, Takoua ; Bozga, Marius ; Ben Salem, Saddek ; Legay, Axel. Orchestration for Secure Multi-party Communications in Web-Services ✩, 2017.
Heuser, Annelie ; Picek, Stjepan ; Legay, Axel ; Knezevic, Karlo. Profiled SCA with a New Twist: Semi-supervised Learning, 2017.
Biondi, Fabrizio ; Enescu, Michael ; Heuser, Annelie ; Legay, Axel ; Meel, Kuldeep ; Quilbeuf, Jean. Scalable Approximation of Quantitative Information Flow in Programs, 2017.
Traonouez, Louis-Marie ; Legay, Axel ; Nowotka, Dirk ; Poulsen, Danny. Statistical Model Checking of LLVM Code, 2017.
Biondi, Fabrizio ; Given-Wilson, Thomas ; Legay, Axel. Attainable Unconditional Security for Shared-Key Cryptosystems, 2016.
Kawamoto, Yusuke ; Biondi, Fabrizio ; Legay, Axel. Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow, 2016.
Cappart, Quentin ; Limbrée, Christophe ; Schaus, Pierre ; Quilbeuf, Jean ; Traonouez, Louis-Marie ; Legay, Axel. Verification of interlocking systems using statistical model checking, 2016.
Biondi, Fabrizio ; Given-Wilson, Thomas ; Legay, Axel. On the Attacker's Knowledge in Shared-Key Cryptosystems, 2015.
Given-Wilson, Thomas ; Legay, Axel. On the Expressiveness of Coordination, 2015.
Ésik, Zoltán ; Fahrenberg, Uli ; Legay, Axel. Continuous Kleene ω-Algebras, 2014.
Biondi, Fabrizio ; Quilbeuf, Jean ; Legay, Axel. Information Leakage by Trace Analysis in QUAIL, 2014.
Kalajdzic, K ; Jegourel, Cyrille ; Bartocci, E ; Legay, Axel ; Smolka, Scott ; Grosu, R. Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems, 2014.
Boyer, Benoît ; Corre, Kevin ; Legay, Axel ; Traonouez, Louis-Marie. Statistical Model Checking with Changes and Simulink, 2014.
Aminof, Benjamin ; Legay, Axel ; Murano, Aniello ; Serre, Olivier ; Vardi, Moshe. Pushdown Module Checking with Imperfect Information, 2010.