RNDr. Nikola Beneš, Ph.D.


Kancelář: B421
Botanická 554/68a
602 00 Brno

Zobrazit na mapě

Telefon: 549 49 7287
E‑mail:
Publikace

2016

A Model Checking Approach to Discrete Bifurcation Analysis

BENEŠ Nikola BRIM Luboš DEMKO Martin PASTVA Samuel ŠAFRÁNEK David

A Model Checking Approach to Dynamical Systems Analysis

BRIM Luboš ŠAFRÁNEK David BENEŠ Nikola DEMKO Martin PASTVA Samuel HAJNAL Matej

Analysing Sanity of Requirements for Avionics Systems

BARNAT Jiří — BAUCH Petr — BENEŠ Nikola BRIM Luboš — BERAN Jan — KRATOCHVÍLA Tomáš

Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis

BENDÍK Jaroslav BENEŠ Nikola BARNAT Jiří ČERNÁ Ivana

High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study

DEMKO Martin BENEŠ Nikola BRIM Luboš PASTVA Samuel ŠAFRÁNEK David

LTL Parameter Synthesis of Parametric Timed Automata

BEZDĚK Peter BENEŠ Nikola BARNAT Jiří ČERNÁ Ivana

Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems

BENEŠ Nikola BRIM Luboš DEMKO Martin PASTVA Samuel ŠAFRÁNEK David

Tunable Online MUS/MSS Enumeration

BENDÍK Jaroslav BENEŠ Nikola ČERNÁ Ivana BARNAT Jiří

2015

Complete Composition Operators for IOCO-Testing Theory

BENEŠ Nikola — DACA Przemysław — HENZINGER Thomas A. — KŘETÍNSKÝ Jan — NIČKOVIĆ Dejan

Language Emptiness of Continuous-Time Parametric Timed Automata

BENEŠ Nikola BEZDĚK Peter — LARSEN Kim G. — SRBA Jiří

Předchozí 1 2 3 4 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info