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

A contract-based approach to adaptivity., , and . J. Log. Algebraic Methods Program., 80 (3-5): 180-193 (2011)SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model., , and . LASER Summer School, volume 6029 of Lecture Notes in Computer Science, page 41-90. Springer, (2008)Quantitative Refinement for Weighted Modal Transition Systems., , , , , and . MFCS, volume 6907 of Lecture Notes in Computer Science, page 60-71. Springer, (2011)Weighted Modal Transition Systems, , , , , and . CoRR, (2012)A Modal Specification Theory for Components with Data., , , , and . FACS, volume 7253 of Lecture Notes in Computer Science, page 61-78. Springer, (2011)Weighted modal transition systems., , , , , and . Formal Methods Syst. Des., 42 (2): 193-220 (2013)A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata., , , , and . TASE, page 77-84. IEEE Computer Society, (2012)Extending modal transition systems with structured labels., , , , and . Math. Struct. Comput. Sci., 22 (4): 581-617 (2012)A modal specification theory for components with data., , , , and . Sci. Comput. Program., (2014)Behaviour Protocols for Interacting Stateful Components., , and . FACS@FMWeek, volume 263 of Electronic Notes in Theoretical Computer Science, page 47-66. Elsevier, (2009)