5 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.LO2016
Reachability for dynamic parametric processes
Anca Muscholl, Helmut Seidl, Igor Walukiewicz
In a dynamic parametric process every subprocess may spawn arbitrarily many, identical child processes, that may communicate either over global variables, or over local variables t…
cs.PL2014★ 5 cited
Parametric Strategy Iteration
Thomas M. Gawlitza, Martin D. Schwarz, Helmut Seidl
Program behavior may depend on parameters, which are either configured before compilation time, or provided at run-time, e.g., by sensors or other input devices. Parametric program…
cs.PL2012★ 1 cited
Numerical Invariants through Convex Relaxation and Max-Strategy Iteration
Thomas Martin Gawlitza, Helmut Seidl
In this article we develop a max-strategy improvement algorithm for computing least fixpoints of operators on on the reals that are point-wise maxima of finitely many monotone and…