( en | de | ru )

 

Disambiguation of "Schlatte, Rudolf"

Author of the publication

copydeleteadd this publication to your clipboard
Ontology-based Visual Querying with OptiqueVQS: Statoil and Siemens Cases

, , , , , , , , , and . Norwegian Big Data Symposium (NOBIDS) 2016, Trondheim, Norway, CEUR, (2016)To appear.

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 Fricke

Rudolf Gäth

Rudolf Gaus

Rudolf Gellenbeck

 

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)Scalable End-User Access to Big Data, , , , , , , , , and 6 other author(s). Big Data Computing, CRC Press, (2013)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)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)Designing Distributed Control with Hybrid Active Objects., , , and . ISoLA (4), volume 12479 of Lecture Notes in Computer Science, page 88-108. Springer, (2020)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)A Note on Idleness Detection of Actor Systems.. The Logic of Software. A Tasting Menu of Formal Methods, volume 13360 of Lecture Notes in Computer Science, page 437-445. Springer, (2022)Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study., , , , and . ESOCC, volume 7592 of Lecture Notes in Computer Science, page 91-106. Springer, (2012)