David N. Jansen

According to our database1, David N. Jansen authored at least 37 papers between 2001 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Probabilistic bisimulation for realistic schedulers.
Acta Inf., 2018

2017
An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation.
ACM Trans. Comput. Log., 2017

On Equivalence Checking of Nondeterministic Finite Automata.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Distribution-Based Bisimulation for Labelled Markov Processes.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Finding Polynomial Loop Invariants for Probabilistic Programs.
Proceedings of the Automated Technology for Verification and Analysis, 2017

2016
Multiphase until formulas over Markov reward models: An algebraic approach.
Theor. Comput. Sci., 2016

A space-efficient simulation algorithm on probabilistic automata.
Inf. Comput., 2016

Minimal Separating Sequences for All Pairs of States.
Proceedings of the Language and Automata Theory and Applications, 2016

2015
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Applying Automata Learning to Embedded Control Software.
Proceedings of the Formal Methods and Software Engineering, 2015

2013
Revisiting Weak Simulation for Substochastic Markov Chains.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

More or Less True DCTL for Continuous-Time MDPs.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

2012
On Abstraction of Probabilistic Systems.
Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012

Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm.
Proceedings of the NASA Formal Methods, 2012

2011
Automata-Based CSL Model Checking
Logical Methods in Computer Science, 2011

Automata-Based CSL Model Checking.
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

2010
Synthesis and stochastic assessment of cost-optimal schedules.
STTT, 2010

The axiomatization of override and update.
J. Applied Logic, 2010

Fortuna: Model Checking Priced Probabilistic Timed Automata.
Proceedings of the QEST 2010, 2010

2009
Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata.
Proceedings of the Theory and Applications of Models of Computation, 6th Annual Conference, 2009

The Ins and Outs of the Probabilistic Model Checker MRMC.
Proceedings of the QEST 2009, 2009

2007
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison.
Proceedings of the Hardware and Software: Verification and Testing, 2007

07101 Working Group Report -- Performance Measures Other Than Time.
Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

2006
Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

2005
QoS modelling and analysis with UML-statecharts: the StoCharts approach.
SIGMETRICS Performance Evaluation Review, 2005

From StoCharts to MoDeST: a comparative reliability analysis of train radio communications.
Proceedings of the Fifth International Workshop on Software and Performance, 2005

Logic and Model Checking for Hidden Markov Models.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004
Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

An industrial-strength formal method -- A Modest survey.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003
Extensions of Statecharts with probability, time, and stochastic timing.
PhD thesis, 2003

A QoS-Oriented Extension of UML Statecharts.
Proceedings of the «UML» 2003, 2003

2002
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts.
Requir. Eng., 2002

Extending CTL with Actions and Real Time.
J. Log. Comput., 2002

A Probabilistic Extension of UML Statecharts.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001
Techniques for Reactive System Design: The Tools in TRADE.
Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001


  Loading...