Concepedia

Sylvain Rampacek

SR

6

Publications

100

Citations

6

H-Index

2004

Active since

Affiliations

Université de Bourgogne(Current)

Université Paris Dauphine-PSL

Université d'Évry Val-d'Essonne

Sylvain Rampacek is an author at Université de Bourgogne specializing in formal methods, formal verification, and software engineering.

Top concepts

EngineeringSemantic WebFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationSystems EngineeringSoftware EngineeringVerificationCommunication

Publications per year

2004–2012

6

Publications

6

MODELLING WEB SERVICES INTEROPERABILITY

Serge Haddad, Tarek Melliti, Patrice Moreaux et al. · 2004 · 30 citations · Full text

Verifying Correctness of Web Services Choreography

Tarek Melliti, Celine Boutrous-Saab, Sylvain Rampacek · 2006 · 23 citations

Web Services Choreography, Web Service Specification, Engineering +18

An Integrated Framework for Web Services Orchestration

Céline Boutrous Saab, Demba Coulibaly, Serge Haddad et al. · International Journal of Web Services Research · 2009 · 12 citations

Web Service Specification, Engineering, Software Engineering +17

Temporal Logic To Query Semantic Graphs Using The Model Checking Method

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle · Journal of Software · 2012 · 12 citations · Full text

Formal modelling and discrete-time analysis of BPEL web services

Radu Mateescu, Sylvain Rampacek · International Journal of Simulation and Process Modelling · 2008 · 12 citations · Full text

Rows per page

1–5 of 6