Publications de l'équipe TAMIS

2018

Article dans une revue

titre

Quand les malwares se mettent à la cryptographie

auteur

Hélène Le Bouder, Aurélien Palisse

article

Interstices, INRIA, 2018, 〈https://interstices.info/quand-les-malwares-se-mettent-a-la-cryptographie〉

Accès au bibtex

titre

State of the art of network protocol reverse engineering tools

auteur

Julien Duchêne, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche

article

Journal of Computer Virology and Hacking Techniques, Springer, 2018, 14 (1), pp.53-68. 〈10.1007/s11416-016-0289-8〉

Accès au texte intégral et bibtex

Communication dans un congrès

titre

Specification-Based Protocol Obfuscation

auteur

Julien Duchene, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Colas Le Guernic

article

2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun 2018, Luxembourg City, France. IEEE, 2018, 〈10.1109/DSN.2018.00056〉

Accès au texte intégral et bibtex

titre

Taint-Based Return Oriented Programming

auteur

Colas Le Guernic, François Khourbiga

article

Symposium sur la sécurité des technologies de l'information et des communications (SSTIC), Jun 2018, Rennes, France. 2018, 〈https://www.sstic.org/2018/〉

Accès au texte intégral et bibtex

titre

Editorial Message Track on Software-intensive Systems-of-Systems (SiSoS) of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018)

auteur

Khalil Drira, Flavio Oquendo, Axel Legay, Thais Batista

article

SAC 2018 - The 33rd ACM/SIGAPP Symposium On Applied Computing, Apr 2018, Pau, France. pp.1-3, 2018

Accès au texte intégral et bibtex

Pré-publication, Document de travail

titre

History-Preserving Bisimulations on Reversible Calculus of Communicating Systems

auteur

Clément Aubert, Ioana Cristescu

article

2018

Accès au texte intégral et bibtex

titre

Universal Optimality of Apollonian Cell Encoders

auteur

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay

article

2018

Accès au texte intégral et bibtex

2017

Article dans une revue

titre

Byzantine set-union consensus using efficient set reconciliation

auteur

Florian Dold, Christian Grothoff

article

EURASIP Journal on Information Security, Hindawi, 2017, 2017 (1), pp.1-18. 〈10.1186/s13635-017-0066-3〉

Accès au bibtex

titre

Quelles solutions pour se protéger des logiciels de rançon ?

auteur

Aurélien Palisse, Joanna Jongwane

article

Interstices, INRIA, 2017, 〈https://interstices.info/jcms/p_95343/quelles-solutions-pour-se-proteger-des-logiciels-de-rancon〉

Accès au bibtex

titre

Template attack versus Bayes classifier

auteur

Stjepan Picek, Annelie Heuser, Sylvain Guilley

article

Journal of Cryptographic Engineering, Springer, 2017, 7 (4), pp.343-351. 〈10.1007/s13389-017-0172-7〉

Accès au bibtex

titre

Effectiveness of Synthesis in Concolic Deobfuscation

auteur

Fabrizio Biondi, Sébastien Josse, Axel Legay, Thomas Sirvent

article

Computers and Security, Elsevier, 2017, 70, pp.500-515. 〈10.1016/j.cose.2017.07.006〉

Accès au texte intégral et bibtex

titre

Lightweight Ciphers and their Side-channel Resilience

auteur

Annelie Heuser, Stjepan Picek, Sylvain Guilley, Nele Mentens

article

IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, pp.1-16. 〈10.1109/TC.2017.2757921〉

Accès au bibtex

titre

Optimal side-channel attacks for multivariate leakages and multiple models

auteur

Bruneau Nicolas, Sylvain Guilley, Annelie Heuser, Marion Damien, Olivier Rioul

article

Journal of Cryptographic Engineering, Springer, 2017, 7 (4), pp.331-341. 〈10.1007/s13389-017-0170-9〉

Accès au bibtex

titre

On the optimality and practicability of mutual information analysis in some scenarios

auteur

Èloi De Chèrisey, Sylvain Guilley, Annelie Heuser, Olivier Rioul

article

Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , Springer, 2017

Accès au bibtex

titre

Reverse engineering a Java Card memory management algorithm

auteur

Jean-Louis Lanet, Abdelhak Mesbah, Mohamed Mezghiche

article

Computers & Security, 2017, 66, pp.97 - 114. 〈10.1016/j.cose.2017.01.005〉

Accès au bibtex

titre

Stochastic Collision Attack

auteur

Bruneau Nicolas, Claude Carlet, Sylvain Guilley, Annelie Heuser, Emmanuel Prouff, Olivier Rioul

article

IEEE Transactions on Information Forensics and Security, Institute of Electrical and Electronics Engineers, 2017, 12 (9), pp. 2090 - 2104. 〈10.1109/TIFS.2017.2697401〉

Accès au bibtex

titre

An Application of SMC to continuous validation of heterogeneous systems

auteur

Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien

article

EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, ICST, 2017, 4 (10), pp.1-19. 〈10.4108/eai.1-2-2017.152154〉

Accès au texte intégral et bibtex

titre

Statistical Prioritization for Software Product Line Testing: an Experience Report

auteur

Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans

article

Software and Systems Modeling, Springer Verlag, 2017

Accès au texte intégral et bibtex

titre

A scalable and systolic architectures of montgomery modular multiplication for public key cryptosystems based on dsps

auteur

Nadia El Mrabet, Amine Mrabet, Ronan Lashermes, Jean-Baptiste Rigaud, Belgacem Bouallegue, Sihem Mesnager, Mohsen Machhout

article

Journal Hardware and Systems Security, Springer, 2017

Accès au bibtex

titre

A Formal Verification of Dynamic Updating in a Java-based embedded System

auteur

