Holger Hermanns

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

RTLola on Board: Testing Real Driving Emissions on your Phone.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Towards Perspicuity Requirements.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking.

[BibT_eX]

[DOI]

Michaela Klauck

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

Controller verification meets controller code: a case study.

[BibT_eX]

[DOI]

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

Uplink Transmission Probability Functions for LoRa-Based Direct-to-Satellite IoT: A Case Study.

[BibT_eX]

[DOI]

Kai Vogelgesang

Juan A. Fraire

Proceedings of the IEEE Global Communications Conference, 2021

Automated Safety Verification of Programs Invoking Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction".

[BibT_eX]

[DOI]

Dataset, August, 2020

Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study.

[BibT_eX]

[DOI]

IEEE Trans. Green Commun. Netw., 2020

Managing Fleets of LEO Satellites: Nonlinear, Optimal, Efficient, Scalable, Usable, and Robust.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2020

Connection models for the Internet-of-Things.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2020

LICS-ICALP 2020 Questionnaire Evaluation.

[BibT_eX]

[DOI]

Felix Freiberger

Bull. EATCS, 2020

On the probabilistic bisimulation spectrum with silent moves.

[BibT_eX]

[DOI]

Acta Informatica, 2020

Lab Conditions for Research on Explainable Automated Decisions.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy AI - Integrating Learning, Optimization and Reasoning, 2020

PRODeep: a platform for robustness verification of deep neural networks.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

From Verification to Explanation (Track Introduction).

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Components in Probabilistic Systems: Suitable by Construction.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Deep Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

Conformance-Based Doping Detection for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Rayna Dimitrova

Maciej Gazda

Mohammad Reza Mousavi

Sebastian Biewer

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper).

[BibT_eX]

[DOI]

Luca Aceto

Jos C. M. Baeten

Patricia Bouyer-Decitre

Alexandra Silva

Proceedings of the 31st International Conference on Concurrency Theory, 2020

Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

The 10, 000 Facets of MDP Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2019

Battery-aware scheduling in low orbit: the GomX-3 case.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2019

Syntactic Partial Order Compression for Probabilistic Reachability.

[BibT_eX]

[DOI]

Gereon Fox

Daniel Stan

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

A Modest Markov Automata Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Explainable Artificial Intelligence, 2019

A Modest Approach to Modelling and Checking Markov Automata.

[BibT_eX]

[DOI]

Yuliya Butkova

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Component-aware Input-Output Conformance.

[BibT_eX]

[DOI]

Alexander Graf-Brill

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Concurrent Programming from pseuCo to Petri.

[BibT_eX]

[DOI]

Felix Freiberger

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018

The quest for minimal quotients for probabilistic and Markov automata.

[BibT_eX]

[DOI]

Inf. Comput., 2018

Towards a Framework Combining Machine Ethics and Machine Explainability.

[BibT_eX]

[DOI]

Kevin Baum

Timo Speith

Proceedings of the Proceedings 3rd Workshop on formal reasoning about Causation, 2018

Probabilistic bisimulation for realistic schedulers.

[BibT_eX]

[DOI]

Acta Informatica, 2018

Efficient Monitoring of Real Driving Emissions.

[BibT_eX]

[DOI]

Maximilian A. Köhl

Sebastian Biewer

Proceedings of the Runtime Verification - 18th International Conference, 2018

Markov Automata on Discount!

[BibT_eX]

[DOI]

Yuliya Butkova

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions.

[BibT_eX]

[DOI]

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

From Machine Ethics To Machine Explainability and Back.

[BibT_eX]

[DOI]

Kevin Baum

Timo Speith

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Communications Conference, 2018

Cyber-Physical Doping Tests.

[BibT_eX]

[DOI]

Sebastian Biewer

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

Continuous-Time Markov Decisions Based on Partial Exploration.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2018

Compiling Probabilistic Model Checking into Probabilistic Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty.

[BibT_eX]

[DOI]

Gilles Nies

Leibniz Trans. Embed. Syst., 2017

Cost vs. time in stochastic games and Markov automata.

[BibT_eX]

[DOI]

Hassan Hatefi

Bettina Braitling

Bernd Becker

Formal Aspects Comput., 2017

Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters.

[BibT_eX]

[DOI]

Dimitri Scheftelowitsch

