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
https://portal.mardi4nfdi.de/entity/Q4636600	2018-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4610039	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