LEGAY, AXEL: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Risks and Security of Internet and Systems Volume 10694 || Data Hiding on Social Media Communications Using Text Steganography

Cuppens, Nora, Cuppens, Frédéric, Lanet, Jean-Louis, Legay, Axel, Garcia-Alfaro, Joaquin

Year:

2018

Language:

english

File:

PDF, 1.17 MB

english, 2018

2

Combined software and hardware fault injection vulnerability detection

Given-Wilson, Thomas, Jafri, Nisrine, Legay, Axel

Journal:

Innovations in Systems and Software Engineering

Year:

2020

File:

PDF, 960 KB

2020

3

[IEEE 2019 IEEE Intelligent Vehicles Symposium (IV) - Paris, France (2019.6.9-2019.6.12)] 2019 IEEE Intelligent Vehicles Symposium (IV) - Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking

Barbier, Mathieu, Renzaglia, Alessandro, Quilbeuf, Jean, Rummelhard, Lukas, Paigwar, Anshul, Laugier, Christian, Legay, Axel, Ibanez-Guzman, Javier, Simonin, Olivier

Year:

2019

Language:

english

File:

PDF, 3.76 MB

english, 2019

4

Real-time specifications

David, Alexandre, Larsen, Kim G., Legay, Axel, Nyman, Ulrik, Traonouez, Louis-Marie, Wąsowski, Andrzej

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 1.09 MB

english, 2015

5

Maximizing entropy over Markov processes

Biondi, Fabrizio, Legay, Axel, Nielsen, Bo Friis, Wąsowski, Andrzej

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2014

Language:

english

File:

PDF, 605 KB

english, 2014

6

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking

Classen, Andreas, Cordy, Maxime, Schobbens, Pierre-Yves, Heymans, Patrick, Legay, Axel, Raskin, Jean-Francois

Journal:

IEEE Transactions on Software Engineering

Year:

2013

Language:

english

File:

PDF, 4.31 MB

english, 2013

7

[ACM Press the Tenth International Workshop - Salvador, Brazil (2016.01.27-2016.01.29)] Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '16 - Search-based Similarity-driven Behavioural SPL Testing

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

Year:

2016

Language:

english

File:

PDF, 585 KB

english, 2016

8

ASTROLABE

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

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2016

Language:

english

File:

PDF, 1.64 MB

english, 2016

9

[ACM Press the 1st International Workshop - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 1st International Workshop on Variability and Complexity in Software Design - VACE '16 - A complexity tale

Perrouin, Gilles, Acher, Mathieu, Davril, Jean-Marc, Legay, Axel, Heymans, Patrick

Year:

2016

Language:

english

File:

PDF, 366 KB

english, 2016

10

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 10206 || HiFrog: SMT-based Function Summarization for Software Verification

Legay, Axel, Margaria, Tiziana

Year:

2017

Language:

english

File:

PDF, 655 KB

english, 2017

11

[Lecture Notes in Computer Science] Models, Algorithms, Logics and Tools Volume 10460 || Timed Temporal Logics

Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu

Year:

2017

Language:

english

File:

PDF, 369 KB

english, 2017

12

[Lecture Notes in Computer Science] Models, Algorithms, Logics and Tools Volume 10460 || Synchronous Interfaces and Assume/Guarantee Contracts

Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu

Year:

2017

Language:

english

File:

PDF, 352 KB

english, 2017

13

[Lecture Notes in Computer Science] Risks and Security of Internet and Systems Volume 10694 ||

Cuppens, Nora, Cuppens, Frédéric, Lanet, Jean-Louis, Legay, Axel, Garcia-Alfaro, Joaquin

Year:

2018

Language:

english

File:

PDF, 14.53 MB

english, 2018

14

[Lecture Notes in Computer Science] Risks and Security of Internet and Systems Volume 10694 || Design and Realization of a Fully Homomorphic Encryption Algorithm for Cloud Applications

Cuppens, Nora, Cuppens, Frédéric, Lanet, Jean-Louis, Legay, Axel, Garcia-Alfaro, Joaquin

Year:

2018

Language:

english

File:

PDF, 1.74 MB

english, 2018

15

[Lecture Notes in Computer Science] Risks and Security of Internet and Systems Volume 10694 || A Semantic Approach to Frequency Based Anomaly Detection of Insider Access in Database Management Systems

Cuppens, Nora, Cuppens, Frédéric, Lanet, Jean-Louis, Legay, Axel, Garcia-Alfaro, Joaquin

Year:

2018

Language:

english

File:

PDF, 1.58 MB

english, 2018

16

[Lecture Notes in Computer Science] Risks and Security of Internet and Systems Volume 10694 || Phishing Attacks Root Causes

Cuppens, Nora, Cuppens, Frédéric, Lanet, Jean-Louis, Legay, Axel, Garcia-Alfaro, Joaquin

Year:

2018

Language:

english

File:

PDF, 997 KB

english, 2018

17

[IEEE 2018 13th Annual Conference on System of Systems Engineering (SoSE) - Paris, France (2018.6.19-2018.6.22)] 2018 13th Annual Conference on System of Systems Engineering (SoSE) - A Language for Analyzing Security of IOT Systems

Beaulaton, Delphine, Ben Said, Najah, Cristescu, Ioana, Fleurquin, Regis, Legay, Axel, Quilbeuf, Jean, Sadou, Salah

Year:

2018

Language:

english

File:

PDF, 442 KB

english, 2018

18

[IEEE 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) - Montreal, QC, Canada (2019.5.27-2019.5.27)] 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) - Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata

