The following pages link to Laurent Fribourg (Q1028735):
Displaying 50 items.
- (Q487248) (redirect page) (← links)
- Finite controlled invariants for sampled switched systems (Q487251) (← links)
- Timed verification of the generic architecture of a memory circuit using parametric timed automata (Q1028737) (← links)
- A superposition oriented theorem prover (Q1060857) (← links)
- A decompositional approach for computing least fixed-points of datalog programs with \(\mathcal Z\)-counters (Q1378382) (← links)
- A compared study of two correctness proofs for the standardized algorithm of ABR conformance (Q1395676) (← links)
- An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
- Compositional synthesis of state-dependent switching control (Q1623281) (← links)
- Euler's method applied to the control of switched systems (Q1683430) (← links)
- Distributed control synthesis using Euler's method (Q1685791) (← links)
- Distributed synthesis of state-dependent switching control (Q1708660) (← links)
- Compositional analysis of Boolean networks using local fixed-point iterations (Q1708662) (← links)
- A strong restriction of the inductive completion procedure (Q1824381) (← links)
- Coupling and self-stabilization (Q1953653) (← links)
- Asymptotic error in Euler's method with a constant step size (Q2095347) (← links)
- Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method (Q2178210) (← links)
- An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
- Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking (Q2287101) (← links)
- Assume-guarantee contracts for continuous-time systems (Q2665717) (← links)
- (Q2723913) (← links)
- PARAMETRIC VERIFICATION AND TEST COVERAGE FOR HYBRID AUTOMATA USING THE INVERSE METHOD (Q2841997) (← links)
- (Q2848422) (← links)
- Time Separation of Events: An Inverse Method (Q2870195) (← links)
- A Topological Method for Finding Invariant Sets of Switched Systems (Q2988962) (← links)
- Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method (Q3172874) (← links)
- (Q3336735) (← links)
- (Q3490934) (← links)
- Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata (Q3511227) (← links)
- Behavioral Cartography of Timed Automata (Q3584962) (← links)
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA (Q3646167) (← links)
- Oriented equational clauses as a programming language (Q3692850) (← links)
- (Q3696495) (← links)
- (Q3725540) (← links)
- (Q3731027) (← links)
- (Q3809308) (← links)
- (Q3817654) (← links)
- (Q4223068) (← links)
- (Q4270057) (← links)
- (Q4322964) (← links)
- (Q4436055) (← links)
- (Q4791851) (← links)
- (Q4817536) (← links)
- (Q4858582) (← links)
- (Q4965868) (← links)
- An Inverse Method for Parametric Timed Automata (Q4982084) (← links)
- Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems (Q4990152) (← links)
- (Q4994965) (← links)
- Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints* (Q5025034) (← links)
- Proving convergence of self-stabilizing systems using first-order rewriting and regular languages (Q5138353) (← links)
- Randomized Dining Philosophers without Fairness Assumption (Q5138505) (← links)
