Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA 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
- 2022
[j100]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. Log. Methods Comput. Sci. 18(1) (2022)- [j99]Aleksandar S. Dimovski
, Sven Apel, Axel Legay:
Several lifted abstract domains for static analysis of numerical program families. Sci. Comput. Program. 213: 102725 (2022) - [j98]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) - [j97]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) - [c266]Daniela Azevedo, Axel Legay, Suzanne Kieffer:
User Reception of Babylon Health's Chatbot. VISIGRAPP (2: HUCAPP) 2022: 134-141 - [c265]Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran:
A Scalable t-wise Coverage Estimator. ICSE 2022: 36-47 - [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
- [j96]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) - [j95]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. 109: 102381 (2021) - [j94]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) - [j93]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) - [j92]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) - [j91]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) - [c264]Christophe Crochet, Tom Rousseaux, Maxime Piraux, Jean-François Sambon, Axel Legay:
Verifying QUIC implementations using Ivy. EPIQ@CoNEXT 2021: 35-41 - [c263]Aleksandar S. Dimovski, Sven Apel, Axel Legay:
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features. FASE 2021: 67-86 - [c262]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 - [c261]Stanley Goffinet, Donatien Schmitz, Igor Zavalyshyn, Axel Legay, Etienne Riviere:
Controlling Security Rules Using Natural Dialogue: an Application to Smart Home Care. UbiComp/ISWC Adjunct 2021: 194-197 - [c260]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 - [c259]Aleksandar S. Dimovski, Sven Apel, Axel Legay:
Program Sketching Using Lifted Analysis for Numerical Program Families. NFM 2021: 95-112 - [c258]Khanh-Huu-The Dam, Thomas Given-Wilson, Axel Legay:
Unsupervised behavioural mining and clustering for malware family identification. SAC 2021: 374-383 - [c257]Nicolas Rybowski, Quentin De Coninck, Tom Rousseaux, Axel Legay, Olivier Bonaventure:
Implementing the plugin distribution system. SIGCOMM Posters and Demos 2021: 39-41 - [c256]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 - [c255]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 - [c254]Uli Fahrenberg, Axel Legay:
Featured Games. TASE 2021: 167-174 - [c253]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
- [j90]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) - [j89]Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Logical vs. behavioural specifications. Inf. Comput. 271: 104487 (2020) - [j88]Thomas Given-Wilson, Nisrine Jafri, Axel Legay:
Combined software and hardware fault injection vulnerability detection. Innov. Syst. Softw. Eng. 16(2): 101-120 (2020) - [j87]Davide Basile, Maurice H. ter Beek, Axel Legay:
Timed service contract automata. Innov. Syst. Softw. Eng. 16(2): 199-214 (2020) - [j86]Uli Fahrenberg, Axel Legay:
A linear-time-branching-time spectrum for behavioral specification theories. J. Log. Algebraic Methods Program. 110 (2020) - [j85]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) - [j84]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) - [j83]Ioana Cristescu, Thomas Given-Wilson, Axel Legay:
Expressiveness of concurrent intensionality. Theor. Comput. Sci. 837: 54-83 (2020) - [j82]Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski:
Generalized abstraction-refinement for game-based CTL lifted model checking. Theor. Comput. Sci. 837: 181-206 (2020) - [j81]Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing branching distances with quantitative games. Theor. Comput. Sci. 847: 134-146 (2020) - [j80]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) - [c252]Thomas Given-Wilson, Axel Legay:
Formalising fault injection and countermeasures. ARES 2020: 22:1-22:11 - [c251]Aleksandar S. Dimovski, Axel Legay:
Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. FASE 2020: 182-202 - [c250]Maxime Cordy, Mike Papadakis, Axel Legay:
Statistical Model Checking for Variability-Intensive Systems. FASE 2020: 294-314 - [c249]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 - [c248]Thomas Given-Wilson, Eduard Baranov, Axel Legay:
Building User Trust of Critical Digital Technologies. ICIT 2020: 1199-1204 - [c247]Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson:
X-by-Construction - Correctness Meets Probability. ISoLA (1) 2020: 211-215 - [c246]Uli Fahrenberg, Axel Legay:
Behavioral Specification Theories: An Algebraic Taxonomy. ISoLA (1) 2020: 262-274 - [c245]Kim G. Larsen, Axel Legay:
30 Years of Statistical Model Checking. ISoLA (1) 2020: 325-330 - [c244]Eduard Baranov, Thomas Given-Wilson, Axel Legay:
Improving Secure and Robust Patient Service Delivery. ISoLA (1) 2020: 404-418 - [c243]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 - [c242]Igor Zavalyshyn, Nuno Santos, Ramin Sadre, Axel Legay:
My House, My Rules: A Private-by-Design Smart Home Platform. MobiQuitous 2020: 273-282 - [c241]Eduard Baranov, Axel Legay, Kuldeep S. Meel:
Baital: an adaptive weighted sampling approach for improved t-wise coverage. ESEC/SIGSOFT FSE 2020: 1114-1126 - [c240]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 - [c239]Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre:
Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software. SSS 2020: 317-322 - [c238]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 - [c237]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
- [j79]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) - [j78]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) - [j77]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) - [j76]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) - [j75]David Cachera, Uli Fahrenberg, Axel Legay:
An ωω\omega-Algebra for Real-Time Energy Problems. Log. Methods Comput. Sci. 15(2) (2019) - [j74]Maurice H. ter Beek, Axel Legay:
Quantitative variability modelling and analysis. Int. J. Softw. Tools Technol. Transf. 21(6): 607-612 (2019) - [j73]Maxime Cordy, Axel Legay:
Verification and abstraction of real-time variability-intensive systems. Int. J. Softw. Tools Technol. Transf. 21(6): 635-649 (2019) - [j72]Uli Fahrenberg, Axel Legay:
Quantitative properties of featured automata. Int. J. Softw. Tools Technol. Transf. 21(6): 667-677 (2019) - [c236]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 - [c235]Vladimir Janjic, Michael Vinov, Thomas Given-Wilson, Axel Legay, Euan Blackledge, R. Arredouani, George Stylianou, W. 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 - [c234]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 - [c233]Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski:
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. FASE 2019: 192-209 - [c232]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 - [c231]Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet:
Towards sampling and simulation-based analysis of featured weighted automata. FormaliSE@ICSE 2019: 61-64 - [c230]Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing Branching Distances Using Quantitative Games. ICTAC 2019: 59-75 - [c229]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 - [c228]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 - [c227]Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra:
Model Checking the IKEv2 Protocol Using Spin. PST 2019: 1-7 - [c226]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 - [c225]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 - [c224]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]Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing Branching Distances Using Quantitative Games. CoRR abs/1910.08943 (2019) - 2018
- [j71]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) - [j70]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) - [j69]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) - [j68]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) - [j67]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) - [j66]Van Chan Ngo, Axel Legay:
Formal verification of probabilistic SystemC models with statistical model checking. J. Softw. Evol. Process. 30(3) (2018) - [j65]Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for quantitative specifications. Soft Comput. 22(4): 1139-1158 (2018) - [j64]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) - [c223]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 - [c222]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 - [c221]Thomas Given-Wilson, Axel Legay:
On the Expressiveness of Joining and Splitting. Models, Mindsets, Meta 2018: 326-355 - [c220]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 - [c219]Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez:
Statistical Model Checking of LLVM Code. FM 2018: 542-549 - [c218]Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf:
A Modeling Language for Security Threats of IoT Systems. FMICS 2018: 258-268 - [c217]Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg:
Trace checking for dynamic software product lines. SEAMS@ICSE 2018: 69-75 - [c216]Kim Guldstrand Larsen, Axel Legay:
Statistical Model Checking the 2018 Edition! ISoLA (2) 2018: 261-270 - [c215]Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez:
Statistical Model Checking of Incomplete Stochastic Systems. ISoLA (2) 2018: 354-371 - [c214]Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem:
Mitigating Security Risks Through Attack Strategies Exploration. ISoLA (2) 2018: 392-413 - [c213]Thomas Given-Wilson, Axel Legay:
X-by-C: Non-functional Security Challenges. ISoLA (1) 2018: 486-501 - [c212]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 - [c211]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 - [c210]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. LICS 2018: 432-441 - [c209]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 - [c208]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 - [c207]Fabrizio Biondi, Thomas Given-Wilson, Axel Legay:
Universal Optimality of Apollonian Cell Encoders. TrustCom/BigDataSE 2018: 424-435 - [c206]Thomas Given-Wilson, Nisrine Jafri, Axel Legay:
The State of Fault Injection Vulnerability Detection. VECoS 2018: 3-21 - [c205]Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez:
Orchestration Synthesis for Real-Time Service Contracts. VECoS 2018: 31-47 - [c204]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]