default search action
Formal Methods in System Design, Volume 43
Volume 43, Number 1, August 2013
- Amnon H. Eden, Epameinondas Gasparis, Jonathan Nicholson
, Rick Kazman:
Modeling and visualizing object-oriented programs with Codecharts. 1-28 - Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister:
Time-triggered runtime verification. 29-60 - Taolue Chen
Automatic verification of competitive stochastic systems. 61-92 - Byron Cook, Daniel Kroening
Ranking function synthesis for bit-vector relations. 93-120
Volume 43, Number 2, October 2013
- Christel Baier, Marta Z. Kwiatkowska:
Preface to the special issue on Probabilistic Model Checking. 121-123 - Tomás Brázdil, Javier Esparza
Analyzing probabilistic pushdown automata. 124-163 - Gethin Norman
Model checking for probabilistic timed automata. 164-190 - Ernst Moritz Hahn, Arnd Hartmanns
A compositional modelling and analysis framework for stochastic hybrid systems. 191-232 - Nathalie Bertrand
Computable fixpoints in well-structured symbolic model checking. 233-267 - Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
A survey of partial-observation stochastic parity games. 268-284 - Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine
Algorithmic probabilistic game semantics - Playing games with automata. 285-312 - Linar Mikeev, Martin R. Neuhäußer, David Spieler, Verena Wolf:
On-the-fly verification and optimization of DTA-properties for large Markov chains. 313-337 - Paolo Zuliani, André Platzer
Bayesian statistical model checking with application to Stateflow/Simulink verification. 338-367
Volume 43, Number 3, December 2013
- Céline Chevalier, Stéphanie Delaune, Steve Kremer
Composition of password-based protocols. 369-413 - Robert Eschbach, Lan Lin, Jesse H. Poore:
Applying string-rewriting to sequence-based specification. 414-449 - Antonio Cau, Helge Janicke
Verification and enforcement of access control policies. 450-492 - Claude Jard, Didier Lime
Symbolic unfolding of parametric stopwatch Petri nets. 493-519 - Kun Wei, Jim Woodcock
Modelling temporal behaviour in complex systems with Timebands. 520-551 - Hana Chockler, Arie Gurfinkel
Beyond vacuity: towards the strongest passing formula. 552-571
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 19:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: