( en | de | ru )

 

Disambiguation of "Kamburjan, Eduard"

Author of the publication

copydeleteadd this publication to your clipboard
Programming and Debugging with Semantically Lifted States.

, , , , and . ESWC, volume 12731 of Lecture Notes in Computer Science, page 126-142. Springer, (2021)

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.

Eduard Bröcker

Eduard Köhler

Eduard Roderburg

Eduard Krause

Eduard Rechtmann

 

Other publications of authors with the same name

Stateful Behavioral Types for ABS., and . CoRR, (2018)Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability., and . F-IDE@FM, volume 310 of EPTCS, page 70-85. (2019)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)From post-conditions to post-region invariants: deductive verification of hybrid objects.. HSCC, page 9:1-9:11. ACM, (2021)Formal modeling and analysis of railway operations with active objects., , and . Sci. Comput. Program., (2018)Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification., , and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 3-21. Springer, (2020)HABS Simulator Virtual Machine., , and . (February 2022)Emerging Challenges in Compositionality and Correctness for Digital Twins., , , , , , and . FMDT@FM, volume 3507 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data., , and . ESWC, volume 13261 of Lecture Notes in Computer Science, page 200-216. Springer, (2022)