, PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool, Proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, 2011.
DOI : 10.1007/978-3-642-22944-2_28
, Principles of Model Checking (Representation and Mind Series), 2008.
, Stochastic modeling and performance analysis of multimedia socs, International conference on Systems, Architectures, Modeling and Simulation, SAMOS'13, pp.145-154, 2013.
, Statistical abstraction and model-checking of large heterogeneous systems, Forum for fundamental research on theory, pp.32-46, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01055148
, Rigorous Component-Based System Design Using the BIP Framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011.
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395
, Verification of an AFDX Infrastructure Using Simulations and Probabilities, Runtime Verification, RV'10, 2010.
DOI : 10.1007/978-3-642-16612-9_25
, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298
, Statistical Model Checking QoS Properties of Systems with SBIP, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation , ISOLA'12, pp.327-341, 2012.
DOI : 10.1007/978-3-642-34026-0_25
URL : https://hal.archives-ouvertes.fr/hal-01087822
, Partial Order Methods for Statistical Model Checking and Simulation, Forum for fundamental research on theory, pp.59-74, 2011.
DOI : 10.1145/1755952.1755987
, 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
URL : http://vbn.aau.dk/da/publications/statistical-model-checking-for-biological-systems(9d48f636-7c6f-47d9-a59d-9bcb189d4ed0).html
, Uppaal SMC tutorial, International Journal on Software Tools for Technology Transfer, vol.16, issue.2, pp.397-415, 2015.
DOI : 10.1007/s10009-014-0361-y
, Approximate Probabilistic Model Checking, International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI'04, pp.73-84, 2004.
DOI : 10.1007/978-3-540-24622-0_8
, APMC 3.0: Approximate verification of discrete and continuous time markov chains, Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems, QEST '06, pp.129-130, 2006.
, A Platform for High Performance Statistical Model Checking ??? PLASMA, Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'12, pp.498-503, 2012.
DOI : 10.1007/978-3-642-28756-5_37
URL : https://hal.archives-ouvertes.fr/hal-01087824
, A Rewriting Based Model for Probabilistic Distributed Object Systems, FMOODS, pp.32-46, 2003.
DOI : 10.1007/3-540-45657-0_17
, PRISM 4.0: Verification of Probabilistic Real-Time Systems, Proceedings of the 23rd international conference on Computer aided verification, pp.585-591, 2011.
DOI : 10.1007/3-540-45657-0_17
URL : https://hal.archives-ouvertes.fr/hal-00648035
, Building distributed sensor network applications using BIP, 2015 IEEE Sensors Applications Symposium (SAS), 2015.
DOI : 10.1109/SAS.2015.7133617
URL : https://hal.archives-ouvertes.fr/hal-01212365
, A model-based design flow for CAN-based systems, 13th International CAN Conference, iCC'13, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01212320
, Using BIP to reinforce correctness of resource-constrained IoT applications, 10th IEEE International Symposium on Industrial Embedded Systems (SIES), pp.245-253, 2015.
DOI : 10.1109/SIES.2015.7185066
URL : https://hal.archives-ouvertes.fr/hal-01213705
, Object Class Recognition and Localization Using Sparse Features with Limited Receptive Fields, International Journal of Computer Vision, vol.5, issue.7, pp.45-57, 2008.
DOI : 10.1007/s11263-007-0118-0
, Rigorous System-level Modeling and Performance Evaluation for Embedded System Design, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01148690
, 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
, Building faithful high-level models and performance evaluation of manycore embedded systems, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), pp.209-218, 2014.
DOI : 10.1109/MEMCOD.2014.6961864
URL : https://hal.archives-ouvertes.fr/hal-01087671
, Faster Statistical Model Checking by Means of Abstraction and Learning, Proceedings of the 5th International Conference on Runtime Verification, pp.340-355, 2014.
DOI : 10.1007/978-3-319-11164-3_28
URL : https://hal.archives-ouvertes.fr/hal-01087676
, VESTA: A statistical model-checker and analyzer for probabilistic systems, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), pp.251-252, 2005.
DOI : 10.1109/QEST.2005.42
, Sequential Tests of Statistical Hypotheses, The Annals of Mathematical Statistics, vol.16, issue.2, pp.117-186, 1945.
DOI : 10.1214/aoms/1177731118
, Verification and Planning for Stochastic Processes with Asynchronous Events, 2005.
, Ymer: A Statistical Model Checker, COMPUTER AIDED VERIFICATION, CAV'05, pp.429-433, 2005.
DOI : 10.1007/11513988_43
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.9139