J. Barnat

Available identifiers

zbMath Open barnat.jiriMaRDI QIDQ282090

List of research outcomes

Publication	Date of Publication	Type
Local Nontermination Detection for Parallel C++ Programs	2024-03-14	Paper
Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components	2022-03-09	Paper
Detecting attractors in biological models with uncertain parameters	2019-07-25	Paper
Symbolic computation via program transformation	2018-11-23	Paper
LTL parameter synthesis of parametric timed automata	2018-07-06	Paper
Finding boundary elements in ordered sets with application to safety and requirements analysis	2018-07-06	Paper
On clock-aware LTL parameter synthesis of timed automata	2018-06-27	Paper
Tunable online MUS/MSS enumeration	2018-04-19	Paper
Verification of systems with degradation	2018-04-05	Paper
Temporal Logic Control of Discrete-Time Piecewise Affine Systems	2017-09-08	Paper
Analysing sanity of requirements for avionics systems	2016-05-12	Paper
Quo vadis explicit-state model checking	2015-02-20	Paper
On clock-aware LTL properties of timed automata	2015-01-13	Paper
Parallel model checking large-scale genetic regulatory networks with DiVinE	2014-01-17	Paper
Improved distributed algorithms for SCC decomposition	2013-12-13	Paper
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties	2013-06-06	Paper
Formal analysis of piecewise affine systems through formula-guided refinement	2013-03-04	Paper
Distributed algorithms for SCC decomposition	2011-02-02	Paper
Flash memory efficient LTL model checking	2011-01-14	Paper
On algorithmic analysis of transcriptional regulation by LTL model checking	2009-08-07	Paper
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking	2008-04-11	Paper
Cluster-Based LTL Model Checking of Large Systems	2007-09-11	Paper
Distributed breadth-first search LTL model checking	2006-10-24	Paper
https://portal.mardi4nfdi.de/entity/Q4531762	2002-05-23	Paper

Research outcomes over time

This page was built for person: J. Barnat