Nikola Beneš

2016

Jaroslav Bendík, Nikola Beneš, Jiří Barnat, and Ivana Černá:
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis,
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, 2016, 121–136. [bibtex, url]

Peter Bezděk, Nikola Beneš, Jiří Barnat, and Ivana Černá:
LTL Parameter Synthesis of Parametric Timed Automata,
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, 2016, 172–187. [bibtex, url]

2014

Peter Bezděk, Nikola Beneš, Jiří Barnat, and Ivana Černá:
LTL Model Checking of Parametric Timed Automata,
MEMICS 2014, NOVPRESS, 2014, 28-39. [bibtex]

Peter Bezděk, Nikola Beneš, Vojtěch Havel, Jiří Barnat, and Ivana Černá:
On Clock-Aware LTL properties of Timed Automata,
International Colloquium on Theoretical Aspects of Computing (ICTAC), Springer, 2014, volume 8687 of LNCS, 46–60. [bibtex]

Jiří Barnat, Nikola Beneš, Tomáš Bureš, Ivana Černá, Jaroslav Keznikl, and František Plášil:
Towards Verification of Ensemble-Based Component Systems,
Formal Aspects of Component Software (FACS), Springer, 2014, volume 8348 of LNCS, 1–20. [bibtex]

2013

Jiří Barnat, Nikola Beneš, Ivana Černá, and Zuzana Petruchová:
DCCL: Verification of Component Systems with Ensembles,
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, ACM, 2013, 43–52. [bibtex, url]

2012

Nikola Beneš, Ivana Černá, and Filip Štefaňák:
Factorization for Component-Interaction Automata,
SOFSEM 2012: Theory and Practice of Computer Science, Springer Berlin Heidelberg, 2012, volume 7147 of Lecture Notes in Computer Science, 554-565. [bibtex, url]

Nikola Beneš, Barbora Bühnová, Ivana Černá, and Radek Ošlejšek:
Reliability analysis in component-based development via probabilistic model checking,
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE ’12), ACM, 2012, 83-92. [bibtex, url]

2011

Nikola Beneš, Ivana Černá, and Milan Křivánek:
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems,
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, Open Publishing Association, 2011, 63-67. [bibtex, url]

Nikola Beneš, Ivana Černá, and Jan Křetínský:
Modal Transition Systems: Composition and LTL Model Checking,
ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, Springer, 2011, 228-242. [bibtex]

Nikola Beneš, Luboš Brim, Barbora Bühnová, Ivana Černá, Jiří Sochor, and Pavlína Moravcová Vařeková:
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata,
Science of Computer Programming, 2011. [bibtex, url]

2009

Nikola Beneš, Luboš Brim, Ivana Černá, Jiří Sochor, Pavlína Vařeková, and Barbora Zimmerová:
Partial Order Reduction for State/Event LTL,
Proceedings of the International Conference on Integrated Formal Methods (IFM’09), Springer-Verlag, 2009, volume 5423 of LNCS, 307–321. [bibtex]

2008

Nikola Beneš, Ivana Černá, Jiří Sochor, Pavlína Vařeková, and Barbora Zimmerová:
A Case Study in Parallel Verification of Component-Based Systems,
Electr. Notes Theor. Comput. Sci., 2008, 67–83. [bibtex, url]

Nikola Beneš, Luboš Brim, Ivana Černá, Jiří Sochor, Pavlína Vařeková, and Barbora Zimmerová:
The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems,
Proceedings of the Workshop on Formal Aspects of Component Software (FACS’08), 2008, 221–225. [bibtex]

Barbora Zimmerová, Pavlína Vařeková, Nikola Beneš, Ivana Černá, Luboš Brim, and Jiří Sochor:
The Common Component Modeling Example: Comparing Software Component Models,
Springer-Verlag, 2008, volume 5153 of LNCS, 146–176. [bibtex]