Pages that link to "Item:Q2643078"

The following pages link to Task automata: Schedulability, decidability and undecidability (Q2643078):

Displaying 27 items.

• A survey of timed automata for the development of real-time systems (Q394966) (← links)
• Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
• Interrupt timed automata: verification and expressiveness (Q453513) (← links)
• Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
• Computing periodic request functions to speed-up the analysis of non-cyclic task models (Q495917) (← links)
• Graph-based models for real-time workload: a survey (Q497995) (← links)
• Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
• PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling (Q764283) (← links)
• A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs (Q779456) (← links)
• Combinatorial abstraction refinement for feasibility analysis of static priorities (Q892994) (← links)
• Scheduling hard sporadic tasks with regular languages and generating functions. (Q1426168) (← links)
• Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
• A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
• Quasi-static scheduling of communicating tasks (Q1959479) (← links)
• Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
• Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm (Q2251369) (← links)
• Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
• Schedulability of asynchronous real-time concurrent objects (Q2390036) (← links)
• A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems (Q2403815) (← links)
• Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533) (← links)
• (Q4395217) (← links)
• MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS (Q4902881) (← links)
• Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints* (Q5025034) (← links)
• Decomposition of timed automata for solving scheduling problems (Q5172578) (← links)
• Tools and Algorithms for the Construction and Analysis of Systems (Q5308410) (← links)
• Testing Concurrent Objects with Application-Specific Schedulers (Q5505611) (← links)
• Cycle encoding-based parameter synthesis for timed automata safety (Q6634505) (← links)