Razika Lounas, Jean-Louis Lanet, Mohamed Mezghiche

article

International Journal of Critical Computer-Based Systems, Inderscience, In press

Accès au bibtex

titre

When Time Meets Test

auteur

Jean-Louis Lanet, Hélène Le Bouder, Mohammed Benattou, Axel Legay

article

International Journal of Information Security, Springer Verlag, 2017, pp.1-15. 〈10.1007/s10207-017-0371-3〉

Accès au texte intégral et bibtex

titre

Machine Learning Techniques to Predict Sensitive Patterns to Fault Attack in the Java Card Application

auteur

Yayaoui Cheherazed, Jean-Louis Lanet, Mohamed Mezghiche, Karim Tamine

article

Journal of Experimental and Theoretical Artificial Intelligence, Taylor & Francis, In press

Accès au bibtex

Communication dans un congrès

titre

Experimenting similarity-based hijacking attacks detection and response in Android Systems

auteur

Jean-Louis Lanet

article

ICISS, International Conference on Information Systems Security, Dec 2017, Bombay, India

Accès au bibtex

titre

The Express Laundry - from black box to white box

auteur

Jean-Louis Lanet, Abdelhak Mesbah

article

Workshop InS3PECT: Ingénierie Système de Services Sécurisés Pour objEts ConnecTé, Dec 2017, Nice, France

Accès au bibtex

titre

Reverse Engineering a Code without the Code

auteur

Abdelhak Mesbah, Jean-Louis Lanet, Mohamed Mezghiche

article

1st Reversing and Offensive-oriented Trends Symposium 2017 , Nov 2017, Vienna, Austria

Accès au bibtex

titre

Data Aware Defense (DaD): Towards a Generic and Practical Ransomware Countermeasure,

auteur

Aurélien Palisse, Antoine Durand, Hélène Le Bouder, Colas Le Guernic, Jean-Louis Lanet

article

NordSec 2017, Nov 2017, Tartu, Estonia. 〈http://nordsec2017.cs.ut.ee/〉

Accès au bibtex

titre

Data Aware Defense (DaD): Towards a Generic and Practical Ransomware Countermeasure

auteur

Aurélien Palisse, Antoine Durand, Hélène Le Bouder, Colas Le Guernic, Jean-Louis Lanet

article

NordSec 2017 - Nordic Conference on Secure IT Systems, Nov 2017, Tartu, Estonia. pp.1-16, 〈http://nordsec2017.cs.ut.ee/〉

Accès au texte intégral et bibtex

titre

Persistant Fault Injection Attack, From White-box to Black-box

auteur

Abdelhak Mesbah, Mohamed Mezghiche, Jean-Louis Lanet

article

The 5th International Conference on Electrical Engineering - ICEE 2017, Oct 2017, Boumedrès, Algeria. 2017, 〈http://icee2017.univ-boumerdes.dz/〉

Accès au bibtex

titre

MASSE: Modular Automated Syntactic Signature Extraction

auteur

Fabrizio Biondi, François Déchelle, Axel Legay

article

ISSRE 2017 - The 28th International Symposium on Software Reliability Engineering - IEEE, Oct 2017, Toulouse, France. IEEE, pp.1-2

Accès au texte intégral et bibtex

titre

HyLeak: Hybrid Analysis Tool for Information Leakage

auteur

Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez

article

ATVA 2017 - Fifteenth International Symposium on Automated Technology for Verification and Analysis, Oct 2017, Pune, India. pp.14

Accès au texte intégral et bibtex

titre

How TrustZone could be bypassed: Side-Channel Attacks on a modern System-on-Chip

auteur

Bukasa Kevin, Ronan Lashermes, Jean-Louis Lanet, Hélène Le Bouder, Axel Legay

article

Wistp'17, International Conference on Information Security Theory and Practice, Sep 2017, Heraklion, Greece

Accès au bibtex

titre

Information Leakage as a Scheduling Resource

auteur

Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay

article

International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, Sep 2017, Turin, Italy. International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, 2017, 〈http://www.es.mdh.se/conferences/fmics-avocs-2017/〉

Accès au texte intégral et bibtex

titre

Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration (extended version)

auteur

Colas Le Guernic

article

Static Analysis Symposium, Aug 2017, New York, United States. 10422, Lecture Notes in Computer Science. 〈http://staticanalysis.org/sas2017/〉

Accès au texte intégral et bibtex

titre

Real-time detection and reaction to Activity hijacking attacks in Android smartphones

auteur

Anis Bkakria, Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Jean-Louis Lanet

article

PST 2017, Privacy, Security, and Trust - 15th International Conference, Aug 2017, Calgary, Canada

Accès au bibtex

titre

Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata

auteur

Peter Gjøl Jensen, Kim Larsen, Axel Legay, Danny Poulsen

article

GraMSec 2017 - The Fourth International Workshop on Graphical Models for Security, Aug 2017, Santa Barbara United States

Accès au texte intégral et bibtex

titre

An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT

auteur

Thomas Given-Wilson, Nisrine Jafri, Jean-Louis Lanet, Axel Legay

article

2017 IEEE Trustcom/BigDataSE/ICESS, Aug 2017, Sydney, Australia. pp.293 - 300, 2017, 〈10.1109/Trustcom/BigDataSE/ICESS.2017.250〉

Accès au texte intégral et bibtex

titre

Efficient Privacy-Preserving Adversarial Learning in Decentralized Online Social Networks

auteur

Álvaro García-Recuero

article

ASONAM 2017 - IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining , Jul 2017, Sydney, Australia. FOSINT-SI, 〈http://asonam.cpsc.ucalgary.ca/〉. 〈10.1145/3110025.3119400〉

Accès au bibtex

titre

