Automatic abstraction and verification of verilog models, Proceedings of the 41st Annual Design Automation Conference, DAC '04, pp.218-223, 2004. ,
A semantic condition for data independence and applications in hardware verification, Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, vol.250, pp.39-54, 2007. ,
A simplified approach for testing real-time systems based on action refinement, ISoLA, volume RNTI-SM-1 of Revue des Nouvelles Technologies de l'Information, pp.191-202, 2007. ,
Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00344237
Off-line test selection with test purposes for non-deterministic timed automata, Tools and Algorithms for the Construction and Analysis of Systems -17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, pp.96-111, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00550923
Off-line test selection with test purposes for non-deterministic timed automata, Logical Methods in Computer Science, vol.8, issue.4, pp.1-33, 2012. ,
URL : https://hal.archives-ouvertes.fr/inria-00550923
A game approach to determinize timed automata, International Conference on Foundations of Software Science and Computational Structures, pp.245-259, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00524830
A game approach to determinize timed automata, Formal Methods in System Design, vol.46, issue.1, pp.42-80, 2015. ,
URL : https://hal.archives-ouvertes.fr/inria-00524830
Scalable exploration of functional dependency by interpolation and incremental sat solving, IEEE/ACM International Conference on Computer-Aided Design, pp.227-233, 2007. ,
Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs, Workshop, pp.52-71, 1982. ,
Dynamic symmetry reduction, Tools and Algorithms for the Construction and Analysis of Systems, pp.382-396, 2005. ,
Introduction to HOL: A Theorem Proving Environment for Higher Order Logic, 1993. ,
Time-optimal real-time test case generation using UPPAAL, FATES'03, 2003. ,
Symmetry reduction criteria for software model checking, Model Checking Software, pp.22-41, 2002. ,
Generalized reversible rules, Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design, FMCAD '98, pp.403-420, 1998. ,
Functional dependency for verification reduction, Computer Aided Verification, pp.268-280, 2004. ,
Interoperability: What it Means, Why it Matters, Journal of AHIMA, vol.77, issue.1, pp.26-30, 2006. ,
Model-Based Testing for Real-Time Systems, 2007. ,
A formal framework for blackbox conformance testing of distributed real-time systems, IJCCBS, vol.3, issue.1, pp.26-43, 2012. ,
Contributions to Model-Based Testing of Dynamic and Distributed Real-Time Systems, Habilitationà diriger des recherches, 2018. ,
URL : https://hal.archives-ouvertes.fr/tel-02495153
A model-based approach to combine conformance and load tests: an ehealth case study, IJCCBS, vol.8, issue.3/4, pp.282-310, 2018. ,
Black-box conformance testing for real-time systems, 11th International SPIN Workshop on Model Checking of Software (SPIN'04), vol.2989, 2004. ,
State identification problems for finite-state transducers, 2005. ,
State identification problems for timed automata, The 17th IFIP Intl. Conf. on Testing of Communicating Systems (TestCom'05), vol.3502, 2005. ,
Interesting properties of the conformance relation tioco, ICTAC'06, 2006. ,
State identification problems for finite-state transducers, Formal Approaches to Testing and Runtime Verification (FATES-RV'06), 2006. ,
Semantical considerations on modal logic, Acta Philosophica Fennica, vol.16, pp.83-94, 1963. ,
Symmetry reduction for probabilistic model checking, Computer Aided Verification, pp.234-248, 2006. ,
Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems, Proceedings of the 24th IFIP WG 6.1 International Conference Testing Software and Systems (ICTSS'12), pp.71-86, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01482412
Selective test generation approach for testing dynamic behavioral adaptations, Testing Software and Systems -27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, pp.224-239, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01470172
Runtime testing approach of structural adaptations for dynamic and distributed systems, International Journal of Computer Applications in Technology, vol.51, issue.4, pp.259-272, 2015. ,
Safe and Efficient Runtime Testing Framework Applied in Dynamic and Distributed Systems, Science of Computer Programming (SCP), vol.122, issue.C, pp.1-28, 2016. ,
Automated significant load testing for WS-BPEL compositions, Sixth IEEE International Conference on Software Testing, Verification and Validation, pp.144-153, 2013. ,
A model based approach to combine load and functional tests for service oriented architectures, VECoS, pp.123-140, 2016. ,
Conformance testing of WS-BPEL compositions under various load conditions, 36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, p.371, 2012. ,
Model-based conformance testing of WS-BPEL compositions, 36th Annual IEEE Computer Software and Applications Conference Workshops, COMPSAC 2012, pp.452-457, 2012. ,
Study on the limitations of ws-bpel compositions under load conditions, The Computer Journal, vol.58, issue.3, pp.385-402, 2015. ,
Towards a small model theorem for data independent systems in alloy, Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, vol.128, pp.37-52, 2004. ,
The art of software testing, 1979. ,
Proof Assistant for Higher-Order Logic, LNCS, vol.2283 ,
Better verification through symmetry, Formal Methods in System Design, vol.9, issue.1, pp.41-75, 1996. ,
Metrics for assessing blockchain-based healthcare decentralized apps, IEEE 19th International Conference on e-Health Networking, 2017. ,
Specification and verification of concurrent systems in cesar, Proceedings of the 5th Colloquium on International Symposium on Programming, pp.337-351, 1982. ,
Litecoin: An introduction to litecoin cryptocurrency and litecoin mining, 2017. ,
Bitcoin: A peer-to-peer electronic cash system, 2008. ,
Compositional specification of timed systems, 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96, vol.1046, 1996. ,
Automatic abstraction for verification of cyber-physical systems, Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10, pp.12-21, 2010. ,
Blockchain technology for healthcare: facilitating the transition to patient-driven interoperability. Computational and structural biotechnology journal, vol.16, pp.224-230, 2018. ,
Replication and abstraction: Symmetry in automated formal verification, Symmetry, vol.2, issue.2, pp.799-847, 2010. ,