Patrick Félix

According to our database, Patrick Félix authored at least 8 papers between 2004 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services.

Tien-Dung Cao, Richard Castanet, Patrick Félix, Kevin Chiew

J. Softw., 2012

2011

Testing of Web Services: Tools and Experiments.

Tien-Dung Cao, Richard Castanet, Patrick Félix, Gerardo Morales

Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

2010

Automated Runtime Verification for Web Services.

Tien-Dung Cao, Trung-Tien Phan-Quang, Patrick Félix, Richard Castanet

Proceedings of the IEEE International Conference on Web Services, 2010

Online Testing Framework for Web Services.

Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada

Proceedings of the Third International Conference on Software Testing, 2010

2009

Testing Web Services Composition Using the TGSE Tool.

Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada

Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

2006

Test Case Minimization for Real-Time Systems Using Timed Bound Traces.

Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah

Proceedings of the Testing of Communicating Systems, 2006

2005

Testing Communicating Systems: a Model, a Methodology, and a Tool.

Ismail Berrada, Richard Castanet, Patrick Félix

Proceedings of the Testing of Communicating Systems, 2005

2004

From The Feasability Analysis To Real-Time Test Generation.

Ismail Berrada, Richard Castanet, Patrick Félix

Stud. Inform. Univ., 2004