PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Salaün, Gwen"

Author of the publication

copydeleteadd this publication to your clipboard
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components.

, , , , and . Electron. Notes Theor. Comput. Sci., (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Salaün, Gwen
add a person with the name Salaün, Gwen
 

Other publications of authors with the same name

ITACA: An integrated toolbox for the automatic composition and adaptation of Web services., , , , , , and . ICSE, page 627-630. IEEE, (2009)VerChor: A Framework for the Design and Verification of Choreographies., , , and . IEEE Trans. Services Computing, 9 (4): 647-660 (2016)Verification of a Dynamic Management Protocol for Cloud Applications., , , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 178-192. Springer, (2013)Handling Data-Based Concurrency in Context-Aware Service Protocols, , , and . FOCLASA, volume 30 of EPTCS, page 62-77. (2010)Negotiation Among Web Services Using LOTOS/CADP., , and . ECOWS, volume 3250 of Lecture Notes in Computer Science, page 198-212. Springer, (2004)Compatibility Checking for Asynchronously Communicating Software., , and . FACS, volume 8348 of Lecture Notes in Computer Science, page 310-328. Springer, (2013)Verifying Timed BPMN Processes Using Maude., and . COORDINATION, volume 10319 of Lecture Notes in Computer Science, page 219-236. Springer, (2017)Rigorous design and deployment of IoT applications., , , , and . FormaliSE@ICSE, page 21-30. IEEE / ACM, (2019)On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP., , and . Sci. Comput. Program., 74 (3): 100-127 (2009)Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09)., and . Sci. Comput. Program., 77 (7-8): 777-778 (2012)