Publications HAL de Ylies,FALCONE de la collection LIG
Résultats de la recherche --> Url version détaillée , Url version formatée
Critères : Author : "Ylies,FALCONE", Collection(s) : "LIG"
Nombre d'occurrences trouvées : 81.

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
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
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
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
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
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
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
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. ⟨http://link.springer.com/article/10.1007%2Fs10703-016-0251-x⟩. ⟨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. ⟨http://link.springer.com/article/10.1007%2Fs10703-016-0253-8⟩. ⟨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
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
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
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 & Systems Modeling, Springer Verlag, 2015, pp.173-199. ⟨http://link.springer.com/article/10.1007%2Fs10270-013-0323-y⟩. ⟨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
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 & Systems Modeling, Springer Verlag, 2015, 14 (1), pp.38. ⟨10.1007/s10270-013-0323-y⟩
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. ⟨http://dx.doi.org/10.1007/s10626-014-0196-4⟩. ⟨10.1007/s10626-014-0196-4⟩
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
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
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
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. ⟨http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s10703-014-0215-y⟩. ⟨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. ⟨http://www.springerlink.com/content/u3283757686610v6/⟩. ⟨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 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
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
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