Divide and conquer: the quest for compositional design and analysis (Dagstuhl Seminar 12511)

Marieke Huisman, B. Jobstmann, I Schaefer, Mariëlle Ida Antoinette Stoelinga

    Research output: Contribution to journal › Article › Academic

    14 Downloads (Pure)

    Abstract

    On December 17 to 21, the Dagstuhl seminar "Divide and Conquer: the Quest for Compositional Design and Analysis" was organized. Topic was the compositionally, a central theme in computer science, but its applications, methods, techniques are scattered around many different disciplines. Therefore, this workshop brought together scientists from different disciplines, including deductive verification, model checking, software product lines, component interfaces.
    Original languageEnglish
    Pages (from-to)64-88
    Number of pages25
    JournalDagstuhl reports
    Volume2
    Issue number12
    DOIs
    Publication statusPublished - 2013
    EventDagstuhl Seminar 2012: Divide and Conquer: the Quest for Compositional Design and Analysis - Schloss Dagstuhl, Wadern, Germany
    Duration: 16 Dec 2012 → 21 Dec 2012
    Conference number: 12511
    https://www.dagstuhl.de/en/program/calendar/semhp/?semnr=12511

    Keywords

    • EC Grant Agreement nr.: FP7/318490
    • EC Grant Agreement nr.: FP7/2007-2013
    • EC Grant Agreement nr.: FP7/287767
    • EWI-24801
    • Design
    • Algorithms
    • Languages
    • Theory
    • METIS-305904
    • IR-91467
    • Verification

    Access to Document

      Fingerprint Dive into the research topics of 'Divide and conquer: the quest for compositional design and analysis (Dagstuhl Seminar 12511)'. Together they form a unique fingerprint.

      Cite this