Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:




Library Locked Library locked




Author, Editor

Author(s):

Sofronie-Stokkermans, Viorica

dblp



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

URL of the conference:

http://www.floc-conference.org/IJCAR-home.html

URL for downloading the paper:

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
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section