this University and meets the accepted standards with respect to originality and quality. Signed by the final examining commitee:
|
2317
|
Graph-Based Algorithms for Boolean Function Manipulation
– Bryant
- 1986
|
|
2168
|
Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment
– Liu, Layland
- 1973
|
|
640
|
ªPriority Inheritance Protocols: An Approach to Real-Time Synchronization,º
– Sha, Rajkumar, et al.
- 1990
|
|
439
|
The rate monotonic scheduling algorithm-Exact characterization and average case behavior
– Lehoczky, Sha, et al.
- 1989
|
|
278
|
Executable object modeling with statecharts
– Harel, Gery
- 1997
|
|
233
|
Applying new scheduling theory to static priority pre-emptive scheduling
– Audsley, Burns, et al.
- 1993
|
|
202
|
Finding response times in a real-time system
– Joseph, Pandya
- 1986
|
|
154
|
Using UML for modeling complex real-time systems. Available at http://www106.ibm.com/developerworks/rational/library
– Selic, Rumbaugh
- 1998
|
|
146
|
Statecharts: A Visual Approach to Complex Systems
– Harel
- 1987
|
|
137
|
Symbolic model checking with partitioned transition relations
– Burch, Clarke, et al.
- 1991
|
|
104
|
Symbolic Model Checking: States and Beyond
– Burch, Clarke, et al.
- 1990
|
|
76
|
Software Design Methods for Concurrent and Real-Time Systems
– Gomaa
- 1996
|
|
68
|
Software architecture for hard real-time applications: Cyclic executives vs. fixed priority executives
– Locke
- 1992
|
|
57
|
Real-Time Object Oriented Modeling
– Selic, Gullekson, et al.
- 1994
|
|
49
|
Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion
– Awad, Kuusela, et al.
- 1996
|
|
49
|
The smv system
– McMillan
- 1992
|
|
38
|
The cyclic executive model and Ada
– Baker, Shaw
- 1989
|
|
34
|
Control systems software
– Boasson
- 1993
|
|
18
|
Guidelines for automated implementation of executable object oriented models for real-time embedded control systems
– Saksena, Freedman, et al.
- 1997
|
|
12
|
Engineering and Analysis of Real-Time Operating Systems
– Katcher
- 1994
|
|
9
|
Schedulability analysis for automated implementations of real-time object-oriented models
– Saksena, Ptak, et al.
- 1998
|
|
7
|
Temporal analysis and objectoriented real-time software development: a case study with room/objectime
– Gaudreau, Freedman
- 1996
|
|
6
|
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
– BEN-ABDALLAH, LEUE
- 1997
|
|
6
|
Advanced fixed priority scheduling
– Burns, Wellings
- 1996
|
|
5
|
Analysis of real-time systems using symbolic techniques
– Campos, Clarke, et al.
- 1996
|
|
4
|
The challenges of real-time software design
– Selic, Ward
- 1996
|
|
3
|
Real-Time Object-Oriented Modeling (ROOM
– Selic
- 1996
|
|
2
|
Investigating the suitability of ObjecTime for the software development of embedded control systems
– Freedman
- 1998
|
|
2
|
Periodic tasks in ROOM
– Selic
- 1995
|
