( en | de | ru )

 

Disambiguation of "Kamburjan, Eduard"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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 Ott

Eduard Roka

Eduard Rinke

Eduard Knorr

Eduard Vollmering

 

Other publications of authors with the same name

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)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)From post-conditions to post-region invariants: deductive verification of hybrid objects.. HSCC, page 9:1-9:11. ACM, (2021)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)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)Uniform Modeling of Railway Operations., and . FTSCS, volume 694 of Communications in Computer and Information Science, page 55-71. (2016)Session-Based Compositional Analysis for Actor-Based Languages Using Futures., , and . ICFEM, volume 10009 of Lecture Notes in Computer Science, page 296-312. (2016)