MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Scheduling with timed automata." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

17 documents found, showing 1 through 10. Next 10 →

ATOM

Scheduling with Timed Automata
by Yasmina Abdeddaim, Oded Maler — 2003
…Scheduling with Timed Automata Yasmina Abdeddaim 1 and Oded Maler 2 May 9, 2003 1 This document…
Cited by 14 (0 self) – Add To MetaCart

Job-Shop Scheduling using Timed Automata
by Yasmina Abdeddaim, Oded Maler — 2001
…Job-Shop Scheduling using Timed Automata Yasmina Abdeddaim and Oded Maler Verimag, Centre Equation…
Cited by 32 (8 self) – Add To MetaCart

Task Graph Scheduling using Timed Automata
by Yasmina Abdeddaïm, Abdelkarim Kerbaa, Oded Maler — 2003 — Proc. FMPPTA'03
…Task Graph Scheduling using Timed Automata # Yasmina Abdedda m, Abdelkarim Kerbaa and Oded Maler…
Cited by 14 (4 self) – Add To MetaCart

A Conservative Approximation Method for the Verification of Preemptive Scheduling using Timed
by Gabor Madl, Nikil Dutt, Sherif Abdelwahed
… timed automata models that provide a sufficient condition to determine schedulability. We demonstrate…
Add To MetaCart

Timed automata with asynchronous processes: schedulability and decidability
by Elena Fersman, Paul Pettersson, Wang Yi — 2002 — In Proceedings of TACAS 2002
…Timed Automata with Asynchronous Processes: Schedulability and Decidability Elena Fersman, Paul…
Cited by 22 (8 self) – Add To MetaCart

Staying Alive As Cheaply As Possible
by P. Bouyer, E. Brinksma, K. G. Larsen, Patricia Bouyer, Kim G. Larsen — 2004 — In Proc. of 7th Intl. Workshop on Hybrid Systems: Computation and Control (HSCC), volume 2993 of Lect. Notes in Comp. Sci
… specific search algorithms on timed automata models are defined to solve classes of scheduling problems…
Cited by 18 (12 self) – Add To MetaCart

Guided Synthesis of Control Programs Using UPPAAL
by Thomas Hune, Kim G. Larsen, Paul Pettersson — 2000
…, cranes, etc.) constituting the individual timed automata. The scheduling problem is formulated as a…
Cited by 47 (23 self) – Add To MetaCart

Optimization of timed automata models using mixed-integer programming
by Sebastian Panek, Olaf Stursberg, Sebastian Engell — 2004 — In Formal Modeling And Analysis of Timed Systems, volume 2791 of LNCS
…, Scheduling, Timed Automata. 1 Introduction Optimizing the behavior of timed systems is essentially…
Cited by 3 (0 self) – Add To MetaCart

Vintime: Combining high-level finesse with low-level muscle to verify real-time systems
by A. Alfonso, V. Braberman, D. Garbervetsky, N. Kicillof, A. Olivero, F. Schapachnik — 2004 — In First International Conference on Principles of Software Engineering, PRISE 2004, Buenos Aires
…, 16] translates real-time system designs based on fixed-priority scheduling into timed automata…
Cited by 2 (1 self) – Add To MetaCart

A toolsuite for the verification of realtime systems in eclipse
by Lucía Cavatorta, Guido De Caso, Diego Garbervetsky, Nicolás Kicillof — 2006 — In ETX 2006: OOPSLA workshop on eclipse Technology eXchange
…] translates real-time system designs based on fixed-priority scheduling into timed automata. Succinctly…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB