Online First Articles

ISSN: 0925-9856 (Print) 1572-8102 (Online)

Articles not assigned to an issue (15 articles)

  1. No Access

    OriginalPaper

    Symbolic unfolding of parametric stopwatch Petri nets

    Claude Jard, Didier Lime, Olivier H. Roux…
    Look Inside Get Access

  2. No Access

    OriginalPaper

    Verification and enforcement of access control policies

    Antonio Cau, Helge Janicke, Ben Moszkowski
    Look Inside Get Access

  3. No Access

    OriginalPaper

    Applying string-rewriting to sequence-based specification

    Robert Eschbach, Lan Lin, Jesse H. Poore
    Look Inside Get Access

  4. No Access

    OriginalPaper

    Ranking function synthesis for bit-vector relations

    Byron Cook, Daniel Kroening, Philipp Rümmer…
    Look Inside Get Access

  5. No Access

    OriginalPaper

    Composition of password-based protocols

    Céline Chevalier, Stéphanie Delaune, Steve Kremer…
    Look Inside Get Access

  6. No Access

    OriginalPaper

    Automatic verification of competitive stochastic systems

    Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska…
    Look Inside Get Access

  7. No Access

    OriginalPaper

    Time-triggered runtime verification

    Borzoo Bonakdarpour, Samaneh Navabpour…
    Look Inside Get Access

  8. No Access

    OriginalPaper

    Modeling and visualizing object-oriented programs with Codecharts

    A. H. Eden, E. Gasparis, J. Nicholson, R. Kazman
    Look Inside Get Access

  9. No Access

    OriginalPaper

    Model checking for probabilistic timed automata

    Gethin Norman, David Parker, Jeremy Sproston
    Look Inside Get Access

  10. No Access

    OriginalPaper

    Algorithmic probabilistic game semantics

    Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine…
    Look Inside Get Access

  11. No Access

    OriginalPaper

    A compositional modelling and analysis framework for stochastic hybrid systems

    Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns…
    Look Inside Get Access

  12. No Access

    OriginalPaper

    Computable fixpoints in well-structured symbolic model checking

    N. Bertrand, P. Schnoebelen
    Look Inside Get Access

  13. No Access

    OriginalPaper

    On-the-fly verification and optimization of DTA-properties for large Markov chains

    Linar Mikeev, Martin R. Neuhäußer, David Spieler…
    Look Inside Get Access

  14. No Access

    OriginalPaper

    Analyzing probabilistic pushdown automata

    Tomáš Brázdil, Javier Esparza, Stefan Kiefer…
    Look Inside Get Access

  15. No Access

    OriginalPaper

    A survey of partial-observation stochastic parity games

    Krishnendu Chatterjee, Laurent Doyen…
    Look Inside Get Access