Yasmina Abdeddaim, Oded Maler  Home/Search
Context
Related
| icaps03.itc.it/satellite_eve...tut1.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: icaps03.itc.it/satell...tutorials (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This document is based on the PhD thesis of the first author, defended at INPG Grenoble, November 2002 (Update)
Similar documents (at the sentence level):
5.9%: Modelisation et Resolution de Problemes . . . - Maler (2002) (Correct)
Active bibliography (related documents): More All
2.9: A State-Of-The-Art Review Of Job-Shop Scheduling Techniques - Jain, Meeran (1998) (Correct)
2.7: Deterministic Job-Shop Scheduling: Past, Present and Future - Jain, Meeran (1998) (Correct)
1.3: Preemptive Job-Shop Scheduling using Stopwatch Automata - Abdeddaim, Maler (2002) (Correct)
Similar documents based on text: More All
0.5: Job-Shop Scheduling using Timed Automata - Abdeddaim, Maler (2001) (Correct)
0.4: Proceedings of the - Aips- Workshop On (Correct)
0.4: Unknown - Printed By Laas-Cnrs (Correct)
BibTeX entry: (Update)
@misc{ abdeddaim-scheduling,
author = "Yasmina Abdeddaim and Oded Maler",
title = "Scheduling with Timed Automata",
url = "citeseer.ist.psu.edu/abdeddaim03scheduling.html" }
Citations (may not include all citations):686 A Guide to the Theory of NP-Completeness (context) - Garey, Johnson et al. - 1979
666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994
404 Symbolic Model-checking for Realtime Systems - Henzinger, Nicollin et al. - 1994
354 A note on two problems in connexion with graphs (context) - Dijkstra - 1959
281 Information Processing Letters (context) - Chaochen, Hoare et al. - 1991
224 Model Checking in Dense Real Time - Alur, Courcoubetis et al. - 1993
112 A Computational Study of the Job-Shop Scheduling Problem (context) - Applegate, Cook - 1991
108 A decomposition theorem for partially ordered sets (context) - Dilworth - 1950
103 the Synthesis of Discrete Controllers for Timed Systems (context) - Maler, Pnueli et al. - 1995
98 Kronos: A Verification Tool for Real-time Systems (context) - Yovine - 1997
93 The Shifting Bottleneck Procedure for Job-Shop Scheduling (context) - Adams, Balas et al. - 1988
82 Kronos: a ModelChecking Tool for Real-Time Systems - Bozga, Daws et al. - 1998
70 Symbolic Controller Synthesis for Discrete and Timed Systems - Asarin, Maler et al. - 1995
69 Sequencing and Scheduling - An Introduction to the Mathemati.. (context) - French - 1982
65 Improved CLP Scheduling with Task Intervals - Caseau, Laburthe - 1994
54 A Practical Use of Jackson's Preemptive Schedule for Solving.. (context) - Carlier, Pinson - 1990
50 Scheduling a Steel Plant with Timed Automata - Fehnker - 1999
50 Minimum and Maximum Delay Problems in Realtime Systems (context) - Courcoubetis, Yannakakis - 1991
44 Scheduling a Production Line to Minimize Maximum Tardiness (context) - Jackson - 1955
44 Probabilistic Learning Combinations of Local Job-Shop Schedu.. (context) - Fisher, Thompson - 1963
41 Algorithms for Solving Production Scheduling Problems (context) - Giffler, Thompson - 1960
39 Computing Quantitative Characteristics of Finite-state Real-.. - Campos, Clarke et al. - 1994
34 A Framework for Scheduler Synthesis - Altisen, Goessler et al. - 1999
31 Reducing the Number of Clock Variables of Timed Automata - Daws, Yovine - 1996
29 As Soon as Possible: Time Optimal Control for Timed Automata - Asarin, Maler - 1999
26 A Computational Study of Constraint Satisfaction for Multipl.. - Nuijten, Aarts - 1996
24 The One-Machine Sequencing Problem (context) - Carlier - 1982
22 A Branch and Bound Algorithm for the Job-Shop Scheduling Pro.. (context) - Brucker, Jurisch et al. - 1994
21 Deterministic Job-Shop Scheduling: Past (context) - Jain, Meeran - 1999
21 Minimum-Time Reachability for Timed Automata - Niebert, Tripakis et al. - 2000
19 Suspension Automata: A Decidable Class of Hybrid Automata (context) - McManis, Varaiya - 1994
17 Optimal Paths in Weighted Timed Automata - Alur, Torre et al. - 2001
17 Optimal Solution of Scheduling Problems using Lagrange Multi.. (context) - Fisher - 1973
17 Optimal Solution of Scheduling Problems using Lagrange Multi.. (context) - Fisher - 1973
15 Constraint-Based Job Shop Scheduling with ILOG SCHEDULER (context) - Nuijten, Le Pape - 1998
15 Practical Approach to Job-Shop Scheduling Problems (context) - Hoitomt, Luh et al. - 1993
15 Constraint-Based Optimization and Approximation for Job-Shop.. - Baptiste, Le Pape et al. - 1995
11 the Impressive Power of Stopwatches - Cassez, Larsen - 2000
9 Computing Optimal Operation Schemes for Chemical Plants in M.. - Niebert, Yovine - 2000
9 Machine Scheduling via Disjunctive Graphs: An Implicit Enume.. (context) - Balas - 1969
9 Les Probl emes dOrdonnancement avec Contraintes Disjonctives (context) - Roy, Sussmann - 1964
9 The Schedule-Sequencing Problem (context) - Bowman - 1959
8 Algorithmic Problems in Analysis of Real Time System Specifi.. (context) - Cerans - 1992
7 VHS case study 5: Modelling and Verification of Scheduling f.. - Boel, Stremersch - 1999
7 The Control of Dense Real-Time Discrete Event Systems (context) - Wong-Toi, Hoffmann - 1992
6 A Beam Search Based Algorithm for the Job Shop Scheduling Pr.. (context) - Sabuncuoglu, Bayiz - 1997
6 A Constraint-Based Branch-and-Bound Algorithm for Preemptive.. - Le Pape, Baptiste - 1996
6 A Time-Oriented Approach to Computing Optimal Schedules for .. (context) - Martin - 1996
6 IFAC Symposium on System Structure and Control (context) - Asarin, Maler et al. - 1998
6 Decidable Integration Graphs - Kesten, Pnueli et al. - 1999
5 Constraint Propagation Based Scheduling of Job Shops (context) - Pesch, Tetzlaff - 1996
5 Solving a Real World Project Scheduling Problem with a Genet.. (context) - Croce, Tadei et al. - 1994
5 Parallel Branch-and-Bound Methods for the Job-Shop Schedulin.. - Perregaard, Clausen - 1995
4 Job-Shop Scheduling using Timed Automata in G (context) - Abdedda, Maler - 2001
4 Preemptive Job-Shop Scheduling using Stopwatch Automata - Abdeddaim, Maler - 2002
4 the Job-Shop Scheduling Problem (context) - Manne - 1960
4 Benchmarking and Comparison of the Task Graph Scheduling Alg.. (context) - Yu-Kwong, Ishfaq - 1999
4 A Splitting-Up Approach to Simplify Job-Shop Scheduling Prob.. (context) - Chu, Portmann et al. - 1992
3 A Parallel Algorithm for Solving Difficult Job-Shop Scheduli.. (context) - Boyd, Burlingame - 1996
3 the Problem of Task Scheduling (context) - Maler - 1999
3 An Experimental Comparaison of Constraint-Based Algorithms f.. (context) - Le Pape, Baptiste - 1997
3 A Heuristic Decomposition Algorithm for Scheduling Problems .. (context) - uger, Shakhlevich et al. - 1995
2 Machine Scheduling and Lagrangian Relaxation (context) - Velde - 1991
1 Task Graph Scheduling using Timed Automata - Abdedda, Kerbaa et al. - 2003
1 On Optimal Scheduling under Uncertainty Proc (context) - Abdedda, Asarin et al. - 2003
Documents on the same site (http://icaps03.itc.it/satellite_events/workshops/../tutorials.htm):
A. Cimatti, M. Pistore, and M. Roveri - International Conference On (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC