Managing the verification trajectory, International Journal on Software Tools for Technology Transfer (STTT), vol.4, issue.2, pp.246-259, 2003. ,
DOI : 10.1007/s10009-002-0078-1
Model-checking for real-time systems, International Symposium on Fundamentals of Computation Theory, pp.62-88, 1995. ,
DOI : 10.1007/3-540-60249-6_41
Principles of model checking, 2008. ,
The discipline of organizing, Bulletin of the American Society for Information Science and Technology, vol.40, issue.1, 2013. ,
DOI : 10.1002/bult.2013.1720400108
The Theory and Practice of A Formal Method: NewCoRe, In: IFIP Congress, issue.1, pp.35-44, 1994. ,
What went wrong: Explaining counterexamples In: Model Checking Software, pp.121-136, 2003. ,
DOI : 10.1007/3-540-44829-2_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.547
Basic concepts and taxonomy of dependable and secure computing. Dependable and Secure Computing, IEEE Transactions on, vol.1, pp.11-33, 2004. ,
A theory of diagnosis from first principles. Artificial intelligence, pp.57-95, 1987. ,
Model-based diagnosis or reasoning from first principles. IEEE Intelligent Systems, pp.32-37, 2003. ,
DOI : 10.1109/mis.2003.1200725
Failure Diagnosis of Complex Systems, Resilience Assessment and Evaluation of Computing Systems, pp.239-261, 2012. ,
DOI : 10.1007/978-3-642-29032-9_12
A review of process fault detection and diagnosis, Computers & Chemical Engineering, vol.27, issue.3, pp.293-311, 2003. ,
DOI : 10.1016/S0098-1354(02)00160-6
BEEM: Benchmarks for explicit model checkers In: Model Checking Software, pp.263-267, 2007. ,
Toward a technology for organizational memories, IEEE Intelligent Systems, vol.13, issue.3, pp.40-48, 1998. ,
DOI : 10.1109/5254.683209
Ontologies for knowledge management, Handbook on ontologies, pp.713-734, 2009. ,
Conceptual interoperability through Models Federation, Semantic Information Federation Community Workshop, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00905036
Fiacre: an Intermediate Language for Model Verification in the Topcased Environment, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00262442
Improving Model Checking with Context Modelling, Advances in Software Engineering, vol.6, issue.1, pp.9-99, 2012. ,
DOI : 10.1016/j.ins.2006.03.008
URL : https://hal.archives-ouvertes.fr/hal-00738735
Case-based reasoning. Kaufmann, 1997. ,
Organizing problem and sample cases for model-based diagnosis. Submitted in Second International Workshop on Patterns in Model Engineering co-located with MODELS, 2016. ,
Towards Effective Model Checking, 2001. ,
DiVinE 3.0 ??? An Explicit-State Model Checker for Multithreaded C & C++ Programs, Computer Aided Verification, pp.863-868, 2013. ,
DOI : 10.1007/978-3-642-39799-8_60
Model Classifications and Automated Verification, pp.149-163, 2007. ,
DOI : 10.1007/978-3-540-79707-4_12