Peter Buchholz

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Long-Run Rewards for Markov Automata.

[BibT_eX]

[DOI]

Yuliya Butkova

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Modelling and certification for electric mobility.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata.

[BibT_eX]

[DOI]

Zhengkui Zhang

Brian Nielsen

Kim Guldstrand Larsen

Gilles Nies

Marvin Stenger

Proceedings of the Formal Methods and Software Engineering, 2017

Model-Based Testing for Asynchronous Systems.

[BibT_eX]

[DOI]

Alexander Graf-Brill

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2017

Models of Connected Things: On Priced Probabilistic Timed Reo.

[BibT_eX]

[DOI]

Kangli He

Yixiang Chen

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

From Lotosphere to Thermosphere.

[BibT_eX]

[DOI]

Proceedings of the ModelEd, TestEd, TrustEd, 2017

Teaching Academic Concurrency to Amazing Students.

[BibT_eX]

[DOI]

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

PTRebeca: Modeling and analysis of distributed and asynchronous systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

Deciding probabilistic automata weak bisimulation: theory and practice.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2016

Compositional Reasoning for Interval Markov Decision Processes.

[BibT_eX]

[DOI]

CoRR, 2016

Reward-Bounded Reachability Probability for Uncertain Weighted MDPs.

[BibT_eX]

[DOI]

Lei Song

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Probabilistic CTL<sup>*</sup>: The Deductive Way.

[BibT_eX]

[DOI]

Rayna Dimitrova

Rupak Majumdar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Effective Static and Dynamic Fault Tree Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2016

Exploiting Robust Optimization for Interval Probabilistic Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

The Value of Attack-Defence Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

Compositional Bisimulation Minimization for Interval Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2016

Facets of Software Doping.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

