tr-announce

Download

tr-announce@lists.rwth-aachen.de

June 2009

1 participants
2 discussions

2009-15: Compositional Abstraction for Stochastic Systems
by Carsten Fuhs 26 Jun '09

26 Jun '09

The following technical report is available from http://aib.informatik.rwth-aachen.de: Compositional Abstraction for Stochastic Systems Joost-Pieter Katoen, Daniel Klink, Martin Neuhäußer AIB 2009-15 We propose to exploit three-valued abstraction to stochastic systems in a compositional way. This combines the strengths of an aggressive state-based abstraction technique with compositional modeling. Applying this principle to interactive Markov chains yields abstract models that combine interval Markov chains and modal transition systems in a natural and orthogonal way. We prove the correctness of our technique for parallel and symmetric composition and show that it yields lower bounds for minimal and upper bounds for maximal timed reachability probabilities.

1 0

2009-14: Doctoral Symposium on Systems Software Verification (DS SSV'09)
by Carsten Fuhs 23 Jun '09

23 Jun '09

The following technical report is available from http://aib.informatik.rwth-aachen.de: Doctoral Symposium on Systems Software Verification (DS SSV'09) Ralf Huuck, Gerwin Klein, Bastian Schlich (eds.) AIB 2009-14 This report contains the proceedings of the Doctoral Symposium on Systems Software Verification (DS SSV'09), which was held during the 4th International Workshop on Systems Software Verification (SSV'09) in Aachen, Germany, June 22-24, 2009.

1 0