Author of the publication

A Strategy to Deal with Divergent Rewrite Systems.

, and . CTRS, volume 656 of Lecture Notes in Computer Science, page 458-467. Springer, (1992)

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

Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework., , and . FASE, volume 4422 of Lecture Notes in Computer Science, page 57-71. Springer, (2007)ESP-MC: An Experiment in the Use of Verification Tools., , and . ASIAN, volume 1023 of Lecture Notes in Computer Science, page 396-410. Springer, (1995)Modelling Interoperability by CHAM: A Case Study., and . COORDINATION, volume 1061 of Lecture Notes in Computer Science, page 428-431. Springer, (1996)PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication., , , , , and . ASE Workshops, page 65-70. IEEE, (2008)Leveraging privacy profiles to empower users in the digital society., , , and . Autom. Softw. Eng., 31 (1): 16 (June 2024)Improving Integrity Constraint Checking in Deductive Databases., , and . ICDT, volume 326 of Lecture Notes in Computer Science, page 72-86. Springer, (1988)Automatic synthesis of behavior protocols for composable web-services., , , and . ESEC/SIGSOFT FSE, page 141-150. ACM, (2009)Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams., , , and . ModComp@MoDELS, volume 1281 of CEUR Workshop Proceedings, page 67-77. CEUR-WS.org, (2014)A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level., and . WADS, volume 4615 of Lecture Notes in Computer Science, page 210-236. Springer, (2006)Relating CHAM Descriptions of Software Architectures., and . IWSSD, page 66-74. IEEE Computer Society, (1996)