Model-checking in dense real-time, Information and Computation, vol.104, issue.1, pp.2-34, 1993. ,
Model-checking distributed components: The vercors platform, proceedings of the Third International Workshop on Formal Aspects of Component Software, vol.182, pp.3-16, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00091569
Modeling heterogeneous real-time components in bip, Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods. pp. 3-12. SEFM '06, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00375298
Explaining counterexamples using causality, Formal Methods in System Design, vol.40, issue.1, pp.20-40, 2012. ,
Modeling and verification of time dependent systems using time Petri nets, IEEE trans. on soft. eng, vol.17, issue.3, pp.259-273, 1991. ,
Optimal reachability in cost time petri nets, 15th International Conference on Formal Modeling and Analysis of Timed Systems, vol.10419, pp.58-73, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01724290
Tools and Algorithms for the Construction and Analysis of Systems, pp.217-231, 1998. ,
Graph-based algorithms for boolean function manipulation, IEEE Trans. Comput, vol.35, 1986. ,
Madeus: A formal deployment model, 4PAD 2018 -5th Intl Symp. on Formal Approaches to Parallel and Distributed Systems, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01858150
Software model checking via IC3, 2011. ,
Automatic deployment of services in the Cloud with Aeolus Blender, 13th Intl Conf. on Service-Oriented Computing, vol.9435, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01233489
, Aeolus: a component model for the Cloud. Information and Computation, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01091062
Formal semantics and analysis of bpmn process models using petri nets, 2007. ,
Integrated Environment for Verifying and Running Distributed Components, Fundamental Approaches to Software Engineering. Fundamental Approaches to Software Engineering, vol.9633, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01303557
Transforming bpel to petri nets, Business Process Management, pp.220-235, 2005. ,
An improvement in formal verification, 1994. ,
Lazy reachability analysis in distributed systems, The 27th International Conference on Concurrency Theory (CONCUR 2016). LIPIcs, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01699311
Mace: Language support for building distributed systems, Proceedings of the 28th ACM SIG-PLAN Conference on Programming Language Design and Implementation. PLDI '07, 2007. ,
Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions, IFM 2018 -14th International Conference on integrated Formal Methods, pp.1-19, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01868748
Romeo: A parametric modelchecker for petri nets with stopwatches, Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, 2009. ,
A study of the recoverability of computing systems, 1974. ,
Kommunikation mit Automaten. Dissertation, schriften des iim, 1962. ,
Systems approaches to tackling configuration errors: A survey, ACM Comput. Surv, vol.47, issue.4, 2015. ,