Nikola Benes - RankMe

63 papers B 12C 5Journal 21Unranked 24

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	AEON 2025: Robust Control of Partially-Specified Boolean Networks. CMSB Vojtech Veselý, Eva Smijáková, Samuel Pastva, Nikola Benes, David Safránek
2024	—	`conf`	BNClassifier: Classifying Boolean Models by Dynamic Properties. CMSB Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek
2024	—	`conf`	Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures. ATVA (2) Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek
2023	J	`jnl`	Boolean network sketches: a unifying framework for logical model inference. Bioinform. Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek
2023	—	`conf`	Phenotype Control of Partially Specified Boolean Networks. CMSB Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková
2022	J	`jnl`	AEON.py: Python library for attractor analysis in asynchronous Boolean networks. Bioinform. Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek, Eva Smijáková
2022	J	`jnl`	BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. Log. Methods Comput. Sci. Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2022	J	`jnl`	Exploring attractor bifurcations in Boolean networks. BMC Bioinform. Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek
2021	—	`conf`	Aeon 2021: Bifurcation Decision Trees in Boolean Networks. CMSB Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2021	J	`jnl`	BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. CoRR Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2021	—	`conf`	Computing Bottom SCCs Symbolically Using Transition Guided Reduction. CAV (1) Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2021	—	`conf`	Symbolic Coloured SCC Decomposition. TACAS (2) Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2020	—	`conf`	AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. CAV (1) Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek
2020	J	`jnl`	Digital Bifurcation Analysis of Internet Congestion Control Protocols. Int. J. Bifurc. Chaos Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2020	J	`jnl`	Logical vs. behavioural specifications. Inf. Comput. Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
2020	J	`jnl`	Parallel parameter synthesis algorithm for hybrid CTL. Sci. Comput. Program. Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2019	B	`conf`	Accelerating Parameter Synthesis Using Semi-algebraic Constraints. IFM Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek
2019	—	`conf`	Digital Bifurcation Analysis of TCP Dynamics. TACAS (2) Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2019	—	`conf`	Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. HSCC Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek
2019	C	`conf`	Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. ICFEM Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polácek, David Safránek
2019	—	`ch.`	Model Checking Approach to the Analysis of Biological Systems. Automated Reasoning for Systems Biology and Medicine Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2018	C	`conf`	Finding Regressions in Projects under Version Control Systems. ICSOFT Jaroslav Bendík, Nikola Benes, Ivana Cerná
2018	J	`jnl`	On clock-aware LTL parameter synthesis of timed automata. J. Log. Algebraic Methods Program. Peter Bezdek, Nikola Benes, Ivana Cerná, Jiri Barnat
2018	B	`conf`	Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. ATVA Jaroslav Bendík, Ivana Cerná, Nikola Benes
2017	—	`conf`	Detecting Attractors in Biological Models with Uncertain Parameters. CMSB Jiri Barnat, Nikola Benes, Lubos Brim, Martin Demko, Matej Hajnal, Samuel Pastva, David Safránek
2017	J	`jnl`	Finding Regressions in Projects under Version Control Systems. CoRR Jaroslav Bendík, Nikola Benes, Ivana Cerna
2017	—	`conf`	Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems. CAV (1) Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
2017	J	`jnl`	Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. CoRR Jaroslav Bendík, Nikola Benes, Ivana Cerna
2016	B	`conf`	A Model Checking Approach to Discrete Bifurcation Analysis. FM Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
2016	J	`jnl`	Analysing sanity of requirements for avionics systems. Formal Aspects Comput. Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila
2016	B	`conf`	Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis. SEFM Jaroslav Bendík, Nikola Benes, Jiri Barnat, Ivana Cerná
2016	—	`conf`	High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. CMSB Martin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2016	B	`conf`	LTL Parameter Synthesis of Parametric Timed Automata. SEFM Peter Bezdek, Nikola Benes, Jiri Barnat, Ivana Cerná
2016	B	`conf`	Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. ATVA Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
2016	—	`conf`	Tunable Online MUS/MSS Enumeration. FSTTCS Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat
2016	J	`jnl`	Tunable Online MUS/MSS Enumeration. CoRR Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat
2015	J	`jnl`	Analysing Sanity of Requirements for Avionics Systems (Preliminary Version). CoRR Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila
2015	—	`conf`	Complete Composition Operators for IOCO-Testing Theory. CBSE Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic
2015	—	`conf`	Language Emptiness of Continuous-Time Parametric Timed Automata. ICALP (2) Nikola Benes, Peter Bezdek, Kim Guldstrand Larsen, Jirí Srba
2015	J	`jnl`	Language Emptiness of Continuous-Time Parametric Timed Automata. CoRR Nikola Benes, Peter Bezdek, Kim G. Larsen, Jirí Srba
2015	J	`jnl`	Refinement checking on parametric modal transition systems. Acta Informatica Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba
2014	J	`jnl`	LTL Model Checking of Parametric Timed Automata. CoRR Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná
2014	C	`conf`	On Clock-Aware LTL Properties of Timed Automata. ICTAC Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná
2013	—	`conf`	DCCL: verification of component systems with ensembles. CBSE Jiri Barnat, Nikola Benes, Ivana Cerná, Zuzana Petruchová
2013	B	`conf`	Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CONCUR Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay
2013	J	`jnl`	Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CoRR Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay
2013	—	`conf`	Towards Verification of Ensemble-Based Component Systems. FACS Jiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plásil
2012	B	`conf`	Dual-Priced Modal Transition Systems with Time Durations. LPAR Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba
2012	J	`jnl`	EXPTIME-completeness of thorough refinement on modal transition systems. Inf. Comput. Nikola Benes, Jan Kretínský, Kim G. Larsen, Jirí Srba
2012	B	`conf`	Factorization for Component-Interaction Automata. SOFSEM Nikola Benes, Ivana Cerná, Filip Stefanak
2012	C	`conf`	Modal Process Rewrite Systems. ICTAC Nikola Benes, Jan Kretínský
2012	—	`conf`	Reliability analysis in component-based development via probabilistic model checking. CBSE Nikola Benes, Barbora Buhnova, Ivana Cerna, Radek Oslejsek
2011	—	`conf`	CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems PDMC Nikola Benes, Ivana Cerná, Milan Krivánek
2011	B	`conf`	Modal Transition Systems: Composition and LTL Model Checking. ATVA Nikola Benes, Ivana Cerná, Jan Kretínský
2011	B	`conf`	Parametric Modal Transition Systems. ATVA Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba
2011	J	`jnl`	Partial order reduction for state/event LTL with application to component-interaction automata. Sci. Comput. Program. Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková
2010	—	`conf`	Process Algebra for Modal Transition Systemses. MEMICS Nikola Benes, Jan Kretínský
2009	C	`conf`	Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. ICTAC Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba
2009	J	`jnl`	On determinism in modal transition systems. Theor. Comput. Sci. Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba
2009	B	`conf`	Partial Order Reduction for State/Event LTL. IFM Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová
2009	—	`conf`	Space Effective Model Checking for Component-Interaction Automata. MEMICS Nikola Benes, Milan Krivánek, Filip Stefanak
2008	—	`conf`	A Case Study in Parallel Verification of Component-Based Systems. PDMC@ETAPS Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová
2007	—	`conf`	Component-Interaction Automata Approach (CoIn). CoCoME Barbora Zimmerová, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor