Boris Düdder -

Registered user since Tue 15 Jun 2021

Name:Boris Düdder

Country:Denmark

Affiliation:University of Copenhagen

Personal website: https://www.duedder.net

GitHub: https://github.com/BorisDuedder

Research interests:Formal Methods and Software Engineering

Contributions

2023

ICSSP

Author of Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs within the ICSSP 2023-track

2021

ECOOP

Author of Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems within the ECOOP Artifacts-track
Author of Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems within the ECOOP Technical Papers-track

2018

PEPM

Author of Towards Language-independent Code Synthesis (Poster/Demo Talk) within the PEPM 2018-track