Communication-efficient leader election and consensus with limited link synchrony, Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing , PODC '04, pp.328-337, 2004. ,
DOI : 10.1145/1011767.1011816
URL : https://hal.archives-ouvertes.fr/hal-00154865
Bounds on the time to reach agreement in the presence of timing uncertainty, Journal of the ACM, vol.41, issue.1, pp.122-152, 1994. ,
DOI : 10.1145/174644.174649
Beyond Lamport's happened-before: On time bounds and the ordering of events in distributed systems, DISC, pp.421-436, 2010. ,
Static analysis of communicating imperfectly-clocked synchronous systems using continuous-time abstract domains, 2008. ,
Verification of quasi-synchronous systems with Uppaal, DASC, pp.8-12, 2014. ,
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach, 2000. ,
DOI : 10.1007/3-540-45416-0_21
Embedded Control: From Asynchrony to Synchrony and Back, EMSOFT, pp.80-96, 2001. ,
DOI : 10.1007/3-540-45449-7_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.1039
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach, SAFECOMP, pp.215-226, 2001. ,
DOI : 10.1007/3-540-45416-0_21
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems, POPL, pp.180-193, 2006. ,
Synchronous and asynchronous group communication (long version) CACM, 1996. ,
DOI : 10.1007/978-1-4615-5449-3_1
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems, CAV, pp.429-448, 2015. ,
DOI : 10.1007/978-3-319-21668-3_25
Consensus in the presence of partial synchrony, Journal of the ACM, vol.35, issue.2, pp.288-323, 1988. ,
DOI : 10.1145/42282.42283
On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times, 25th IEEE International Conference on Distributed Computing Systems (ICDCS'05), pp.271-280, 2005. ,
DOI : 10.1109/ICDCS.2005.57
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
Sacrificing serializability to attain high availability of data in an unreliable network, Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems , PODS '82, pp.70-75, 1982. ,
DOI : 10.1145/588111.588124
Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques, 2008 Formal Methods in Computer-Aided Design, pp.1-159, 2008. ,
DOI : 10.1109/FMCAD.2008.ECP.19
The synchronous dataflow programming language Lustre, Proc. IEEE, pp.1305-1320, 1991. ,
DOI : 10.1109/5.97300
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5059
Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE, IEEE Transactions on Software Engineering, vol.18, issue.9, pp.785-793, 1992. ,
DOI : 10.1109/32.159839
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), pp.3-14, 2006. ,
DOI : 10.1109/ACSD.2006.24
URL : https://hal.archives-ouvertes.fr/hal-00189567
Synchronous modeling and validation of schedulers dealing with shared resources, 2008. ,
Real-time systems: design principles for distributed embedded applications, 2011. ,
The time-triggered architecture, Proc. IEEE, pp.112-126, 2003. ,
DOI : 10.1109/isorc.1998.666765
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
DOI : 10.1145/359545.359563
A framework for high-assurance quasi-synchronous systems, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), pp.72-83, 2014. ,
DOI : 10.1109/MEMCOD.2014.6961845
Design and verification of multi-rate distributed systems, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp.20-29, 2015. ,
DOI : 10.1109/MEMCOD.2015.7340463
Distributed Algorithms, 1996. ,
Virtual time and global states of distributed systems, Parallel and Distributed Algorithms, vol.1, issue.23, pp.215-226, 1989. ,
Formal verification of quasi-synchronous systems, 2015. ,
Recognizing regular expressions by means of dataflow networks, ICALP, pp.336-347, 1996. ,
DOI : 10.1007/3-540-61440-0_140
URL : https://hal.archives-ouvertes.fr/hal-00384443
Logical time: capturing causality in distributed systems, Computer, vol.29, issue.2, pp.49-56, 1996. ,
DOI : 10.1109/2.485846
The Asynchronous Bounded-Cycle model, Theoretical Computer Science, vol.412, issue.40, pp.5580-5601, 2011. ,
DOI : 10.1016/j.tcs.2010.08.001
A correlation preserving performance analysis for stream processing systems, Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012), pp.11-20, 2012. ,
DOI : 10.1109/MEMCOD.2012.6292295
URL : https://hal.archives-ouvertes.fr/hal-00745819
The Theta-Model: achieving synchrony without clocks, Distributed Computing, vol.20, issue.2, pp.29-47, 2009. ,
DOI : 10.1007/s00446-009-0080-x