Practical Controller Synthesis for MTL$0,∞$

auteur

Guangyuan Li, Peter Jensen, Kim Larsen, Axel Legay, Danny Poulsen

article

International SPIN Symposium on Model Checking of Software, Jul 2017, Santa barbara United States. 〈10.1145/nnnnnnn.nnnnnnn〉

Accès au texte intégral et bibtex

titre

Trade-Offs for S-Boxes: Cryptographic Properties and Side-Channel Resilience

auteur

Claude Carlet, Annelie Heuser, Stjepan Picek

article

ACNS 2017 - International Conference on Applied Cryptography and Network Security, Jul 2017, Kanazawa, Japan. Springer, 10355, pp.393-414, LNCS. 〈10.1007/978-3-319-61204-1_20〉

Accès au bibtex

titre

Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults

auteur

Thomas Given-Wilson, Axel Legay, Sean Sedwards

article

Theo Tryfonas. HAS 2017 - International Conference on Human Aspects of Information Security, Privacy, and Trust, Jul 2017, Vancouver, Canada. Springer, 10292, pp.90-109, LNCS. 〈10.1007/978-3-319-58460-7_7〉

Accès au texte intégral et bibtex

titre

Formal Methods and the Dark Side of the Force

auteur

Jean-Louis Lanet

article

Journée Approches Formelles des Systèmes Embarqués Communicants, Jun 2017, Paris, France

Accès au bibtex

titre

Stochastic Side-Channel Leakage Analysis via Orthonormal Decomposition

auteur

Sylvain Guilley, Annelie Heuser, Ming Tang, Olivier Rioul

article

SecITC 2017, Jun 2017, Bucharest, Romania

Accès au bibtex

titre

Detection of Side Channel Attacks Based on Data Tainting in Android Systems

auteur

Mariem Graa, Nora Cuppens-Boulahia, Frédéric Cuppens, Jean-Louis Lanet, Routa Moussaileb

article

Sabrina De Capitani di Vimercati; Fabio Martinelli. SEC 2017 - 32th IFIP International Conference on ICT Systems Security and Privacy Protection, May 2017, Rome, Italy. Springer International Publishing, IFIP Advances in Information and Communication Technology, AICT-502, pp.205-218, 2017, ICT Systems Security and Privacy Protection. 〈10.1007/978-3-319-58469-0_14 〉

Accès au texte intégral et bibtex

titre

When data reveals ransomware activity

auteur

Jean-Louis Lanet, Aurélien Palisse

article

4th International Conference on Operational Planning, Technological Innovations and Mathematical Applications,, May 2017, Athen, Greece

Accès au bibtex

titre

Climbing Down the Hierarchy: Hierarchical Classification for Machine Learning Side-Channel Attacks

auteur

Stjepan Picek, Annelie Heuser, Alan Jovic, Axel Legay

article

AFRICACRYPT 2017 - International Conference on Cryptology in Africa, May 2017, Dakar, Senegal. Springer, 10239, pp.61-78, LNCS. 〈10.1007/978-3-319-57339-7_4〉

Accès au bibtex

titre

Do we need a holistic approach for the design of secure IoT systems?

auteur

Mauro Contini, Giorgio Di Natale, Annelie Heuser, Thomas Poppelmann, Nele Mentens

article

Computing Frontiers Conference, May 2017, Siena, Italy. ACM International Conference on Computing Frontiers, 2017, 〈http://www.computingfrontiers.org/2017/〉

Accès au bibtex

titre

Side-channel analysis and machine learning: A practical perspective

auteur

Stjepan Picek, Annelie Heuser, Alan Jovic, Simone Ludwig, Sylvain Guilley, Domagoj Jakobović, Nele Mentens

article

International Joint Conference on Neural Networks (IJCNN), May 2017, Anchorage, United States

Accès au bibtex

titre

Codes for Side-Channel Attacks and Protections

auteur

Sylvain Guilley, Annelie Heuser, Olivier Rioul

article

C2SI 2017 - International Conference on Codes, Cryptology, and Information Security, Apr 2017, Rabat, Morocco. 10194, pp.35-55, LNCS. 〈10.1007/978-3-319-55589-8_3〉

Accès au texte intégral et bibtex

titre

Analyzing Ambient Assisted Living Solutions: A Research Perspective

auteur

Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Seceleanu, Bernhard Steffen, Louis-Marie Traonouez

article

12th International Conference on Desig &Technology of Integrated Systems In Nanoscale Era (DTIS), Apr 2017, Palma de Mallorca, Spain. pp.1 - 7, 2017, 12th International Conference on Desig &Technology of Integrated Systems In Nanoscale Era (DTIS). 〈10.1109/DTIS.2017.7930168〉

Accès au texte intégral et bibtex

titre

Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

auteur

Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans

article

ICST 2017 - International Conference on Software Testing, Verification and Validation, Mar 2017, tokyo, Japan

Accès au texte intégral et bibtex

titre

Plasma Lab Statistical Model Checker: Architecture, Usage and Extension

auteur

Axel Legay, Louis-Marie Traonouez

article

SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2017, Limerick, Ireland

Accès au texte intégral et bibtex

titre

Verification of Interlocking Systems Using Statistical Model Checking

auteur

Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay

article

18th IEEE International Symposium on High Assurance Systems Engineering (HASE), Jan 2017, Singapore, Singapore. pp.61 - 68, 2017, 18th IEEE International Symposium on High Assurance Systems Engineering (HASE). 〈10.1109/HASE.2017.10〉

Accès au texte intégral et bibtex

titre

On Featured Transition Systems

auteur

Gilles Perrouin, Patrick Heymans, Axel Legay, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens

article

SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Informatics, Jan 2017, Limerick Ireland

Accès au texte intégral et bibtex

