( en | de | ru )

 

Disambiguation of "Kamburjan, Eduard"

Author of the publication

copydeleteadd this publication to your clipboard
A Unified and Formal Programming Model for Deltas and Traits.

, , , and . FASE, volume 10202 of Lecture Notes in Computer Science, page 424-441. Springer, (2017)

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 Perings

Eduard Schierbaum

Eduard Gerresheim

Eduard Schnürer

Eduard Klausmann

 

Other publications of authors with the same name

Stateful Behavioral Types for ABS., and . CoRR, (2018)Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects., , , and . CoRR, (2019)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)From post-conditions to post-region invariants: deductive verification of hybrid objects.. HSCC, page 9:1-9:11. ACM, (2021)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)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)Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report).. CoRR, (2019)Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users., , , , , and . CoRR, (2023)