RNDr. Nikola Beneš, Ph.D.

Assistant professor, Department of Computer Systems and Communications

office: B421
Botanická 554/68a
602 00 Brno

Show on the map

phone:	+420 549 49 7287

social and academic networks:

Basic information

Type

Total number of publications: 66

2014

On Clock-Aware LTL Properties of Timed Automata

BEZDĚK Peter BENEŠ Nikola HAVEL Vojtěch BARNAT Jiří ČERNÁ Ivana

Article in Proceedings

Theoretical Aspects of Computing – ICTAC 2014, year: 2014
Towards Verification of Ensemble Based Component Systems

BARNAT Jiří BENEŠ Nikola BUREŠ Tomáš ČERNÁ Ivana KEZNIKL Tomáš PLÁŠIL František

Article in Proceedings

Formal Aspects of Component Software, year: 2014

2013

DCCL: Verification of Component Systems with Ensembles

BARNAT Jiří BENEŠ Nikola ČERNÁ Ivana PETRUCHOVÁ Zuzana

Article in Proceedings

CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, year: 2013
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

BENEŠ Nikola DELAHAYE Benoit FAHRENBERG Uli KŘETÍNSKÝ Jan LEGAY Axel

Article in Proceedings

CONCUR 2013 - Concurrency Theory - 24th International Conference, year: 2013

2012

Dual-Priced Modal Transition Systems with Time Durations

BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. MOLLER Mikael H. SRBA Jiří

Article in Proceedings

LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, year: 2012
EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems

BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. SRBA Jiří

Article in Periodical

Information and Computation, year: 2012, volume: 218, edition: September, DOI
Factorization for Component-Interaction Automata

BENEŠ Nikola ČERNÁ Ivana ŠTEFAŇÁK Filip

Article in Proceedings

SOFSEM 2012: Theory and Practice of Computer Science, year: 2012
Modal Process Rewrite Systems

BENEŠ Nikola KŘETÍNSKÝ Jan

Article in Proceedings

Theoretical Aspects of Computing - ICTAC 2012, year: 2012
Reliability analysis in component-based development via probabilistic model checking

BENEŠ Nikola BÜHNOVÁ Barbora ČERNÁ Ivana OŠLEJŠEK Radek

Article in Proceedings

Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12), year: 2012

2011

CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

BENEŠ Nikola ČERNÁ Ivana KŘIVÁNEK Milan

Article in Proceedings

Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, year: 2011