Runtime Verification of Component-Based Systems, 9th Int. Conf. on Software Engineering and Formal Methods, pp.204-220, 2011. ,
DOI : 10.1007/978-3-642-16901-4_29
URL : https://hal.archives-ouvertes.fr/hal-00642969
DMaC: Distributed Monitoring and Checking, 9th Work. on Runtime Verification, pp.184-201, 2009. ,
DOI : 10.1007/978-3-540-24730-2_9
Decentralized runtime analysis of multithreaded applications, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006. ,
DOI : 10.1109/IPDPS.2006.1639591
The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977. ,
DOI : 10.1109/SFCS.1977.32
Monitoring distributed controllers, 14th Symp. on Formal Methods, pp.557-572, 2006. ,
Monitoring Distributed Systems Using Knowledge, Joint 13th IFIP WG 6.1 Int. Conf., FMOODS 2011, and 31st IFIP WG 6.1 Int. Conf., FORTE 2011, pp.183-197, 2011. ,
DOI : 10.1016/j.ipl.2004.01.004
New results on decentralized diagnosis of discrete event systems, 42nd Ann. Allerton Conf. on Comm., Control, and Computing, 2004. ,
The complexity of codiagnosability for discrete event and timed systems In: 8th Int. Symp. on Automated Technology for Verification and Analysis, LNCS, vol.6252, pp.82-96, 2010. ,
Decentralized Observation Problems, Proceedings of the 44th IEEE Conference on Decision and Control, pp.6-11, 2005. ,
DOI : 10.1109/CDC.2005.1582122
Decentralised LTL monitoring, 18th Int. Symp. on Formal Methods, pp.85-100, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00857286
Planning for temporally extended goals, Annals of Mathematics and Artificial Intelligence, vol.22, issue.1/2, pp.5-27, 1998. ,
DOI : 10.1023/A:1018985923441
Sampling-based Decentralized Monitoring for Networked Embedded Systems, 3rd Int. Work. on Hybrid Autonomous Systems, pp.85-99, 2013. ,
DOI : 10.4204/EPTCS.124.9
Monitoring of Real-Time Properties, 26th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science, pp.260-272, 2006. ,
DOI : 10.1007/11944836_25
Runtime Verification of Safety-Progress Properties, 9th Int. Work. on Runtime Verification, pp.40-59, 2009. ,
DOI : 10.1137/0201010
URL : https://hal.archives-ouvertes.fr/hal-00420487
What can you verify and enforce at runtime? Software Tools for, Technology Transfert, vol.14, pp.349-382, 2012. ,
Runtime Verification for LTL and TLTL, ACM Transactions on Software Engineering and Methodology, vol.20, issue.4, p.14, 2011. ,
DOI : 10.1145/2000799.2000800
Patterns in property specifications for finite-state verification, Intl. Conf. on Software Engineering (ICSE), pp.411-420, 1999. ,
Specification patterns website, 2011. ,
Runtime enforcement monitors: composition, synthesis, and enforcement abilities, Formal Methods in System Design, vol.42, issue.3, pp.223-262, 2011. ,
DOI : 10.1007/s10703-011-0114-4
URL : https://hal.archives-ouvertes.fr/hal-00576948