Direction d'ouvrage, Proceedings, Dossier

titre

Proceedings of the 1st ACM SAC Conference Track on Software-intensive Systems-of-Systems (SiSoS 2017)

auteur

Flavio Oquendo, Khalil Drira, Axel Legay, Thais Batista

article

Apr 2017, Marrakesh, Morocco. ACM, 2017

Accès au bibtex

titre

The HiPEAC Vision 2017

auteur

Marc Duranton, Koen De Bosschere, Christian Gamrat, Jonas Maebe, Harm Munk, Olivier Zendra

article

Duranton, Marc; De Bosschere, Koen; Gamrat, Christian; Maebe, Jonas; Munk, Harm; Zendra, Olivier. France. HiPEAC network of excellence, pp.138, 2017, 978-90-9030182-2

Accès au texte intégral et bibtex

HDR

titre

The GNUnet System

auteur

Christian Grothoff

article

Networking and Internet Architecture [cs.NI]. Université de Rennes 1, 2017

Accès au texte intégral et bibtex

Thèse

titre

Discouraging abusive behavior in privacy-preserving decentralized online social networks

auteur

Álvaro García-Recuero

article

Social and Information Networks [cs.SI]. Université Rennes 1, 2017. English. 〈NNT : 2017REN1S010〉

Accès au texte intégral et bibtex

Pré-publication, Document de travail

titre

Profiled SCA with a New Twist: Semi-supervised Learning

auteur

Annelie Heuser, Stjepan Picek, Axel Legay, Karlo Knezevic

article

2017

Accès au bibtex

titre

On the Relevance of Feature Selection for Profiled Side-channel Attacks

auteur

Annelie Heuser, Stjepan Picek, Alan Jovic, Axel Legay

article

2017

Accès au bibtex

titre

Statistical Model Checking of LLVM Code

auteur

Louis-Marie Traonouez, Axel Legay, Dirk Nowotka, Danny Poulsen

article

2017

Accès au texte intégral et bibtex

titre

Orchestration for Secure Multi-party Communications in Web-Services ✩

auteur

Najah Ben Said, Takoua Abdellatif, Marius Bozga, Saddek Ben Salem, Axel Legay

article

2017

Accès au texte intégral et bibtex

titre

Scalable Approximation of Quantitative Information Flow in Programs

auteur

Fabrizio Biondi, Michael Enescu, Annelie Heuser, Axel Legay, Kuldeep Meel, Jean Quilbeuf

article

2017

Accès au texte intégral et bibtex

titre

Modelling of Machine-Aided Human Group Motion

auteur

Thomas Given-Wilson, Axel Legay, Sean Sedwards, Olivier Zendra

article

2017

Accès au texte intégral et bibtex

titre

An Automated and Scalable Formal Process for Detecting Fault Injection Vulnerabilities in Binaries

auteur

Thomas Given-Wilson, Annelie Heuser, Nisrine Jafri, Jean-Louis Lanet, Axel Legay

article

2017

Accès au texte intégral et bibtex

titre

Detection of Mirai by Syntactic and Semantic Analysis

auteur

Najah Ben Said, Fabrizio Biondi, Vesselin Bontchev, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Jean Quilbeuf

article

2017

Accès au texte intégral et bibtex

titre

Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow

auteur

Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez

article

2017

Accès au texte intégral et bibtex

titre

High-level Frameworks for the Specification and Verification of Scheduling Problems

auteur

Mounir Chadli, Jin Kim, Kim Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez

article

2017

Accès au texte intégral et bibtex

titre

An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT -- Extended Version

auteur

Thomas Given-Wilson, Nisrine Jafri, Jean-Louis Lanet, Axel Legay

article

2017

Accès au texte intégral et bibtex

2016

Article dans une revue

titre

PFD - A Flexible Higher-Order Masking Scheme

auteur

Ming Tang, Zhipeng Guo, Annelie Heuser, Ren Yanzhen, Jie Li, Jean-Luc Danger

article

IEEE Trans. on CAD of Integrated Circuits and Systems, 2016

Accès au bibtex

titre

Des attaques informatiques utilisant la physique

auteur

Hélène Le Bouder

article

Interstices, INRIA, 2016

Accès au bibtex

titre

Bypassing Malware Obfuscation with Dynamic Synthesis

auteur

Fabrizio Biondi, Sébastien Josse, Axel Legay

article

ERCIM News, ERCIM, 2016, 〈http://ercim-news.ercim.eu/en106〉

Accès au texte intégral et bibtex

titre

Attainable Unconditional Security for Shared-Key Cryptosystems

auteur

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay

article

Information Sciences, Elsevier, 2016

Accès au texte intégral et bibtex

titre

Statistical Model Checking with Change Detection

auteur

Axel Legay, Louis-Marie Traonouez

article

Foundations for Mastering Change, Springer, 2016, Transactions on Foundations for Mastering Change I

Accès au texte intégral et bibtex

titre

Vulnerability Prediction Against Fault Attacks

auteur

Nisrine Jafri, Axel Legay, Jean-Louis Lanet

article

ERCIM News, ERCIM, 2016, 〈http://ercim-news.ercim.eu/en106/special/vulnerability-prediction-against-fault-attacks〉

Accès au bibtex

titre

Skyfall : Tombé du ciel

auteur

Jean-Louis Lanet

article

Interstices, INRIA, 2016, 〈https://interstices.info/jcms/p_87300/skyfall-tombe-du-ciel〉

Accès au bibtex

titre

Optimizing the Resource Requirements of Hierarchical Scheduling Systems

auteur

Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim Guldstrand Larsen, Insup Lee, Jin-Young Choi

article

ACM SIGBED Review, Association for Computing Machinery (ACM), 2016, 13 (3), pp.41-48. 〈10.1145/2983185.2983192〉

