Nikola Benes

According to our database1, Nikola Benes
  • authored at least 39 papers between 2007 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Finding Regressions in Projects under Version Control Systems.
CoRR, 2017

Recursive Online Enumeration of All Minimal Unsatisfiable Subsets.
CoRR, 2017

Detecting Attractors in Biological Models with Uncertain Parameters.
Proceedings of the Computational Methods in Systems Biology, 2017

Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Analysing sanity of requirements for avionics systems.
Formal Asp. Comput., 2016

Tunable Online MUS/MSS Enumeration.
CoRR, 2016

LTL Parameter Synthesis of Parametric Timed Automata.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Tunable Online MUS/MSS Enumeration.
Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

A Model Checking Approach to Discrete Bifurcation Analysis.
Proceedings of the FM 2016: Formal Methods, 2016

High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study.
Proceedings of the Computational Methods in Systems Biology, 2016

Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
Language Emptiness of Continuous-Time Parametric Timed Automata.
CoRR, 2015

Analysing Sanity of Requirements for Avionics Systems (Preliminary Version).
CoRR, 2015

Refinement checking on parametric modal transition systems.
Acta Inf., 2015

Language Emptiness of Continuous-Time Parametric Timed Automata.
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Complete Composition Operators for IOCO-Testing Theory.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

2014
LTL Model Checking of Parametric Timed Automata.
CoRR, 2014

On Clock-Aware LTL Properties of Timed Automata.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory.
CoRR, 2013

Towards Verification of Ensemble-Based Component Systems.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

DCCL: verification of component systems with ensembles.
Proceedings of the CBSE'13, 2013

2012
EXPTIME-completeness of thorough refinement on modal transition systems.
Inf. Comput., 2012

Factorization for Component-Interaction Automata.
Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

Dual-Priced Modal Transition Systems with Time Durations.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Modal Process Rewrite Systems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Reliability analysis in component-based development via probabilistic model checking.
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

2011
Partial order reduction for state/event LTL with application to component-interaction automata.
Sci. Comput. Program., 2011

CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Parametric Modal Transition Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2011

Modal Transition Systems: Composition and LTL Model Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Process Algebra for Modal Transition Systemses.
Proceedings of the Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2010

2009
On determinism in modal transition systems.
Theor. Comput. Sci., 2009

Space Effective Model Checking for Component-Interaction Automata.
Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009

Partial Order Reduction for State/Event LTL.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete.
Proceedings of the Theoretical Aspects of Computing, 2009

2008
A Case Study in Parallel Verification of Component-Based Systems.
Electr. Notes Theor. Comput. Sci., 2008

2007
Component-Interaction Automata Approach (CoIn).
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007


  Loading...