Cordy, Maxime, Legay, Axel, Lazreg, Sami, Collet, Philippe

Year:

2019

Language:

english

File:

PDF, 106 KB

english, 2019

19

Controller synthesis of service contracts with variability

Basile, Davide, ter Beek, Maurice H., Degano, Pierpaolo, Legay, Axel, Ferrari, Gian-Luigi, Gnesi, Stefania, Di Giandomenico, Felicita

Journal:

Science of Computer Programming

Year:

2020

File:

PDF, 1.00 MB

2020

20

[IEEE 2019 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE) - Rotorua, New Zealand (2019.8.5-2019.8.8)] 2019 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE) - The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2

Ninet, Tristan, Legay, Axel, Maillard, Romaric, Traonouez, Louis-Marie, Zendra, Olivier

Year:

2019

Language:

english

File:

PDF, 211 KB

english, 2019

21

On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address

Axel Legay, Pierre Wolper

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 173 KB

english, 2006

22

Model Checking Quantitative Linear Time Logic

Marco Faella, Axel Legay, Mariëlle Stoelinga

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 356 KB

english, 2008

23

Constraint Markov Chains

Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wąsowski

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 1.01 MB

english, 2011

24

Statistical abstraction and model-checking of large heterogeneous systems

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 1015 KB

english, 2012

25

On simulation-based probabilistic model checking of

Edmund Clarke, Alexandre Donzé, Axel Legay

Journal:

Formal Methods in System Design

Year:

2010

Language:

english

File:

PDF, 802 KB

english, 2010

26

Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects

Benoît Delahaye, Benoît Caillaud, Axel Legay

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 1.03 MB

english, 2011

27

Handling Liveness Properties in (ω-)Regular Model Checking

Ahmed Bouajjani, Axel Legay, Pierre Wolper

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 279 KB

english, 2005

28

On timed alternating simulation for concurrent timed games

Laura Bozzelli, Axel Legay, Sophie Pinchinat

Journal:

Acta Informatica

Year:

2012

Language:

english

File:

PDF, 568 KB

english, 2012

29

Extrapolating (omega-)regular model checking

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 786 KB

english, 2012

30

Tree regular model checking: A simulation-based approach

Parosh Aziz Abdulla, Axel Legay, Julien d’Orso, Ahmed Rezine

Journal:

The Journal of Logic and Algebraic Programming

Year:

2006

Language:

english

File:

PDF, 319 KB

