Author of the publication

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.

 

Other publications of authors with the same name

Adding Roles to CORBA Objects., , , , and . IEEE Trans. Software Eng., 29 (3): 242-260 (2003)Componentes Software en Linda, Un caso de estudio., and . JISBD, page 363-374. (2002)A Lazy Splitting System for Forum., and . APPIA-GULP-PRODE, page 247-258. (1997)QoS-enabled and self-adaptive connectors for Web Services composition and coordination., , and . Computer Languages, Systems & Structures, 37 (1): 2-23 (2011)A semantic framework for the abstract model checking of tccp programs., , , and . Theor. Comput. Sci., 346 (1): 58-95 (2005)On the Synthesis of Secure Services Composition., , , , and . Engineering Secure Future Internet Services and Systems, volume 8431 of Lecture Notes in Computer Science, Springer, (2014)Configuring a Context-Aware Middleware for Wireless Sensor Networks., , , and . Sensors, 12 (7): 8544-8570 (2012)Composition of Self-Adapting Components for Customizable Systems., , and . Comput. J., 51 (4): 481-496 (2008)SeaClouds: Seamless adaptive multi-cloud management of service-based applications., , , , , , and . CIbSE, page 95-108. Curran Associates, (2014)A Case Study in Model-Based Adaptation of Web Services., , , , and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 112-126. Springer, (2010)