Issue
Dagstuhl Reports, Volume 4, Issue 10
-
Part of:
Volume:
Dagstuhl Reports, Volume 4
Journal: Dagstuhl Reports (DagRep)
Event
Dagstuhl Seminars 14411, 14412, 14421, 14441, 14442Publication Details
- published at: 2015-02-19
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports4
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
Documents
No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 4, Issue 10, October 2014, Complete Issue
Abstract
Dagstuhl Reports, Volume 4, Issue 10, October 2014, Complete Issue
Cite as
Dagstuhl Reports, Volume 4, Issue 10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
Copy BibTex To Clipboard
@Article{DagRep.4.10,
title = {{Dagstuhl Reports, Volume 4, Issue 10, October 2014, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.10},
URN = {urn:nbn:de:0030-drops-49002},
doi = {10.4230/DagRep.4.10},
annote = {Keywords: Dagstuhl Reports, Volume 4, Issue 10, October 2014, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 4, Issue 10, 2014
Abstract
Table of Contents, Frontmatter
Cite as
Dagstuhl Reports, Volume 4, Issue 10, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
Copy BibTex To Clipboard
@Article{DagRep.4.10.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 4, Issue 10, 2014}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.10.i},
URN = {urn:nbn:de:0030-drops-48992},
doi = {10.4230/DagRep.4.10.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 4, Issue 10, 2014}
}
Document
Constraints, Optimization and Data (Dagstuhl Seminar 14411)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14411 "Constraints, Optimization and Data". Constraint programming and optimization have recently received considerable attention from the fields of machine learning and data mining; similarly, machine learning and data mining have received considerable attention from the fields of constraint programming and optimization. The goal of the seminar was to showcase recent progress in these different areas, with the objective
of working towards a common basis of understanding, which should help to facilitate future
synergies.
Cite as
Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, and Michele Sebag. Constraints, Optimization and Data (Dagstuhl Seminar 14411). In Dagstuhl Reports, Volume 4, Issue 10, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
Copy BibTex To Clipboard
@Article{deraedt_et_al:DagRep.4.10.1,
author = {De Raedt, Luc and Nijssen, Siegfried and O'Sullivan, Barry and Sebag, Michele},
title = {{Constraints, Optimization and Data (Dagstuhl Seminar 14411)}},
pages = {1--31},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {10},
editor = {De Raedt, Luc and Nijssen, Siegfried and O'Sullivan, Barry and Sebag, Michele},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.10.1},
URN = {urn:nbn:de:0030-drops-48901},
doi = {10.4230/DagRep.4.10.1},
annote = {Keywords: Data mining, constraint programming, machine learning}
}
Document
Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412)
Abstract
This report documents the program and the outcomes of the Dagstuhl Seminar 14412 "Globalizing Domain-Specific Languages" held in October 2014.
Complex, data-intensive, cyper-physical, cloud-based etc. systems need effective modeling techniques, preferably based on DSLs to describe aspects and views. Models written in heterogeneous languages however need to be semantically compatible and their supporting individual tools need to be interoperable. This workshop discusses possible and necessary forms of interoperation their benefits and drawbacks and in particular whether there is a general pattern on coordination, composition and interoperation possible. Main goal was to establish a research programme towards such techniques.
Cite as
Betty H. C. Cheng, Benoit Combemale, Robert B. France, Jean-Marc Jézéquel, and Bernhard Rumpe. Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412). In Dagstuhl Reports, Volume 4, Issue 10, pp. 32-50, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
Copy BibTex To Clipboard
@Article{cheng_et_al:DagRep.4.10.32,
author = {Cheng, Betty H. C. and Combemale, Benoit and France, Robert B. and J\'{e}z\'{e}quel, Jean-Marc and Rumpe, Bernhard},
title = {{Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412)}},
pages = {32--50},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {10},
editor = {Cheng, Betty H. C. and Combemale, Benoit and France, Robert B. and J\'{e}z\'{e}quel, Jean-Marc and Rumpe, Bernhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.10.32},
URN = {urn:nbn:de:0030-drops-48913},
doi = {10.4230/DagRep.4.10.32},
annote = {Keywords: Modelling, Domain Specific Language, Software, Coordination, Globalization, Heterogeneous Complex Systems, DSL, UML, Composition}
}
Document
Optimal algorithms and proofs (Dagstuhl Seminar 14421)
Abstract
This report documents the programme and the outcomes of the Dagstuhl Seminar 14421 "Optimal algorithms and proofs". The seminar brought together researchers working in computational and proof complexity, logic, and the theory of approximations. Each of these areas has its own, but connected notion of optimality; and the main aim of the seminar was to bring together researchers from these different areas, for an exchange of ideas, techniques, and open questions, thereby triggering new research collaborations across established research boundaries.
Cite as
Olaf Beyersdorff, Edward A. Hirsch, Jan Krajicek, and Rahul Santhanam. Optimal algorithms and proofs (Dagstuhl Seminar 14421). In Dagstuhl Reports, Volume 4, Issue 10, pp. 51-68, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
Copy BibTex To Clipboard
@Article{beyersdorff_et_al:DagRep.4.10.51,
author = {Beyersdorff, Olaf and Hirsch, Edward A. and Krajicek, Jan and Santhanam, Rahul},
title = {{Optimal algorithms and proofs (Dagstuhl Seminar 14421)}},
pages = {51--68},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {10},
editor = {Beyersdorff, Olaf and Hirsch, Edward A. and Krajicek, Jan and Santhanam, Rahul},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.10.51},
URN = {urn:nbn:de:0030-drops-48923},
doi = {10.4230/DagRep.4.10.51},
annote = {Keywords: computational complexity, proof complexity, approximation algorithms, optimal algorithms, optimal proof systems, speedup theorems}
}
Document
Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441)
Abstract
Power and energy networks) are systems of great societal and economic relevance and impact, particularly given the recent growing emphasis on environmental issues and on sustainable substitutes (renewables) to traditional energy sources (coal, oil, nuclear). Power networks also represent systems of considerable engineering interest.
The aim of this Dagstuhl seminar has been to survey existing and explore novel formal frameworks for modeling, analysis and control of complex, large scale cyber-physical systems, with emphasis on applications in power networks.
Stochastic hybrid systems (SHS) stand for a mathematical framework that allows capturing the complex interactions between continuous dynamics, discrete dynamics, and probabilistic uncertainty. In the context of power networks, stochastic hybrid dynamics arises naturally: (i) continuous dynamics models the evolution of voltages, frequencies, etc.; (ii) discrete dynamics models controller logic and changes in network topology (unit commitment); and (iii) probability models the uncertainty about power demand, power supply from renewables and power market price.
The seminar has covered relevant approaches to modeling and analysis of stochastic hybrid dynamics, in the context of energy networks.
Cite as
Alessandro Abate, Martin Fränzle, Ian Hiskens, and Martin Strelec. Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441). In Dagstuhl Reports, Volume 4, Issue 10, pp. 69-97, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
Copy BibTex To Clipboard
@Article{abate_et_al:DagRep.4.10.69,
author = {Abate, Alessandro and Fr\"{a}nzle, Martin and Hiskens, Ian and Strelec, Martin},
title = {{Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441)}},
pages = {69--97},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {10},
editor = {Abate, Alessandro and Fr\"{a}nzle, Martin and Hiskens, Ian and Strelec, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.10.69},
URN = {urn:nbn:de:0030-drops-48939},
doi = {10.4230/DagRep.4.10.69},
annote = {Keywords: Analysis, control, and verification of complex stochastic systems; formal synthesis; reliability engineering and assessment; energy networks}
}
Document
Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14442 "Symbolic Execution and Constraint Solving", whose main goals were to bring together leading researchers in the fields of symbolic execution and constraint solving, foster greater communication between these two communities and exchange ideas about new research directions in these fields.
There has been a veritable revolution over the last decade in the symbiotic fields of constraint solving and symbolic execution. Even though key ideas behind symbolic execution were introduced more than three decades ago, it was only recently that these techniques became practical as a result of significant advances in constraint satisfiability and scalable combinations of concrete and symbolic execution. Thanks to these advances, testing and analysis techniques
based on symbolic execution are having a major impact on many sub-fields of software engineering, computer systems, security, and others. New applications such as program and document repair are being enabled, while older applications such as model checking are being super-charged. Additionally, significant and fast-paced advances are being made in research at the intersection of traditional program analysis, symbolic execution and constraint solving. Therefore, this
seminar brought together researchers in these varied fields in order to further facilitate collaborations that take advantage of this unique and fruitful confluence of ideas from the fields of symbolic execution and constraint solving.
Cite as
Christian Cadar, Vijay Ganesh, Raimondas Sasnauskas, and Koushik Sen. Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442). In Dagstuhl Reports, Volume 4, Issue 10, pp. 98-114, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
Copy BibTex To Clipboard
@Article{cadar_et_al:DagRep.4.10.98,
author = {Cadar, Christian and Ganesh, Vijay and Sasnauskas, Raimondas and Sen, Koushik},
title = {{Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442)}},
pages = {98--114},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {10},
editor = {Cadar, Christian and Ganesh, Vijay and Sasnauskas, Raimondas and Sen, Koushik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.10.98},
URN = {urn:nbn:de:0030-drops-48940},
doi = {10.4230/DagRep.4.10.98},
annote = {Keywords: Symbolic Execution, Software Testing, Automated Program Analysis, Constraint Solvers}
}