17 citations · 105 across the 18 of their papers we have counts for
18 papers
Robust Control of Partially Specified Boolean Networks
Luboš Brim, Samuel Pastva, David Šafránek +1
Regulatory networks (RNs) are a well-accepted modelling formalism in computational systems biology. The control of RNs is currently receiving a lot of attention because it provides…
Biochemical Space Language in Relation to Multiset Rewriting Systems
Matej Troják, David Šafránek, Luboš Brim
This technical report relates Biochemical Space Language (BCSL) to Multiset rewriting systems (MRS). For a BCSL model, the semantics are defined in terms of transition systems, whi…
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs
Nikola Beneš, Luboš Brim, Samuel Pastva +1
Edge-coloured directed graphs provide an essential structure for modelling and analysis of complex systems arising in many scientific disciplines (e.g. feature-oriented systems, ge…
Parallel One-Step Control of Parametrised Boolean Networks
Lubos Brim, Samuel Pastva, David Safranek +1
Boolean network (BN) is a simple model widely used to study complex dynamic behaviour of biological systems. Nonetheless, it might be difficult to gather enough data to precisely c…
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Matej Troják, David Šafránek, Luboš Brim
We present the second generation of a rule-based language called Biochemical Space Language (BCSL) that combines the advantages of different approaches and thus makes an effort to…
Analysing Sanity of Requirements for Avionics Systems (Preliminary Version)
Jiří Barnat, Petr Bauch, Nikola Beneš +3
In the last decade it became a common practice to formalise software requirements to improve the clarity of users' expectations. In this work we build on the fact that functional r…