ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 12:00 - 12:30 at S9 - Analysis Chair(s): Jerome Feret

In this work we introduce the software rPrism, as an branch of the software PRISM model checker, in order to be able to study weighted reactive state transition models. This kind of model gathers together the concepts of reactivity - which consists on the capacity of a state transition model to alter its accessibility relation - and weights, which can be seen as costs, rates, etc.. Given a specific model, the tool performs a simulation based on a Continuous Time Markov Chain. In particular, we show an example of its application for biological systems.

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
AnalysisHSB at S9
Chair(s): Jerome Feret INRIA Paris
11:00
30m
Talk
Fixed-point Computation of Equilibria in Biochemical Regulatory Networks
HSB
Isabel Cristina Perez-Verona IMT Institute for Advanced Studies Lucca, Italy, Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy, Max Tschaikowski IMT Institute for Advanced Studies Lucca, Italy
11:30
30m
Talk
Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks
HSB
Gerrit Großmann Saarland University, Verena Wolf Saarland University
12:00
30m
Talk
rPrism -- A software for reactive weighted state transition models
HSB
Daniel Figueiredo University of Aveiro, Eugénio A. M. Rocha University of Aveiro, Madalena Chaves INRIA, Manuel A. Martins University of Aveiro