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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David N. Jansen