titre

On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation

auteur

Antoine El-Hokayem, Yliès Falcone

article

ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2019, pp.1-57. ⟨10.1145/nnnnnnn.nnnnnnn⟩

titre

Optimal Enforcement of (Timed) Properties with Uncontrollable Events

auteur

Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand

article

Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2019, 29 (1), pp.169-214. ⟨10.1017/S0960129517000123⟩

titre

Detecting Fault Injection Attacks with Runtime Verification

auteur

Ali Kassem, Yliès Falcone

article

SPRO 2019 - 3rd International Workshop on Software PROtection, Nov 2019, Londres, United Kingdom. ⟨10.1145/3338503.3357724⟩

titre

Interactive Runtime Verification: Formal Models, Algorithms, and Implementation

auteur

Raphaël Jakse, Yliès Falcone, Jean-François Méhaut

article

[Research Report] UGA (Université Grenoble Alpes); LIG (Laboratoire informatique de Grenoble); Inria Grenoble Rhône-Alpes, Université de Grenoble. 2019

titre

Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework

auteur

Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber

article

Journal of Logical and Algebraic Methods in Programming, Elsevier, 2018, 99, pp.143-177. ⟨10.1016/j.jlamp.2018.05.005⟩

titre

Tracing Distributed Component-Based Systems, a Brief Overview

auteur

Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem

article

Proceedings of the 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus

titre

Second School on Runtime Verification, as part of the ArVi COST Action 1402 Overview and Reflections

auteur

Yliès Falcone

article

RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-5

titre

Can We Monitor All Multithreaded Programs?

auteur

Antoine El-Hokayem, Yliès Falcone

article

RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-24

titre

A Taxonomy for Classifying Runtime Verification Tools

auteur

Yliès Falcone, Srđan Krstić, Giles Reger, Dmitriy Traytel

article

RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-18

titre

Bringing Runtime Verification Home

auteur

Antoine El-Hokayem, Yliès Falcone

article

RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-17

titre

COST Action IC1402 Runtime Verification beyond Monitoring

auteur

Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sanchez, Gerardo Schneider, Volker Stolz

article

RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-8

titre

Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions

auteur

Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone

article

IFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.1-19

titre

Runtime Failure Prevention and Reaction

auteur

Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha

article

Lectures on Runtime Verification, 10457, Springer, pp.103-134, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-75632-5_4⟩

titre

Introduction to Runtime Verification

auteur

Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger

article

Lectures on Runtime Verification. Introductory and Advanced Topics, 10457, Springer, pp.1-33, 2018, Lecture Notes in Computer Science 978-3-319-75632-5. ⟨10.1007/978-3-319-75632-5_1⟩

titre

Lectures on Runtime Verification. Introductory and Advanced Topics

auteur

Ezio Bartocci, Yliès Falcone

article

Springer, 10457, pp.1-240, In press, LNCS, 978-3-319-75632-5. ⟨10.1007/978-3-319-75632-5⟩

titre

Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation

auteur

Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga

article

Formal Aspects of Computing, Springer Verlag, 2017, 29 (6), pp.951 - 986. ⟨10.1007/s00165-017-0422-6⟩

titre

Predictive Runtime Verification of Timed Properties

auteur

Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa

article

Journal of Systems and Software, Elsevier, 2017, 132, pp.353 - 365. ⟨10.1016/j.jss.2017.06.060⟩

titre

Decentralized enforcement of document lifecycle constraints

auteur

Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone

article

Information Systems, Elsevier, 2017, ⟨10.1016/j.is.2017.08.002⟩

titre

Predictive runtime enforcement

auteur

Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand

article

Formal Methods in System Design, Springer Verlag, 2017, 51 (1), pp.154 - 199. ⟨10.1007/s10703-017-0271-1⟩

titre

Formal analysis and offline monitoring of electronic exams

auteur

Ali Kassem, Yliès Falcone, Pascal Lafourcade

article

Formal Methods in System Design, Springer Verlag, 2017, 51 (1), pp.117 - 153. ⟨10.1007/s10703-017-0280-0⟩

titre

Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification

auteur

Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget

article

ISSRE17 - 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France

titre

GREP: Games for the Runtime Enforcement of Properties

auteur

Matthieu Renard, Antoine Rollet, Yliès Falcone

article

29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩

titre

Verifying Policy Enforcers

