Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAxel Legay
Person information
- affiliation: Université Catholique de Louvain, Belgium
- affiliation (former): IRISA, Rennes, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j103]Pierre Martou
, Kim Mens, Benoît Duhoux, Axel Legay:
Test scenario generation for feature-based context-oriented software systems. J. Syst. Softw. 197: 111570 (2023)- [c289]Khanh-Huu-The Dam, Axel Legay:
Mitigate Data Poisoning Attack by Partially Federated Learning. ARES 2023: 75:1-75:9 - [c288]Yasaman Yousefi, Lisa Koutsoviti Koumeri, Magali Legast, Christoph Schommer, Koen Vanhoof, Axel Legay:
Compatibility of Fairness Metrics With EU Non-Discrimination Law: A Legal and Technical Case Study. EWAF 2023 - [c287]Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Refinement of Systems with an Attacker Focus. FMICS 2023: 96-112 - [c286]Pierre Martou, Benoît Duhoux, Kim Mens, Axel Legay:
Beyond Combinatorial Interaction Testing: On the need for transition testing in dynamically adaptive context-aware systems. ICSTW 2023: 100-104 - [c285]Thomas Wirtgen, Tom Rousseaux, Quentin De Coninck, Nicolas Rybowski, Randy Bush, Laurent Vanbever, Axel Legay, Olivier Bonaventure:
xBGP: Faster Innovation in Routing Protocols. NSDI 2023: 575-592 - [c284]Magali Legast, Axel Legay:
Assistance in the management of rule sets for rule-based expert systems (S). SEKE 2023: 367-372 - [c283]Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay:
Family-based model checking of fMultiLTL properties. SPLC (A) 2023: 41-51 - [c282]Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay:
Test Scenario Generation for Feature-Based Context-Oriented Software Systems. SPLC (A) 2023: 269-270 - [i59]Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski:
Timed I/O Automata: It is never too late to complete your timed specification theory. CoRR abs/2302.04529 (2023) - [i58]Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay:
Experimental Toolkit for Manipulating Executable Packing. CoRR abs/2302.09286 (2023) - [i57]Lisa Koutsoviti Koumeri, Magali Legast, Yasaman Yousefi, Koen Vanhoof, Axel Legay, Christoph Schommer:
Compatibility of Fairness Metrics with EU Non-Discrimination Laws: Demographic Parity & Conditional Demographic Disparity. CoRR abs/2306.08394 (2023) - 2022
- [j102]Khanh-Huu-The Dam, Thomas Given-Wilson, Axel Legay, Rosana Veroneze:
Packer classification based on association rule mining. Appl. Soft Comput. 127: 109373 (2022) - [j101]Davide Basile, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy, Axel Legay:
Static detection of equivalent mutants in real-time model-based mutation testing. Empir. Softw. Eng. 27(7): 160 (2022) - [j100]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. Log. Methods Comput. Sci. 18(1) (2022) - [j99]Igor Zavalyshyn, Axel Legay, Annanda Rath, Etienne Rivière:
SoK: Privacy-enhancing Smart Home Hubs. Proc. Priv. Enhancing Technol. 2022(4): 24-43 (2022) - [j98]Aleksandar S. Dimovski, Sven Apel, Axel Legay:
Several lifted abstract domains for static analysis of numerical program families. Sci. Comput. Program. 213: 102725 (2022) - [j97]Uli Fahrenberg, Axel Legay:
Featured games. Sci. Comput. Program. 223: 102874 (2022) - [j96]Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay:
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. Int. J. Softw. Tools Technol. Transf. 24(3): 351-370 (2022) - [j95]Axel Legay, Tiziana Margaria:
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017. Int. J. Softw. Tools Technol. Transf. 24(4): 611-612 (2022) - [c281]Charles-Henry Bertrand Van Ouytsel, Khanh-Huu-The Dam, Axel Legay:
Symbolic analysis meets federated learning to enhance malware identifier. ARES 2022: 150:1-150:10 - [c280]Valeria Trombetta, Maxime Cordy, Enrico Tronci, Axel Legay:
CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems. CPS Summer School, PhD Workshop 2022 - [c279]Charles-Henry Bertrand Van Ouytsel, Christophe Crochet, Khanh-Huu-The Dam, Axel Legay:
Tool Paper - SEMA: Symbolic Execution Toolchain for Malware Analysis. CRiSIS 2022: 62-68 - [c278]Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay:
Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study. COP@ECOOP 2022: 35-43 - [c277]Sébastien Dupont, Artsiom Yautsiukhin, Guillaume Ginis, Giacomo Iadarola, Stefano Fagnano, Fabio Martinelli, Christophe Ponsard, Axel Legay, Philippe Massonet:
Product Incremental Security Risk Assessment Using DevSecOps Practices. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS 2022: 666-685 - [c276]Daniela Azevedo, Axel Legay, Suzanne Kieffer:
User Reception of Babylon Health's Chatbot. VISIGRAPP (2: HUCAPP) 2022: 134-141 - [c275]Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran:
A Scalable t-wise Coverage Estimator. ICSE 2022: 36-47 - [c274]Khanh-Huu-The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay:
Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept. ISoLA (1) 2022: 279-298 - [c273]Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen:
Formal Methods Meet Machine Learning (F3ML). ISoLA (3) 2022: 393-405 - [c272]Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen:
Importance Splitting in Uppaal. ISoLA (3) 2022: 433-447 - [c271]Sami Lazreg, Maxime Cordy, Axel Legay:
Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. ISoLA (3) 2022: 448-471 - [c270]Charles-Henry Bertrand Van Ouytsel, Axel Legay:
Malware Analysis with Symbolic Execution and Graph Kernel. NordSec 2022: 292-310 - [c269]Shiraj Arora, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. SPIN 2022: 61-78 - [c268]Eduard Baranov, Axel Legay:
Baital: an adaptive weighted sampling platform for configurable systems. SPLC (B) 2022: 46-49 - [i56]Charles-Henry Bertrand Van Ouytsel, Axel Legay:
Malware Analysis with Symbolic Execution and Graph Kernel. CoRR abs/2204.05632 (2022) - [i55]Khanh-Huu-The Dam, Charles-Henry Bertrand Van Ouytsel, Axel Legay:
Symbolic analysis meets federated learning to enhance malware identifier. CoRR abs/2204.14159 (2022) - 2021
- [j94]Lionel Metongnon, Sébastien Strebelle, Fabien Duchene, Axel Legay, Ramin Sadre:
OpenPosLib: A Library to Achieve Centimetric Geo-Spatial Positioning on a Budget. IEEE Access 9: 151507-151517 (2021) - [j93]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. 109: 102381 (2021) - [j92]Antoine Aspeel, Axel Legay, Raphaël M. Jungers, Benoît Macq:
Optimal measurement budget allocation for Kalman prediction over a finite time horizon by genetic algorithms. EURASIP J. Adv. Signal Process. 2021(1): 39 (2021) - [j91]Maxime Cordy, Sami Lazreg, Mike Papadakis, Axel Legay:
Statistical model checking for variability-intensive systems: applications to bug detection and minimization. Formal Aspects Comput. 33(6): 1147-1172 (2021) - [j90]Florian Kammüller, Axel Legay, Stefano Schivo:
Masterminding change by combining secure system design with security risk assessment. Int. J. Softw. Tools Technol. Transf. 23(1): 69-70 (2021) - [j89]René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Peter Gjøl Jensen, Danny Bøgsted Poulsen:
ADTLang: a programming language approach to attack defense trees. Int. J. Softw. Tools Technol. Transf. 23(1): 89-104 (2021) - [c267]Christophe Crochet, Tom Rousseaux, Maxime Piraux, Jean-François Sambon, Axel Legay:
Verifying QUIC implementations using Ivy. EPIQ@CoNEXT 2021: 35-41 - [c266]Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber:
A Secure User-Centred Healthcare System: Design and Verification. DataMod 2021: 44-60 - [c265]Aleksandar S. Dimovski, Sven Apel, Axel Legay:
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features. FASE 2021: 67-86 - [c264]Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico:
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE 2021: 177-181 - [c263]Stanley Goffinet, Donatien Schmitz, Igor Zavalyshyn, Axel Legay, Etienne Rivière:
Controlling Security Rules Using Natural Dialogue: an Application to Smart Home Care. UbiComp/ISWC Adjunct 2021: 194-197 - [c262]Igor Zavalyshyn, Axel Legay, Annanda Rath, Etienne Rivière:
Smart Home Care: Towards Supporting Elderlies in the Comfort and Safety of their (Smart) Homes. LADC 2021: 1-6 - [c261]Aleksandar S. Dimovski, Sven Apel, Axel Legay:
Program Sketching Using Lifted Analysis for Numerical Program Families. NFM 2021: 95-112 - [c260]Khanh-Huu-The Dam, Thomas Given-Wilson, Axel Legay:
Unsupervised behavioural mining and clustering for malware family identification. SAC 2021: 374-383 - [c259]Nicolas Rybowski, Quentin De Coninck, Tom Rousseaux, Axel Legay, Olivier Bonaventure:
Implementing the plugin distribution system. SIGCOMM Posters and Demos 2021: 39-41 - [c258]Antoine Chenoy, Fabien Duchene, Thomas Given-Wilson, Axel Legay:
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs. SPIN 2021: 101-119 - [c257]Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre, Etienne Rivière:
Chaos Duck: A Tool for Automatic IoT Software Fault-Tolerance Analysis. SRDS 2021: 46-55 - [c256]Uli Fahrenberg, Axel Legay:
Featured Games. TASE 2021: 167-174 - [c255]Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen:
Analysis of Source Code Using UPPAAL. F-IDE@NFM 2021: 31-38 - [i54]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Security Risk Modeling and Analysis with RisQFLan. CoRR abs/2101.08677 (2021) - [i53]Charles-Henry Bertrand Van Ouytsel, Thomas Given-Wilson, Jeremy Minet, Julian Roussieau, Axel Legay:
Analysis of Machine Learning Approaches to Packing Detection. CoRR abs/2105.00473 (2021) - [i52]Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay:
Test Scenario Generation for Context-Oriented Programs. CoRR abs/2109.11950 (2021) - 2020
- [j88]Stefano Sebastio, Eduard Baranov, Fabrizio Biondi, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf:
Optimizing symbolic execution for malware behavior classification. Comput. Secur. 93: 101775 (2020) - [j87]Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Logical vs. behavioural specifications. Inf. Comput. 271: 104487 (2020) - [j86]Thomas Given-Wilson, Nisrine Jafri, Axel Legay:
Combined software and hardware fault injection vulnerability detection. Innov. Syst. Softw. Eng. 16(2): 101-120 (2020) - [j85]Davide Basile, Maurice H. ter Beek, Axel Legay:
Timed service contract automata. Innov. Syst. Softw. Eng. 16(2): 199-214 (2020) - [j84]Uli Fahrenberg, Axel Legay:
A linear-time-branching-time spectrum for behavioral specification theories. J. Log. Algebraic Methods Program. 110 (2020) - [j83]Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico:
Controller synthesis of service contracts with variability. Sci. Comput. Program. 187: 102344 (2020) - [j82]Fabrizio Biondi, Thomas Given-Wilson, Axel Legay:
Introduction to the special issue for SPIN 2019. Int. J. Softw. Tools Technol. Transf. 22(5): 563-564 (2020) - [j81]Ioana Cristescu, Thomas Given-Wilson, Axel Legay:
Expressiveness of concurrent intensionality. Theor. Comput. Sci. 837: 54-83 (2020) - [j80]Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski:
Generalized abstraction-refinement for game-based CTL lifted model checking. Theor. Comput. Sci. 837: 181-206 (2020) - [j79]Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing branching distances with quantitative games. Theor. Comput. Sci. 847: 134-146 (2020) - [j78]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. IEEE Trans. Software Eng. 46(3): 321-345 (2020) - [c254]Thomas Given-Wilson, Axel Legay:
Formalising fault injection and countermeasures. ARES 2020: 22:1-22:11 - [c253]Aleksandar S. Dimovski, Axel Legay:
Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. FASE 2020: 182-202 - [c252]Maxime Cordy, Mike Papadakis, Axel Legay:
Statistical Model Checking for Variability-Intensive Systems. FASE 2020: 294-314 - [c251]Davide Basile, Maurice H. ter Beek, Axel Legay:
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. FORTE 2020: 3-21 - [c250]Thomas Given-Wilson, Eduard Baranov, Axel Legay:
Building User Trust of Critical Digital Technologies. ICIT 2020: 1199-1204 - [c249]Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson:
X-by-Construction - Correctness Meets Probability. ISoLA (1) 2020: 211-215 - [c248]Uli Fahrenberg, Axel Legay:
Behavioral Specification Theories: An Algebraic Taxonomy. ISoLA (1) 2020: 262-274 - [c247]Kim G. Larsen, Axel Legay:
30 Years of Statistical Model Checking. ISoLA (1) 2020: 325-330 - [c246]Eduard Baranov, Thomas Given-Wilson, Axel Legay:
Improving Secure and Robust Patient Service Delivery. ISoLA (1) 2020: 404-418 - [c245]Anshul Paigwar, Eduard Baranov, Alessandro Renzaglia, Christian Laugier, Axel Legay:
Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking. IV 2020: 737-743 - [c244]Igor Zavalyshyn, Nuno Santos, Ramin Sadre, Axel Legay:
My House, My Rules: A Private-by-Design Smart Home Platform. MobiQuitous 2020: 273-282 - [c243]Eduard Baranov, Axel Legay, Kuldeep S. Meel:
Baital: an adaptive weighted sampling approach for improved t-wise coverage. ESEC/SIGSOFT FSE 2020: 1114-1126 - [c242]Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay:
Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. SPLC (A) 2020: 30:1-30:11 - [c241]Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre:
Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software. SSS 2020: 317-322 - [c240]Eduardo Gomes, Igor Zavalyshyn, Nuno Santos, João Silva, Axel Legay:
Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications. TrustCom 2020: 607-614 - [c239]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. VaMoS 2020: 11:1-11:9 - [i51]Uli Fahrenberg, Axel Legay:
Featured Games. CoRR abs/2005.05666 (2020) - [i50]Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen:
Automatic Verification of LLVM Code. CoRR abs/2006.02670 (2020) - [i49]Uli Fahrenberg, Axel Legay:
Behavioral Specification Theories: an Algebraic Taxonomy. CoRR abs/2009.11011 (2020) - [i48]Aleksandar S. Dimovski, Sven Apel, Axel Legay:
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version). CoRR abs/2012.05863 (2020)
2010 – 2019
- 2019
- [j77]Sébastien Lugan, Paul Desbordes, Eliott Brion, Luis Xavier Ramos Tormo, Axel Legay, Benoît Macq:
Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn). IEEE Access 7: 181789-181799 (2019) - [j76]Fabrizio Biondi, Michael A. Enescu, Thomas Given-Wilson, Axel Legay, Lamine Noureddine, Vivek Verma:
Effective, efficient, and robust packing detection and classification. Comput. Secur. 85: 436-451 (2019) - [j75]Thomas Given-Wilson, Annelie Heuser, Nisrine Jafri, Axel Legay:
An automated and scalable formal process for detecting fault injection vulnerabilities in binaries. Concurr. Comput. Pract. Exp. 31(23) (2019) - [j74]Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez:
Hybrid statistical estimation of mutual information and its application to information flow. Formal Aspects Comput. 31(2): 165-206 (2019) - [j73]David Cachera, Uli Fahrenberg, Axel Legay:
An ωω\omega-Algebra for Real-Time Energy Problems. Log. Methods Comput. Sci. 15(2) (2019) - [j72]Maurice H. ter Beek, Axel Legay:
Quantitative variability modelling and analysis. Int. J. Softw. Tools Technol. Transf. 21(6): 607-612 (2019) - [j71]Maxime Cordy, Axel Legay:
Verification and abstraction of real-time variability-intensive systems. Int. J. Softw. Tools Technol. Transf. 21(6): 635-649 (2019) - [j70]Uli Fahrenberg, Axel Legay:
Quantitative properties of featured automata. Int. J. Softw. Tools Technol. Transf. 21(6): 667-677 (2019) - [c238]Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist:
Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. ATVA 2019: 81-97 - [c237]Vladimir Janjic, Michael Vinov, Thomas Given-Wilson, Axel Legay, Euan Blackledge, R. Arredouani, George Stylianou, Wanting Huang, Juliana Küster Filipe Bowles, Andreas Francois Vermeulen, Agastya Silvina, Marios Belk, Christos Fidas, Andreas Pitsillides, M. Kumar, Michael Rossbory:
The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems. IEEE BigData 2019: 2726-2735 - [c236]Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin:
A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 285-312 - [c235]Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski:
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. FASE 2019: 192-209 - [c234]Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay:
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. FMICS 2019: 1-21 - [c233]Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet:
Towards sampling and simulation-based analysis of featured weighted automata. FormaliSE@ICSE 2019: 61-64 - [c232]Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing Branching Distances Using Quantitative Games. ICTAC 2019: 59-75 - [c231]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. IFM 2019: 547-551 - [c230]Mathieu Barbier, Alessandro Renzaglia, Jean Quilbeuf, Lukas Rummelhard, Anshul Paigwar, Christian Laugier, Axel Legay, Javier Ibañez-Guzmán, Olivier Simonin:
Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking. IV 2019: 252-259 - [c229]Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra:
Model Checking the IKEv2 Protocol Using Spin. PST 2019: 1-7 - [c228]Quentin De Coninck, François Michel, Maxime Piraux, Florentin Rochet, Thomas Given-Wilson, Axel Legay, Olivier Pereira, Olivier Bonaventure:
Pluginizing QUIC. SIGCOMM 2019: 59-74 - [c227]Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra:
The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2. TrustCom/BigDataSE 2019: 66-74 - [c226]Maurice H. ter Beek, Axel Legay:
Quantitative Variability Modeling and Analysis. VaMoS 2019: 13:1-13:2 - [p5]Axel Legay, Anna Lukina, Louis-Marie Traonouez, Junxing Yang, Scott A. Smolka, Radu Grosu:
Statistical Model Checking. Computing and Software Science 2019: 478-504 - [e16]Fabrizio Biondi, Thomas Given-Wilson, Axel Legay:
Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings. Lecture Notes in Computer Science 11636, Springer 2019, ISBN 978-3-030-30922-0 [contents] - [i47]Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski:
Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version). CoRR abs/1902.05594 (2019) - [i46]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. CoRR abs/1903.01368 (2019) - [i45]Sébastien Lugan, Paul Desbordes, Luis Xavier Ramos Tormo, Axel Legay, Benoît Macq:
Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn). CoRR abs/1906.07690 (2019) - [i44]