The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mariëlle Stoelinga: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mariëlle Stoelinga, Frits W. Vaandrager
    Root Contention in IEEE 1394. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:53-74 [Conf]
  2. Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga
    A Semantic Framework for Test Coverage. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:399-414 [Conf]
  3. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
    The Element of Surprise in Timed Games. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:142-156 [Conf]
  4. Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
    Timed Interfaces. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:108-122 [Conf]
  5. Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
    Resource Interfaces. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:117-133 [Conf]
  6. Christel Baier, Mariëlle Stoelinga
    Norm Functions for Probabilistic Bisimulations with Delays. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:1-16 [Conf]
  7. Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
    Linear and Branching Metrics for Quantitative Transition Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:97-109 [Conf]
  8. Mariëlle Stoelinga, Frits W. Vaandrager
    A Testing Scenario for Probabilistic Automata. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:464-477 [Conf]
  9. Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
    Compositional Quantitative Reasoning. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:179-188 [Conf]
  10. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
    Model Checking Discounted Temporal Properties. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:77-92 [Conf]
  11. Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
    Linear Parametric Model Checking of Timed Automata. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:189-203 [Conf]
  12. Mariëlle Stoelinga
    An Introduction to Probabilistic Automata. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2002, v:78, n:, pp:176-198 [Journal]
  13. Luca de Alfaro, Mariëlle Stoelinga
    Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:3-23 [Journal]
  14. Mariëlle Stoelinga
    Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:14, n:3, pp:328-337 [Journal]
  15. Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
    Linear parametric model checking of timed automata. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:52, n:, pp:183-220 [Journal]
  16. David P. L. Simons, Mariëlle Stoelinga
    Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:4, pp:469-485 [Journal]
  17. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
    Model checking discounted temporal properties. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:345, n:1, pp:139-170 [Journal]
  18. Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
    A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:441-456 [Conf]
  19. Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
    Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. [Citation Graph (0, 0)][DBLP]
    DSN, 2007, pp:708-717 [Conf]
  20. Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
    Game Relations and Metrics. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:99-108 [Conf]

  21. Architectural dependability evaluation with Arcade. [Citation Graph (, )][DBLP]


  22. Quantitative testing. [Citation Graph (, )][DBLP]


  23. Delayed Nondeterminism in Continuous-Time Markov Decision Processes. [Citation Graph (, )][DBLP]


  24. How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. [Citation Graph (, )][DBLP]


  25. Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. [Citation Graph (, )][DBLP]


  26. Interpreting a Successful Testing Process: Risk and Actual Coverage. [Citation Graph (, )][DBLP]


  27. DFTSim: a simulation tool for extended dynamic fault trees. [Citation Graph (, )][DBLP]


  28. Architectural Availability Analysis of Software Decomposition for Local Recovery. [Citation Graph (, )][DBLP]


  29. Game Refinement Relations and Metrics [Citation Graph (, )][DBLP]


  30. Model Checking Quantitative Linear Time Logic. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002