|
Search the dblp DataBase
Sylvain Rampacek:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tarek Melliti, Celine Boutrous-Saab, Sylvain Rampacek
Verifying Correctness of Web Services Choreography. [Citation Graph (0, 0)][DBLP] ECOWS, 2006, pp:306-318 [Conf]
- Serge Haddad, Tarak Melliti, Patrice Moreaux, Sylvain Rampacek
Modelling Web Services Interoperability. [Citation Graph (0, 0)][DBLP] ICEIS (4), 2004, pp:287-295 [Conf]
- Serge Haddad, Patrice Moreaux, Sylvain Rampacek
Client Synthesis for Web Services by Way of a Timed Semantics. [Citation Graph (0, 0)][DBLP] ICEIS (4), 2006, pp:19-26 [Conf]
Formal Modeling and Discrete-Time Analysis of BPEL Web Services. [Citation Graph (, )][DBLP]
A Formal Semantics and a Client Synthesis for a BPEL Service. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|