Author of the publication

Basic Operations over Models Containing Subset and Union Properties.

, and . MoDELS, volume 4199 of Lecture Notes in Computer Science, page 469-483. Springer, (2006)

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

Rule-based update transformations and their application to model refactorings.. Softw. Syst. Model., 4 (4): 368-385 (2005)An Architecture Exploration Environment for System on Chip Design., , , , , , , and . Nord. J. Comput., 12 (4): 361-378 (2005)Beyond CRUD., and . REST: From Research to Practice, Springer, (2011)Distributed virtual machine consolidation: A systematic mapping study., , and . Comput. Sci. Rev., (2018)On the Verification and Validation of AI Navigation Algorithms., , , , , and . CoRR, (2021)Analyzing Consistency of Behavioral REST Web Service Interfaces, , and . WWV, volume 98 of EPTCS, page 77-92. (2012)Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud., , , , , and . IFM, volume 8739 of Lecture Notes in Computer Science, page 103-119. Springer, (2014)A Mapping Language from Models to DI Diagrams., , and . MoDELS, volume 4199 of Lecture Notes in Computer Science, page 454-468. Springer, (2006)Rialto Profile in the SMW Toolkit., , and . ACSD, page 233-234. IEEE Computer Society, (2003)A Multi-objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud., , and . UCC, page 341-347. IEEE Computer Society, (2015)