( en | de | ru )

 

Disambiguation of "Kamburjan, Eduard"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Representing Processes and Reasoning with Process Descriptions on the Web.

, , , , , and . TGDK, 2 (1): 1:1-1:32 (2024)

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 Kern

Eduard Sorkau

Eduard Welte

Eduard Zaglmayr

Eduard Zimmermann

 

Other publications of authors with the same name

Stateful Behavioral Types for ABS., and . CoRR, (2018)Formal modeling and analysis of railway operations with active objects., , and . Sci. Comput. Program., (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)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)Deductive verification of active objects with Crowbar., , and . Sci. Comput. Program., (March 2023)Locally Static, Globally Dynamic Session Types for Active Objects., , and . Gabbrielli's Festschrift, volume 86 of OASIcs, page 1:1-1:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Emerging Challenges in Compositionality and Correctness for Digital Twins., , , , , , and . FMDT@FM, volume 3507 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)