Patrick Félix

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Topics

Description Language

Intelligent Systems

Automatic Discovery

Asynchronous Circuits

Top Venues

Publications

Tien-Dung Cao, Richard Castanet, Patrick Félix, Kevin Chiew
An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services. J. Softw. 7 (6) (2012)
Tien-Dung Cao, Richard Castanet, Patrick Félix, Gerardo Morales
Testing of Web Services: Tools and Experiments. APSCC (2011)
Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada
Online Testing Framework for Web Services. ICST (2010)
Tien-Dung Cao, Trung-Tien Phan-Quang, Patrick Félix, Richard Castanet
Automated Runtime Verification for Web Services. ICWS (2010)
Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada
Testing Web Services Composition Using the TGSE Tool. SERVICES I (2009)
Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah
Test Case Minimization for Real-Time Systems Using Timed Bound Traces. TestCom (2006)
Ismail Berrada, Richard Castanet, Patrick Félix
Testing Communicating Systems: a Model, a Methodology, and a Tool. TestCom (2005)
Ismail Berrada, Richard Castanet, Patrick Félix
From The Feasability Analysis To Real-Time Test Generation. Stud. Inform. Univ. 3 (2) (2004)