4
Publications
88
Citations
4
H-Index
2009
Active since
Patrick Félix is an author at Université de Bordeaux specializing in systems engineering, software analysis, and verification.
Top concepts
EngineeringVerificationProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringFormal MethodsSoftware DesignSystem Software
Publications per year
2009–2010
4
4
Online Testing Framework for Web Services
Tien-Dung Cao, Patrick Félix, Richard Castanet et al. · 2010 · 31 citations
Automated Runtime Verification for Web Services
Tien-Dung Cao, Trung-Tien Phan-Quang, Patrick Félix et al. · 2010 · 26 citations
Web Service Specification, Engineering, Web Service Modeling +15
Testing Web Services Composition Using the TGSE Tool
Tien-Dung Cao, Patrick Félix, Richard Castanet et al. · 2009 · 12 citations
Web Service Specification, Web Services Composition, Engineering +22
Rows per page
1–4 of 4