( en | de | ru )

 

Disambiguation of "Porres, Ivan"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Christian Porres

Daniel Porres Knoblauch

Svilen Ivanov

Sarah Ivanovas

Natalie Ivanits

 

Other publications of authors with the same name

Distributed virtual machine consolidation: A systematic mapping study., , and . Comput. Sci. Rev., (2018)An Architecture Exploration Environment for System on Chip Design., , , , , , , and . Nord. J. Comput., 12 (4): 361-378 (2005)Rule-based update transformations and their application to model refactorings.. Softw. Syst. Model., 4 (4): 368-385 (2005)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)Beyond CRUD., and . REST: From Research to Practice, Springer, (2011)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)Energy-Aware Dynamic VM Consolidation in Cloud Data Centers Using Ant Colony System., , , , , , and . IEEE CLOUD, page 104-111. IEEE Computer Society, (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)