default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal 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, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Automatic verification of competitive stochastic systems. 61-92 - Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger:
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, Stefan Kiefer, Antonín Kucera:
Analyzing probabilistic pushdown automata. 124-163 - Gethin Norman, David Parker, Jeremy Sproston:
Model checking for probabilistic timed automata. 164-190 - Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen:
A compositional modelling and analysis framework for stochastic hybrid systems. 191-232 - Nathalie Bertrand, Philippe Schnoebelen:
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, Björn Wachter, James Worrell:
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, Edmund M. Clarke:
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, Mark Dermot Ryan:
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, Ben C. Moszkowski:
Verification and enforcement of access control policies. 450-492 - Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez:
Symbolic unfolding of parametric stopwatch Petri nets. 493-519 - Kun Wei, Jim Woodcock, Alan Burns:
Modelling temporal behaviour in complex systems with Timebands. 520-551 - Hana Chockler, Arie Gurfinkel, Ofer Strichman:
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 2025-12-04 01:39 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:
