« Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems », Formal Asp, Comput, vol.3, issue.3, pp.253-283, 1997. ,
« Hit-or-Jump : An Algorithm for Embedded Testing with Applications to IN Services », Formal Methods for Protocol Engineering And Distributed Systems, pp.41-56, 1999. ,
« Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints, The 12-th IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT), 2008. ,
A Security Model with Non Atomic Actions and Deadlines, pp.186-196, 2005. ,
« Integration of Timed Security Policies within a TEFSM Specification, 2008. ,
An Access Control Language for Security Policies with Complex Constraints, Proceedings of the Network and Distributed System Security Symposium, 2001. ,