License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.10271.1
URN: urn:nbn:de:0030-drops-27922
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2010/2792/
Go to the corresponding Portal

Becker, Bernd ; Cardelli, Luca ; Hermanns, Holger ; Tahar, Sofiene

10271 Abstracts Collection -- Verification over discrete-continuous boundaries

pdf-format:
10271_abstracts_collection.2792.pdf (0.2 MB)

Abstract

From 4 July 2010 to 9 July 2010, the Dagstuhl Seminar 10271
``Verification over discrete-continuous boundaries''
was held in Schloss Dagstuhl~--~Leibniz Center for Informatics.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available.

BibTeX - Entry

@InProceedings{becker_et_al:DagSemProc.10271.1,
  author =	{Becker, Bernd and Cardelli, Luca and Hermanns, Holger and Tahar, Sofiene},
  title =	{{10271 Abstracts Collection – Verification over discrete-continuous boundaries}},
  booktitle =	{Verification over discrete-continuous boundaries},
  pages =	{1--19},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10271},
  editor =	{Bernd Becker and Luca Cardelli and Holger Hermanns and Sofiene Tahar},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2010/2792},
  URN =		{urn:nbn:de:0030-drops-27922},
  doi =		{10.4230/DagSemProc.10271.1},
  annote =	{Keywords: Formal verification, cyber-physical systems, analog circuits, theorem proving, systems biology, mean-field methods}
}

Keywords: Formal verification, cyber-physical systems, analog circuits, theorem proving, systems biology, mean-field methods
Collection: 10271 - Verification over discrete-continuous boundaries
Issue Date: 2010
Date of publication: 02.11.2010

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI