MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Sofronie-Stokkermans, Vioricadblp
Editor(s):
Giesl, Jürgen
Hähnle, Reiner
dblp
dblp
Not MPII Editor(s):
Giesl, Jürgen
Hähnle, Reiner
BibTeX cite key*:
Sofronie-Stokkermans2010-ijcar
Title, Booktitle
Title*:
Hierarchical Reasoning for the Verification of Parametric Systems
Booktitle*:
Automated Reasoning : 5th International Joint Conference, IJCAR 2010
Event, URLs
Conference URL::
http://www.floc-conference.org/IJCAR-home.html
Downloading URL:
http://dx.doi.org/10.1007/978-3-642-14203-1_15
Event Address*:
Edinburgh
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
16 July 2010
Event End Date:
19 July 2010
Publisher
Name*:
Springer
URL:
http://www.springer-ny.com/
Address*:
Berlin
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Artificial Intelligence
Volume:
6173
Number:
Month:
Pages:
171-187
Year*:
2010
VG Wort Pages:
ISBN/ISSN:
978-3-642-14202-4
Sequence Number:
DOI:
10.1007/978-3-642-14203-1_15
Note, Abstract, ©
(LaTeX) Abstract:
We study certain classes of verification problems for parametric
reactive and hybrid systems, and identify the types of logical
theories which can be used for modeling such systems and the
reasoning tasks which need to be solved in this context.
We identify properties of the underlying theories which ensure
that these classes of verification problems can be solved
efficiently, give examples of theories with the desired
properties, and illustrate the methods we use on several
examples.
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Automation of Logic
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{Sofronie-Stokkermans2010-ijcar,
AUTHOR = {Sofronie-Stokkermans, Viorica},
EDITOR = {Giesl, J{\"u}rgen and H{\"a}hnle, Reiner},
TITLE = {Hierarchical Reasoning for the Verification of Parametric Systems},
BOOKTITLE = {Automated Reasoning : 5th International Joint Conference, IJCAR 2010},
PUBLISHER = {Springer},
YEAR = {2010},
VOLUME = {6173},
PAGES = {171--187},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Edinburgh},
ISBN = {978-3-642-14202-4},
DOI = {10.1007/978-3-642-14203-1_15},
}


Entry last modified by Manuel Lamotte-Schubert, 03/16/2011
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]
Created
06/10/2010 03:18:23 PM
Revisions
3.
2.
1.
0.
Editor(s)
Manuel Lamotte-Schubert
Anja Becker
Anja Becker
Viorica Sofronie-Stokkermans
Edit Dates
16.03.2011 15:21:48
15.03.2011 09:54:59
07.02.2011 12:44:20
06/10/2010 03:18:23 PM