Florian Pigorsch - Veröffentlichungen allgemein

(1 - 4 von 5

)

Fully Symbolic Model Checking for Timed Automata | SpringerLinklink.springer.com › chapter

link.springer.com

Georges Morbé; Florian Pigorsch; Christoph Scholl. Georges Morbé. 1. Florian Pigorsch. 1. Christoph Scholl Department of Computer ScienceUniversity of ...

Automatic Verification of Hybrid Systems with Large Discrete State...

link.springer.com

We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete...

Exact State Set Representations in the Verification of Linear Hybrid...

link.springer.com

We propose algorithms significantly extending the limits for maintaining exact representations in the verification of linear hybrid systems with large discrete...

Fully Symbolic Model Checking for Timed Automata | SpringerLink

link.springer.com

Georges Morbé (18); Florian Pigorsch (18); Christoph Scholl (18). Author Affiliations Department of Computer Science, University of Freiburg, Germany ...

Verwandte Suchanfragen zu Florian Pigorsch

Henning Dierks
Sven Reimer
Stefan Kupferschmid

Hardi Hungar
Stefan Disch
Boris Wirtz

Werner Damm
Peter Winterer
Anja Strittmatter

Personen
Vorname "Florian" (37292)
Name "Pigorsch" (104)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Florian Pigorsch

Fully Symbolic Model Checking for Timed Automata | SpringerLinklink.springer.com › chapter

Automatic Verification of Hybrid Systems with Large Discrete State...

Exact State Set Representations in the Verification of Linear Hybrid...

Fully Symbolic Model Checking for Timed Automata | SpringerLink