Jiří Barnat

Available identifiers

zbMath Open barnat.jiriMaRDI QIDQ282090

List of research outcomes

Publication	Date of Publication	Type
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
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis	2018-07-06	Paper
LTL Parameter Synthesis of Parametric Timed Automata	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

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: Jiří Barnat