Accès au texte intégral et bibtex

titre

Contract-Based Requirement Modularization via Synthesis of Correct Decompositions

auteur

Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay

article

Theory of Computing Systems, Springer Verlag, 2016, 15, 〈10.1145/2885752〉

Accès au texte intégral et bibtex

titre

ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis

auteur

Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem

article

ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, 〈10.1145/2885498〉

Accès au bibtex

titre

The NSA’s SKYNET program may be killing thousands of innocent people

auteur

Christian Grothoff, Jens Porup

article

Ars Technica, WIRED Media Group, 2016, 〈http://arstechnica.co.uk/security/2016/02/the-nsas-skynet-program-may-be-killing-thousands-of-innocent-people/〉

Accès au texte intégral et bibtex

titre

A Tag Contract Framework for Modeling Heterogeneous Systems

auteur

Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay

article

Science of Computer Programming, Elsevier, 2016

Accès au texte intégral et bibtex

titre

Command-based importance sampling for statistical model checking

auteur

Cyrille Jegourel, Axel Legay, Sean Sedwards

article

Theoretical Computer Science, Elsevier, 2016, 649, pp.1 - 24

Accès au texte intégral et bibtex

titre

Trust Can be Misplaced

auteur

Noreddine Janati, Guillaume Bouffard, Jean-Louis Lanet, Said Elhajji

article

Journal of Cryptographic Engineering, Springer, 2016, 〈10.1007/s13389-016-0142-5〉

Accès au bibtex

titre

Chronicle of a Java Card Death

auteur

Farhadi Mozhdeh, Jean-Louis Lanet

article

Journal of Computer Virology and Hacking Techniques, Springer, 2016, 〈10.1007/s11416-016-0276-0 〉

Accès au bibtex

Communication dans un congrès

titre

Side-channel Analysis of Lightweight Ciphers: Does Lightweight Equal Easy?

auteur

Annelie Heuser, Stjepan Picek, Sylvain Guilley, Nele Mentens

article

RFIDSec 2016: 12th Workshop on RFID and IoT Security, Nov 2016, Hong Kong, Hong Kong SAR China

Accès au texte intégral et bibtex

titre

The SoS Architect Studio: Toolchain for the Formal Architecture Description and Analysis of Software-intensive Systems-of-Systems with SosADL

auteur

Flavio Oquendo, Jeremy Buisson, Elena Leroux, Gersan Moguérou, Jean Quilbeuf

article

Proceedings of the ECSA International Colloquium on Software-intensive Systems-of-Systems (SiSoS), Nov 2016, Copenhagen, Denmark

Accès au bibtex

titre

Statistical Model Checking of Dynamic Software Architectures

auteur

Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flavio Oquendo, Thais Batista, Axel Legay

article

ECSA 2016 - 10th European Conference on Software Architecture, Nov 2016, Copenhague, Denmark. Proceedings of the 2016 European Conference of Software Architecture, Proceedings of the 2016 European Conference of Software Architecture

Accès au texte intégral et bibtex

titre

Importance Sampling for Stochastic Timed Automata

auteur

Cyrille Jegourel, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis, Danny Poulsen, Sean Sedwards

article

Dependable Software Engineering: Theories, Tools, and Applications, Nov 2016, Beijing, China. 2016

Accès au texte intégral et bibtex

titre

Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow

auteur

Yusuke Kawamoto, Fabrizio Biondi, Axel Legay

article

FM 2016 - 21st International Symposium on Formal Methods, Nov 2016, Limassol, Cyprus

Accès au texte intégral et bibtex

titre

The Hell Forgery, Polymorphic Codes Shoot Again

auteur

Abdelhak Mesbah, Leo Regnaud, Jean-Louis Lanet, Mohamed Mezghiche

article

15th Smart Card Research and Advanced Application Conference , Nov 2016, Cannes, France. 〈https://2016.cardis.org/〉

Accès au bibtex

titre

A Quantitative Analysis of Cell Tower Trace Data for Understanding Human Mobility and Mobile Networks

auteur

Neal Walfield, John Linwood Griffin, Christian Grothoff

article

6th International Workshop on Mobile Entity Localization, Tracking and Analysis (MELT), Oct 2016, San Francisco, United States. 2016, 〈https://sites.google.com/site/meltworks/home〉. 〈10.1145/1235〉

Accès au texte intégral et bibtex

titre

A Multi-Round Side Channel Attack on AES using Belief Propagation

auteur

Hélène Le Bouder, Ronan Lashermes, Yanis Linge, Gaël Thomas, Jean-Yves Zie

article

FPS 2016, Oct 2016, Québec, Canada

Accès au texte intégral et bibtex

titre

On the Expressiveness of Symmetric Communication

auteur

Thomas Given-Wilson, Axel Legay

article

Theoretical Aspects of Computing – ICTAC 2016, Oct 2016, Taipei, Taiwan. 9965 pp.139-157, 2016, 〈10.1007/978-3-319-46750-4_9〉

Accès au texte intégral et bibtex

titre

On the Power of Statistical Model Checking

auteur

Kim Guldstrand Larsen, Axel Legay

article

7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece. pp.843 - 862, 2016, 〈10.1007/978-3-319-47169-3_62〉

Accès au texte intégral et bibtex

titre

A Logic for the Statistical Model Checking of Dynamic Software Architectures

auteur

Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flavio Oquendo, Thais Batista, Axel Legay

article

ISoLA, Oct 2016, Corfou, Greece. Springer, 9952, pp.806 - 820, 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 〈10.1007/978-3-319-47166-2_56〉

Accès au texte intégral et bibtex

titre

Plasma Lab: A Modular Statistical Model Checking Platform

