Debugging of dependability models using interactive visualization of counterexamples

Kurzanzeige
dc.contributor.authorAljazzar, Husain
dc.contributor.authorLeue, Stefan
dc.date.accessioned2013-05-07T15:31:01Zdeu
dc.date.available2013-05-07T15:31:01Zdeu
dc.date.issued2008-09
dc.description.abstractWe present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification of causal factors in the potentially very large sets of execution paths that form counterexamples in stochastic model checking. The visualization is interactive and allows the user to focus on the most meaningful aspects of a counterexample. We present the application of the visualization method as implemented in our prototype tool DiPro to two case studies.eng
dc.description.versionpublished
dc.identifier.citationQuantitative evaluation of systems : QEST 2008, [fifth edition of the International Conference on Quantitative Evaluation of Systems] ; proceedings ; 14 - 17 September 2008, St. Malo, France / organized by INRIA Rennes, Bretagne - Atlantique. - Piscataway, NJ : IEEE, 2008. - S. 189-198. - ISBN 978-0-7695-3360-5deu
dc.identifier.doi10.1109/QEST.2008.40deu
dc.identifier.urihttp://kops.uni-konstanz.de/handle/123456789/23012
dc.language.isoengdeu
dc.legacy.dateIssued2013-05-07deu
dc.rightsterms-of-usedeu
dc.rights.urihttps://rightsstatements.org/page/InC/1.0/deu
dc.subject.ddc004deu
dc.titleDebugging of dependability models using interactive visualization of counterexampleseng
dc.typeINPROCEEDINGSdeu
dspace.entity.typePublication
kops.citation.bibtex
@inproceedings{Aljazzar2008-09Debug-23012,
  year={2008},
  doi={10.1109/QEST.2008.40},
  title={Debugging of dependability models using interactive visualization of counterexamples},
  isbn={978-0-7695-3360-5},
  publisher={IEEE},
  booktitle={2008 Fifth International Conference on Quantitative Evaluation of Systems},
  pages={189--198},
  author={Aljazzar, Husain and Leue, Stefan}
}
kops.citation.iso690ALJAZZAR, Husain, Stefan LEUE, 2008. Debugging of dependability models using interactive visualization of counterexamples. 2008 Fifth International Conference on Quantitative Evaluation of Systems. St Malo, France, 14. Sept. 2008 - 17. Sept. 2008. In: 2008 Fifth International Conference on Quantitative Evaluation of Systems. IEEE, 2008, pp. 189-198. ISBN 978-0-7695-3360-5. Available under: doi: 10.1109/QEST.2008.40deu
kops.citation.iso690ALJAZZAR, Husain, Stefan LEUE, 2008. Debugging of dependability models using interactive visualization of counterexamples. 2008 Fifth International Conference on Quantitative Evaluation of Systems. St Malo, France, Sep 14, 2008 - Sep 17, 2008. In: 2008 Fifth International Conference on Quantitative Evaluation of Systems. IEEE, 2008, pp. 189-198. ISBN 978-0-7695-3360-5. Available under: doi: 10.1109/QEST.2008.40eng
kops.citation.rdf
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/23012">
    <dcterms:bibliographicCitation>Quantitative evaluation of systems : QEST 2008, [fifth edition of the International Conference on Quantitative Evaluation of Systems] ; proceedings ; 14 - 17 September 2008, St. Malo, France / organized by INRIA Rennes, Bretagne - Atlantique. - Piscataway, NJ : IEEE, 2008. - S. 189-198. - ISBN 978-0-7695-3360-5</dcterms:bibliographicCitation>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-05-07T15:31:01Z</dcterms:available>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-05-07T15:31:01Z</dc:date>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Aljazzar, Husain</dc:contributor>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:creator>Aljazzar, Husain</dc:creator>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:issued>2008-09</dcterms:issued>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/23012"/>
    <dcterms:title>Debugging of dependability models using interactive visualization of counterexamples</dcterms:title>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:rights>terms-of-use</dc:rights>
    <dcterms:abstract xml:lang="eng">We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification of causal factors in the potentially very large sets of execution paths that form counterexamples in stochastic model checking. The visualization is interactive and allows the user to focus on the most meaningful aspects of a counterexample. We present the application of the visualization method as implemented in our prototype tool DiPro to two case studies.</dcterms:abstract>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:language>eng</dc:language>
    <dc:creator>Leue, Stefan</dc:creator>
  </rdf:Description>
</rdf:RDF>
kops.conferencefield2008 Fifth International Conference on Quantitative Evaluation of Systems, 14. Sept. 2008 - 17. Sept. 2008, St Malo, Francedeu
kops.date.conferenceEnd2008-09-17
kops.date.conferenceStart2008-09-14
kops.flag.knbibliographytrue
kops.identifier.nbnurn:nbn:de:bsz:352-230121deu
kops.location.conferenceSt Malo, France
kops.sourcefield<i>2008 Fifth International Conference on Quantitative Evaluation of Systems</i>. IEEE, 2008, pp. 189-198. ISBN 978-0-7695-3360-5. Available under: doi: 10.1109/QEST.2008.40deu
kops.sourcefield.plain2008 Fifth International Conference on Quantitative Evaluation of Systems. IEEE, 2008, pp. 189-198. ISBN 978-0-7695-3360-5. Available under: doi: 10.1109/QEST.2008.40deu
kops.sourcefield.plain2008 Fifth International Conference on Quantitative Evaluation of Systems. IEEE, 2008, pp. 189-198. ISBN 978-0-7695-3360-5. Available under: doi: 10.1109/QEST.2008.40eng
kops.submitter.emailoleg.kozlov@uni-konstanz.dedeu
kops.title.conference2008 Fifth International Conference on Quantitative Evaluation of Systems
relation.isAuthorOfPublicationb3cddb79-f5f9-4d85-8f0c-378f0a9d0283
relation.isAuthorOfPublicationa0cf1380-ebf9-403b-a02e-6e97bae25ef6
relation.isAuthorOfPublication.latestForDiscoveryb3cddb79-f5f9-4d85-8f0c-378f0a9d0283
source.bibliographicInfo.fromPage189
source.bibliographicInfo.toPage198
source.identifier.isbn978-0-7695-3360-5
source.publisherIEEE
source.title2008 Fifth International Conference on Quantitative Evaluation of Systems

Dateien

Lizenzbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
license.txt
Größe:
1.92 KB
Format:
Plain Text
Beschreibung:
license.txt
license.txtGröße: 1.92 KBDownloads: 0

Sammlungen

Informatik und Informationswissenschaft: Publikationen