The following pages link to Didier Lime (Q378903):
Displayed 50 items.
- Shrinking of time Petri nets (Q378906) (← links)
- Formal verification of real-time systems with preemptive scheduling (Q844238) (← links)
- Model checking of time Petri nets using the state class timed automaton (Q859736) (← links)
- Reachability problems and abstract state spaces for time Petri nets with stopwatches (Q884758) (← links)
- Item:Q378903 (redirect page) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- TCTL model checking lower/upper-bound parametric timed automata without invariants (Q1631215) (← links)
- Integer-complete synthesis for bounded parametric timed automata (Q1675143) (← links)
- Optimal reachability in cost time Petri nets (Q1683438) (← links)
- Let's be lazy, we have time -- or, lazy reachability analysis for timed automata (Q1683453) (← links)
- Reachability in parametric interval Markov chains using constraints (Q1786613) (← links)
- The expressive power of time Petri nets (Q1944773) (← links)
- Backward symbolic optimal reachability in weighted timed automata (Q1996010) (← links)
- Parametric verification: an introduction (Q2032913) (← links)
- Logical time control of concurrent DES (Q2058560) (← links)
- A turn-based approach for qualitative time concurrent games (Q2117153) (← links)
- A lazy query scheme for reachability analysis in Petri nets (Q2117184) (← links)
- An algorithm for single-source shortest paths enumeration in parameterized weighted graphs (Q2232289) (← links)
- Symbolic unfolding of parametric stopwatch Petri nets (Q2248088) (← links)
- Parametric timed broadcast protocols (Q2287111) (← links)
- Parameter Synthesis for Parametric Interval Markov Chains (Q2796061) (← links)
- Probabilistic Time Petri Nets (Q2822657) (← links)
- New Results on Timed Specifications (Q2890330) (← links)
- Discrete Parameters in Petri Nets (Q2941148) (← links)
- Interrupt Timed Automata with Auxiliary Clocks and Parameters* (Q2968523) (← links)
- On Time with Minimal Expected Cost! (Q3457785) (← links)
- Timed Control with Observation Based and Stuttering Invariant Strategies (Q3510796) (← links)
- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper) (Q3510874) (← links)
- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph (Q3543304) (← links)
- Diagnosis Using Unfoldings of Parametric Time Petri Nets (Q3588090) (← links)
- Synthesis of Non-Interferent Timed Systems (Q3648818) (← links)
- On the Expressiveness of Parametric Timed Automata (Q4603554) (← links)
- Lazy Reachability Analysis in Distributed Systems (Q4608669) (← links)
- Robustness of Time Petri Nets under Architectural Constraints (Q4649383) (← links)
- CHANNEL SYNTHESIS FOR FINITE TRANSDUCERS (Q4923278) (← links)
- (Q4929342) (← links)
- Symbolic Unfolding of Parametric Stopwatch Petri Nets (Q4931299) (← links)
- (Q4989408) (← links)
- Parametric Analyses of Attack-fault Trees* (Q5025035) (← links)
- Cost Problems for Parametric Time Petri Nets* (Q5025060) (← links)
- Control of Real-Time Systems With Integer Parameters (Q5033998) (← links)
- (Q5094115) (← links)
- (Q5111627) (← links)
- Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games (Q5166678) (← links)
- Parametric Interrupt Timed Automata (Q5168513) (← links)
- (Q5208876) (← links)
- A game approach to the parametric control of real-time systems (Q5231423) (← links)
- Control and synthesis of non-interferent timed systems (Q5265904) (← links)
- On Multi-enabledness in Time Petri Nets (Q5300869) (← links)
- Integer Parameter Synthesis for Timed Automata (Q5326340) (← links)