auteur

Axel Legay, Sean Sedwards, Louis-Marie Traonouez

article

ISoLA, Oct 2016, Corfou, Greece. Springer, 9952, pp.77 - 93, 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 〈10.1007/978-3-319-47166-2_6〉

Accès au texte intégral et bibtex

titre

Statistical Model Checking for Product Lines

auteur

Maurice H Ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin

article

7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece

Accès au texte intégral et bibtex

titre

Performance Evaluation of Complex Systems Using the SBIP Framework

auteur

Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem

article

he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), Oct 2016, Tunis, Tunisia

Accès au texte intégral et bibtex

titre

Security and Privacy of Protocols and Software with Formal Methods

auteur

Fabrizio Biondi, Axel Legay

article

7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Oct 2016, Kommeno, Greece. 2016, ISoLA 2016 - 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Accès au texte intégral et bibtex

titre

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

auteur

Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen

article

FMICS-AVoCS, Sep 2016, Pise, Italy. Springer, 9933, pp.133 - 141, Critical Systems: Formal Methods and Automated Verification. 〈10.1007/978-3-319-45943-1_9〉

Accès au texte intégral et bibtex

titre

Runtime Code Polymorphism as a Protection Against Side Channel Attacks

auteur

Damien Couroussé, Thierno Barry, Bruno Robisson, Philippe Jaillon, Olivier Potin, Jean-Louis Lanet

article

Sara Foresti; Javier Lopez. 10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9895, pp.136-152, 2016, Information Security Theory and Practice. 〈10.1007/978-3-319-45931-8_9〉

Accès au texte intégral et bibtex

titre

Privacy-Preserving Abuse Detection in Future Decentralised Online Social Networks

auteur

Álvaro García-Recuero, Jeffrey Burdges, Christian Grothoff

article

Giovanni Livraga; Vicenç Torra; Alessandro Aldini; Fabio Martinelli; Neeraj Suri. 11th International ESORICS Workshop in Data Privacy Management, DPM 2016, Sep 2016, Heraklion, Crete, Greece. Springer, 9963, pp.78-93, Springer Lecture Notes in Computer Science (LNCS) series. 〈http://dpm2016.di.unimi.it/〉. 〈10.1007/978-3-319-47072-6_6〉

Accès au texte intégral et bibtex

titre

Malware’O’Matic a platform to analyze Malware

auteur

Aurélien Palisse, Antoine Durand, Jean-Louis Lanet

article

French Japanese workshop on CyberSecurity, Sep 2016, Rennes, France. 2016

Accès au bibtex

titre

Rare Events for Statistical Model Checking: An Overview

auteur

Axel Legay, Sean Sedwards, Louis-Marie Traonouez

article

Reachability Problems, Sep 2016, Aalborg, Denmark. 9899, pp.23 - 35, 2016

Accès au texte intégral et bibtex

titre

Long-term average cost in featured transition systems

auteur

Rafael Olaechea, Uli Fahrenberg, Joanne Atlee, Axel Legay

article

SPLC '16 - 20th International Systems and Software Product Line Conference, Sep 2016, Beijing, China. ACM, pp.109 - 118, 2016, 〈10.1145/2934466.2934473〉

Accès au bibtex

titre

High-performance Elliptic Curve Cryptography by Using the CIOS Method for Modular Multiplication

auteur

Amine Mrabet, Nadia El-Mrabet, Ronan Lashermes, Jean-Baptiste Rigaud, Belgacem Bouallegue, Sihem Mesnager, Mohsen Machhout

article

CRiSIS 2016, Sep 2016, Roscoff, France. 2016

Accès au texte intégral et bibtex

titre

A Formal Verification of Safe Update Point Detection in Dynamic Software Updating

auteur

Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet

article

CRiSIS 2016 - The 11th International Conference on Risks and Security of Internet and Systems , Sep 2016, Roscoff, France. LNCS

Accès au bibtex

titre

Protocol Reverse Engineering: Challenges and Obfuscation

auteur

Julien Duchene, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche

article

11th International Conference on Risks and Security of Internet and Systems (CRiSIS 2016), Sep 2016, Roscoff, France. 6p., 2016

Accès au texte intégral et bibtex

titre

Ransomware and the Legacy Crypto API

auteur

Aurélien Palisse, Hélène Le Bouder, Jean-Louis Lanet, Colas Le Guernic, Axel Legay

article

Frédéric Cuppens; Nora Cuppens; Jean-Louis Lanet; Axel Legay. The 11th International Conference on Risks and Security of Internet and Systems - CRiSIS 2016, Sep 2016, Roscoff, France. Springer, Lecture Notes in Computer Science, 10158, pp.11-28, 2017, Risks and Security of Internet and Systems. 〈https://conferences.telecom-bretagne.eu/crisis/2016/〉. 〈10.1007/978-3-319-54876-0_2〉

Accès au texte intégral et bibtex

titre

Protocol reverse engineering: Challenges and obfuscation

auteur

Julien Duchêne, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche

article

Frédéric Cuppens; Nora Cuppens; Jean-Louis Lanet; Axel Legay. The 11th International Conference on Risks and Security of Internet and Systems - CRiSIS 2016, Sep 2016, Roscoff, France. Springer, Lecture Notes in Computer Science, 10158, 2017, Risks and Security of Internet and Systems. 〈https://conferences.telecom-bretagne.eu/crisis/2016/〉. 〈10.1007/978-3-319-54876-0_11〉

Accès au texte intégral et bibtex

titre

Modelling Attack-defense Trees Using Timed Automata

auteur

Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Olesen, Danny Poulsen

article

FORMATS 2016 -14th International Conference on Formal Modelling and Analysis of Timed Systems, Aug 2016, Quebec City, Canada. pp.35 - 50, 2016, 〈10.1007/978-3-319-44878-7_3〉

