Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip, 2006 Formal Methods in Computer Aided Design, 2006. ,
DOI : 10.1109/FMCAD.2006.10
URL : https://hal.archives-ouvertes.fr/hal-00311006
Transaction-Level Modeling with SystemC. TLM Concepts and Applications for Embedded Systems, 2005. ,
A framework for object oriented hardware specification, verification, and synthesis, Proceedings of the 38th conference on Design automation , DAC '01, pp.413-418, 2001. ,
DOI : 10.1145/378239.378537
Dynamic partial-order reduction for model checking software, Symposium on Principles of programming languages (POPL), pp.110-121, 2005. ,
Trace theory Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency, pp.279-324, 1987. ,
The Octahedron Abstract Domain, Static Analysis, 11th International Symposium, pp.312-327, 2004. ,
DOI : 10.1007/978-3-540-27864-1_23
The octagon abstract domain, In: WCRE, p.310, 2001. ,
Temporal reasoning in fuzzy time petri nets, LAAS Toulouse, 1998. ,
Automatic Derivation of Timing Constraints by Failure Analysis, CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, pp.195-208, 2002. ,
DOI : 10.1007/3-540-45657-0_15
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), 2005. ,
DOI : 10.1109/ACSD.2005.23
URL : https://hal.archives-ouvertes.fr/hal-00198681
Kronos: A model-checking tool for real-time systems, Proc. 1998 Computer-Aided Verification , CAV'98, 1998. ,
URL : https://hal.archives-ouvertes.fr/hal-00374788