Nikola Beneš

Available identifiers

zbMath Open benes.nikolaMaRDI QIDQ282092

List of research outcomes

Publication	Date of Publication	Type
Accelerating parameter synthesis using semi-algebraic constraints	2024-04-19	Paper
Phenotype control of partially specified Boolean networks	2024-02-28	Paper
Digital bifurcation analysis of TCP dynamics	2023-11-24	Paper
Recursive online enumeration of all minimal unsatisfiable subsets	2023-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q5094123	2022-08-02	Paper
Aeon 2021: bifurcation decision trees in Boolean networks	2022-05-25	Paper
Computing bottom SCCs symbolically using transition guided reduction	2022-03-25	Paper
Symbolic coloured SCC decomposition	2021-10-18	Paper
AEON: attractor bifurcation analysis of parametrised Boolean networks	2021-02-04	Paper
Digital Bifurcation Analysis of Internet Congestion Control Protocols	2020-12-03	Paper
Logical vs. behavioural specifications	2020-03-12	Paper
A model checking approach to discrete bifurcation analysis	2020-01-03	Paper
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT	2019-10-22	Paper
Detecting Attractors in Biological Models with Uncertain Parameters	2019-07-25	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
Analysing sanity of requirements for avionics systems	2016-05-12	Paper
Language Emptiness of Continuous-Time Parametric Timed Automata	2015-11-04	Paper
Refinement checking on parametric modal transition systems	2015-04-16	Paper
On Clock-Aware LTL Properties of Timed Automata	2015-01-13	Paper
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory	2013-08-12	Paper
EXPTIME-completeness of thorough refinement on modal transition systems	2012-11-27	Paper
Space effective model checking for component-interaction automata	2012-09-28	Paper
Process algebra for modal transition systemses	2012-09-28	Paper
Modal Process Rewrite Systems	2012-09-21	Paper
Dual-Priced Modal Transition Systems with Time Durations	2012-06-15	Paper
Factorization for Component-Interaction Automata	2012-06-15	Paper
Modal Transition Systems: Composition and LTL Model Checking	2011-10-07	Paper
Parametric Modal Transition Systems	2011-10-07	Paper
Partial order reduction for state/event LTL with application to component-interaction automata	2011-07-18	Paper
On determinism in modal transition systems	2009-09-29	Paper
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete	2009-08-20	Paper
Partial Order Reduction for State/Event LTL	2009-02-24	Paper

Research outcomes over time

This page was built for person: Nikola Beneš