Journal: Formal Methods in System Design

Volume 43, Issue 3

369 -- 413Céline Chevalier, Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan. Composition of password-based protocols
414 -- 449Robert Eschbach, Lan Lin, Jesse H. Poore. Applying string-rewriting to sequence-based specification
450 -- 492Antonio Cau, Helge Janicke, Ben C. Moszkowski. Verification and enforcement of access control policies
493 -- 519Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez. Symbolic unfolding of parametric stopwatch Petri nets
520 -- 551Kun Wei, Jim Woodcock, Alan Burns. Modelling temporal behaviour in complex systems with Timebands
552 -- 571Hana Chockler, Arie Gurfinkel, Ofer Strichman. Beyond vacuity: towards the strongest passing formula

Volume 43, Issue 2

121 -- 123Christel Baier, Marta Z. Kwiatkowska. Preface to the special issue on Probabilistic Model Checking
124 -- 163Tomás Brázdil, Javier Esparza, Stefan Kiefer, Antonín Kucera. Analyzing probabilistic pushdown automata
164 -- 190Gethin Norman, David Parker, Jeremy Sproston. Model checking for probabilistic timed automata
191 -- 232Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen. A compositional modelling and analysis framework for stochastic hybrid systems
233 -- 267Nathalie Bertrand, Philippe Schnoebelen. Computable fixpoints in well-structured symbolic model checking
268 -- 284Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger. A survey of partial-observation stochastic parity games
285 -- 312Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell. Algorithmic probabilistic game semantics - Playing games with automata
313 -- 337Linar Mikeev, Martin R. Neuhäußer, David Spieler, Verena Wolf. On-the-fly verification and optimization of DTA-properties for large Markov chains
338 -- 367Paolo Zuliani, André Platzer, Edmund M. Clarke. Bayesian statistical model checking with application to Stateflow/Simulink verification

Volume 43, Issue 1

1 -- 28Amnon H. Eden, Epameinondas Gasparis, Jonathan Nicholson, Rick Kazman. Modeling and visualizing object-oriented programs with Codecharts
29 -- 60Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister. Time-triggered runtime verification
61 -- 92Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis. Automatic verification of competitive stochastic systems
93 -- 120Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger. Ranking function synthesis for bit-vector relations