In: Train Systems, pp.1-36, 2006. ,
ACTORS: A Model Of Concurrent Computation In Distributed Systems, 1990. ,
Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004. ,
DOI : 10.1017/S0960129504004153
Runtime Verification for LTL and TLTL, ACM Transactions on Software Engineering and Methodology, vol.20, issue.4, 2011. ,
DOI : 10.1145/2000799.2000800
On Evaluating and Constraining Assertions Using Conflicts in Absent Scenarios, 2017 IEEE 26th Asian Test Symposium (ATS), pp.195-200, 2017. ,
DOI : 10.1109/ATS.2017.45
Runtime assertion checking and theorem proving for concurrent and distributed systems, MODELSWARD 2014 -Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, pp.7-9, 2014. ,
Monitoring decentralized specifications, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis , ISSTA 2017, pp.125-135, 2017. ,
DOI : 10.1145/79173.79181
URL : https://hal.archives-ouvertes.fr/hal-01653725
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation, Software & Systems Modeling, vol.40, issue.1, pp.173-199, 2015. ,
DOI : 10.1109/SEFM.2009.13
URL : https://hal.archives-ouvertes.fr/hal-00972566
A multi-agent tuple-space based problem solving framework, Journal of Systems and Software, vol.47, issue.1, pp.11-17, 1999. ,
DOI : 10.1016/S0164-1212(99)00019-9
Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985. ,
DOI : 10.1145/2363.2433
Coordination languages and their significance, Communications of the ACM, vol.35, issue.2, pp.96-107, 1992. ,
DOI : 10.1145/129630.376083
Session-Based Compositional Analysis for Actor-Based Languages Using Futures, Formal Methods and Software Engineering, pp.296-312, 2016. ,
DOI : 10.1007/3-540-58184-7_118
Verification methodologies in a tlm-to-rtl design flow, pp.199-204, 2007. ,
Modeling and Analysis of Reo Connectors Using Alloy, Coordination Models and Languages, 2008. ,
DOI : 10.1007/978-3-540-68265-3_11
Reusable Coordination Components: Reliable Development of Cooperative Information Systems, International Journal of Cooperative Information Systems, vol.4, issue.1, 2016. ,
DOI : 10.1016/j.jcss.2010.01.010
Flexible Transactional Coordination in the Peer??Model, International Conference on Fundamentals of Software Engineering (FSEN), pp.116-131, 2017. ,
DOI : 10.1145/1040305.1040322
Introducing the Concept of Customizable Structured Spaces for Agent Coordination in the Production Automation Domain, 8th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS), pp.625-632, 2009. ,
Decentralized Runtime Verification of LTL Specifications in Distributed Systems, 2015 IEEE International Parallel and Distributed Processing Symposium, pp.494-503, 2015. ,
DOI : 10.1109/IPDPS.2015.95
Intersert: Assertions on Distributed Process Interaction Sessions, 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS), p.2017, 2017. ,
DOI : 10.1109/QRS.2017.32
Kommunikation mit Automaten, Technische Hochschule Darmstadt, 1962. ,
Assertion Generation through Active Learning, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), pp.155-157, 2017. ,
DOI : 10.1109/ICSE-C.2017.87
A usable formal methods tool chain for safety critical concurrent systems design, 2018. ,
Using Formal Methods for Verification and Validation in Railway, Tests and Proofs, pp.3-13, 2016. ,
DOI : 10.1007/978-1-4471-5260-6
Automated measurement of API usability: The API Concepts Framework, Information and Software Technology, vol.61, pp.145-162, 2015. ,
DOI : 10.1016/j.infsof.2015.01.009
A, Proceedings of the 3rd workshop on Programming languages and operating systems linguistic support for modern operating systems, PLOS '06, 2006. ,
DOI : 10.1145/1215995.1216003
Assertion Recommendation for Formal Program Verification, 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), pp.154-159, 2017. ,
DOI : 10.1109/COMPSAC.2017.66