english, 2006

31

Consistency and refinement for Interval Markov Chains

Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wa¸sowski

Journal:

The Journal of Logic and Algebraic Programming

Year:

2012

Language:

english

File:

PDF, 709 KB

english, 2012

32

New results for Constraint Markov Chains

Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wąsowski

Journal:

Performance Evaluation

Year:

2012

Language:

english

File:

PDF, 1.12 MB

english, 2012

33

Hardness of preorder checking for basic formalisms

Laura Bozzelli, Axel Legay, Sophie Pinchinat

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 320 KB

english, 2011

34

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Simulation-based abstractions for software product-line model checking

Cordy, Maxime, Classen, Andreas, Perrouin, Gilles, Schobbens, Pierre-Yves, Heymans, Patrick, Legay, Axel

Year:

2012

Language:

english

File:

PDF, 396 KB

english, 2012

35

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Efficient deadlock detection for concurrent systems

Bensalem, Saddek, Griesmayer, Andreas, Legay, Axel, Nguyen, Thanh-Hung, Peled, Doron

Year:

2011

Language:

english

File:

PDF, 755 KB

english, 2011

36

Model checking software product lines with SNIP

Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 1.70 MB

english, 2012

37

Compositional verification of real-time systems usingEcdar

Alexandre David, Kim. G. Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wąsowski

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 1.21 MB

english, 2012

38

Pushdown module checking with imperfect information

Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 324 KB

english, 2013

39

Modal event-clock specifications for timed component-based design

Bertrand, Nathalie, Legay, Axel, Pinchinat, Sophie, Raclet, Jean-Baptiste

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 550 KB

english, 2012

40

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - APAC: A Tool for Reasoning about Abstract Probabilistic Automata

Delahaye, Benoît, Larsen, Kim G., Legay, Axel, Pedersen, Mikkel L., Wasowski, Andrzej

Year:

2011

Language:

english

File:

PDF, 151 KB

english, 2011

41

Rigorous embedded design: challenges and perspectives

Saddek Bensalem, Axel Legay, Marius Bozga

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 124 KB

english, 2013

42

A meta-theory for component interfaces with contracts on ports

Bauer, Sebastian, Hennicker, Rolf, Legay, Axel

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.18 MB

english, 2014

43

Formal semantics, modular specification, and symbolic verification of product-line behaviour

Classen, Andreas, Cordy, Maxime, Heymans, Patrick, Legay, Axel, Schobbens, Pierre-Yves

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 574 KB

english, 2014

44

Robust synthesis for real-time systems

Larsen, Kim G., Legay, Axel, Traonouez, Louis-Marie, Wąsowski, Andrzej

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 770 KB

english, 2014

45

Stuttering for Abstract Probabilistic Automata

Delahaye, Benoît, Larsen, Kim G., Legay, Axel

Journal:

The Journal of Logic and Algebraic Programming

Year:

2014

Language:

english

File:

PDF, 746 KB

english, 2014

46

A modal specification theory for components with data

Bauer, Sebastian S., Larsen, Kim G., Legay, Axel, Nyman, Ulrik, Wąsowski, Andrzej

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 485 KB

english, 2014

47

SENSORY AND VASO-MOTOR DISTURBANCE IN FACIAL PARALYSIS.

Bauer, Sebastian S., Larsen, Kim G., Legay, Axel, Nyman, Ulrik, Wąsowski, Andrzej

Journal:

Year:

1892

Language:

english

File:

PDF, 187 KB

english, 1892

48

Abstract Probabilistic Automata

Delahaye, Benoît, Katoen, Joost-Pieter, Larsen, Kim G., Legay, Axel, Pedersen, Mikkel L., Sher, Falak, Wąsowski, Andrzej

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 1.56 MB

english, 2013

49

The quantitative linear-time–branching-time spectrum

Fahrenberg, Uli, Legay, Axel

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 1.01 MB

english, 2014

50

History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps

Fahrenberg, Uli, Legay, Axel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 261 KB

english, 2013