RNDr. Nikola Beneš, Ph.D.

2020

• Digital Bifurcation Analysis of Internet Congestion Control Protocols

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

  Článek v odborném periodiku

  International Journal of Bifurcation and Chaos, rok: 2020, ročník: 30, vydání: 13, DOI

• Logical vs. behavioural specifications

  BENEŠ Nikola FAHRENBERG Uli KŘETÍNSKÝ Jan LEGAY Axel TRAONOUEZ Louis-Marie

  Článek v odborném periodiku

  Information and computation, rok: 2020, ročník: 271, vydání: 104487, DOI

• Parallel parameter synthesis algorithm for hybrid CTL

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

  Článek v odborném periodiku

  Science of Computer Programming, rok: 2020, ročník: 185, vydání: 102321, DOI

2019

• Accelerating Parameter Synthesis Using Semi-algebraic Constraints

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

  Článek ve sborníku

  Integrated Formal Methods, rok: 2019

• Digital Bifurcation Analysis of TCP Dynamics

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

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019, rok: 2019

• Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT

  BENEŠ Nikola BRIM Luboš DRAŽANOVÁ Jana PASTVA Samuel ŠAFRÁNEK David

  Článek ve sborníku

  Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control, rok: 2019

• Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.

  BENEŠ Nikola BRIM Luboš PASTVA Samuel POLÁČEK Jakub ŠAFRÁNEK David

  Článek ve sborníku

  Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, rok: 2019

• Model Checking Approach to the Analysis of Biological Systems

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

  Kapitola v knize

  Automated Reasoning for Systems Biology and Medicine, rok: 2019, počet stran: 33 s.

2018

• Finding Regressions in Projects under Version Control Systems

  BENDÍK Jaroslav BENEŠ Nikola ČERNÁ Ivana

  Článek ve sborníku

  13th International Conference on Software Technologies, rok: 2018

• Fully Automated Attractor Analysis of Cyanobacteria Models

  BENEŠ Nikola BRIM Luboš ČERVENÝ Jan PASTVA Samuel ŠAFRÁNEK David ŠALAGOVIČ Jakub TROJÁK Matej

  Článek ve sborníku

  22nd International Conference on System Theory, Control and Computing, rok: 2018