, Distributed Semantics and Implementation for Systems with Interaction and Priority, Formal Techniques for Networked and Distributed Systems -FORTE 2008, 28th IFIP WG 6.1 International Conference Proceedings, volume 5048 of Lecture Notes in Computer Science, pp.116-133, 2008.
DOI : 10.1007/978-3-540-30101-1_15
URL : https://hal.archives-ouvertes.fr/hal-00359261
, Runtime verification with minimal intrusion through parallelism. Formal Methods in System Design, pp.317-348, 2015.
DOI : 10.1007/s10703-015-0226-3
, A framework for automated distributed implementation of component-based models, Distributed Computing, pp.383-409, 2012.
DOI : 10.1007/s004460050028
URL : https://hal.archives-ouvertes.fr/hal-00877995
, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.11-15, 2006.
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298
, An Open Component Model and Its Support in Java, International Symposium on Component-based Software Engineering, pp.7-22, 2004.
DOI : 10.1007/978-3-540-24774-6_3
, Decentralised LTL Monitoring, FM 2012: Formal Methods -18th International Symposium Proceedings, pp.85-100, 2012.
DOI : 10.1007/978-3-642-32759-9_10
URL : https://hal.archives-ouvertes.fr/hal-00857286
, Decentralised LTL monitoring. Formal Methods in System Design, pp.46-93, 2016.
DOI : 10.1007/978-3-642-32759-9_10
URL : https://hal.archives-ouvertes.fr/hal-00857286
, Comparing LTL Semantics for Runtime Verification, Journal of Logic and Computation, vol.20, issue.3, pp.651-674, 2010.
DOI : 10.1093/logcom/exn075
, Runtime verification for LTL and TLTL, ACM Trans. Softw. Eng. Methodol, vol.2014, issue.4, pp.1-1464, 2011.
DOI : 10.1145/2000799.2000800
URL : http://www4.in.tum.de/~leucker/Documents/Leucker/tosem09_prelim.pdf
, The algebra of connectors, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, pp.11-20, 2007.
DOI : 10.1145/1289927.1289935
URL : https://hal.archives-ouvertes.fr/hal-00282866
, Organising LTL monitors over distributed systems with a global clock. Formal Methods in System Design, pp.109-158, 2016.
DOI : 10.1007/978-3-319-11164-3_12
URL : https://hal.archives-ouvertes.fr/hal-01120551
, Using Temporal Logic for Dynamic Reconfigurations of Components, Proceedings of the 7th International Workshop on Formal Aspects of Component Software, pp.200-217, 2010.
DOI : 10.1007/3-540-45719-4_23
URL : https://hal.archives-ouvertes.fr/inria-00541613
, Efficient and Generalized Decentralized Monitoring of Regular Languages, Formal Techniques for Distributed Objects, Components, and Systems -34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques Proceedings, volume 8461 of Lecture Notes in Computer Science, pp.66-83, 2014.
DOI : 10.1007/978-3-662-43613-4_5
URL : https://hal.archives-ouvertes.fr/hal-00972559
, Runtime Verification of Safety-Progress Properties, Proceedings of the 9th International Workshop on Runtime Verification Selected Papers, pp.40-59, 2009.
DOI : 10.1137/0201010
URL : https://hal.archives-ouvertes.fr/hal-00420487
, What can you verify and enforce at runtime? STTT, pp.349-382, 2012.
DOI : 10.1007/s10009-011-0196-8
URL : http://www.irisa.fr/vertecs/Publis/Ps/STTT-2011.pdf
, Runtime enforcement of regular timed properties by suppressing and delaying events, Science of Computer Programming, vol.123, pp.2-41, 2016.
DOI : 10.1016/j.scico.2016.02.008
URL : https://hal.archives-ouvertes.fr/hal-01281727
, Runtime Verification of Component-Based Systems, SEFM 2011, pp.204-220, 2011.
DOI : 10.1007/978-3-642-16612-9_9
URL : https://hal.archives-ouvertes.fr/hal-00642969
, Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation, Software and System Modeling, pp.173-199, 2015.
DOI : 10.1109/SEFM.2009.13
URL : https://hal.archives-ouvertes.fr/hal-00972566
, Synthesising correct concurrent runtime monitors. Formal Methods in System Design, pp.226-261, 2015.
DOI : 10.1007/978-3-642-40787-1_7
URL : https://www.um.edu.mt/library/oar//bitstream/123456789/23256/1/rv13jour.pdf
, Communicating sequential processes Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns Decentralised Evaluation of Temporal Patterns over Component- Based Systems at Runtime Decentralized runtime verification of LTL specifications in distributed systems, The origin of concurrent programming 2015 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2015, pp.413-443, 1978.
, Communication and concurrency, 1995.
, Website of RVMT-BIP, a tool for the Runtime Verification of Multi-Threaded BIP systems
, Monitoring multithreaded component-based systems, Proceedings of the 12th International Conference on integrated Formal Methods, pp.2016-2019
URL : https://hal.archives-ouvertes.fr/hal-01285579
, Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing, Principles of Distributed Systems, 7th International Conference, OPODIS 2003 La Martinique, French West Indies, pp.171-183, 2003.
DOI : 10.1007/978-3-540-27860-3_17
URL : http://www.ece.utexas.edu/%7Egarg/dist/kslicing.pdf
, Formal Verification of Simulation Traces Using Computation Slicing, IEEE Transactions on Computers, vol.56, issue.4, pp.511-527, 2007.
DOI : 10.1109/TC.2007.1011
, Decentralized runtime analysis of multithreaded applications, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, p.97, 2006.
DOI : 10.1109/IPDPS.2006.1639591
, Monitoring functions on global states of distributed programs, Journal of Parallel and Distributed Computing, vol.41, issue.2, pp.173-189, 1997.
, The difference between splitting innandn+ 1. Information and Computation, pp.109-142, 1997.