Accès au texte intégral et bibtex

titre

An Application of SMC to continuous validation of heterogeneous systems

auteur

Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien

article

Simutools 2016 - Ninth EAI International Conference on Simulation Tools and Techniques, Aug 2016, Prague, Czech Republic. Proceedings of the Ninth EAI International Conference on Simulation Tools and Techniques

Accès au texte intégral et bibtex

titre

A Template Attack Against VERIFY PIN Algorithms

auteur

Hélène Le Bouder, Thierno Barry, Damien Couroussé, Jean-Louis Lanet, Ronan Lashermes

article

SECRYPT 2016, Jul 2016, Lsbonne, Portugal. pp.231 - 238, 2016, 〈10.5220/0005955102310238〉

Accès au texte intégral et bibtex

titre

PSCV: A Runtime Verification Tool for Probabilistic SystemC Models

auteur

Van Ngo, Axel Legay, Vania Joloboff

article

Swarat Chaudhuri; Azadeh Farzan CAV 2016 - 28th International Conference on Computer Aided Verification, Jul 2016, Toronto, Canada. Springer, 9779, pp.84 - 91, 2016, LNCS - Lecture Notes in Computer Science. 〈10.1007/978-3-319-41528-4_5〉

Accès au texte intégral et bibtex

titre

Taler: Usable, privacy-preserving payments for the Web

auteur

Jeffrey Burdges, Florian Dold, Christian Grothoff, Marcello Stanisci

article

HotPETS 2016 - Workshop on Hot Topics in Privacy Enhancing Technologies, Jun 2016, Darmstadt Germany. 2016

Accès au texte intégral et bibtex

titre

Paper Tiger, an endless fight

auteur

Farhadi Mozhdeh, Jean-Louis Lanet

article

SecITC 9th International Conference on Security for Information Technology and Communications, Jun 2016, Bucarest, Romania. LNCS (10006), 2016, Innovative Security Solutions for Information Technology and Communications. 〈http://www.secitc.eu/〉. 〈10.1007/978-3-319-47238-6 〉

Accès au bibtex

titre

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

auteur

Pedro D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards

article

Integrated Formal Methods, Jun 2016, Reykjavik, Iceland. 9681, pp.99-114, 2016

Accès au texte intégral et bibtex

titre

Featured model types: Towards Systematic Reuse in Modelling Language Engineering

auteur

Gilles Perrouin, Moussa Amrani, Mathieu Acher, Benoit Combemale, Axel Legay, Pierre-Yves Schobbens

article

MiSE '16 - 8th International Workshop on Modeling in Software Engineering, May 2016, New york, United States. ACM, pp.1 - 7, 2016, 〈10.1145/2896982.2896987〉

Accès au texte intégral et bibtex

titre

Featured model-based mutation analysis

auteur

Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans

article

ICSE '16 - 38th International Conference on Software Engineering, May 2016, Austin, United States. pp.655 - 666, 2016, 〈10.1145/2884781.2884821〉

Accès au bibtex

titre

Analyse et détection de logiciels malveillants,

auteur

Aurélien Palisse, Jean-Louis Lanet

article

Ressi 2016, May 2016, Toulouse, France

Accès au bibtex

titre

COGITO: Génération de code au runtime pour la sécurité des systèmes embarqué

auteur

Damien Couroussé, Jean-Louis Lanet, Bruno Robisson, Thierno Barry, Philippe Jaillon

article

Ressi 2016, May 2016, Toulouse, France. 2016

Accès au bibtex

titre

Discouraging Abusive Behavior in Privacy-Preserving Online Social Networking Applications

auteur

Álvaro García-Recuero

article

In 25th International World Wide Web Conference, Apr 2016, Montréal, Canada. WWW Companion Volume, 〈http://doi.acm.org/10.1145/2872518.2888600〉

Accès au texte intégral et bibtex

titre

A Formal Modeling and Analysis Framework for Software Product Line of Preemptive Real-Time Systems

auteur

Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, Sungwon Kang

article

Symposium on Applied Computing, Apr 2016, Pise, Italy. ACM, pp.1562 - 1565, 2016, Proceedings of the 31st Annual Symposium on Applied Computing. 〈10.1145/2851613.2851977〉

Accès au texte intégral et bibtex

titre

Tracking explicit and control flows in Java and native Android apps code,

auteur

Mariem Graa, Frédéric Cuppens, Nora Cuppens-Boulahia, Jean-Louis Lanet

article

ICISSP 2016 : 2nd International Conference on Information Systems Security and Privacy,, Feb 2016, Roma, Italy. 2016, Proceedings of the 2nd International Conference on Information Systems Security and Privacy 〈http://www.icissp.org/〉. 〈10.5220/0005686603070316〉

Accès au bibtex

titre

Search-based Similarity-driven Behavioural SPL Testing

auteur

Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans

article

VaMoS '16 - Tenth International Workshop on Variability Modelling of Software-intensive Systems, Jan 2016, Salvador, Brazil. ACM, pp.89 - 96, 2016, 〈10.1145/2866614.2866627〉

Accès au bibtex

titre

Internet des objets : la nouvelle fragilité ?

auteur

Maryline Boizard, Jean-Louis Lanet

article

Forum international de la cybersécurité, Jan 2016, Lille, France. 〈https://www.forum-fic.com/〉

Accès au bibtex

titre

Statistical Model Checking for SystemC Models

auteur

Van Chan Ngo, Axel Legay, Jean Quilbeuf

article

High Assurance Systems Engineering Symposium, Jan 2016, Orlando, Florida, United States

Accès au texte intégral et bibtex

Direction d'ouvrage, Proceedings, Dossier

