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

Conditional transition systems with upgrades., , , and . Sci. Comput. Program., (2020)A Pre-congruence Format for XY-simulation., and . FSEN, volume 9392 of Lecture Notes in Computer Science, page 215-229. Springer, (2015)Basic behavioral models for software product lines: Expressiveness and testing pre-orders., , and . Sci. Comput. Program., (2016)Input-output conformance testing for software product lines., and . J. Log. Algebraic Methods Program., 85 (6): 1131-1153 (2016)Coalgebraic modal logic and games for coalgebras with side effects., , , and . CoRR, (2021)Input-output conformance testing based on featured transition systems., and . SAC, page 1272-1278. ACM, (2014)Hierarchical states in the Compositional Interchange Format, , , and . SOS, volume 32 of EPTCS, page 42-56. (2010)Bisimulation Maps in Presheaf Categories., and . MFPS, volume 347 of Electronic Notes in Theoretical Computer Science, page 5-24. Elsevier, (2019)Forward and Backward Steps in a Fibration., , , and . CALCO, volume 270 of LIPIcs, page 6:1-6:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Design of asynchronous supervisors, , and . CoRR, (2009)