auteur

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone

article

RV 2017 - 17th International Conference on Runtime Verification, Sep 2017, Seattle, United States

titre

Runtime Enforcement Using Büchi Games

auteur

Matthieu Renard, Antoine Rollet, Yliès Falcone

article

Model Checking Software - 24rd International Symposium, SPIN 2017, Co-located with ISSTA 2017, Jul 2017, Santa Barbara, United States

titre

THEMIS: A Tool for Decentralized Monitoring Algorithms

auteur

Antoine El-Hokayem, Yliès Falcone

article

ISSTA 2017, Jul 2017, Santa Barbara, United States. pp.125-135 ⟨10.1145/3092703.3092723⟩

titre

Monitoring Decentralized Specifications

auteur

Antoine El-Hokayem, Yliès Falcone

article

ISSTA 2017, Jul 2017, Santa Barbara, CA, United States. pp.125-135, ⟨10.1145/3092703.3092723⟩

titre

Imposition de propriétés temporisées à l'exécution

auteur

Yliès Falcone

article

ETR 2017 : École d'Été Temps Réel, Aug 2017, Paris, France

titre

Organising LTL Monitors over Distributed Systems with a Global Clock

auteur

Christian Colombo, Yliès Falcone

article

Formal Methods in System Design, Springer Verlag, 2016, 49 (1-2), pp.50. ⟨10.1007/s10703-016-0251-x⟩

titre

Decentralised LTL Monitoring

auteur

Andreas Bauer, Yliès Falcone

article

Formal Methods in System Design, Springer Verlag, 2016, 48 (1-2), pp.48. ⟨10.1007/s10703-016-0253-8⟩

titre

Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events

auteur

Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty

article

Science of Computer Programming, Elsevier, 2016, 123, pp.2-41. ⟨10.1016/j.scico.2016.02.008⟩

titre

Fully-automated Runtime Enforcement of Component-based Systems with Formal and Sound Recovery

auteur

Yliès Falcone, Mohamad Jaber

article

Software Tools for Technology Transfer (STTT), Springer, 2016

titre

First International Summer School on Runtime Verification

auteur

Christian Colombo, Yliès Falcone

article

Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain

titre

Third International Competition on Runtime Verification CRV 2016

auteur

Giles Reger, Sylvain Hallé, Yliès Falcone

article

Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain

titre

Decentralized Enforcement of Artifact Lifecycles

auteur

Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Ylìès Falcone

article

EDOC 2016, Sep 2016, Vienne, Austria

titre

Vérification interactive de propriétés à l'exécution d'un programme avec un débogueur

auteur

Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget

article

Compas’2016, Jul 2016, Lorient, France

titre

Modularizing Crosscutting Concerns in Component-Based Systems

auteur

Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber

article

14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria

titre

Monitoring Multi-Threaded Component-Based Systems

auteur

Hosein Nazarpour, Ylìès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz

article

12th International Conference on integrated Formal Methods, Jun 2016, Reykjavik, Finland

titre

Predictive Runtime Enforcement *

auteur

Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand

article

SAC 2016 31st ACM Symposium on Applied Computing, ACM, Apr 2016, Pisa, Italy. pp.1628-1633, ⟨10.1145/2851613.2851827⟩

titre

Runtime Verification: the Application Perspective

auteur

Ylìès Falcone, Lenore Zuck

article

International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 17 (2), pp.3. ⟨10.1007/s10009-014-0360-z⟩

titre

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

auteur

Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem

article

Software and Systems Modeling, Springer Verlag, 2015, pp.173-199. ⟨10.1007/s10270-013-0323-y⟩

titre

Runtime Verification: The Application Perspective

auteur

Yliès Falcone, Lenore Zuck

article

International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, pp.121-123. ⟨10.1007/978-3-642-34026-0_21⟩

titre

Enforcement and Validation (at runtime) of Various Notions of Opacity

auteur

Yliès Falcone, Hervé Marchand

article

Discrete Event Dynamic Systems, Springer Verlag, 2015, 25 (4), pp.531-570. ⟨10.1007/s10626-014-0196-4⟩

titre

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

auteur

Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem

article

Software and Systems Modeling, Springer Verlag, 2015, 14 (1), pp.38. ⟨10.1007/s10270-013-0323-y⟩

titre

Enforcement of (Timed) Properties with Uncontrollable Events

