Pages that link to "Item:Q5712294"
From MaRDI portal
The following pages link to Lectures on Concurrency and Petri Nets (Q5712294):
Displayed 50 items.
- A tool for deciding the satisfiability of continuous-time metric temporal logic (Q262137) (← links)
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Modelling and verification of weighted spiking neural systems (Q264538) (← links)
- A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling (Q283177) (← links)
- Better abstractions for timed automata (Q342707) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL} (Q440685) (← links)
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets (Q488240) (← links)
- Graph-based models for real-time workload: a survey (Q497995) (← links)
- Finding minimum and maximum termination time of timed automata models with cyclic behaviour (Q507600) (← links)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- Aspects of availability. Enforcing timed properties to prevent denial of service (Q608233) (← links)
- On-the-fly \(TCTL\) model checking for time Petri nets (Q732013) (← links)
- Spotlight abstraction in model checking real-time task schedulability (Q832017) (← links)
- Modular design of real-time systems using hierarchical communicating real-time state machines (Q853606) (← links)
- How to stop time stopping (Q855006) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- An SMT-based approach to satisfiability checking of MITL (Q897649) (← links)
- Accelerating worst case execution time analysis of timed automata models with cyclic behaviour (Q903501) (← links)
- Timed discrete event control of parallel production lines with continuous outputs (Q939012) (← links)
- Automating the transformation-based analysis of visual languages (Q973037) (← links)
- A quadratic-time DBM-based successor algorithm for checking timed automata (Q1044715) (← links)
- On clock-aware LTL parameter synthesis of timed automata (Q1648651) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- Superposition as a decision procedure for timed automata (Q1949086) (← links)
- Certifying emptiness of timed Büchi automata (Q1996011) (← links)
- Dynamic causes for the violation of timed reachability properties (Q1996021) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Monitoring timed properties (revisited) (Q2112101) (← links)
- Configurable verification of timed automata with discrete variables (Q2120808) (← links)
- Waiting nets (Q2165233) (← links)
- Runtime enforcement of timed properties using games (Q2198137) (← links)
- Model-checking precision agriculture logistics: the case of the differential harvest (Q2220343) (← links)
- Consistency in parametric interval probabilistic timed automata (Q2291816) (← links)
- Checking conformance for time-constrained scenario-based specifications (Q2355682) (← links)
- Local abstraction refinement for probabilistic timed programs (Q2453108) (← links)
- Temporal constraints in the logical analysis of regulatory networks (Q2474436) (← links)
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Task automata: Schedulability, decidability and undecidability (Q2643078) (← links)
- Formalized Timed Automata (Q2829277) (← links)
- Quantitative Attack Tree Analysis via Priced Timed Automata (Q2945593) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- From Safety Critical Java Programs to Timed Process Models (Q3460876) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- Survey on Directed Model Checking (Q3614878) (← links)