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