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

Research output: Contribution to journalArticleAcademic

13 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 201221 Dec 2012
Conference number: 12511
https://www.dagstuhl.de/en/program/calendar/semhp/?semnr=12511

Fingerprint

Model checking
Technical presentations
Computer science

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

Cite this

@article{9b0332fe4ebe477b92b7243097e66aab,
title = "Divide and conquer: the quest for compositional design and analysis (Dagstuhl Seminar 12511)",
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.",
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",
author = "Marieke Huisman and B. Jobstmann and I Schaefer and Stoelinga, {Mari{\"e}lle Ida Antoinette}",
year = "2013",
doi = "10.4230/DagRep.2.12.64",
language = "English",
volume = "2",
pages = "64--88",
journal = "Dagstuhl reports",
issn = "2192-5283",
publisher = "Dagstuhl",
number = "12",

}

Divide and conquer: the quest for compositional design and analysis (Dagstuhl Seminar 12511). / Huisman, Marieke; Jobstmann, B.; Schaefer, I; Stoelinga, Mariëlle Ida Antoinette.

In: Dagstuhl reports, Vol. 2, No. 12, 2013, p. 64-88.

Research output: Contribution to journalArticleAcademic

TY - JOUR

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

AU - Huisman, Marieke

AU - Jobstmann, B.

AU - Schaefer, I

AU - Stoelinga, Mariëlle Ida Antoinette

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

KW - EC Grant Agreement nr.: FP7/318490

KW - EC Grant Agreement nr.: FP7/2007-2013

KW - EC Grant Agreement nr.: FP7/287767

KW - EWI-24801

KW - Design

KW - Algorithms

KW - Languages

KW - Theory

KW - METIS-305904

KW - IR-91467

KW - Verification

U2 - 10.4230/DagRep.2.12.64

DO - 10.4230/DagRep.2.12.64

M3 - Article

VL - 2

SP - 64

EP - 88

JO - Dagstuhl reports

JF - Dagstuhl reports

SN - 2192-5283

IS - 12

ER -