( en | de | ru )

 

Disambiguation of "Schlatte, Rudolf"

Author of the publication

copydeleteadd this publication to your clipboard
Software and Reversible Systems: A Survey of Recent Activities.

, , , , , , , , , and 1 other author(s). Selected Results of the COST Action IC1405, volume 12070 of Lecture Notes in Computer Science, Springer, (2020)

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.

Gerald Schlatte

Rudolf Köhling

Rudolf Hoppe

Rudolf Tauber

Rudolf Schäfer

 

Other publications of authors with the same name

Integrating deployment architectures and resource consumption in timed object-oriented models., , and . J. Log. Algebraic Methods Program., 84 (1): 67-91 (2015)The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems., , , , , and . Int. J. Softw. Tools Technol. Transf., 14 (5): 567-588 (2012)Scalable End-User Access to Big Data, , , , , , , , , and 6 other author(s). Big Data Computing, CRC Press, (2013)Emerging Challenges in Compositionality and Correctness for Digital Twins., , , , , , and . FMDT@FM, volume 3507 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Modeling Application-Level Management of Virtualized Resources in ABS., , and . FMCO, volume 7542 of Lecture Notes in Computer Science, page 89-108. Springer, (2011)Validating Timed Models of Deployment Components with Parametric Concurrency., , , and . FoVeOOS, volume 6528 of Lecture Notes in Computer Science, page 46-60. Springer, (2010)Program Verification for Exception Handling on Active Objects Using Futures., , and . SEFM, volume 10886 of Lecture Notes in Computer Science, page 73-88. Springer, (2018)Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS., , and . ICFEM, volume 7635 of Lecture Notes in Computer Science, page 71-86. Springer, (2012)Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins., , , , and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 188-204. Springer, (2022)Designing Distributed Control with Hybrid Active Objects., , , and . ISoLA (4), volume 12479 of Lecture Notes in Computer Science, page 88-108. Springer, (2020)