My O Is Bigger Than Yours (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

Distributed Synthesis in Continuous Time.

[BibT_eX]

[DOI]

Steen Vester

Proceedings of the Foundations of Software Science and Computation Structures, 2016

Flexible support for time and costs in scenario-aware dataflow.

[BibT_eX]

[DOI]

Michael Bungert

Proceedings of the 2016 International Conference on Embedded Software, 2016

Schedulers are no Prophets.

[BibT_eX]

[DOI]

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

Transient Reward Approximation for Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2015

A construction and minimization service for continuous probability distributions.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2015

Improving time bounded reachability computations in interactive Markov chains.

[BibT_eX]

[DOI]

Hassan Hatefi

Sci. Comput. Program., 2015

In the quantitative automata zoo.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Polynomial time decision algorithms for probabilistic automata.

[BibT_eX]

[DOI]

Inf. Comput., 2015

On the Control of Self-Balancing Unicycles.

[BibT_eX]

[DOI]

Felix Freiberger

Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015

Abstraction-Based Computation of Reward Measures for Markov Automata.

[BibT_eX]

[DOI]

Bettina Braitling

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

A Compression App for Continuous Probability Distributions.

[BibT_eX]

[DOI]

Michael Bungert

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Probabilistic Termination: Soundness, Completeness, and Compositionality.

[BibT_eX]

[DOI]

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Energieinformatik im erdnahen Orbit.

[BibT_eX]

[DOI]

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

Probabilistic Bisimulation for Realistic Schedulers.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

Rare Event Simulation with Fully Automated Importance Splitting.

[BibT_eX]

[DOI]

Carlos E. Budde

Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

Recharging Probably Keeps Batteries Alive.

[BibT_eX]

[DOI]

Gilles Nies

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2015

Optimal Continuous Time Markov Decisions.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Incremental Bisimulation Abstraction Refinement.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2014

Special Issue on "Quantitative Evaluation of SysTems" (QEST 2012).

[BibT_eX]

[DOI]

Giuliano Casale

Ludmila Cherkasova

Perform. Evaluation, 2014

Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Reachability and Reward Checking for Stochastic Timed Automata.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Cost Preserving Bisimulations for Probabilistic Automata.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2014

Analysis of Timed and Long-Run Objectives for Markov Automata.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2014

MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata.

[BibT_eX]

[DOI]

Bettina Braitling

Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Time-Dependent Analysis of Attacks.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

A Model-Based Certification Framework for the EnergyBus Standard.

[BibT_eX]

[DOI]

Alexander Graf-Brill

Hubert Garavel

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Probabilistic Bisimulation: Naturally on Distributions.

[BibT_eX]

[DOI]

Jan Kretínský

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

Model checking for performability.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2013

An Internet Inspired Approach to Power Grid Stability.

[BibT_eX]

[DOI]

it Inf. Technol., 2013

A compositional modelling and analysis framework for stochastic hybrid systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2013

On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Modelling, Reduction and Analysis of Markov Automata (extended version)

[BibT_eX]

[DOI]

CoRR, 2013

The Quest for Minimal Quotients for Probabilistic Automata.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Modelling, Reduction and Analysis of Markov Automata.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Deciding Bisimilarities on Distributions.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Rewarding probabilistic hybrid automata.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Compositional Verification and Optimization of Interactive Markov Chains.

[BibT_eX]

[DOI]

Jan Kretínský

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

A Semantics for Every GSPN.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

Safety Verification for Probabilistic Hybrid Systems.

[BibT_eX]

[DOI]

Eur. J. Control, 2012

Model Checking Algorithms for Markov Automata.

[BibT_eX]

[DOI]

Hassan Hatefi

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Transient Reward Approximation for Grids, Crowds, and Viruses

[BibT_eX]

[DOI]

CoRR, 2012

A comparative analysis of decentralized power grid stabilization strategies.

[BibT_eX]

[DOI]

Pascal Berrang

Proceedings of the Winter Simulation Conference, 2012

Quantitative Models for a Not So Dumb Grid.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

mctau: Bridging the Gap between Modest and UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 19th International Workshop, 2012

Heuristics for Probabilistic Timed Automata with Abstraction Refinement.

[BibT_eX]

[DOI]

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

Simulation and Statistical Model Checking for Modestly Nondeterministic Models.

[BibT_eX]

[DOI]

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time.

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

Verification of Open Interactive Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Variable Probabilistic Abstraction Refinement.

[BibT_eX]

[DOI]

Björn Wachter

Proceedings of the Automated Technology for Verification and Analysis, 2012

Modeling of Networked Automation Systems for simulation and model checking of time behavior.

[BibT_eX]

[DOI]

Proceedings of the International Multi-Conference on Systems, Signals & Devices, 2012

2011

From Concurrency Models to Numbers - Performance and Dependability.

[BibT_eX]

[DOI]

Proceedings of the Software and Systems Safety - Specification and Verification, 2011

Probabilistic reachability for parametric Markov models.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2011

The ins and outs of the probabilistic model checker MRMC.

[BibT_eX]

[DOI]

Perform. Evaluation, 2011

Bounding the equilibrium distribution of Markov population models.

[BibT_eX]

[DOI]

Numer. Linear Algebra Appl., 2011

Probabilistic Logical Characterization.

[BibT_eX]

[DOI]

Inf. Comput., 2011

Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2011

Automata-Based CSL Model Checking

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2011

A verified wireless safety critical hard real-time design.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Symposium on a World of Wireless, 2011

Formal Methods in Energy Informatics.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Reachability analysis for incomplete networks of Markov decision processes.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Measurability and safety verification for stochastic hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Partial Order Methods for Statistical Model Checking and Simulation.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2011

Model Checking Algorithms for CTMDPs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Bounded Fairness for Probabilistic Distributed Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

Synthesis and stochastic assessment of cost-optimal schedules.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2010

Symbolic partition refinement with automatic balancing of time and space.

[BibT_eX]

[DOI]

Salem Derisavi

Perform. Evaluation, 2010

Performability assessment by model checking of Markov reward models.

[BibT_eX]

[DOI]

Lucia Cloth

Formal Methods Syst. Des., 2010

Performance evaluation and model checking join forces.

[BibT_eX]

[DOI]

Commun. ACM, 2010

PASS: Abstraction Refinement for Infinite Probabilistic Models.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

Superposition-Based Analysis of First-Order Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Arnaud Fietzke

Christoph Weidenbach

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

On Probabilistic Automata in Continuous Time.

[BibT_eX]

[DOI]

Christian Eisentraut

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

Ten Years of Performance Evaluation for Concurrent Systems Using CADP.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Quantitative system validation in model driven design.

[BibT_eX]

[DOI]

Kim Guldstrand Larsen

Jean-François Raskin

Jan Tretmans

Proceedings of the 10th International conference on Embedded software, 2010

10271 Abstracts Collection - Verification over discrete-continuous boundaries.

[BibT_eX]

[DOI]

Proceedings of the Verification over discrete-continuous boundaries, 04.07. - 09.07.2010, 2010

Concurrency and Composition in a Stochastic World.

[BibT_eX]

[DOI]

Christian Eisentraut

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

PARAM: A Model Checker for Parametric Markov Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Aggregation Ordering for Massively Compositional Models.

[BibT_eX]

[DOI]

Pepijn Crouzen

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Compositional Dependability Evaluation for STATEMATE.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2009

Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Dependability Engineering of Silent Self-stabilizing Systems.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2009

Acyclic Minimality by Construction---Almost.

[BibT_eX]

[DOI]

Proceedings of the QEST 2009, 2009

A Modest Approach to Checking Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the QEST 2009, 2009

FlowSim Simulation Benchmarking Platform.

[BibT_eX]

[DOI]

Proceedings of the QEST 2009, 2009

The How and Why of Interactive Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Future Design Challenges for Electric Energy Supply.

[BibT_eX]

[DOI]

Holger Wiechmann

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

INFAMY: An Infinite-State Markov Model Checker.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

Towards Performance Prediction of Compositional Models in Industrial GALS Designs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Teaching Concurrency Concepts to Freshmen.

[BibT_eX]

[DOI]

Christian Eisentraut

Trans. Petri Nets Other Model. Concurr., 2008

Improving the effectiveness of system verification.

[BibT_eX]

[DOI]

Jens Palsberg

Int. J. Softw. Tools Technol. Transf., 2008

Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Special issue: CONCUR 2006.

[BibT_eX]

[DOI]

Inf. Comput., 2008

Symbolic Partition Refinement with Dynamic Balancing of Time and Space.

[BibT_eX]

[DOI]

Salem Derisavi

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

The Minimal Representation of the Maximum of Erlang Distributions.

[BibT_eX]

Proceedings of the Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31, 2008

May we reach it? Or must we? In what time? With what probability?

[BibT_eX]

Sven Johr

Proceedings of the Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31, 2008

Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems.

[BibT_eX]

[DOI]

Martin Fränzle

Tino Teige

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

An Experimental Evaluation of Probabilistic Simulation.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

On the Minimisation of Acyclic Models.

[BibT_eX]

[DOI]

Pepijn Crouzen

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Probabilistic CEGAR.

[BibT_eX]

[DOI]

Björn Wachter

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Reachability in continuous-time Markov reward decision processes.

[BibT_eX]

Proceedings of the Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., 2008

Effective Minimization of Acyclic Phase-Type Representations.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2008

2007

motor: The modestTool Environment.

[BibT_eX]

[DOI]

Henrik C. Bohnenkamp

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Probabilistic Model Checking Modulo Theories.

[BibT_eX]

[DOI]

Björn Wachter

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Does Clock Precision Influence ZigBee's Energy Consumptions?

[BibT_eX]

[DOI]

Christian Groß

Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems.

[BibT_eX]

[DOI]

Sven Johr

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Deciding Simulations on Probabilistic Automata.

[BibT_eX]

[DOI]

Manuela-Luminita Bujorianu

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2006

Compositional Performability Evaluation for STATEMATE.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.

[BibT_eX]

[DOI]

Adelinde M. Uhrmacher

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

Sigref- A Symbolic Bisimulation Tool Box.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2006

Functional Abstractions of stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Henk A. P. Blom

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

QoS modelling and analysis with UML-statecharts: the StoCharts approach.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2005

Model checking meets performance evaluation.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2005

Axiomatising divergence.

[BibT_eX]

[DOI]

Markus Lohrey

Inf. Comput., 2005

Comparative branching-time semantics for Markov chains.

[BibT_eX]

[DOI]

Inf. Comput., 2005

YMCA: - Why Markov Chain Algebra? - .

[BibT_eX]

[DOI]

Mario Bravetti

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Bisimulation and Simulation Relations for Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

From StoCharts to MoDeST: a comparative reliability analysis of train radio communications.

[BibT_eX]

[DOI]

Yaroslav S. Usenko

Proceedings of the Fifth International Workshop on Software and Performance, 2005

Logic and Model Checking for Hidden Markov Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Counterexamples for Timed Probabilistic Reachability.

[BibT_eX]

[DOI]

Husain Aljazzar

Stefan Leue

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

2004

Probabilistic weak simulation is decidable in polynomial time.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

Embedded Software Analysis with MOTOR.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Synthesis and Stochastic Assessment of Schedules for Lacquer Production.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

An industrial-strength formal method -- A Modest survey.

[BibT_eX]

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003

Model-Checking Algorithms for Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

A tool for model-checking Markov chains.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2003

On the use of MTBDDs for performability analysis and verification of stochastic systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2003

Optimal state-space lumping in Markov chains.

[BibT_eX]

[DOI]

Salem Derisavi

William H. Sanders

Inf. Process. Lett., 2003

A QoS-Oriented Extension of UML Statecharts.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2003, 2003

A Set of Performance and Dependability Analysis Components for CADP.

[BibT_eX]

[DOI]

Christophe Joubert

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Discrete-Time Rewards Model-Checked.

[BibT_eX]

[DOI]

Suzana Andova

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

ETMCC: Model Checking Performability Properties of Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Cost-Optimization of the IPv4 Zeroconf Protocol.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

On Integrating the MÖBIUS and MODEST Modeling Tools.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

The Modest Modeling Tool and Its Implementation.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluations, 2003

Comparative Branching-Time Semantics.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2003, 2003

2002

Process algebra for performance evaluation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Guest editors' introduction: Model checking in a nutshell.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2002

Automated Performance and Dependability Evaluation Using Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002

A Probabilistic Extension of UML Statecharts.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

On Combining Functional Verification and Performance Evaluation Using CADP.

[BibT_eX]

[DOI]

Hubert Garavel

Proceedings of the FME 2002: Formal Methods, 2002

Model Checking Performability Properties.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Simulation for Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2002, 2002

Interactive Markov Chains: The Quest for Quantified Quality

[BibT_eX]

[DOI]

Lecture Notes in Computer Science 2428, Springer, ISBN: 3-540-44261-8, 2002

2001

Construction and Verification of Performance and Reliability Models.

[BibT_eX]

Bull. EATCS, 2001

Beyond Memoryless Distributions: Model Checking Semi-Markov Chains.

[BibT_eX]

[DOI]

Gabriel G. Infante López

Proceedings of the Process Algebra and Probabilistic Methods, 2001

MoDeST - A Modelling and Description Language for Stochastic Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2001

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

2000

Automated compositional Markov chain generation for a plain-old telephone system.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2000

Compositional performance modelling with the TIPPtool.

[BibT_eX]

[DOI]

Ulrich Klehmet

Perform. Evaluation, 2000

A Markov Chain Model Checker.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

On the Use of Model Checking Techniques for Dependability Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000

Towards Model Checking Stochastic Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

On the Logical Characterisation of Performability Properties.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Process Algebra and Markov Chains.

[BibT_eX]

[DOI]

Ed Brinksma

Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000

Model Checking Continuous-Time Markov Chains by Transient Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Interactive Markov chains = Interaktive Markovketten.

[BibT_eX]

[DOI]

PhD thesis, 1999

Symbolic Minimisation of Stochastic Process Algebra Models.

[BibT_eX]

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

Approximate Symbolic Model Checking of Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '99: Concurrency Theory, 1999

TIPPtool: Compositional Specification and Analysis of Markovian Performance Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1998

On Generative Parallel Composition.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998

Stochastic Process Algebras - Between LOTOS and Markov Chains.

[BibT_eX]

[DOI]

Comput. Networks, 1998

Exploiting Symmetries in Stochastic Process Algebras.

[BibT_eX]

Marina Ribaudo

Proceedings of the 12<sup>th</sup> European Simulation Multiconference - Simulation, 1998

Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract).

[BibT_eX]

[DOI]

Markus Lohrey

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

Exploiting stochastic process algebra achievements for generalized stochastic Petri nets.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

Weak Bisimulation for Fully Probabilistic Processes.

[BibT_eX]

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996

A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

1995

Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching.

[BibT_eX]

[DOI]

Thorsten Weiss

Comput. J., 1995

1994

Stochastic process algebras: integrating qualitative and quantitative modelling.

[BibT_eX]

Jane Hillston