Boris Düdder

Boris Düdder

Associate Professor

Member of:

    ORCID: 0000-0002-0241-7729

    Publication year:
    All
    1 - 4 out of 4Page size: 10
    1. 2016

    2. A long and winding road towards modular synthesis

      Heineman, G. T., Bessai, J., Duedder, Boris & Rehof, J., 1 Jan 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 303-317 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    3. Combinatory process synthesis

      Bessai, J., Dudenhefner, A., Duedder, Boris, Martens, M. & Rehof, J., 1 Jan 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 266-281 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    4. Combinatory synthesis of classes using feature grammars

      Bessai, J., Duedder, Boris, Heineman, G. T. & Rehof, J., 1 Jan 2016, Formal Aspects of Component Software - 12th International Conference, FACS 2015, Revised Selected Papers. Braga, C. & Ölveczky, P. C. (eds.). Springer Verlag, p. 123-140 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9539).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    5. ModSyn-PP: Modular synthesis of programs and processes track introduction

      Duedder, Boris, Heineman, G. T. & Rehof, J., 1 Jan 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 261-265 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    ID: 172785813