The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Mariëlle Stoelinga Mariëlle I. A. Stoelinga ( http://dblp.L3S.de/Authors/Mariëlle_Stoelinga )

Publication years (Num. hits)
1999-2005 (15) 2006-2009 (19) 2010-2013 (18) 2014-2015 (16) 2016-2017 (22) 2018-2019 (19)
Publication types (Num. hits)
article(33) incollection(1) inproceedings(71) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 25 occurrences of 25 keywords

Results
Found 110 publication records. Showing 109 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga Rare event simulation for dynamic fault trees. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga Parametric analyses of attack-fault trees. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Mariëlle Stoelinga Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga Model-based testing of stochastically timed systems. Search on Bibsonomy ISSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Muhammad Chenariyan Nakhaee, Djoerd Hiemstra, Mariëlle Stoelinga, Martijn van Noort The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey. Search on Bibsonomy RSSRail The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André, Mariëlle Stoelinga (eds.) Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings Search on Bibsonomy FORMATS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Petra van den Bos, Mariëlle Stoelinga Tester versus Bug: A Generic Framework for Model-Based Testing via Games. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle Stoelinga, Alessandro Abate Maintenance of Smart Buildings using Fault Trees. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk 0001 One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle Stoelinga, Alessandro Abate Maintenance of Smart Buildings using Fault Trees. Search on Bibsonomy TOSN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcus Gerhold, Mariëlle Stoelinga Model-based testing of probabilistic systems. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk 0001 One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rajesh Kumar 0012, Arend Rensink, Mariëlle Stoelinga LOCKS: a property specification language for security goals. Search on Bibsonomy SAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Abate, Carlos E. Budde, Nathalie Cauchi, Arnaud van Harmelen, Khaza Anuarul Hoque, Mariëlle Stoelinga Modelling Smart Buildings Using Fault Maintenance Trees. Search on Bibsonomy EPEW The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Meike Nauta, Doina Bucur, Mariëlle Stoelinga LIFT: Learning Fault Trees from Observational Data. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga Model-Based Testing for General Stochastic Time. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mariëlle Stoelinga Risk management for high tech systems. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rajesh Kumar 0012, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga Effective Analysis of Attack Trees: A Model-Driven Approach. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ed Brinksma, Mariëlle I. A. Stoelinga, Mark Timmer Testing Divergent Transition Systems. Search on Bibsonomy Models, Algorithms, Logics and Tools The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hasan Sözer, Mariëlle Stoelinga, Hichem Boudali, Mehmet Aksit Availability analysis of software architecture decomposition alternatives for local recovery. Search on Bibsonomy Software Quality Journal The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga Fault trees on a diet: automated reduction by graph rewriting. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rajesh Kumar 0012, Mariëlle Stoelinga Quantitative Security and Safety Analysis with Attack-Fault Trees. Search on Bibsonomy HASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. Search on Bibsonomy BuildSys@SenSys The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga Rare Event Simulation for Dynamic Fault Trees. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joost-Pieter Katoen, Mariëlle Stoelinga Boosting Fault Tree Analysis by Formal Methods. Search on Bibsonomy ModelEd, TestEd, TrustEd The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcus Gerhold, Mariëlle Stoelinga Model-Based Testing of Probabilistic Systems with Stochastic Time. Search on Bibsonomy TAP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar 0012, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga Confluence reduction for Markov automata. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gwen Salaün, Mariëlle Stoelinga Special issue on Software Verification and Testing (SAC-SVT'15). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Mariëlle Stoelinga Selected and extended papers from ACM SVT 2014. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Enno Ruijters, Dennis Guck, Martijn van Noort, Mariëlle Stoelinga Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report. Search on Bibsonomy DSN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga Uncovering Dynamic Fault Trees. Search on Bibsonomy DSN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Holger Hermanns, Julia Krämer, Jan Krcál, Mariëlle Stoelinga The Value of Attack-Defence Diagrams. Search on Bibsonomy POST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Enno Ruijters, Dennis Guck, Peter Drolenga, Margot Peters, Mariëlle Stoelinga Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Enno Ruijters, Mariëlle Stoelinga Better Railway Engineering Through Statistical Model Checking. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Waheed Ahmad, Marijn R. Jongerden, Mariëlle Stoelinga, Jaco van de Pol Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata. Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marcus Gerhold, Mariëlle Stoelinga Model-based testing of stochastic systems with IOCO theory. Search on Bibsonomy A-TEST@SIGSOFT FSE The full citation details ... 2016 DBLP  BibTeX  RDF
1Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. Search on Bibsonomy CyPhy The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marlon Fraile, Margaret Ford, Olga Gadyatskaya, Rajesh Kumar 0012, Mariëlle Stoelinga, Rolando Trujillo-Rasua Using Attack-Defense Trees to Analyze Threats and Countermeasures in an ATM: A Case Study. Search on Bibsonomy PoEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marcus Gerhold, Mariëlle Stoelinga Model-Based Testing of Probabilistic Systems. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Enno Ruijters, Mariëlle Stoelinga Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. Search on Bibsonomy Computer Science Review The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Mariëlle Stoelinga Modeling and Verification of the Bitcoin Protocol. Search on Bibsonomy MARS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rajesh Kumar 0012, Dennis Guck, Mariëlle Stoelinga Time Dependent Analysis with Dynamic Counter Measure Trees. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Marcus Gerhold, Mariëlle Stoelinga Ioco Theory for Probabilistic Automata. Search on Bibsonomy MBT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dennis Guck, Jip Spel, Mariëlle Stoelinga DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper). Search on Bibsonomy ICFEM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Waheed Ahmad, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications. Search on Bibsonomy DSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Florian Arnold, Dennis Guck, Rajesh Kumar 0012, Mariëlle Stoelinga Sequential and Parallel Attack Tree Modelling. Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li 0031, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang 0001 A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rajesh Kumar 0012, Enno Ruijters, Mariëlle Stoelinga Quantitative Attack Tree Analysis via Priced Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman Effective verification of confidentiality for multi-threaded programs. Search on Bibsonomy Journal of Computer Security The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marten Sijtema, Axel Belinfante, Mariëlle Stoelinga, Lawrence Marinelli Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Florian Arnold, Holger Hermanns, Reza Pulungan, Mariëlle Stoelinga Time-Dependent Analysis of Attacks. Search on Bibsonomy POST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Mariëlle Stoelinga Modelling and Analysis of Markov Reward Automata. Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Waheed Ahmad, Robert de Groote, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anne Remke, Mariëlle Stoelinga (eds.) Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures Search on Bibsonomy ROCKS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Florian Arnold, Wolter Pieters, Mariëlle Stoelinga Quantitative penetration testing with item response theory. Search on Bibsonomy IAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kaustubh R. Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio (eds.) Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings Search on Bibsonomy QEST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Florian Arnold, Axel Belinfante, Freark van der Berg, Dennis Guck, Mariëlle Stoelinga DFTCalc: A Tool for Efficient Fault Tree Analysis. Search on Bibsonomy SAFECOMP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Willem Gerrit Johan Stokkink, Mark Timmer, Mariëlle Stoelinga Divergent Quiescent Transition Systems. Search on Bibsonomy TAP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman Confidentiality for Probabilistic Multi-threaded Programs and Its Verification. Search on Bibsonomy ESSoS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga Confluence Reduction for Markov Automata. Search on Bibsonomy FORMATS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marieke Huisman, Barbara Jobstmann, Ina Schaefer, Mariëlle Stoelinga Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer A linear process-algebraic format with data for probabilistic automata. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gerjan Stokkink, Mark Timmer, Mariëlle Stoelinga Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation Search on Bibsonomy MBT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mariëlle Stoelinga, Ralf Pinger (eds.) Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings Search on Bibsonomy FMICS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga Efficient Modelling and Generation of Markov Automata. Search on Bibsonomy CONCUR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mark Timmer, Ed Brinksma, Mariëlle Stoelinga Model-Based Testing. Search on Bibsonomy Software and Systems Safety - Specification and Verification The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marten Sijtema, Mariëlle Stoelinga, Axel Belinfante, Lawrence Marinelli Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. Search on Bibsonomy FMICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol Confluence Reduction for Probabilistic Systems. Search on Bibsonomy TACAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol Confluence Reduction for Probabilistic Systems (extended version) Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. Search on Bibsonomy IEEE Trans. Dependable Sec. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga Evaluating repair strategies for a water-treatment facility using Arcade. Search on Bibsonomy DSN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer A Linear Process-Algebraic Format for Probabilistic Systems with Data. Search on Bibsonomy ACSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF probabilistic process algebra, data-dependent probabilistic choice, symbolic transformations, linearisation
1Luca de Alfaro, Marco Faella, Mariëlle Stoelinga Linear and Branching System Metrics. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin R. Neuhäußer, Mariëlle Stoelinga, Joost-Pieter Katoen Delayed Nondeterminism in Continuous-Time Markov Decision Processes. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hichem Boudali, Hasan Sözer, Mariëlle Stoelinga Architectural Availability Analysis of Software Decomposition for Local Recovery. Search on Bibsonomy SSIRI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hichem Boudali, A. P. Nijmeijer, Mariëlle Stoelinga DFTSim: a simulation tool for extended dynamic fault trees. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF reliability benchmark, dependability analysis, simulation tool, dynamic fault trees
1Mariëlle Stoelinga Compositional dependability modeling using arcade: abstract for the keynote talk. Search on Bibsonomy SAVCBS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mariëlle Stoelinga, Mark Timmer Interpreting a Successful Testing Process: Risk and Actual Coverage. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Faella, Axel Legay, Mariëlle Stoelinga Model Checking Quantitative Linear Time Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga Game Refinement Relations and Metrics Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga Game Refinement Relations and Metrics. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga Architectural dependability evaluation with Arcade. Search on Bibsonomy DSN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Henrik C. Bohnenkamp, Mariëlle Stoelinga Quantitative testing. Search on Bibsonomy EMSOFT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF conformance relations, robustness, specification-based testing, test case generation, test execution
1Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. Search on Bibsonomy ICECCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager A testing scenario for probabilistic processes. Search on Bibsonomy J. ACM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF CPO, approximation induction principle, button-pushing scenario, trace distributions, testing, metric spaces, probabilistic automata, observational equivalence, Concurrency theory
1Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. Search on Bibsonomy DSN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF compositional aggregation, Markov chain, modularity, Fault tree, Interactive process
1Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga Game Relations and Metrics. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga Compositional Quantitative Reasoning. Search on Bibsonomy QEST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga A Semantic Framework for Test Coverage. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga Model checking discounted temporal properties. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Luca de Alfaro, Mariëlle Stoelinga Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Luca de Alfaro, Marco Faella, Mariëlle Stoelinga Linear and Branching Metrics for Quantitative Transition Systems. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga Model Checking Discounted Temporal Properties. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Mariëlle Stoelinga Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Applied formal methods, Leader election algorithms, Parameter synthesis, Real time, Network protocols, Probabilistic algorithms, IEEE standards
1Mariëlle Stoelinga, Frits W. Vaandrager A Testing Scenario for Probabilistic Automata. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 109 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license