D3.3.2 -Concept Alignment Example description, 2013. ,
D6.3.3 -GCSL Syntax, Semantics and Meta-model, 2015. ,
DANSE Final Report, 2015. ,
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
Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach, Proc. 1st Workshop on Advances in Systems of Systems (AiSoS) 2013, pp.47-66, 2013. ,
DOI : 10.4204/EPTCS.133.6
Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.11-15, 2006. ,
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298
Industrial Use of Formal Methods, 2012. ,
DOI : 10.1002/9781118561829
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library, QEST'13, pp.160-164, 2013. ,
DOI : 10.1007/978-3-642-40196-1_12
URL : https://hal.archives-ouvertes.fr/hal-01088411
Determinate composition of FMUs for co-simulation, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp.1-212, 2013. ,
DOI : 10.1109/EMSOFT.2013.6658580
Verification of interlocking systems using statistical model checking ,
URL : https://hal.archives-ouvertes.fr/hal-01398649
Efficient customisable dynamic motion planning for assistive robots in complex human environments, Journal of Ambient Intelligence and Smart Environments, vol.7, issue.5, pp.617-634, 2015. ,
DOI : 10.3233/AIS-150338
URL : https://hal.archives-ouvertes.fr/hal-01239099
Statistical model checking for biological systems, International Journal on Software Tools for Technology Transfer, vol.13, issue.11, pp.351-367, 2015. ,
DOI : 10.1007/s10009-014-0323-4
On a Temporal Logic for Object-Based Systems, 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pp.305-325, 2000. ,
DOI : 10.1007/978-0-387-35520-7_16
3 -DANSE Methodology V2, 2013. ,
Past- and future-oriented time-bounded temporal properties with OCL, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004., pp.154-163, 2004. ,
DOI : 10.1109/SEFM.2004.1347516
Synthesizing monitors for safety properties In Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software Proceedings, pp.342-356, 2002. ,
Approximate Probabilistic Model Checking, VMCAI, pp.73-84, 2004. ,
DOI : 10.1007/978-3-540-24622-0_8
Probability Inequalities for Sums of Bounded Random Variables, Journal of the American Statistical Association, vol.1, issue.301, pp.13-30, 1963. ,
DOI : 10.1214/aoms/1177730491
Importance Splitting for Statistical Model Checking Rare Properties, Computer Aided Verification -25th International Conference, CAV 2013 Proceedings, pp.576-591, 2013. ,
DOI : 10.1007/978-3-642-39799-8_38
A bayesian approach to model checking biological systems, Computational Methods in Systems Biology, pp.218-234, 2009. ,
Probabilistic abstraction for model checking, ACM Transactions on Computational Logic, vol.8, issue.4, 2007. ,
DOI : 10.1145/1276920.1276922
A Tag Contract Framework for Heterogeneous Systems, Advances in Service-Oriented and Cloud Computing, pp.204-217 ,
DOI : 10.1007/978-3-642-45364-9_17
URL : https://hal.archives-ouvertes.fr/hal-01087915
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems, Proceedings of the 7th ACM & IEEE international conference on Embedded software, pp.114-123, 2007. ,
Architecting principles for systems-of-systems, Systems Engineering, vol.1, issue.4, pp.267-284, 1998. ,
DOI : 10.1002/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D
SoS contract verification using statistical model checking, Proc. 1st Workshop on Advances in Systems of Systems (AiSoS) 2013, pp.67-83, 2013. ,
DOI : 10.4204/EPTCS.133.7
URL : https://hal.archives-ouvertes.fr/hal-01090330
A compositional model to reason about end-to-end qos in stochastic reo connectors Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10), Special section -Brazilian Symposium on Programming Languages (SBLP 2010) and Special section on formal methods for industrial critical systems, Science of Computer Programming, vol.80, 2014. ,
Statistical model checking QoS properties of systems with SBIP, International Journal on Software Tools for Technology Transfer, vol.3, issue.2, pp.171-185, 2015. ,
DOI : 10.1007/s10009-014-0313-6
URL : https://hal.archives-ouvertes.fr/hal-01087822
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
Modeling and simulation support for system of systems engineering applications, 2015. ,
DOI : 10.1002/9781118501757
Statistical Model Checking of Black-Box Probabilistic Systems, CAV, pp.202-215, 2004. ,
DOI : 10.1007/978-3-540-27813-9_16
FMI standard specification. Modelica association, https://www.fmi-standard.org, p.2012 ,
UPDM 2.0 formal specification. OMG, http://www.omg.org/spec, p.2012 ,
OCL language specification. OMG, http://www.omg.org/spec, 2014. ,
Verification and Planning for Stochastic Processes with Asynchronous Events, 2005. ,
Statistical probabilistic model checking with a focus on time-bounded properties, Information and Computation, vol.204, issue.9, pp.1368-1409, 2006. ,
DOI : 10.1016/j.ic.2006.05.002
Guide to Modeling and Simulation of Systems of Systems -User's Reference. Springer Briefs in Computer Science, 2013. ,
OCL Extended with Temporal Logic, 5th Conference on Perspectives of Systems Informatics (PSI) 2003, pp.351-357 ,
DOI : 10.1007/978-3-540-39866-0_35