Author of the publication

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.

 

Other publications of authors with the same name

Compositional reasoning about active objects with shared futures., and . Formal Aspects Comput., 27 (3): 551-572 (2015)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)Program Verification for Exception Handling on Active Objects Using Futures., , and . SEFM, volume 10886 of Lecture Notes in Computer Science, page 73-88. Springer, (2018)Consistency-preserving evolution planning on feature models., , , , , , , and . SPLC (A), page 8:1-8:12. ACM, (2020)LAGC Semantics of Concurrent Programming Languages., , , , , and . CoRR, (2022)Translating Active Objects into Colored Petri Nets for Communication Analysis., , , , and . FSEN, volume 10522 of Lecture Notes in Computer Science, page 84-99. Springer, (2017)History-Based Specification and Verification of Scalable Concurrent and Distributed Systems., , , and . ICFEM, volume 9407 of Lecture Notes in Computer Science, page 217-233. Springer, (2015)A sound and complete reasoning system for asynchronous communication with shared futures., and . J. Log. Algebraic Methods Program., 83 (5-6): 360-383 (2014)Modular Soundness Checking of Feature Model Evolution Plans., , , , and . ICTAC, volume 14446 of Lecture Notes in Computer Science, page 417-437. Springer, (2023)Session-Based Compositional Analysis for Actor-Based Languages Using Futures., , and . ICFEM, volume 10009 of Lecture Notes in Computer Science, page 296-312. (2016)