![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Nikola Benes
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j13]Nikola Benes
, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek:
Boolean network sketches: a unifying framework for logical model inference. Bioinform. 39(4) (2023) - [c38]Nikola Benes
, Lubos Brim
, Samuel Pastva
, David Safránek
, Eva Smijáková:
Phenotype Control of Partially Specified Boolean Networks. CMSB 2023: 18-35 - 2022
- [j12]Nikola Benes
, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek, Eva Smijáková:
AEON.py: Python library for attractor analysis in asynchronous Boolean networks. Bioinform. 38(21): 4978-4980 (2022) - [j11]Nikola Benes
, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek:
Exploring attractor bifurcations in Boolean networks. BMC Bioinform. 23(1): 173 (2022) - [j10]Nikola Benes
, Lubos Brim, Samuel Pastva, David Safránek:
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. Log. Methods Comput. Sci. 18(1) (2022) - 2021
- [c37]Nikola Benes
, Lubos Brim, Samuel Pastva, David Safránek
:
Computing Bottom SCCs Symbolically Using Transition Guided Reduction. CAV (1) 2021: 505-528 - [c36]Nikola Benes
, Lubos Brim, Samuel Pastva, David Safránek
:
Aeon 2021: Bifurcation Decision Trees in Boolean Networks. CMSB 2021: 230-237 - [c35]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Symbolic Coloured SCC Decomposition. TACAS (2) 2021: 64-83 - [i8]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. CoRR abs/2108.13113 (2021) - 2020
- [j9]Nikola Benes
, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Logical vs. behavioural specifications. Inf. Comput. 271: 104487 (2020) - [j8]Nikola Benes
, Lubos Brim, Samuel Pastva
, David Safránek
:
Digital Bifurcation Analysis of Internet Congestion Control Protocols. Int. J. Bifurc. Chaos 30(13): 2030038:1-2030038:18 (2020) - [j7]Nikola Benes
, Lubos Brim
, Samuel Pastva
, David Safránek
:
Parallel parameter synthesis algorithm for hybrid CTL. Sci. Comput. Program. 185 (2020) - [c34]Nikola Benes
, Lubos Brim
, Jakub Kadlecaj, Samuel Pastva
, David Safránek
:
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. CAV (1) 2020: 569-581
2010 – 2019
- 2019
- [c33]Nikola Benes
, Lubos Brim
, Jana Drazanová, Samuel Pastva
, David Safránek
:
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. HSCC 2019: 99-108 - [c32]Nikola Benes
, Lubos Brim
, Samuel Pastva
, Jakub Polácek, David Safránek
:
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. ICFEM 2019: 353-369 - [c31]Nikola Benes
, Lubos Brim
, Martin Geletka
, Samuel Pastva
, David Safránek
:
Accelerating Parameter Synthesis Using Semi-algebraic Constraints. IFM 2019: 27-45 - [c30]Nikola Benes
, Lubos Brim
, Samuel Pastva
, David Safránek
:
Digital Bifurcation Analysis of TCP Dynamics. TACAS (2) 2019: 339-356 - [p1]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Model Checking Approach to the Analysis of Biological Systems. Automated Reasoning for Systems Biology and Medicine 2019: 3-35 - 2018
- [j6]Peter Bezdek, Nikola Benes
, Ivana Cerná
, Jiri Barnat:
On clock-aware LTL parameter synthesis of timed automata. J. Log. Algebraic Methods Program. 99: 114-142 (2018) - [c29]Jaroslav Bendík, Ivana Cerná
, Nikola Benes
:
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. ATVA 2018: 143-159 - [c28]Jaroslav Bendík
, Nikola Benes, Ivana Cerná
:
Finding Regressions in Projects under Version Control Systems. ICSOFT 2018: 186-197 - 2017
- [c27]Nikola Benes
, Lubos Brim
, Martin Demko, Samuel Pastva
, David Safránek
:
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems. CAV (1) 2017: 591-598 - [c26]Jiri Barnat, Nikola Benes
, Lubos Brim
, Martin Demko, Matej Hajnal, Samuel Pastva
, David Safránek
:
Detecting Attractors in Biological Models with Uncertain Parameters. CMSB 2017: 40-56 - [i7]Jaroslav Bendík, Nikola Benes, Ivana Cerna:
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. CoRR abs/1708.00400 (2017) - [i6]Jaroslav Bendík, Nikola Benes, Ivana Cerna:
Finding Regressions in Projects under Version Control Systems. CoRR abs/1708.06623 (2017) - 2016
- [j5]Jiri Barnat, Petr Bauch, Nikola Benes
, Lubos Brim
, Jan Beran, Tomas Kratochvila:
Analysing sanity of requirements for avionics systems. Formal Aspects Comput. 28(1): 45-63 (2016) - [c25]Nikola Benes
, Lubos Brim
, Martin Demko, Samuel Pastva
, David Safránek
:
Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. ATVA 2016: 192-208 - [c24]Martin Demko, Nikola Benes
, Lubos Brim
, Samuel Pastva
, David Safránek
:
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. CMSB 2016: 82-97 - [c23]Nikola Benes
, Lubos Brim
, Martin Demko, Samuel Pastva
, David Safránek
:
A Model Checking Approach to Discrete Bifurcation Analysis. FM 2016: 85-101 - [c22]Jaroslav Bendík
, Nikola Benes
, Ivana Cerná, Jiri Barnat:
Tunable Online MUS/MSS Enumeration. FSTTCS 2016: 50:1-50:13 - [c21]Jaroslav Bendík, Nikola Benes
, Jiri Barnat, Ivana Cerná:
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis. SEFM 2016: 121-136 - [c20]Peter Bezdek, Nikola Benes
, Jiri Barnat, Ivana Cerná:
LTL Parameter Synthesis of Parametric Timed Automata. SEFM 2016: 172-187 - [i5]Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat:
Tunable Online MUS/MSS Enumeration. CoRR abs/1606.03289 (2016) - 2015
- [j4]Nikola Benes
, Jan Kretínský, Kim G. Larsen
, Mikael H. Møller, Salomon Sickert, Jirí Srba
:
Refinement checking on parametric modal transition systems. Acta Informatica 52(2-3): 269-297 (2015) - [c19]Nikola Benes
, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic:
Complete Composition Operators for IOCO-Testing Theory. CBSE 2015: 101-110 - [c18]Nikola Benes
, Peter Bezdek, Kim Guldstrand Larsen
, Jirí Srba
:
Language Emptiness of Continuous-Time Parametric Timed Automata. ICALP (2) 2015: 69-81 - [i4]Nikola Benes, Peter Bezdek, Kim G. Larsen, Jirí Srba:
Language Emptiness of Continuous-Time Parametric Timed Automata. CoRR abs/1504.07838 (2015) - [i3]Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila:
Analysing Sanity of Requirements for Avionics Systems (Preliminary Version). CoRR abs/1510.02669 (2015) - 2014
- [c17]Peter Bezdek, Nikola Benes
, Vojtech Havel, Jiri Barnat, Ivana Cerná:
On Clock-Aware LTL Properties of Timed Automata. ICTAC 2014: 43-60 - [i2]Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná:
LTL Model Checking of Parametric Timed Automata. CoRR abs/1409.3696 (2014) - 2013
- [c16]Jiri Barnat, Nikola Benes
, Ivana Cerná
, Zuzana Petruchová:
DCCL: verification of component systems with ensembles. CBSE 2013: 43-52 - [c15]Nikola Benes
, Benoît Delahaye
, Uli Fahrenberg, Jan Kretínský, Axel Legay:
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CONCUR 2013: 76-90 - [c14]Jiri Barnat, Nikola Benes
, Tomás Bures
, Ivana Cerná
, Jaroslav Keznikl, Frantisek Plásil
:
Towards Verification of Ensemble-Based Component Systems. FACS 2013: 41-60 - [i1]Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay:
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CoRR abs/1306.0741 (2013) - 2012
- [j3]Nikola Benes
, Jan Kretínský, Kim G. Larsen
, Jirí Srba
:
EXPTIME-completeness of thorough refinement on modal transition systems. Inf. Comput. 218: 54-68 (2012) - [c13]Nikola Benes
, Barbora Buhnova, Ivana Cerna
, Radek Oslejsek
:
Reliability analysis in component-based development via probabilistic model checking. CBSE 2012: 83-92 - [c12]Nikola Benes
, Jan Kretínský:
Modal Process Rewrite Systems. ICTAC 2012: 120-135 - [c11]Nikola Benes
, Jan Kretínský, Kim Guldstrand Larsen
, Mikael H. Møller, Jirí Srba
:
Dual-Priced Modal Transition Systems with Time Durations. LPAR 2012: 122-137 - [c10]Nikola Benes
, Ivana Cerná
, Filip Stefanak:
Factorization for Component-Interaction Automata. SOFSEM 2012: 554-565 - 2011
- [j2]Nikola Benes
, Lubos Brim
, Barbora Buhnova
, Ivana Cerná
, Jiri Sochor, Pavlína Vareková:
Partial order reduction for state/event LTL with application to component-interaction automata. Sci. Comput. Program. 76(10): 877-890 (2011) - [c9]Nikola Benes
, Ivana Cerná
, Jan Kretínský:
Modal Transition Systems: Composition and LTL Model Checking. ATVA 2011: 228-242 - [c8]Nikola Benes
, Jan Kretínský, Kim G. Larsen
, Mikael H. Møller, Jirí Srba
:
Parametric Modal Transition Systems. ATVA 2011: 275-289 - [c7]Nikola Benes, Ivana Cerná, Milan Krivánek:
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. PDMC 2011: 63-67 - 2010
- [c6]Nikola Benes
, Jan Kretínský:
Process Algebra for Modal Transition Systemses. MEMICS 2010: 9-18
2000 – 2009
- 2009
- [j1]Nikola Benes
, Jan Kretínský, Kim Guldstrand Larsen
, Jirí Srba
:
On determinism in modal transition systems. Theor. Comput. Sci. 410(41): 4026-4043 (2009) - [c5]Nikola Benes
, Jan Kretínský, Kim Guldstrand Larsen
, Jirí Srba
:
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. ICTAC 2009: 112-126 - [c4]Nikola Benes
, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová
:
Partial Order Reduction for State/Event LTL. IFM 2009: 307-321 - [c3]Nikola Benes, Milan Krivánek, Filip Stefanak:
Space Effective Model Checking for Component-Interaction Automata. MEMICS 2009 - 2008
- [c2]Nikola Benes
, Ivana Cerná
, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová
:
A Case Study in Parallel Verification of Component-Based Systems. PDMC@ETAPS 2008: 67-83 - 2007
- [c1]Barbora Zimmerová
, Pavlína Vareková, Nikola Benes
, Ivana Cerná
, Lubos Brim, Jiri Sochor:
Component-Interaction Automata Approach (CoIn). CoCoME 2007: 146-176
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint