, Theory and Practice of Software, pp.96-111, 2011.
, 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 realtime 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.
, A formal framework for black-box conformance testing of distributed real-time systems, IJCCBS, vol.3, issue.1, pp.26-43, 2012.
, Black-box conformance testing for real-time systems
, Vérification & Test Formels d'un Système de Partage de Dossiers Médicaux, 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 (Test-Com'05), vol.3502, 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.
, Distinguishing sequences, Dagstuhl Seminar Volume : Model-based Testing of Reactive Systems (MOTRES), 2004.
, Model-Based Testing for Real-Time Systems, 2007.
, Contributions to Model-Based Testing of Dynamic and Distributed Real-Time Systems, Habilitation à diriger des recherches, École Nationale d'Ingénieurs de Sfax (Tunisie), 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.
, 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.
, Safe and Efficient Runtime Testing Framework Applied in Dynamic and Distributed Systems, Science of Computer Programming, vol.122, issue.C, pp.1-28, 2016.
, 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.
, Automated significant load testing for WS-BPEL compositions, Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, 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.
, Isabelle/HOL -A Proof Assistant for Higher-Order Logic, LNCS, vol.2283, 2002.
, Specification and verification of concurrent systems in cesar, Proceedings of the 5th Colloquium on International Symposium on Programming, pp.337-351, 1982.
, 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.