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. ,