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
- 2025
[j108]Eduard Baranov
, Axel Legay:
Baital: Sampling configurable systems with high t-wise coverage. Sci. Comput. Program. 240: 103209 (2025)- 2024
- [j107]Charles-Henry Bertrand Van Ouytsel, Khanh-Huu-The Dam, Axel Legay:
Analysis of machine learning approaches to packing detection. Comput. Secur. 136: 103536 (2024) - [j106]Rosana Veroneze, Charles-Henry Bertrand Van Ouytsel, Khanh-Huu-The Dam, Axel Legay:
Feature selection for packer classification based on association rule mining. Eng. Appl. Artif. Intell. 137: 109083 (2024) - [j105]Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran:
A Scalable $t$t-Wise Coverage Estimator: Algorithms and Applications. IEEE Trans. Software Eng. 50(8): 2021-2039 (2024) - [c306]Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay:
Extended Abstract: Evading Packing Detection: Breaking Heuristic-Based Static Detectors. DIMVA 2024: 174-183 - [c305]Eduard Baranov, Axel Legay, Martin Vivian:
Fuzzing an Industrial Proprietary Protocol. FMICS 2024: 119-135 - [c304]Tom Rousseaux, Christophe Crochet, John O. R. Aoga, Axel Legay:
Network Simulator-Centric Compositional Testing. FORTE 2024: 177-196 - [c303]Suzanne Kieffer, Sebastien Nahon, Damien Renard, Axel Legay:
Bridging Disciplinary Boundaries: Integrating XR in Communication Sciences Master's Programs. HCI (41) 2024: 89-105 - [c302]Daniela Azevedo, Justine Ramelot, Axel Legay, Suzanne Kieffer:
With or Without U(sers): A Journey to Integrate UX Activities in Cybersecurity. HCI (45) 2024: 212-231 - [c301]Justine Ramelot, Daniela Azevedo, Axel Legay, Suzanne Kieffer:
Toward interdisciplinary practice and increased social ROI: a case study on downstream effects of integrating UX in cyber system design. HICSS 2024: 7365-7374 - [c300]Xavier Lessage, Leandro Collier, Charles-Henry Bertrand Van Ouytsel, Axel Legay, Saïd Mahmoudi, Philippe Massonet:
Secure federated learning applied to medical imaging with fully homomorphic encryption. ICAIC 2024: 1-12 - [c299]Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay:
Daedalux: An Extensible Platform for Variability-Aware Model Checking. ICSE Companion 2024: 21-25 - [c298]Charles Lohest, Axel Legay:
Improving security analysis rule set by relationship identification. ICSTW 2024: 297-300 - [c297]Khanh-Huu-The Dam, Gorby Kabasele Ndonda, Axel Legay, Ramin Sadre:
Avoiding "Hot Potato" Problems in Internet Service Providers. NOMS 2024: 1-6 - [c296]Pierre Martou, Benoît Duhoux, Kim Mens, Axel Legay:
Combinatorial Transition Testing in Dynamically Adaptive Systems. VaMoS 2024: 1-10 - 2023
- [j104]Axel Legay:
Design, Validate, Implement, and Validate: From Dreaming Approaches to Realities. IT Prof. 25(5): 10-13 (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) - [c295]Khanh-Huu-The Dam, Axel Legay:
Mitigate Data Poisoning Attack by Partially Federated Learning. ARES 2023: 75:1-75:9 - [c294]Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang:
Lightweight Verification of Hyperproperties. ATVA 2023: 3-25 - [c293]Magali Legast, Yasaman Yousefi, Lisa Koutsoviti Koumeri, Axel Legay, Christoph Schommer, Koen Vanhoof:
Métriques d'équité en Apprentissage Automatique et droit de l'Union Europénne en matière de non-discrimination. CNIA 2023 - [c292]Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay:
Experimental Toolkit for Manipulating Executable Packing. CRiSIS 2023: 263-279 - [c291]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 - [c290]Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Refinement of Systems with an Attacker Focus. FMICS 2023: 96-112 - [c289]Serena Lucca, Christophe Crochet, Charles-Henry Bertrand Van Ouytsel, Axel Legay:
On Exploiting Symbolic Execution to Improve the Analysis of RAT Samples with angr. FPS (1) 2023: 339-354 - [c288]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 - [c287]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 - [c286]Magali Legast, Axel Legay:
Assistance in the management of rule sets for rule-based expert systems (S). SEKE 2023: 367-372 - [c285]Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens:
Towards Strengthening Formal Specifications with Mutation Model Checking. ESEC/SIGSOFT FSE 2023: 2102-2106 - [c284]Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay:
Family-based model checking of fMultiLTL properties. SPLC (A) 2023: 41-51 - [c283]Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay:
Test Scenario Generation for Feature-Based Context-Oriented Software Systems. SPLC (A) 2023: 269-270 - [c282]Maxime Parmentier, Axel Legay, Firmin Chenoy:
Optimized Smart Sampling. AISoLA 2023: 171-187 - [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] - [d1]Christian Bach, Christian Toftemann Bæk, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Supplementary material for "BADGraph: Quantitative Modeling and Analysis of Probabilistic Attack Scenarios". Zenodo, 2019
- [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]Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing Branching Distances Using Quantitative Games. CoRR abs/1910.08943 (2019) - 2018
- [j69]Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay:
Performance evaluation of stochastic real-time systems with the SBIP framework. Int. J. Crit. Comput. Based Syst. 8(3/4): 340-370 (2018) - [j68]Jean-Louis Lanet, Hélène Le Bouder, Mohammed Benattou, Axel Legay:
When time meets test. Int. J. Inf. Sec. 17(4): 395-409 (2018) - [j67]Thomas Given-Wilson, Axel Legay, Sean Sedwards, Olivier Zendra:
Group abstraction for assisted navigation of social activities in intelligent environments. J. Reliab. Intell. Environ. 4(2): 107-120 (2018) - [j66]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Model-based mutant equivalence detection using automata language equivalence and simulations. J. Syst. Softw. 141: 1-15 (2018) - [j65]José Luiz Fiadeiro, Antónia Lopes, Benoît Delahaye, Axel Legay:
Dynamic networks of heterogeneous timed machines. Math. Struct. Comput. Sci. 28(6): 800-855 (2018) - [j64]Van Chan Ngo, Axel Legay:
Formal verification of probabilistic SystemC models with statistical model checking. J. Softw. Evol. Process. 30(3) (2018) - [j63]Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for quantitative specifications. Soft Comput. 22(4): 1139-1158 (2018) - [j62]Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez:
High-level frameworks for the specification and verification of scheduling problems. Int. J. Softw. Tools Technol. Transf. 20(4): 397-422 (2018) - [c225]Sébanjila Kevin Bukasa, Ronan Lashermes, Jean-Louis Lanet, Axel Legay:
Let's shock our IoT's heart: ARMv7-M under (fault) attacks. ARES 2018: 33:1-33:6 - [c224]Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem:
S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. ATVA 2018: 536-542 - [c223]Thomas Given-Wilson, Axel Legay:
On the Expressiveness of Joining and Splitting. Models, Mindsets, Meta 2018: 326-355 - [c222]Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente:
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. FM 2018: 329-337 - [c221]Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez:
Statistical Model Checking of LLVM Code. FM 2018: 542-549 - [c220]Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf:
A Modeling Language for Security Threats of IoT Systems. FMICS 2018: 258-268 - [c219]Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg:
Trace checking for dynamic software product lines. SEAMS@ICSE 2018: 69-75 - [c218]Kim Guldstrand Larsen, Axel Legay:
Statistical Model Checking the 2018 Edition! ISoLA (2) 2018: 261-270 - [c217]Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez:
Statistical Model Checking of Incomplete Stochastic Systems. ISoLA (2) 2018: 354-371 - [c216]Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem:
Mitigating Security Risks Through Attack Strategies Exploration. ISoLA (2) 2018: 392-413 - [c215]Thomas Given-Wilson, Axel Legay:
X-by-C: Non-functional Security Challenges. ISoLA (1) 2018: 486-501 - [c214]Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf:
Tutorial: An Overview of Malware Detection and Evasion Techniques. ISoLA (1) 2018: 565-586 - [c213]Najah Ben Said, Fabrizio Biondi, Vesselin Bontchev, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Jean Quilbeuf:
Detection of Mirai by Syntactic and Behavioral Analysis. ISSRE 2018: 224-235 - [c212]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. LICS 2018: 432-441 - [c211]Stjepan Picek, Ioannis Petros Samiotis, Jaehun Kim, Annelie Heuser, Shivam Bhasin, Axel Legay:
On the Performance of Convolutional Neural Networks for Side-Channel Analysis. SPACE 2018: 157-176 - [c210]Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Régis Fleurquin, Axel Legay, Jean Quilbeuf, Salah Sadou:
A Language for Analyzing Security of IOT Systems. SoSE 2018: 37-44 - [c209]Fabrizio Biondi, Thomas Given-Wilson, Axel Legay:
Universal Optimality of Apollonian Cell Encoders. TrustCom/BigDataSE 2018: 424-435 - [c208]Thomas Given-Wilson, Nisrine Jafri, Axel Legay:
The State of Fault Injection Vulnerability Detection. VECoS 2018: 3-21 - [c207]Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez:
Orchestration Synthesis for Real-Time Service Contracts. VECoS 2018: 31-47 - [c206]Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf:
Scalable Approximation of Quantitative Information Flow in Programs. VMCAI 2018: 71-93 - [p4]Jean-Luc Danger, Sylvain Guilley, Annelie Heuser, Axel Legay, Ming Tang:
Physical Security Versus Masking Schemes. Cyber-Physical Systems Security 2018: 269-284 - [e15]Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquín García-Alfaro:
Risks and Security of Internet and Systems - 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10694, Springer 2018, ISBN 978-3-319-76686-7 [contents] - [i43]Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez:
Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow. CoRR abs/1809.02613 (2018) - [i42]Stjepan Picek, Ioannis Petros Samiotis, Annelie Heuser, Jaehun Kim, Shivam Bhasin, Axel Legay:
On the Performance of Deep Learning for Side-channel Analysis. IACR Cryptol. ePrint Arch. 2018: 4 (2018) - 2017
- [j61]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
An Algebraic Approach to Energy Problems I - *-Continuous Kleene ω-Algebras. Acta Cybern. 23(1): 203-228 (2017) - [j60]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
An Algebraic Approach to Energy Problems II - The Algebra of Energy Functions. Acta Cybern. 23(1): 229-268 (2017) - [j59]Fabrizio Biondi, Sébastien Josse, Axel Legay, Thomas Sirvent:
Effectiveness of synthesis in concolic deobfuscation. Comput. Secur. 70: 500-515 (2017) - [j58]Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien:
An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. 4(10): e3 (2017) - [j57]Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien:
An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. 4(11): e2 (2017) - [j56]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Statistical prioritization for software product line testing: an experience report. Softw. Syst. Model. 16(1): 153-171 (2017) - [c205]Stjepan Picek, Annelie Heuser, Alan Jovic, Axel Legay:
Climbing Down the Hierarchy: Hierarchical Classification for Machine Learning Side-Channel Attacks. AFRICACRYPT 2017: 61-78 - [c204]Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez:
HyLeak: Hybrid Analysis Tool for Information Leakage. ATVA 2017: 156-163 - [c203]Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman:
Compositional Testing of Real-Time Systems. ModelEd, TestEd, TrustEd 2017: 107-124 - [c202]René Rydhof Hansen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata. GraMSec@CSF 2017: 75-90 - [c201]Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Cerschi Seceleanu, Bernhard Steffen, Louis-Marie Traonouez:
Analyzing ambient assisted living solutions: A research perspective. DTIS 2017: 1-7 - [c200]Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay:
Information Leakage as a Scheduling Resource. FMICS-AVoCS 2017: 83-99 - [c199]Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay:
Verification of Interlocking Systems Using Statistical Model Checking. HASE 2017: 61-68 - [c198]Thomas Given-Wilson, Axel Legay, Sean Sedwards:
Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults. HCI (22) 2017: 90-109 - [c197]Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman:
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. ICECCS 2017: 11-19 - [c196]Uli Fahrenberg, Axel Legay:
Featured Weighted Automata. FormaliSE@ICSE 2017: 51-57 - [c195]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. ICST 2017: 424-429 - [c194]Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee:
Extensible Energy Planning Framework for Preemptive Tasks. ISORC 2017: 32-41 - [c193]Fabrizio Biondi, François Déchelle, Axel Legay:
MASSE: Modular Automated Syntactic Signature Extraction. ISSRE Workshops 2017: 96-97 - [c192]Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün:
Compatibility flooding: measuring interaction of services interfaces. SAC 2017: 1334-1340 - [c191]Uli Fahrenberg, Axel Legay:
A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. SOFSEM 2017: 49-61 - [c190]Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans:
On Featured Transition Systems. SOFSEM 2017: 453-463 - [c189]Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Practical controller synthesis for MTL0, ∞. SPIN 2017: 102-111 - [c188]Thomas Given-Wilson, Nisrine Jafri, Jean-Louis Lanet, Axel Legay:
An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT. TrustCom/BigDataSE/ICESS 2017: 293-300 - [c187]Axel Legay, Gilles Perrouin:
On quantitative requirements for product lines. VaMoS 2017: 2-4 - [c186]Sébanjila Kevin Bukasa, Ronan Lashermes, Hélène Le Bouder, Jean-Louis Lanet, Axel Legay:
How TrustZone Could Be Bypassed: Side-Channel Attacks on a Modern System-on-Chip. WISTP 2017: 93-109 - [p3]Kim G. Larsen, Uli Fahrenberg, Axel Legay:
From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. Dependable Software Systems Engineering 2017: 60-103 - [e14]Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare:
Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10460, Springer 2017, ISBN 978-3-319-63120-2 [contents] - [e13]Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay:
Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10158, Springer 2017, ISBN 978-3-319-54875-3 [contents] - [e12]Axel Legay, Tiziana Margaria:
Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10205, 2017, ISBN 978-3-662-54576-8 [contents] - [e11]Axel Legay, Tiziana Margaria:
Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10206, 2017, ISBN 978-3-662-54579-9 [contents] - [i41]David Cachera, Uli Fahrenberg, Axel Legay:
An ω-Algebra for Real-Time Energy Problems. CoRR abs/1701.08524 (2017) - [i40]Uli Fahrenberg, Axel Legay:
Featured Weighted Automata. CoRR abs/1702.07484 (2017) - [i39]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
A framework for quantitative modeling and analysis of highly (re)configurable systems. CoRR abs/1707.08411 (2017) - [i38]Van Chan Ngo, Axel Legay:
Formal Verification of Probabilistic SystemC Models with Statistical Model Checking. CoRR abs/1712.02227 (2017) - [i37]Stjepan Picek, Annelie Heuser, Alan Jovic, Axel Legay, Karlo Knezevic:
Profiled SCA with a New Twist: Semi-supervised Learning. IACR Cryptol. ePrint Arch. 2017: 1085 (2017) - [i36]Stjepan Picek, Annelie Heuser, Alan Jovic, Lejla Batina, Axel Legay:
The secrets of profiling for side-channel analysis: feature selection matters. IACR Cryptol. ePrint Arch. 2017: 1110 (2017) - 2016
- [j55]Axel Legay, Louis-Marie Traonouez:
Statistical Model Checking with Change Detection. LNCS Trans. Found. Mastering Chang. 1: 157-179 (2016) - [j54]Fabrizio Biondi, Thomas Given-Wilson, Axel Legay:
Attainable unconditional security for shared-key cryptosystems. Inf. Sci. 369: 80-99 (2016) - [j53]Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay:
A tag contract framework for modeling heterogeneous systems. Sci. Comput. Program. 115-116: 225-246 (2016) - [j52]Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi:
Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. 13(3): 41-48 (2016) - [j51]Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
Component-based verification using incremental design and invariants. Softw. Syst. Model. 15(2): 427-451 (2016) - [j50]Cyrille Jégourel, Axel Legay, Sean Sedwards:
Command-based importance sampling for statistical model checking. Theor. Comput. Sci. 649: 1-24 (2016) - [j49]Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem:
ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis. ACM Trans. Embed. Comput. Syst. 15(2): 31:1-31:26 (2016) - [j48]Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay:
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. ACM Trans. Embed. Comput. Syst. 15(2): 33:1-33:26 (2016) - [c185]Van Chan Ngo, Axel Legay, Vania Joloboff:
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. CAV (1) 2016: 84-91 - [c184]Aurélien Palisse, Hélène Le Bouder, Jean-Louis Lanet, Colas Le Guernic, Axel Legay:
Ransomware and the Legacy Crypto API. CRiSIS 2016: 11-28 - [c183]Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet:
A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. CRiSIS 2016: 31-45 - [c182]Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay:
Statistical Model Checking of Dynamic Software Architectures. ECSA 2016: 185-200 - [c181]Yusuke Kawamoto, Fabrizio Biondi, Axel Legay:
Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. FM 2016: 406-425 - [c180]Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen:
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS 2016: 133-141 - [c179]Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen:
Modelling Attack-defense Trees Using Timed Automata. FORMATS 2016: 35-50 - [c178]Van Chan Ngo, Axel Legay, Jean Quilbeuf:
Statistical Model Checking for SystemC Models. HASE 2016: 197-204 - [c177]Gilles Perrouin, Moussa Amrani, Mathieu Acher, Benoît Combemale, Axel Legay, Pierre-Yves Schobbens:
Featured model types: towards systematic reuse in modelling language engineering. MiSE@ICSE 2016: 1-7 - [c176]Gilles Perrouin, Mathieu Acher, Jean-Marc Davril, Axel Legay, Patrick Heymans:
A complexity tale: web configurators. VACE@ICSE 2016: 28-31 - [c175]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Featured model-based mutation analysis. ICSE 2016: 655-666 - [c174]Thomas Given-Wilson, Axel Legay:
On the Expressiveness of Symmetric Communication. ICTAC 2016: 139-157 - [c173]Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards:
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. IFM 2016: 99-114 - [c172]Kim G. Larsen, Axel Legay:
Statistical Model Checking: Past, Present, and Future. ISoLA (1) 2016: 3-15 - [c171]Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu:
Feedback Control for Statistical Model Checking of Cyber-Physical Systems. ISoLA (1) 2016: 46-61 - [c170]Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Plasma Lab: A Modular Statistical Model Checking Platform. ISoLA (1) 2016: 77-93 - [c169]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Statistical Model Checking for Product Lines. ISoLA (1) 2016: 114-133 - [c168]Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay:
A Logic for the Statistical Model Checking of Dynamic Software Architectures. ISoLA (1) 2016: 806-820 - [c167]Kim G. Larsen, Axel Legay:
On the Power of Statistical Model Checking. ISoLA (2) 2016: 843-862 - [c166]Fabrizio Biondi, Axel Legay:
Security and Privacy of Protocols and Software with Formal Methods. ISoLA (1) 2016: 883-892 - [c165]Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Rare Events for Statistical Model Checking an Overview. RP 2016: 23-35 - [c164]Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, Sungwon Kang:
A formal modeling and analysis framework for software product line of preemptive real-time systems. SAC 2016: 1562-1565 - [c163]Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker:
Counterexample guided abstraction refinement of product-line behavioural models. Software Engineering 2016: 79-80 - [c162]Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
Importance Sampling for Stochastic Timed Automata. SETTA 2016: 163-178 - [c161]Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien:
An Application of SMC to continuous validation of heterogeneous systems. SimuTools 2016: 76-85 - [c160]Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay:
Long-term average cost in featured transition systems. SPLC 2016: 109-118 - [c159]Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Search-based Similarity-driven Behavioural SPL Testing. VaMoS 2016: 89-96 - [c158]Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem:
Performance Evaluation of Complex Systems Using the SBIP Framework. VECoS 2016: 11-26 - [e10]Cyrille Artho, Axel Legay, Doron Peled:
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Lecture Notes in Computer Science 9938, 2016, ISBN 978-3-319-46519-7 [contents] - [e9]Khalil Drira, Flávio Oquendo, Muhammad Ali Babar, Axel Legay:
Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, SiSoS@ECSA 2016, Copenhagen, Denmark, November 29-29, 2016. ACM 2016 [contents] - [i35]Uli Fahrenberg, Axel Legay:
A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories. CoRR abs/1604.06503 (2016) - [i34]Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay:
Long-Term Average Cost in Featured Transition Systems. CoRR abs/1604.06781 (2016) - [i33]Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay:
Verification of interlocking systems using statistical model checking. CoRR abs/1605.02529 (2016) - [i32]Fabrizio Biondi, Sébastien Josse, Axel Legay:
Bypassing Malware Obfuscation with Dynamic Synthesis. ERCIM News 2016(106) (2016) - [i31]Nisrine Jafri, Axel Legay, Jean-Louis Lanet:
Vulnerability Prediction Against Fault Attacks. ERCIM News 2016(106) (2016) - 2015
- [b1]Axel Legay:
Contributions to Statistical Model Checking. Inria Rennes, France, 2015 - [j47]Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Distributed Verification of Rare Properties using Importance Splitting Observers. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - [j46]Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Estimating Rewards & Rare Events in Nondeterministic Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - [j45]Luigi Palopoli, Antonis A. Argyros, Josef A. Birchbauer, Alessio Colombo, Daniele Fontanelli, Axel Legay, Andrea Garulli, Antonello Giannitrapani, David Macii, Federico Moro, Payam Nazemzadeh, Pashalis Padeleris, Roberto Passerone, Georg Poier, Domenico Prattichizzo, Tizar Rizano, Luca Rizzon, Stefano Scheggi, Sean Sedwards:
Navigation assistance and guidance of older adults across complex public spaces: the DALi approach. Intell. Serv. Robotics 8(2): 77-92 (2015) - [j44]Alessio Colombo, Daniele Fontanelli, Axel Legay, Luigi Palopoli, Sean Sedwards:
Efficient customisable dynamic motion planning for assistive robots in complex human environments. J. Ambient Intell. Smart Environ. 7(5): 617-634 (2015) - [j43]Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski:
Real-time specifications. Int. J. Softw. Tools Technol. Transf. 17(1): 17-45 (2015) - [j42]Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay:
Statistical model checking QoS properties of systems with SBIP. Int. J. Softw. Tools Technol. Transf. 17(2): 171-185 (2015) - [j41]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis:
Schedulability of Herschel revisited using statistical model checking. Int. J. Softw. Tools Technol. Transf. 17(2): 187-199 (2015) - [j40]Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
Statistical model checking for biological systems. Int. J. Softw. Tools Technol. Transf. 17(3): 351-367 (2015) - [j39]Axel Legay, Mahesh Viswanathan:
Statistical model checking: challenges and perspectives. Int. J. Softw. Tools Technol. Transf. 17(4): 369-376 (2015) - [j38]Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen:
Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4): 397-415 (2015) - [j37]Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Smart sampling for lightweight verification of Markov decision processes. Int. J. Softw. Tools Technol. Transf. 17(4): 469-484 (2015) - [j36]João Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Axel Legay, Benoit Baudry:
Generating counterexamples of model-based software product lines. Int. J. Softw. Tools Technol. Transf. 17(5): 585-600 (2015) - [j35]Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski:
Quantifying information leakage of randomized protocols. Theor. Comput. Sci. 597: 62-87 (2015) - [c157]Ulrich Fahrenberg, Axel Legay:
Partial Higher-dimensional Automata. CALCO 2015: 101-115 - [c156]Nicolas David, Alexandre David, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst:
Modelling Social-Technical Attacks with Timed Automata. MIST@CCS 2015: 21-28 - [c155]Zoltán Ésik, Uli Fahrenberg, Axel Legay:
*-Continuous Kleene ω-Algebras. DLT 2015: 240-251 - [c154]David Cachera, Uli Fahrenberg, Axel Legay:
An omega-Algebra for Real-Time Energy Problems. FSTTCS 2015: 394-407 - [c153]Axel Legay, Louis-Marie Traonouez:
Statistical Model Checking of Simulink Models with Plasma Lab. FTSCS 2015: 259-264 - [c152]Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Axel Legay:
Modeling and Verification for Probabilistic Properties in Software Product Lines. HASE 2015: 173-180 - [c151]Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen:
Resource-Parameterized Timing Analysis of Real-Time Systems. Haifa Verification Conference 2015: 190-205 - [c150]Joanne M. Atlee, Uli Fahrenberg, Axel Legay:
Measuring Behaviour Interactions between Product-Line Features. FormaliSE@ICSE 2015: 20-25 - [c149]Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans:
State machine flattening, a mapping study and tools assessment. ICST Workshops 2015: 1-8 - [c148]Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay:
Merging Features in Featured Transition Systems. MoDeVVa@MoDELS 2015: 38-43 - [c147]Fabrizio Biondi, Axel Legay, Jean Quilbeuf:
Comparative Analysis of Leakage Tools on Scalable Case Studies. SPIN 2015: 263-281 - [c146]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Statistical analysis of probabilistic models of software product lines with quantitative constraints. SPLC 2015: 11-15 - [c145]Gilles Perrouin, Axel Legay:
SPLat 2015: Second International Workshop on Software Product Line Analysis Tools. SPLC 2015: 395 - [c144]Fabrizio Biondi, Thomas Given-Wilson, Axel Legay:
Attainable Unconditional Security for Shared-Key Cryptosystems. TrustCom/BigDataSE/ISPA (1) 2015: 159-166 - [c143]Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. VaMoS 2015: 59 - [c142]Zoltán Ésik, Uli Fahrenberg, Axel Legay:
*-Continuous Kleene ω-Algebras for Energy Problems. FICS 2015: 48-59 - [c141]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. FMSPLE 2015: 56-70 - [c140]Thomas Given-Wilson, Axel Legay:
On the Expressiveness of Joining. ICE 2015: 99-113 - [i30]Zoltán Ésik, Uli Fahrenberg, Axel Legay:
*-Continuous Kleene ω-Algebras. CoRR abs/1501.01118 (2015) - [i29]Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers. CoRR abs/1502.01838 (2015) - [i28]Van Chan Ngo, Axel Legay, Jean Quilbeuf:
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking. CoRR abs/1507.08187 (2015) - [i27]Flávio Oquendo, Axel Legay:
Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL. ERCIM News 2015(102) (2015) - [i26]Flávio Oquendo, Axel Legay, Khalil Drira:
GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems. ERCIM News 2015(102) (2015) - [i25]Axel Legay, Jean Quilbeuf, Flávio Oquendo:
Verifying Systems-of-Systems with Statistical Model Checking. ERCIM News 2015(103) (2015) - 2014
- [j34]Uli Fahrenberg, Axel Legay:
General quantitative specification theories with modal transition systems. Acta Informatica 51(5): 261-295 (2014) - [j33]Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay:
Refinement and Difference for Probabilistic Automata. Log. Methods Comput. Sci. 10(3) (2014) - [j32]Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay:
Tropical Fourier-Motzkin elimination, with an application to real-time verification. Int. J. Algebra Comput. 24(5): 569-608 (2014) - [j31]Benoît Delahaye, Kim G. Larsen, Axel Legay:
Stuttering for Abstract Probabilistic Automata. J. Log. Algebraic Methods Program. 83(1): 1-19 (2014) - [j30]Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski:
Maximizing entropy over Markov processes. J. Log. Algebraic Methods Program. 83(5-6): 384-399 (2014) - [j29]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80: 416-439 (2014) - [j28]Sebastian S. Bauer, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
A modal specification theory for components with data. Sci. Comput. Program. 83: 106-128 (2014) - [j27]Sebastian S. Bauer, Rolf Hennicker, Axel Legay:
A meta-theory for component interfaces with contracts on ports. Sci. Comput. Program. 91: 70-89 (2014) - [j26]Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski:
Robust synthesis for real-time systems. Theor. Comput. Sci. 515: 96-122 (2014) - [j25]Uli Fahrenberg, Axel Legay:
The quantitative linear-time-branching-time spectrum. Theor. Comput. Sci. 538: 54-69 (2014) - [c139]Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen:
Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. ACSD 2014: 32-41 - [c138]Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob Haahr Taankvist:
On Time with Minimal Expected Cost! ATVA 2014: 129-145 - [c137]Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez:
Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS 2014: 84-97 - [c136]Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez:
Specification Theories for Probabilistic and Real-Time Systems. FPS@ETAPS 2014: 98-117 - [c135]Ulrich Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for Quantitative Specifications. FACS 2014: 306-324 - [c134]Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski:
Sound Merging and Differencing for Class Diagrams. FASE 2014: 63-78 - [c133]Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Pasquale Malacaria, Andrzej Wasowski:
Information Leakage of Non-Terminating Processes. FSTTCS 2014: 517-529 - [c132]Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes:
Heterogeneous Timed Machines. ICTAC 2014: 115-132 - [c131]Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez:
Structural Refinement for the Modal nu-Calculus. ICTAC 2014: 169-187 - [c130]Axel Legay, Sean Sedwards:
Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems. ISoLA (1) 2014: 4-25 - [c129]Kim Guldstrand Larsen, Axel Legay:
Statistical Model Checking Past, Present, and Future - (Track Introduction). ISoLA (2) 2014: 135-142 - [c128]Cyrille Jégourel, Axel Legay, Sean Sedwards:
An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking. ISoLA (2) 2014: 143-159 - [c127]Benoît Boyer, Axel Legay, Louis-Marie Traonouez:
A Formalism for Stochastic Adaptive Systems. ISoLA (2) 2014: 160-176 - [c126]Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans:
Coverage Criteria for Behavioural Testing of Software Product Lines. ISoLA (1) 2014: 336-350 - [c125]Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay:
Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. ISoLA (1) 2014: 481-498 - [c124]Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem:
Building faithful high-level models and performance evaluation of manycore embedded systems. MEMOCODE 2014: 209-218 - [c123]Uli Fahrenberg, Axel Legay:
Configurable Formal Methods for Extreme Modeling. XM@MoDELS 2014: 52-57 - [c122]Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem:
Faster Statistical Model Checking by Means of Abstraction and Learning. RV 2014: 340-355 - [c121]Fabrizio Biondi, Axel Legay:
Quantitative Anonymity Evaluation of Voting Protocols. SEFM Workshops 2014: 335-349 - [c120]Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Scalable Verification of Markov Decision Processes. SEFM Workshops 2014: 350-362 - [c119]Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker:
Counterexample guided abstraction refinement of product-line behavioural models. SIGSOFT FSE 2014: 190-201 - [c118]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens:
A variability perspective of mutation analysis. SIGSOFT FSE 2014: 841-844 - [c117]Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay:
Measuring Global Similarity Between Texts. SLSP 2014: 220-232 - [c116]Axel Legay, Erik P. de Vink:
SPLat 2014: First International Workshop on Software Product Line Analysis Tools. SPLC 2014: 353 - [c115]Axel Legay, Sean Sedwards:
On Statistical Model Checking with PLASMA. TASE 2014: 139-145 - [c114]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans:
Towards statistical prioritization for software product lines testing. VaMoS 2014: 10:1-10:7 - [e8]Saddek Bensalem, Yassine Lakhnech, Axel Legay:
From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Lecture Notes in Computer Science 8415, Springer 2014, ISBN 978-3-642-54847-5 [contents] - [e7]Axel Legay, Marius Bozga:
Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings. Lecture Notes in Computer Science 8711, Springer 2014, ISBN 978-3-319-10511-6 [contents] - [i24]Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez:
Structural Refinement for the Modal nu-Calculus. CoRR abs/1402.2143 (2014) - [i23]Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay:
Measuring Structural Distances between Texts. CoRR abs/1403.4024 (2014) - [i22]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
State Machine Flattening: Mapping Study and Assessment. CoRR abs/1403.5398 (2014) - [i21]Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for Quantitative Specifications. CoRR abs/1408.1256 (2014) - [i20]Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Smart Sampling for Lightweight Verification of Markov Decision Processes. CoRR abs/1409.2116 (2014) - [i19]Uli Fahrenberg, Axel Legay:
Homotopy Bisimilarity for Higher-Dimensional Automata. CoRR abs/1409.5865 (2014) - [i18]Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Lightweight Verification of Markov Decision Processes with Rewards. CoRR abs/1410.5782 (2014) - [i17]Van Chan Ngo, Axel Legay, Jean Quilbeuf:
Dynamic Verification of SystemC with Statistical Model Checking. CoRR abs/1412.0885 (2014) - 2013
- [j24]Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen:
Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013) - [j23]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Weighted modal transition systems. Formal Methods Syst. Des. 42(2): 193-220 (2013) - [j22]Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi:
Pushdown module checking with imperfect information. Inf. Comput. 223: 1-17 (2013) - [j21]Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski:
Abstract Probabilistic Automata. Inf. Comput. 232: 66-116 (2013) - [j20]Saddek Bensalem, Axel Legay, Marius Bozga:
Rigorous embedded design: challenges and perspectives. Int. J. Softw. Tools Technol. Transf. 15(3): 149-154 (2013) - [j19]Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin:
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng. 39(8): 1069-1089 (2013) - [c113]Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay:
Incremental Generation of Linear Invariants for Component-Based Systems. ACSD 2013: 80-89 - [c112]Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay:
Tag Machines for Modeling Heterogeneous Systems. ACSD 2013: 186-195 - [c111]Uli Fahrenberg, Axel Legay:
Generalized Quantitative Analysis of Metric Transition Systems. APLAS 2013: 192-208 - [c110]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
Kleene Algebras and Semimodules for Energy Problems. ATVA 2013: 102-117 - [c109]Axel Legay, Louis-Marie Traonouez:
PyEcdar: Towards Open Source Implementation for Timed Systems. ATVA 2013: 460-463 - [c108]Cyrille Jégourel, Axel Legay, Sean Sedwards:
Importance Splitting for Statistical Model Checking Rare Properties. CAV 2013: 576-591 - [c107]Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski:
QUAIL: A Quantitative Security Analyzer for Imperative Code. CAV 2013: 702-707 - [c106]Alessio Colombo, Daniele Fontanelli, Axel Legay, Luigi Palopoli, Sean Sedwards:
Motion planning in crowds using statistical model checking to enhance the social force model. CDC 2013: 3602-3608 - [c105]Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay:
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CONCUR 2013: 76-90 - [c104]Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay:
A Tag Contract Framework for Heterogeneous Systems. ESOCC Workshops 2013: 204-217 - [c103]Alessio Colombo, Daniele Fontanelli, Dhaval Gandhi, Antonella De Angeli, Luigi Palopoli, Sean Sedwards, Axel Legay:
Behavioural templates improve robot motion planning with social force model in human environments. ETFA 2013: 1-6 - [c102]Kim G. Larsen, Axel Legay:
Probabilistic Modal Specifications (Invited Extended Abstract). FACS 2013: 1-4 - [c101]Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes:
A Timed Component Algebra for Services. FMOODS/FORTE 2013: 242-257 - [c100]Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez:
A framework for the rigorous design of highly adaptive timed systems. FormaliSE@ICSE 2013: 64-70 - [c99]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Beyond boolean product-line model checking: dealing with feature attributes and multi-features. ICSE 2013: 472-481 - [c98]Patrick Heymans, Axel Legay, Maxime Cordy:
Efficient quality assurance of variability-intensive systems. ICSE 2013: 1496-1498 - [c97]Uli Fahrenberg, Kim G. Larsen, Axel Legay:
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. ICTAC Training School on Software Engineering 2013: 67-108 - [c96]Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski:
Maximizing Entropy over Markov Processes. LATA 2013: 128-140 - [c95]Benoît Delahaye, Kim G. Larsen, Axel Legay:
Stuttering for Abstract Probabilistic Automata. LFCS 2013: 149-163 - [c94]Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled:
Synthesizing distributed scheduling implementation for probabilistic component-based systems. MEMOCODE 2013: 87-96 - [c93]Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis:
Optimizing Control Strategy Using Statistical Model Checking. NASA Formal Methods 2013: 352-367 - [c92]Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay:
Refinement and Difference for Probabilistic Automata. QEST 2013: 22-38 - [c91]Benoît Boyer, Kevin Corre, Axel Legay, Sean Sedwards:
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library. QEST 2013: 160-164 - [c90]Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty:
Stochastic modeling and performance analysis of multimedia SoCs. ICSAMOS 2013: 145-154 - [c89]Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay:
ProVeLines: a product line of verifiers for software product lines. SPLC Workshops 2013: 141-146 - [c88]Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski:
Quantifying Information Leakage of Randomized Protocols. VMCAI 2013: 68-87 - [c87]Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat:
A Completion Algorithm for Lattice Tree Automata. CIAA 2013: 134-145 - [c86]Alexandre Arnold, Benoît Boyer, Axel Legay:
Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach. AiSoS 2013: 47-66 - [c85]Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold:
SoS contract verification using statistical model checking. AiSoS 2013: 67-83 - [c84]Uli Fahrenberg, Axel Legay:
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. MFPS 2013: 165-178 - [p2]Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Model Checking Adaptive Software with Featured Transition Systems. Assurances for Self-Adaptive Systems 2013: 1-29 - [p1]Uli Fahrenberg, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. Engineering Dependable Software Systems 2013: 235-273 - [e6]Valeria Bertacco, Axel Legay:
Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings. Lecture Notes in Computer Science 8244, Springer 2013, ISBN 978-3-319-03076-0 [contents] - [e5]Axel Legay, Saddek Bensalem:
Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings. Lecture Notes in Computer Science 8174, Springer 2013, ISBN 978-3-642-40786-4 [contents] - [e4]Kim G. Larsen, Axel Legay, Ulrik Nyman:
Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013. EPTCS 133, 2013 [contents] - [i16]Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay:
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CoRR abs/1306.0741 (2013) - [i15]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
Kleene Algebras and Semimodules for Energy Problems. CoRR abs/1307.0635 (2013) - [i14]Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay:
Tropical Fourier-Motzkin elimination, with an application to real-time verification. CoRR abs/1308.2122 (2013) - [i13]Xavier Devroey, Maxime Cordy, Gilles Perrouin, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans:
Towards Statistical Prioritization for Software Product Lines Testing. CoRR abs/1310.2474 (2013) - [i12]Axel Legay, Sean Sedwards:
Lightweight Monte Carlo Algorithm for Markov Decision Processes. CoRR abs/1310.3609 (2013) - [i11]Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay:
Verification for Reliable Product Lines. CoRR abs/1311.1343 (2013) - [i10]Paulo Borba, Myra B. Cohen, Axel Legay, Andrzej Wasowski:
Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091). Dagstuhl Reports 3(2): 144-170 (2013) - 2012
- [j18]Laura Bozzelli, Axel Legay, Sophie Pinchinat:
On timed alternating simulation for concurrent timed games. Acta Informatica 49(4): 249-279 (2012) - [j17]Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
Consistency and refinement for Interval Markov Chains. J. Log. Algebraic Methods Program. 81(3): 209-226 (2012) - [j16]Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba:
Extending modal transition systems with structured labels. Math. Struct. Comput. Sci. 22(4): 581-617 (2012) - [j15]Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
New results for Constraint Markov Chains. Perform. Evaluation 69(7-8): 379-401 (2012) - [j14]Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet:
Modal event-clock specifications for timed component-based design. Sci. Comput. Program. 77(12): 1212-1234 (2012) - [j13]Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay:
Statistical abstraction and model-checking of large heterogeneous systems. Int. J. Softw. Tools Technol. Transf. 14(1): 53-72 (2012) - [j12]Axel Legay:
Extrapolating (omega-)regular model checking. Int. J. Softw. Tools Technol. Transf. 14(2): 119-143 (2012) - [j11]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. 14(5): 589-612 (2012) - [j10]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski:
Compositional verification of real-time systems using Ecdar. Int. J. Softw. Tools Technol. Transf. 14(6): 703-720 (2012) - [c83]Cyrille Jégourel, Axel Legay, Sean Sedwards:
Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. CAV 2012: 327-342 - [c82]Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane:
General Quantitative Specification Theories with Modalities. CSR 2012: 18-30 - [c81]Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans:
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE 2012: 370-375 - [c80]Sebastian S. Bauer, Rolf Hennicker, Axel Legay:
Component Interfaces with Contracts on Ports. FACS 2012: 19-35 - [c79]Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Moving from Specifications to Contracts in Component-Based Design. FASE 2012: 43-58 - [c78]Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Synchronous Interface Theories and Time Triggered Scheduling. FMOODS/FORTE 2012: 203-218 - [c77]Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha:
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. FMOODS/FORTE 2012: 219-234 - [c76]Yohan Boichut, Benoît Boyer, Thomas Genet, Axel Legay:
Equational Abstraction Refinement for Certified Tree Regular Model Checking. ICFEM 2012: 299-315 - [c75]Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Simulation-based abstractions for software product-line model checking. ICSE 2012: 672-682 - [c74]Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry:
A Vision for Behavioural Model-Driven Validation of Software Product Lines. ISoLA (1) 2012: 208-222 - [c73]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis:
Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. ISoLA (2) 2012: 293-307 - [c72]Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri:
Statistical Model Checking QoS Properties of Systems with SBIP. ISoLA (1) 2012: 327-341 - [c71]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
Runtime Verification of Biological Systems. ISoLA (1) 2012: 388-404 - [c70]Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer:
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. LPAR 2012: 168-182 - [c69]Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen:
Checking and Distributing Statistical Model Checking. NASA Formal Methods 2012: 449-463 - [c68]Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen:
Rewrite-Based Statistical Model Checking of WMTL. RV 2012: 260-275 - [c67]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Behavioural modelling and verification of real-time software product lines. SPLC (1) 2012: 66-75 - [c66]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Towards an incremental automata-based approach for software product-line model checking. SPLC (2) 2012: 74-81 - [c65]Cyrille Jégourel, Axel Legay, Sean Sedwards:
A Platform for High Performance Statistical Model Checking - PLASMA. TACAS 2012: 498-503 - [c64]Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay:
A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. TASE 2012: 77-84 - [c63]Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Managing evolution in software product lines: a model-checking perspective. VaMoS 2012: 183-191 - [c62]Kim G. Larsen, Axel Legay:
Quantitative Modal Transition Systems. WADT 2012: 50-58 - [c61]Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis:
Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach. IWIGP 2012: 1-14 - [c60]Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang:
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata. QAPL 2012: 1-16 - [c59]Uli Fahrenberg, Axel Legay:
A Robust Specification Theory for Modal Event-Clock Automata. FIT 2012: 5-16 - [c58]Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
Statistical Model Checking for Stochastic Hybrid Systems. HSB 2012: 122-136 - [e3]Uli Fahrenberg, Axel Legay, Claus R. Thrane:
Proceedings Quantities in Formal Methods, QFM 2012, Paris, France, 28 August 2012. EPTCS 103, 2012 [contents] - [i9]Cyrille Jégourel, Axel Legay, Sean Sedwards:
Cross-entropy optimisation of importance sampling parameters for statistical model checking. CoRR abs/1201.5229 (2012) - [i8]Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat:
Tree Regular Model Checking for Lattice-Based Automata. CoRR abs/1203.1495 (2012) - [i7]Uli Fahrenberg, Axel Legay:
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. CoRR abs/1209.4927 (2012) - [i6]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Weighted Modal Transition Systems. CoRR abs/1210.5659 (2012) - 2011
- [j9]Benoît Delahaye, Benoît Caillaud, Axel Legay:
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Formal Methods Syst. Des. 38(1): 1-32 (2011) - [j8]Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone:
A Modal Interface Theory for Component-based Design. Fundam. Informaticae 108(1-2): 119-149 (2011) - [j7]Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
Constraint Markov Chains. Theor. Comput. Sci. 412(34): 4373-4404 (2011) - [j6]Laura Bozzelli, Axel Legay, Sophie Pinchinat:
Hardness of preorder checking for basic formalisms. Theor. Comput. Sci. 412(49): 6795-6808 (2011) - [c57]Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski:
New Results on Abstract Probabilistic Automata. ACSD 2011: 118-127 - [c56]Sebastian S. Bauer, Philip Mayer, Axel Legay:
MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. ATVA 2011: 418-421 - [c55]Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang:
Time for Statistical Model Checking of Real-Time Systems. CAV 2011: 349-355 - [c54]Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
A Modal Specification Theory for Components with Data. FACS 2011: 61-78 - [c53]Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang:
Statistical Model Checking for Networks of Priced Timed Automata. FORMATS 2011: 80-96 - [c52]Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski:
Robust Specification of Real Time Components. FORMATS 2011: 129-144 - [c51]Uli Fahrenberg, Axel Legay, Claus R. Thrane:
The Quantitative Linear-Time--Branching-Time Spectrum. FSTTCS 2011: 103-114 - [c50]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay:
Symbolic model checking of software product lines. ICSE 2011: 321-330 - [c49]Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
Decision Problems for Interval Markov Chains. LATA 2011: 274-285 - [c48]Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled:
Efficient deadlock detection for concurrent systems. MEMOCODE 2011: 119-129 - [c47]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Quantitative Refinement for Weighted Modal Transition Systems. MFCS 2011: 60-71 - [c46]Uli Fahrenberg, Axel Legay, Andrzej Wasowski:
Vision Paper: Make a Difference! (Semantically). MoDELS 2011: 490-500 - [c45]Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
D-Finder 2: Towards Efficient Correctness of Incremental Design. NASA Formal Methods 2011: 453-458 - [c44]Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
APAC: A Tool for Reasoning about Abstract Probabilistic Automata. QEST 2011: 151-152 - [c43]Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan:
A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. SC@TOOLS 2011: 116-132 - [c42]Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski:
Abstract Probabilistic Automata. VMCAI 2011: 324-339 - [c41]James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens:
Distributed Event Clock Automata - Extended Abstract. CIAA 2011: 250-263 - [c40]Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay:
Distributed Parametric and Statistical Model Checking. PDMC 2011: 30-42 - [i5]Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang:
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata. CoRR abs/1106.3961 (2011) - 2010
- [j5]Edmund M. Clarke, Alexandre Donzé, Axel Legay:
On simulation-based probabilistic model checking of mixed-analog circuits. Formal Methods Syst. Des. 36(2): 97-113 (2010) - [j4]Axel Legay, Pierre Wolper:
On (Omega-)regular model checking. ACM Trans. Comput. Log. 12(1): 2:1-2:46 (2010) - [c39]Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Robustness of Sequential Circuits. ACSD 2010: 77-84 - [c38]Benoît Delahaye, Benoît Caillaud, Axel Legay:
Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. ACSD 2010: 223-232 - [c37]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. ATVA 2010: 365-370 - [c36]Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
Incremental component-based construction and verification using invariants. FMCAD 2010: 257-256 - [c35]James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens:
Memory Event Clocks. FORMATS 2010: 198-212 - [c34]Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay:
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE 2010: 32-46 - [c33]Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Timed I/O automata: a complete specification theory for real-time systems. HSCC 2010: 91-100 - [c32]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin:
Model checking lots of systems: efficient verification of temporal properties in software product lines. ICSE (1) 2010: 335-344 - [c31]Laura Bozzelli, Axel Legay, Sophie Pinchinat:
Hardness of Preorder Checking for Basic Formalisms. LPAR (Dakar) 2010: 119-135 - [c30]Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
Compositional Design Methodology with Constraint Markov Chains. QEST 2010: 123-132 - [c29]Axel Legay, Benoît Delahaye, Saddek Bensalem:
Statistical Model Checking: An Overview. RV 2010: 122-135 - [c28]Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis:
Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV 2010: 330-344 - [c27]Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
Incremental Invariant Generation for Compositional Design. TASE 2010: 157-167 - [c26]Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan:
Complexity Bounds for the Verification of Real-Time Software. VMCAI 2010: 95-111 - [c25]Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski:
New Results on Timed Specifications. WADT 2010: 175-192 - [c24]Axel Legay, Andrzej Wasowski:
A Few Considerations on Structural and Logical Composition in Specification Theories. FIT 2010: 49-54 - [e2]Axel Legay, Benoît Caillaud:
Proceedings Foundations for Interface Technologies, FIT 2010, Paris, France, 30th August 2010. EPTCS 46, 2010 [contents] - [i4]Axel Legay, Benoît Delahaye:
Statistical Model Checking : An Overview. CoRR abs/1005.1327 (2010)
2000 – 2009
- 2009
- [j3]Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay:
Qualitative Logics and Equivalences for Probabilistic Systems. Log. Methods Comput. Sci. 5(2) (2009) - [j2]François Cantin, Axel Legay, Pierre Wolper:
Computing Convex Hulls by Automata Iteration. Int. J. Found. Comput. Sci. 20(4): 647-667 (2009) - [c23]Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani:
A Bayesian Approach to Model Checking Biological Systems. CMSB 2009: 218-234 - [c22]Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone:
Modal interfaces: unifying interface automata and modal specifications. EMSOFT 2009: 87-96 - [c21]Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. FMCO 2009: 290-310 - [c20]Laura Bozzelli, Axel Legay, Sophie Pinchinat:
On Timed Alternating Simulation for Concurrent Timed Games. FSTTCS 2009: 85-96 - [c19]Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet:
A Compositional Approach on Modal Specifications for Timed Systems. ICFEM 2009: 679-697 - [c18]Axel Legay, Mahesh Viswanathan:
Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems. QEST 2009: 3 - [c17]Alexandre Donzé, Gilles Clermont, Axel Legay, Christopher James Langmead:
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. RECOMB 2009: 155-169 - [e1]Axel Legay:
Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009. EPTCS 10, 2009 [contents] - [i3]Ahmed Bouajjani, Axel Legay, Pierre Wolper:
A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking. CoRR abs/0901.4080 (2009) - [i2]Axel Legay, Marco Faella:
Some Models and Tools for Open Systems. CoRR abs/0911.3299 (2009) - 2008
- [c16]Axel Legay:
T(O)RMC: A Tool for (omega)-Regular Model Checking. CAV 2008: 548-551 - [c15]Edmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha, Axel Legay:
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. CMSB 2008: 231-250 - [c14]Edmund M. Clarke, Alexandre Donzé, Axel Legay:
Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator. Haifa Verification Conference 2008: 149-163 - [c13]Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre:
µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS 2008: 333-348 - [c12]Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell:
On Automated Verification of Probabilistic Programs. TACAS 2008: 173-187 - [c11]François Cantin, Axel Legay, Pierre Wolper:
Computing Convex Hulls by Automata Iteration. CIAA 2008: 112-121 - [c10]Marco Faella, Axel Legay, Mariëlle Stoelinga:
Model Checking Quantitative Linear Time Logic. QAPL 2008: 61-77 - [i1]Axel Legay, Pierre Wolper:
On (Omega-)Regular Model Checking. CoRR abs/0809.2214 (2008) - 2007
- [c9]Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay:
Qualitative Logics and Equivalences for Probabilistic Systems. QEST 2007: 237-248 - 2006
- [j1]Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine:
Tree regular model checking: A simulation-based approach. J. Log. Algebraic Methods Program. 69(1-2): 93-121 (2006) - [c8]B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy:
Ticc: A Tool for Interface Compatibility and Composition. CAV 2006: 59-62 - [c7]Axel Legay, Luca de Alfaro, Marco Faella:
An Introduction to the Tool Ticc. Trustworthy Software 2006 - 2005
- [c6]Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea:
Sociable Interfaces. FroCoS 2005: 81-105 - [c5]Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine:
Simulation-Based Iteration of Tree Transducers. TACAS 2005: 30-44 - [c4]Axel Legay, Pierre Wolper:
On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address. MTCoord@COORDINATION 2005: 3-8 - 2004
- [c3]Bernard Boigelot, Axel Legay, Pierre Wolper:
Omega-Regular Model Checking. TACAS 2004: 561-575 - [c2]Ahmed Bouajjani, Axel Legay, Pierre Wolper:
Handling Liveness Properties in (omega-)Regular Model Checking. INFINITY 2004: 101-115 - 2003
- [c1]Bernard Boigelot, Axel Legay, Pierre Wolper:
Iterating Transducers in the Large (Extended Abstract). CAV 2003: 223-235
Coauthor Index
Uli Fahrenberg
aka: Ulrich Fahrenberg
aka: Ulrich Fahrenberg
[j97] [c256] [j87] [j84] [j79] [c248] [i51] [i49] [j73] [j70] [c232] [i44] [j63] [c219] [j61] [j60] [c196] [c192] [c191] [p3] [i41] [i40] [j53] [j48] [c160] [i35] [i34] [c157] [c155] [c154] [c150] [c148] [c142] [i30] [j34] [j33] [j32] [j25] [c137] [c136] [c135] [c134] [c131] [c123] [c117] [i24] [i23] [i21] [i19] [j23] [c112] [c111] [c110] [c105] [c104] [c97] [c92] [c84] [p1] [i16] [i15] [i14] [c82] [c78] [c59] [e3] [i7] [i6] [c51] [c47] [c46]
Kim G. Larsen
aka: Kim Guldstrand Larsen
aka: Kim Guldstrand Larsen
[c290] [i59] [c273] [c272] [c269] [j89] [c247] [c238] [j62] [c218] [c203] [c202] [c197] [c189] [p3] [j52] [c180] [c179] [c172] [c167] [c162] [j43] [j41] [j40] [j38] [c156] [c151] [j33] [j31] [j28] [j26] [c139] [c138] [c137] [c129] [j24] [j23] [j21] [c102] [c97] [c95] [c93] [c92] [p1] [e4] [j17] [j16] [j15] [j10] [c81] [c79] [c73] [c71] [c70] [c69] [c68] [c64] [c62] [c61] [c60] [c58] [i6] [j7] [c57] [c55] [c54] [c53] [c52] [c49] [c47] [c44] [c42] [c40] [i5] [c37] [c33] [c30] [c25] [c21]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
