The following pages link to Luboš Brim (Q282093):
Displaying 50 items.
- Analysing sanity of requirements for avionics systems (Q282095) (← links)
- (Q537943) (redirect page) (← links)
- Faster algorithms for mean-payoff games (Q537946) (← links)
- Partial order reduction for state/event LTL with application to component-interaction automata (Q549692) (← links)
- Flash memory efficient LTL model checking (Q617930) (← links)
- (Q749196) (redirect page) (← links)
- Data structures and program transformation (Q749197) (← links)
- Computing bottom SCCs symbolically using transition guided reduction (Q832201) (← links)
- The Munich project CIP. Volume I: The wide spectrum language CIP-L (Q1062444) (← links)
- Dynamic algebras with test (Q1095141) (← links)
- Communication in concurrent dynamic logic (Q1095653) (← links)
- The Munich project CIP. Volume II: The program transformation system CIP- S (Q1103365) (← links)
- Polymorphic type inference and containment (Q1110312) (← links)
- Coupling coefficients of a distributed execution (Q1208733) (← links)
- Practical uses of synchronized clocks in distributed systems (Q1261109) (← links)
- A modular drinking philosophers algorithm (Q1261112) (← links)
- Dynamic detection of subgraphs in computer networks (Q1263956) (← links)
- \(\Pi_ 1^ 1\)-universality of some propositional logics of concurrent programs (Q1311976) (← links)
- Sequence semantics for dynamic predicate logic (Q1314278) (← links)
- Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks (Q1702921) (← links)
- Formal biochemical space with semantics in Kappa and BNGL (Q1744366) (← links)
- Formal derivation of a pattern matching algorithm (Q1822923) (← links)
- Probabilistic termination versus fair termination (Q1822937) (← links)
- On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties (Q1951607) (← links)
- Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications (Q2110677) (← links)
- eBCSgen: a software tool for biochemical space language (Q2110688) (← links)
- eBCSgen 2.0: modelling and analysis of regulated rule-based systems (Q2112172) (← links)
- Aeon 2021: bifurcation decision trees in Boolean networks (Q2142120) (← links)
- AEON: attractor bifurcation analysis of parametrised Boolean networks (Q2225126) (← links)
- Executable biochemical space for specification and analysis of biochemical systems (Q2229140) (← links)
- Symbolic coloured SCC decomposition (Q2233494) (← links)
- On algorithmic analysis of transcriptional regulation by LTL model checking (Q2271449) (← links)
- Weak logic theory (Q2276950) (← links)
- A model checking approach to discrete bifurcation analysis (Q2281628) (← links)
- Precise parameter synthesis for stochastic biochemical systems (Q2407983) (← links)
- STL*: extending signal temporal logic with signal-value freezing operator (Q2453214) (← links)
- Compact representation of photosynthesis dynamics by rule-based models (Q2520664) (← links)
- (Q2842859) (← links)
- (Q2845490) (← links)
- (Q2848148) (← links)
- (Q2848654) (← links)
- Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE (Q2870296) (← links)
- USING STRATEGY IMPROVEMENT TO STAY ALIVE (Q2909219) (← links)
- Faster Algorithm for Mean-Payoff Games (Q2917307) (← links)
- A process algebra for synchronous concurrent constraint programming (Q2956720) (← links)
- Cluster-Based LTL Model Checking of Large Systems (Q3591390) (← links)
- Partial Order Reduction for State/Event LTL (Q3605476) (← links)
- (Q4473984) (← links)
- (Q4473985) (← links)
- (Q4474210) (← links)
