Atomic snapshots of shared memory, Journal of the ACM, vol.40, issue.4, pp.873-890, 1993. ,
DOI : 10.1145/153724.153741
Runtime verification revisited, 2005. ,
The Combinatorial Structure of Wait-Free Solvable Tasks, SIAM Journal on Computing, vol.31, issue.4, pp.1286-1313, 2002. ,
DOI : 10.1137/S0097539797330689
Distributed computing: fundamentals, simulations and advanced topics, 2004. ,
DOI : 10.1002/0471478210
Distributed program checking: a paradigm for building self-stabilizing distributed protocols, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science, pp.258-267, 1991. ,
DOI : 10.1109/SFCS.1991.185377
Decentralised LTL monitoring. Formal Methods, lncs #7436, pp.85-100, 2012. ,
DOI : 10.1007/978-3-642-32759-9_10
URL : https://hal.archives-ouvertes.fr/hal-00857286
Monitoring of real-time properties. FSTTCS, lncs #4337, pp.260-272, 2006. ,
Comparing LTL Semantics for Runtime Verification, Journal of Logic and Computation, vol.20, issue.3, pp.651-674, 2010. ,
DOI : 10.1093/logcom/exn075
GPU-based Runtime Verification, 2013 IEEE 27th International Symposium on Parallel and Distributed Processing, pp.1025-1036, 2013. ,
DOI : 10.1109/IPDPS.2013.105
Sampling-based runtime verification. Formal Methods, pp.88-102, 2011. ,
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models, TACAS, lncs#6605, pp.11-25, 2011. ,
DOI : 10.1145/42190.42277
Distributed snapshots: determining global states of distributed systems, ACM Transactions on Computer Systems, vol.3, issue.1, pp.63-75, 1985. ,
DOI : 10.1145/214451.214456
A Distributed Abstraction Algorithm for Online Predicate Detection, 2013 IEEE 32nd International Symposium on Reliable Distributed Systems, pp.101-110, 2013. ,
DOI : 10.1109/SRDS.2013.19
Consistent detection of global predicates. Workshop on Parallel and Distributed Debugging, pp.167-174, 1991. ,
Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985. ,
DOI : 10.1145/3149.214121
Local Distributed Decision, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science, pp.708-717, 2011. ,
DOI : 10.1109/FOCS.2011.17
URL : https://hal.archives-ouvertes.fr/hal-00912561
Locality and Checkability in Wait-Free Computing, Distributed Computing, vol.15, issue.4, pp.223-242, 2013. ,
DOI : 10.1007/BF01961540
URL : https://hal.archives-ouvertes.fr/hal-00992781
On the Number of Opinions Needed for Fault- Tolerant Run-Time Monitoring in Distributed Systems Rapport de recherche, p.1011079, 2014. ,
Monitoring distributed controllers: When an efficient LTL algorithm on sequences is needed to model-check traces. Formal Methods , lncs #4085, pp.557-57, 2006. ,
A concurrent dynamic analysis framework for multicore hardware, OOPSLA, pp.155-174, 2009. ,
A Combinatorial Introduction to Topology, 1983. ,
Distributed Computing Through Combinatorial Topology, 2013. ,
The topological structure of asynchronous computability, Journal of the ACM, vol.46, issue.6, pp.858-923, 1999. ,
DOI : 10.1145/331524.331529
Model checking of safety properties. Form, Formal Methods in System Design, vol.19, issue.3, pp.291-314, 2001. ,
DOI : 10.1023/A:1011254632723
Efficient decentralized monitoring of safety in distributed systems, Proceedings. 26th International Conference on Software Engineering, pp.418-427, 2004. ,
DOI : 10.1109/ICSE.2004.1317464
Decentralized runtime analysis of multithreaded applications, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006. ,
DOI : 10.1109/IPDPS.2006.1639591
Predictable Runtime Monitoring, 2009 21st Euromicro Conference on Real-Time Systems, pp.173-183, 2009. ,
DOI : 10.1109/ECRTS.2009.23