auteur

Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand

article

12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. pp.542-560, ⟨10.1007/978-3-319-25150-9_31⟩

titre

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution

auteur

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand

article

RV'2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. pp.306-320, ⟨10.1007/978-3-319-23820-3_22⟩

titre

Monitoring Electronic Exams

auteur

Ali Kassem, Yliès Falcone, Pascal Lafourcade

article

6th International Conference on Runtime Verification, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Australia. pp.16, ⟨10.1007/978-3-319-23820-3_8⟩

titre

RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial

auteur

Philip Daian, Yliès Falcone, Patrick Meredith, Traian Florin Serbanuta, Shin’ichi Shiriashi, Akihito Iwai, Grigore Rosu

article

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Austria. pp.16, ⟨10.1007/978-3-319-23820-3_24⟩

titre

Second International Competition on Runtime Verification

auteur

Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma

article

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Austria. pp.16, ⟨10.1007/978-3-319-23820-3_27⟩

titre

Dynamic Detection and Mitigation of DMA Races in MPSoCs

auteur

Selma Saidi, Yliès Falcone

article

18th Euromicro Conference on Digital Systems Design (DSD 2015), Aug 2015, Madeire, Portugal. ⟨10.1109/DSD.2015.77⟩

titre

Runtime Enforcement for Component-Based Systems

auteur

Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber

article

Symposium on Applied Computing - Software Verification and Testing , Apr 2015, Salamanque, Spain. ⟨10.1145/2695664.2695879⟩

titre

Runtime enforcement of timed properties revisited

auteur

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena Timo

article

Formal Methods in System Design, Springer Verlag, 2014, 45 (3), pp.381-422. ⟨10.1007/s10703-014-0215-y⟩

titre

Blocking Advertisements on Android Devices using Monitoring Techniques

auteur

Khalil El-Harake, Yliès Falcone, Wassim Jerad, Mattieu Langet, Mariem Mamlouk

article

6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2014, Corfu, Greece

titre

Organising LTL Monitors over Distributed Systems with a Global Clock

auteur

Christian Colombo, Yliès Falcone

article

14th International Conference on Runtime Verification, Sep 2014, Toronto, Canada. ⟨10.1007/978-3-319-11164-3_12⟩

titre

First International Competition on Software for Runtime Verification

auteur

Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone

article

14th International Conference on Runtime Verification, Sep 2014, Toronto, Canada. ⟨10.1007/978-3-319-11164-3_1⟩

titre

Efficient and Generalized Decentralized Monitoring of Regular Languages

auteur

Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez

article

34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.66-83, ⟨10.1007/978-3-662-43613-4_5⟩

titre

Runtime Enforcement of Parametric Timed Properties with Practical Applications

auteur

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand

article

IEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427

titre

Runtime Enforcement of Regular Timed Properties

auteur

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand

article

Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Mar 2014, Gyeongju, South Korea. pp.1279-1286

titre

Runtime Verification of Component-Based Systems in the BIP Framework with Formally-Proved Sound and Complete Instrumentation

auteur

Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Dorel Marius Bozga, Saddek Bensalem

article

Journal on Software and System Modeling, 2013, 41 p

titre

Runtime Enforcement of K-step Opacity

auteur

Yliès Falcone, Hervé Marchand

article

52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.7271-7278, ⟨10.1109/CDC.2013.6761043 ⟩

titre

Compressing Microcontroller Execution Traces to Assist System Analysis

auteur

Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet

article

4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.139-150, ⟨10.1007/978-3-642-38853-8_13⟩

titre

Single-Trace Fault Localization in Embedded Software

auteur

Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Bousquet

article

24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), 2013, Pasadena, CA, United States. pp.148-157, ⟨10.1109/ISSRE.2013.6698914⟩

titre

A Tutorial on Runtime Verification

auteur

Yliès Falcone, Klaus Havelund, Giles Reger

article

Manfred Broy, Doron Peled, Georg Kalus. Engineering Dependable Software Systems, 34, IOS Press, pp.141-175, 2013, NATO Science for Peace and Security Series - D: Information and Communication Security, 978-1-61499-206-6 (print); 978-1-61499-207-3 (online). ⟨10.3233/978-1-61499-207-3-141⟩

titre

CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding

auteur

Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet

article

2013

titre

More testable properties

