Jump label

Service navigation

Main navigation

You are here:

Sub navigation

  • Staff pages+

Main content

Events & Professional Activities - Dr. Boris Düdder

Talks

  • Synthesizing declarative concurrent programs for robots, Colloquium Talk at Worcester Polytechnic Institute (WPI), Talk, 2016, Worcester, USA, Aug 30 2016
  • Synthesizing Type-safe Compositions in Feature Oriented Software Designs using Staged Composition, COPLAS Talk, 2016, DIKU, University of Copenhagen, Copenhagen, Feb 10 2016
  • Combinatory Synthesis of Classes using Feature Grammars, Proceedings of the 12th International Conference on Formal Aspects of Component Software (FACS'15), Talk, 2015, Rio de Janeiro, Brazil, Oct 14-16 2015
  • Combinatory Synthesis of Classes using Feature Grammars, Colloquium Talk at Worcester Polytechnic Institute (WPI), Talk, 2015, Worcester, USA, Oct 9 2015
  • Modal Logic and Staged Computation, Highlights of Logic, Games and Automata, Prague, Sept. 15–18, 2015
  • Synthesizing Type-safe Compositions in Feature Oriented Software Designs using Staged Composition, ModSyn-PL 2015 at 19th International Software Product Line Conference (SPLC), Nashville, USA, July 21, 2015.
  • Staged Composition Synthesis, Software Engineering 2015, 2015, Dresden, Germany, Feb 2015
  • ArchiType - Type-based Synthesis of Software Connectors, Talk, 2014, Warsaw, Poland, Dec 2014
  • Combinatory Logic Synthesizer, Leveraging Applications of Formal Methods, Verification and Validation, Talk, 2014, Corfu, Greece, Oct 10 2014
  • ArchiType: Automatic Synthesis of Component & Connector-Software Architectures with Bounded Combinatory Logic, Design and Synthesis from Components, Dagstuhl Seminar 14232, Dagstuhl, Germany, June 2-5 2014
  • Connector Synthesis in Combinatory Logic, Invited talk, 2013, Torino, Italy, Nov 25 2013
  • Combinatory Logic Synthesis and Alternation, Presentation at Highlights of Logic, Games and Automata, 2013, Paris, France, Sep 18-21 2013
  • Prototype Implementation of an Inhabitation Algorithm for FCL$(\cap, \leq)$, Presentation at Types 2011, Bergen, Norway, Sep 11, 2011

Program Committee

  • ISoLA 2016 (PC member): 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Crete, Greece, Oct 10-14, 2016.
  • ModSyn-PP 2016 (Organizer): Modular Synthesis of Programs and Processes, Workshop affiliated with ISoLA 2016, 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Crete, Greece, Oct 10-14, 2016.
  • 16th International Conference on Electronic Commerce and Web Technologies - EC-Web 2015, Valencia, Spain, Sep 1-2, 2015.
  • Modular Synthesis of Product Lines (ModSyn-PL) Workshop held at 19th International Software Product Line Conference (SPLC 2015), Nashville, Tennessee, USA, Jul 21 2015.

Events

Membership