|
1 @inproceedings{Haftmann08, |
|
2 author = {F.~Haftmann and M.~Wenzel}, |
|
3 title = {{L}ocal {T}heory {S}pecifications in {I}sabelle/{I}sar}, |
|
4 booktitle = {Proc.~of the International Conference on Types, Proofs and Programms (TYPES)}, |
|
5 year = {2008}, |
|
6 pages = {153-168}, |
|
7 series = {LNCS}, |
|
8 volume = {5497} |
|
9 } |
1 |
10 |
2 |
11 |
3 @TechReport{Yodaiken02, |
12 @TechReport{Yodaiken02, |
4 author = {V.~Yodaiken}, |
13 author = {V.~Yodaiken}, |
5 title = {{A}gainst {P}riority {I}nheritance}, |
14 title = {{A}gainst {P}riority {I}nheritance}, |
92 Platforms for Embedded Real-Time Applications (OSPERT)}, |
101 Platforms for Embedded Real-Time Applications (OSPERT)}, |
93 pages = {16--23}, |
102 pages = {16--23}, |
94 year = {2010} |
103 year = {2010} |
95 } |
104 } |
96 |
105 |
97 @TechReport{dutertre99b, |
106 @inproceedings{dutertre99b, |
98 title = "The {Priority Ceiling Protocol}: Formalization and |
107 title = "{T}he {P}riority {C}eiling {P}rotocol: {F}ormalization and |
99 Analysis Using {PVS}", |
108 {A}nalysis {U}sing {PVS}", |
100 author = "B. Dutertre", |
109 author = "B.~Dutertre", |
101 month = Oct, |
110 booktitle = {Proc.~of the 21st IEEE Conference on Real-Time Systems Symposium (RTSS)}, |
102 year = "1999", |
111 year = {2000}, |
103 institution = "System Design Laboratory, SRI International", |
112 pages = {151--160}, |
104 address = "Menlo Park, CA", |
113 publisher = {IEEE Computer Society} |
105 note = "Available at |
|
106 \url{http://www.sdl.sri.com/dsa/publis/prio-ceiling.html}", |
|
107 } |
114 } |
108 |
115 |
109 @InProceedings{Jahier09, |
116 @InProceedings{Jahier09, |
110 title = "{S}ynchronous {M}odeling and {V}alidation of {P}riority |
117 title = "{S}ynchronous {M}odeling and {V}alidation of {P}riority |
111 {I}nheritance {S}chedulers", |
118 {I}nheritance {S}chedulers", |