- 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.
2023
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.
2022
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).
2022
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.
2022
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.
2022
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.
2021
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).
2021
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.
2021
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.
2021
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.
2020
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.
2020
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.
2020
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).
2020
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).
2020
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.
2020
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).
2020
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.
2020
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.
2020
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.
2020
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.
2020
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).
2020
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.
2019
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.
2019
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).
2019
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.
2019
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).
2019
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.
2019
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.
2019
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).
2019
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).
2018
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.
2018
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.
2018
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.
2018
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.
2018
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.
2018
Given-Wilson, Thomas ; Legay, Axel. On the Expressiveness of Joining and Splitting. In: Journal in honour of Bernhard Steffen's 60th.
2018
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.
2018
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).
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.
2018
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.
2018
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.
2018
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.
2018
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.
2018
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.
2017
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.
2017
É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.
2017
É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.
2017
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.
2017
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.
2017
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.
2017
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.
2017
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.
2017
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.
2016
Le Thi Thieu, Hoa ; Passerone, Roberto ; Fahrenberg, Uli ; Legay, Axel. A Tag Contract Framework for Modeling Heterogeneous Systems. In: Science of Computer Programming.
2016
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.
2016
Biondi, Fabrizio ; Given-Wilson, Thomas ; Legay, Axel. Attainable Unconditional Security for Shared-Key Cryptosystems. In: Information Sciences.
2016
Biondi, Fabrizio ; Josse, Sébastien ; Legay, Axel. Bypassing Malware Obfuscation with Dynamic Synthesis. In: ERCIM News, no. 106 (2016).
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).
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.
2016
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.
2016
Legay, Axel ; Traonouez, Louis-Marie. Statistical Model Checking with Change Detection. In: Foundations for Mastering Change.
2016
Jafri, Nisrine ; Legay, Axel ; Lanet, Jean-Louis. Vulnerability Prediction Against Fault Attacks. In: ERCIM News.
2015
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.
2015
Oquendo, Flavio ; Legay, Axel. Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL. In: ERCIM News, no. 102 (2015).
2015
Oquendo, Flavio ; Legay, Axel ; Drira, Khalil. GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems. In: ERCIM News, no. 102 (2015).
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.
2015
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.
2015
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 .
2015
Legay, Axel ; Quilbeuf, Jean ; Oquendo, Flavio. Verifying Systems-of-Systems with Statistical Model Checking. In: ERCIM News, no. 103 (2015).
2014
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.
2014
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.
2014
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).
2014
Biondi, Fabrizio ; Legay, Axel ; Nielsen Bo, Friis ; Wasowski, Andrzej. Maximizing Entropy over Markov Processes. In: Journal of Logical and Algebraic Methods in Programming.
2014
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.
2014
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).
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.
2014
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.
2014
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.
2014
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.
2014
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.
2013
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.
2013
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.
2013
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.
2012
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.
2012
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.
2012
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.
2012
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.
2011
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.
2011
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.
2011
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.
2005
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).
2022
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.
2019
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.
2019
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.
2018
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.
2017
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.
2016
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.
2008
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.
2022
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.
2019
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.
2018
Beaulaton, Delphine ; Cristescu, Ioana ; Legay, Axel ; Quilbeuf, Jean. A Modeling Language for Security Threats of IoT Systems, 2018.
2018
Given-Wilson, Thomas ; Jafri, Nisrine ; Legay, Axel. The State of Fault Injection Vulnerability Detection, 2018.
2013
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.
2023
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).
2022
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.
2022
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.
2022
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.
2022
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).
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).
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.
2022
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.
2022
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.
2021
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.
2021
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.
2021
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.
2021
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.
2021
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).
2021
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.
2021
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.
2021
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.
2021
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.
2021
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).
2020
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.
2020
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.
2020
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.
2020
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.
2020
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.
2020
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).
2020
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).
2020
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).
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.
2020
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).
2020
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).
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.
2020
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).
2020
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).
2020
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.
2020
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.
2020
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.
2019
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.
2019
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.
2019
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.
2019
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).
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.
2019
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.
2019
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.
2019
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.
2019
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.
2019
Legay, Axel ; Cordy, Maxime ; Lazreg, Sami ; Collet, Philippe. Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata. Formalize (Waterloo) (Accepté/Sous presse).
2019
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.
2019
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.
2018
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.
2018
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.
2018
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).
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).
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.
2018
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).
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.
2018
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.
2018
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).
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.
2018
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.
2018
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).
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.
2018
Biondi, Fabrizio ; Given-Wilson, Thomas ; Legay, Axel ; Puodzius, Cassius ; Quilbeuf, Jean. Tutorial: an Overview of Malware Detection and Evasion Techniques. ISoLA (05/11/2018).
2017
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.
2017
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.
2017
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).
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.
2017
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.
2017
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.
2017
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).
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).
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).
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.
2017
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).
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).
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).
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.
2017
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).
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.
2017
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).
2016
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.
2016
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.
2016
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).
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.
2016
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.
2016
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).
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.
2016
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.
2016
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).
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).
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.
2016
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.
2016
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.
2016
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.
2016
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.
2016
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).
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.
2016
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.
2016
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).
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.
2016
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).
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).
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).
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).
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).
2015
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).
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).
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.
2015
Esik, Zoltán ; Fahrenberg, Uli ; Legay, Axel. Continuous Kleene ω-Algebras. Developments in Language Theory - 19th International Conference (du 07/2015 au 07/2015).
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).
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).
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.
2015
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).
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).
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).
2015
Fahrenberg, Uli ; Legay, Axel. Partial Higher-Dimensional Automata. 6th Conference on Algebra and Coalgebra in Computer Science (du 06/2015 au 06/2015).
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.
2015
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).
2014
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.
2014
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.
2014
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.
2014
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.
2014
Fahrenberg, Uli ; Křetínský, Jan ; Legay, Axel ; Traonouez, Louis-Marie. Compositionality for Quantitative Specifications. FACS (09/2014).
2014
Fahrenberg, Uli ; Legay, Axel. Configurable Formal Methods for Extreme Modeling. XM@MoDELS (09/2014).
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.
2014
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.
2014
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.
2014
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).
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.
2014
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.
2014
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).
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.
2014
Biondi, Fabrizio ; Legay, Axel. Quantitative Anonymity Evaluation of Voting Protocols. 12th International Conference on Software Engineering and Formal Methods (01/09/2014).
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).
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.
2014
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.
2014
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.
2014
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).
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.
2014
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.
2013
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).
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.
2013
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.
2013
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.
2013
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.
2013
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).
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.
2013
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.
2013
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.
2013
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).
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.
2013
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).
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.
2013
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).
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.
2013
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.
2013
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.
2013
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.
2013
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.
2013
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).
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.
2013
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.
2013
Bensalem, Saddek ; Legay, Axel ; Nouri, Ayoub ; Peled, Doron. Synthesizing Distributed Scheduling Implementation for Probabilistic Component-based Systems. MEMOCODE (10/2013).
2013
Le Thi Thieu, Hoa ; Passerone, Roberto ; Fahrenberg, Uli ; Legay, Axel. Tag Machines for Modeling Heterogeneous Systems. ACSD (07/2013).
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).
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).
2012
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.
2012
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.
2012
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).
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).
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.
2012
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).
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.
2012
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).
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).
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.
2012
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.
2012
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.
2012
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.
2012
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.
2012
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.
2012
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.
2012
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).
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.
2011
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.
2011
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.
2011
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.
2011
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).
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.
2010
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.
2010
Bozzelli, Laura ; Legay, Axel ; Pinchinat, Sophie. Hardness of Preorder Checking for Basic Formalisms. LPAR (du 25/04/2010 au 01/05/2010).
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).
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.
2010
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).
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.
2010
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.
2010
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.
2009
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).
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).
2009
Bozzelli, Laura ; Legay, Axel ; Pinchinat, Sophie. On Timed Alternating Simulation for Concurrent Timed Games. FSTTCS (du 15/12/2009 au 17/12/2009).
2008
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).
2006
Legay, Axel ; Alfaro, Luca de ; Faella, Marco. An Introduction to the Tool Ticc.. CAV.
2006
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.
2005
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.
2005
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.
2004
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.
2003
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.
2019
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.
2019
Legay, Axel ; Dror, Fried ; Ouaknine, Joël ; Moshe Y. Vardi. Sequential Relational Decomposition, 2019. 24 p.
2018
Legay, Axel. On the Performance of Deep Learning for Side-channel Analysis. IACR Cryptolog, 2018. 19 p.
2017
Legay, Axel. A framework for quantitative modeling and analysis of highly (re)configurable systems, 2017. 25 p.
2015
Ngo Van, Chan ; Legay, Axel. Dependability Analysis of Control Systems using SystemC and Statistical Model Checking (), 2015.
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.
2014
Fahrenberg, Uli ; Křetínský, Jan ; Legay, Axel ; Traonouez, Louis-Marie. Compositionality for Quantitative Specifications, 2014.
2014
Ngo Van, Chan ; Legay, Axel ; Quilbeuf, Jean. Dynamic Verification of SystemC with Statistical Model Checking (), 2014.
2014
Ouederni, Meriem ; Fahrenberg, Uli ; Legay, Axel ; Salaün, Gwen. Flooding-Based Algorithm for Behavioural Compatibility Measuring, 2014.
2014
Fahrenberg, Uli ; Legay, Axel. Homotopy Bisimilarity for Higher-Dimensional Automata, 2014.
2014
Legay, Axel ; Sedwards, Sean ; Traonouez, Louis-Marie. Lightweight Verification of Markov Decision Processes with Rewards, 2014.
2014
Beneš, Nikola ; Fahrenberg, Uli ; Křetínský, Jan ; Legay, Axel ; Traonouez, Louis-Marie. Logical vs. Behavioural Specifications, 2014.
2014
Atlee Joanne, M. ; Fahrenberg, Uli ; Legay, Axel. Measuring Behaviour Interactions between Product-Line Features, 2014.
2013
Delahaye, Benoît ; Legay, Axel ; Sedwards, Sean. A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes, 2013.
2013
Arnold, Alexandre ; Boyer, Benoît ; Legay, Axel. Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach, 2013.
2012
Genet, Thomas ; Le Gall, Tristan ; Legay, Axel ; Murat, Valérie. Tree Regular Model Checking for Lattice-Based Automata (), 2012.
2010
Boichut, Yohan ; Boyer, Benoît ; Genet, Thomas ; Legay, Axel. Equational Abstraction Refinement for Certified Tree Regular Model Checking, 2010.
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.
2009
Bertrand, Nathalie ; Legay, Axel ; Pinchinat, Sophie ; Raclet, Jean-Baptiste. A Compositional Approach on Modal Specifications for Timed Systems (), 2009.
2009
Caillaud, Benoit ; Delahaye, Benoît ; Larsen Kim, Guldstrand ; Legay, Axel ; Pedersen Mikkel, L. ; Wasowski, Andrzej. Compositional Design Methodology with Constraint Markov Chains (), 2009.
2009
Delahaye, Benoît ; Caillaud, Benoit ; Legay, Axel. Compositional Reasoning on (Probabilistic) Contracts (), 2009.
2019
Aspeel, Antoine ; Legay, Axel ; Macq, Benoît. Genetic Algorithms for optimal intermittent measurements for tumor tracking, 2019. 2 p.
2018
Given-Wilson, Thomas ; Jafri, Nisrine ; Legay, Axel. Bridging Software-Based and Hardware-Based Fault Injection Vulnerability Detection, 2018.
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.
2018
Biondi, Fabrizio ; Kawamoto, Yusuke ; Legay, Axel ; Traonouez, Louis-Marie. Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow, 2018.
2018
Biondi, Fabrizio ; Given-Wilson, Thomas ; Legay, Axel. Universal Optimality of Apollonian Cell Encoders, 2018.
2017
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.
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.
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.
2017
Heuser, Annelie ; Picek, Stjepan ; Jovic, Alan ; Legay, Axel. On the Relevance of Feature Selection for Profiled Side-channel Attacks, 2017.
2017
Ben Said, Najah ; Abdellatif, Takoua ; Bozga, Marius ; Ben Salem, Saddek ; Legay, Axel. Orchestration for Secure Multi-party Communications in Web-Services ✩, 2017.
2017
Heuser, Annelie ; Picek, Stjepan ; Legay, Axel ; Knezevic, Karlo. Profiled SCA with a New Twist: Semi-supervised Learning, 2017.
2017
Biondi, Fabrizio ; Enescu, Michael ; Heuser, Annelie ; Legay, Axel ; Meel, Kuldeep ; Quilbeuf, Jean. Scalable Approximation of Quantitative Information Flow in Programs, 2017.
2017
Traonouez, Louis-Marie ; Legay, Axel ; Nowotka, Dirk ; Poulsen, Danny. Statistical Model Checking of LLVM Code, 2017.
2016
Biondi, Fabrizio ; Given-Wilson, Thomas ; Legay, Axel. Attainable Unconditional Security for Shared-Key Cryptosystems, 2016.
2016
Kawamoto, Yusuke ; Biondi, Fabrizio ; Legay, Axel. Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow, 2016.
2016
Cappart, Quentin ; Limbrée, Christophe ; Schaus, Pierre ; Quilbeuf, Jean ; Traonouez, Louis-Marie ; Legay, Axel. Verification of interlocking systems using statistical model checking, 2016.
2015
Biondi, Fabrizio ; Given-Wilson, Thomas ; Legay, Axel. On the Attacker's Knowledge in Shared-Key Cryptosystems, 2015.
2015
Given-Wilson, Thomas ; Legay, Axel. On the Expressiveness of Coordination, 2015.
2014
Ésik, Zoltán ; Fahrenberg, Uli ; Legay, Axel. Continuous Kleene ω-Algebras, 2014.
2014
Biondi, Fabrizio ; Quilbeuf, Jean ; Legay, Axel. Information Leakage by Trace Analysis in QUAIL, 2014.
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.
2014
Boyer, Benoît ; Corre, Kevin ; Legay, Axel ; Traonouez, Louis-Marie. Statistical Model Checking with Changes and Simulink, 2014.
2010
Aminof, Benjamin ; Legay, Axel ; Murano, Aniello ; Serre, Olivier ; Vardi, Moshe. Pushdown Module Checking with Imperfect Information, 2010.