David N. Jansen

Available identifiers

zbMath Open jansen.david-nDBLP71/928WikidataQ59416387 ScholiaQ59416387MaRDI QIDQ896907

List of research outcomes

Publication	Date of Publication	Type
Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof	2023-07-26	Paper
On Equivalence Checking of Nondeterministic Finite Automata	2022-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q5101352	2022-08-30	Paper
Finding Polynomial Loop Invariants for Probabilistic Programs	2022-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q5089272	2022-07-18	Paper
An O(m log n) algorithm for branching bisimilarity on labelled transition systems	2021-11-10	Paper
An Automatic Proving Approach to Parameterized Verification	2019-02-07	Paper
Probabilistic bisimulation for realistic schedulers	2018-09-06	Paper
Distribution-based bisimulation for labelled Markov processes	2017-12-01	Paper
An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation	2017-07-13	Paper
A space-efficient simulation algorithm on probabilistic automata	2016-07-07	Paper
Minimal Separating Sequences for All Pairs of States	2016-04-13	Paper
Multiphase until formulas over Markov reward models: an algebraic approach	2015-12-15	Paper
On Abstraction of Probabilistic Systems	2015-01-12	Paper
More or Less True DCTL for Continuous-Time MDPs	2013-08-16	Paper
Efficient CSL model checking using stratification	2012-08-15	Paper
Automata-Based CSL Model Checking	2011-07-07	Paper
A Probabilistic Extension of UML Statecharts	2011-04-08	Paper
The axiomatization of override and update	2010-06-11	Paper
Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata	2009-06-03	Paper
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations	2009-04-29	Paper
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking	2007-09-03	Paper
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations	2007-09-03	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Extending CTL with Actions and Real Time	2002-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q2772436	2002-02-19	Paper

Research outcomes over time

This page was built for person: David N. Jansen