auteur

Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier

article

International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩

titre

Towards Certified Runtime Verification

auteur

Jan Olaf Blech, Yliès Falcone, Klaus Becker

article

ICFEM 2012 - 14th International Conference on Formal Engineering Methods, Nov 2012, Kyoto, Japan. pp.494-509, ⟨10.1007/978-3-642-34281-3_34⟩

titre

Runtime Verification: The Application Perspective

auteur

Yliès Falcone, Lenore Zuck

article

ISoLA 2012 - Proceedings of the 5th International Symposium on Leveraging Applications (Part 1), Oct 2012, Crete, Greece. pp.284-291, ⟨10.1007/978-3-642-34026-0_21⟩

titre

Behavioral Specification Based Runtime Monitors for OSGi Services

auteur

Jan Blech, Yliès Falcone, Harald Ruess, Bernhard Schätz

article

ISoLA 2012 - Proceedings of the 5th International Symposium on Leveraging Applications (Part 1), Oct 2012, Unknown, pp.405-419, ⟨10.1007/978-3-642-34026-0_30⟩

titre

Runtime Verification and Enforcement for Android Applications with RV-Droid

auteur

Yliès Falcone, Sebastian Currea, Mohamad Jaber

article

RV 2012 - 3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.88-95, ⟨10.1007/978-3-642-35632-2_11⟩

titre

Runtime Enforcement of Timed Properties

auteur

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena Timo

article

3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.229-244, ⟨10.1007/978-3-642-35632-2_23⟩

titre

Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud

auteur

Yliès Falcone, Sebastian Currea

article

ASE 2012 - 27th IEEE/ACM International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp.350-353, ⟨10.1145/2351676.2351744⟩

titre

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors

auteur

Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard

article

FM 2012 - 18th International Symposium on Formal Methods, Aug 2012, Paris, France. pp.68-84, ⟨10.1007/978-3-642-32759-9_9⟩

titre

Decentralised LTL Monitoring

auteur

Andreas Klaus Bauer, Yliès Falcone

article

FM 2012 - 18th International Symposium on Formal Methods, Aug 2012, Paris, France. pp.85-100, ⟨10.1007/978-3-642-32759-9_10⟩

titre

Résumer les traces d'exécution des micro-contrôleurs

auteur

Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet

article

Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), 2012, Grenoble, France

titre

Decentralized LTL Monitoring

auteur

Andreas Bauer, Yliès Falcone

article

2012

titre

CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding

auteur

Azzeddine Amiar, Mickaël Delahaye, Ylìès Falcone, Lydie Du Bousquet

article

[Research Report] RR-LIG-031, LIG. 2012

titre

Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities

auteur

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier

article

Formal Methods in System Design, Springer Verlag, 2011, 38 (3), pp.223-262. ⟨10.1007/s10703-011-0114-4⟩

titre

Runtime Verification of Component-Based Systems

auteur

Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem

article

SEFM 2011 - Proceedings of the 9th International Conference on Software Engineering and Formal Methods, Nov 2011, Montevideo, Uruguay. pp.204-220, ⟨10.1007/978-3-642-24690-6_15⟩

titre

Runtime Verification of Safety-Progress Properties

auteur

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier

article

Runtime Verification, Jun 2009, France. pp.40--59

titre

Enforcement Monitoring wrt. the Safety-Progress Classification of Properties

auteur

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier

article

24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track (SAC 2009), 2009, Unknown, pp.593-600, ⟨10.1145/1529282.1529408⟩

titre

Etude et mise en œuvre de techniques de validation à l'exécution

auteur

Yliès Falcone

article

Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2009. Français

titre

Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties

auteur

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier

article

ICISS'08: International Conference on Information Systems Security, 2008, pp.41-55

titre

j-POST: a Java Toolchain for Property-Oriented Software Testing

auteur

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier

article

MBT'08: Model-Based Testing, 2008, pp.29-41

titre

A Compositional Testing Framework Driven by Partial Specifications

auteur

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier

article

TESTCOM/FATES'07: TESTing of COMmunicating Systems/Formal Approaches to TESting, 2007, pp.107-122

titre

A Test Calculus Framework Applied to Network Security Policies

auteur

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier

article

FATES/RV'06: Formal Approaches to TESting/Runtime Verification, 2006, pp.55-69