titre

Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture

auteur

Flavio Oquendo, Muhammad Ali Babar, Khalil Drira, Axel Legay

article

Copenhagen, Denmark. ACM DL, 2016

Accès au bibtex

titre

UAV Networks and Communications

auteur

Serge Chaumette, Jin Hyun Kim, Kamesh Namuduri, James P.G. Sterbenz

article

France. Cambridge University Press, 2016

Accès au bibtex

Autre publication

titre

Side-channel Analysis of Lightweight Ciphers: Current Status and Future Directions

auteur

Annelie Heuser, Stjepan Picek, Sylvain Guilley, Nele Mentens

article

Lightweight Cryptography Workshop 2016. 2016

Accès au bibtex

titre

A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories

auteur

Uli Fahrenberg, Axel Legay

article

We propose behavioral specification theories for most equivalences in the linear-time–branching.. 2016

Accès au bibtex

Pré-publication, Document de travail

titre

Verification of interlocking systems using statistical model checking

auteur

Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay

article

2016

Accès au bibtex

titre

Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow

auteur

Yusuke Kawamoto, Fabrizio Biondi, Axel Legay

article

2016

Accès au texte intégral et bibtex

titre

Attainable Unconditional Security for Shared-Key Cryptosystems

auteur

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay

article

2016

Accès au texte intégral et bibtex

2015

Article dans une revue

titre

A survey of Fault attacks in Pairing Based Cryptography

auteur

Nadia El Mrabet, Ronan Lashermes, Jacques Fournier, Louis Goubin

article

Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , Springer, 2015, 7 (1), pp.185--205. 〈https://doi.org/10.1007/s12095-014-0114-5〉. 〈10.1007/s12095-014-0114-5〉

Accès au bibtex

Communication dans un congrès

titre

An Approach for Formal Verification of Updated Java Bytecode Programs

auteur

Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet

article

9th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2015, Bucarest, Romania. 〈http://vecos.ensta-paristech.fr/2015/〉

Accès au texte intégral et bibtex

titre

Beyond Cryptanalysis is Software Security the Next Threat for Smart Cards

auteur

Jean-Louis Lanet

article

Said El Hajji ; Abderrahmane Nitaj ; Claude Carlet; El Mamoun Souidi C2SI 2015 - First International Conference Codes, Cryptology, and Information Security, May 2015, Rabat, Morocco. Springer, Volume 9084 of the series Lecture Notes in Computer Science, pp.74-82, Codes, Cryptology, and Information Security. 〈10.1007/978-3-319-18681-8_6〉

Accès au texte intégral et bibtex

titre

Countermeasures Mitigation for Designing Rich Shell Code in Java Card

auteur

Noreddine Janati, Said Elhajji, Jean-Louis Lanet

article

Said El Hajji; Abderrahmane Nitaj; Claude Carlet; El Mamoun Souidi. C2SI 2015 - First International Conference Codes, Cryptology, and Information Security, May 2015, Rabat, Morocco. Springer, Volume 9084 of the series Lecture Notes in Computer Science, pp.149-161, Codes, Cryptology, and Information Security. 〈10.1007/978-3-319-18681-8_12〉

Accès au texte intégral et bibtex

titre

Model-Based Robustness Testing in Event-B Using Mutation

auteur

Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet

article

Radu Calinescu; Bernhard Rumpe SEFM 2015 - 13th International Conference Software Engineering and Formal Methods, Jan 2015, York, United Kingdom. Springer, Lecture Notes in Computer Science Volume 9276 (Volume 9276 ), pp.132-147, 2015, Software Engineering and Formal Methods. 〈10.1007/978-3-319-22969-0_10〉

Accès au texte intégral et bibtex

2014

Communication dans un congrès

titre

Memory Forensics of a Java Card Dump

auteur

Jean-Louis Lanet, Guillaume Bouffard, Rokia Lamrani, Ranim Chakra, Afef Mestiri, Mohammed Monsif, Abdellatif Fandi

article

Marc Joye; Amir Moradi. Cardis 2014 - 13th International Conference Smart Card Research and Advanced Application Conference, Nov 2014, Paris, France. Springer, 8968, pp.3-17, 2015, LNCS - Lecture notes in computer science. 〈10.1007/978-3-319-16763-3_1〉

Accès au texte intégral et bibtex

titre

Heap . . . Hop! Heap Is Also Vulnerable

auteur

Guillaume Bouffard, Michael Lackner, Jean-Louis Lanet, Johannes Loinig

article

Cardis 2014, Nov 2014, Paris, France. Volume 8968 2015, Lecture Notes in Computer Science 〈10.1007/978-3-319-16763-3_2〉

Accès au texte intégral et bibtex

titre

Statistical Model Checking: Past, Present, and Future

auteur

Kim Guldstrand Larsen, Axel Legay

article

6th International Symposium, ISoLA 2014, Oct 2014, Corfu, Greece

Accès au texte intégral et bibtex

2013

Communication dans un congrès

titre

A Timed Component Algebra for Services

auteur

Benoît Delahaye, José Fiadeiro, Axel Legay, Antónia Lopes

article

Dirk Beyer; Michele Boreale. 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7892, pp.242-257, 2013, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-38592-6_17〉

Accès au texte intégral et bibtex

2012

Communication dans un congrès

titre

Quantitative Modal Transition Systems

auteur

Kim Larsen, Axel Legay

article

Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.50-58, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_3〉

Accès au texte intégral et bibtex

2007

Communication dans un congrès

titre

Synthèse de contraintes de conception à partir de réseaux de Petri temporels paramétrés

auteur

Louis-Marie Traonouez, David Delfieu, Olivier Henri Roux

article

6ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), Oct 2007, Lyon, France. 2007

Accès au bibtex