The following pages link to Axel Legay (Q243964):
Displayed 50 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- Command-based importance sampling for statistical model checking (Q313977) (← links)
- Abstract probabilistic automata (Q386011) (← links)
- Robust synthesis for real-time systems (Q386617) (← links)
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Consistency and refinement for interval Markov chains (Q444461) (← links)
- Maximizing entropy over Markov processes (Q465487) (← links)
- Constraint Markov chains (Q554215) (← links)
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- Hardness of preorder checking for basic formalisms (Q650916) (← links)
- On timed alternating simulation for concurrent timed games (Q715043) (← links)
- Importance sampling for stochastic timed automata (Q1660773) (← links)
- Rare events for statistical model checking an overview (Q1708653) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- Pushdown module checking with imperfect information (Q1951589) (← links)
- Modal event-clock specifications for timed component-based design (Q1951603) (← links)
- A decision tree lifted domain for analyzing program families with numerical features (Q2044175) (← links)
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization (Q2065555) (← links)
- Statistical model checking (Q2075782) (← links)
- Expressiveness of concurrent intensionality (Q2193283) (← links)
- Generalized abstraction-refinement for game-based CTL lifted model checking (Q2193289) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- Computing branching distances using quantitative games (Q2279111) (← links)
- Hybrid statistical estimation of mutual information for quantifying information flow (Q2281645) (← links)
- Attainable unconditional security for shared-key cryptosystems (Q2282054) (← links)
- A linear-time-branching-time spectrum for behavioral specification theories (Q2291820) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Hybrid statistical estimation of mutual information and its application to information flow (Q2414250) (← links)
- Stuttering for abstract probabilistic automata (Q2436515) (← links)
- The quantitative linear-time-branching-time spectrum (Q2453109) (← links)
- Tree regular model checking: a simulation-based approach (Q2500700) (← links)
- Quantifying information leakage of randomized protocols (Q2517235) (← links)
- Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata (Q2814125) (← links)
- Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory (Q2842098) (← links)
- Quantitative Modal Transition Systems (Q2848870) (← links)
- (Q2851067) (← links)
- Refinement and Difference for Probabilistic Automata (Q2878759) (← links)
- New Results on Timed Specifications (Q2890330) (← links)
- Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic (Q2891448) (← links)
- A Platform for High Performance Statistical Model Checking – PLASMA (Q2894294) (← links)
- A Modal Interface Theory for Component-based Design (Q2895779) (← links)
- General Quantitative Specification Theories with Modalities (Q2907483) (← links)
- Extending modal transition systems with structured labels (Q2909731) (← links)
- (Q2911616) (← links)
- On Timed Alternating Simulation for Concurrent Timed Games (Q2920115) (← links)
- Tropical Fourier–Motzkin elimination, with an application to real-time verification (Q2923336) (← links)
- Quantifying Information Leakage of Randomized Protocols (Q2926639) (← links)
- Generalized Quantitative Analysis of Metric Transition Systems (Q2937791) (← links)
- Heterogeneous Timed Machines (Q2938156) (← links)