1 @MISC{Yodaiken02, |
1 |
|
2 |
|
3 @TechReport{Yodaiken02, |
2 author = {V.~Yodaiken}, |
4 author = {V.~Yodaiken}, |
3 title = {{A}gainst {P}riority {I}nheritance}, |
5 title = {{A}gainst {P}riority {I}nheritance}, |
4 year = {2002}, |
6 institution = {Finite State Machine Labs (FSMLabs)}, |
5 howpublished = {\url{http://www.linuxfordevices.com/files/misc/yodaiken-july02.pdf}}, |
7 year = {2004} |
6 } |
8 } |
|
9 |
7 |
10 |
8 @Book{Vahalia96, |
11 @Book{Vahalia96, |
9 author = {U.~Vahalia}, |
12 author = {U.~Vahalia}, |
10 title = {{UNIX} {I}nternals: {T}he {N}ew {F}rontiers}, |
13 title = {{UNIX} {I}nternals: {T}he {N}ew {F}rontiers}, |
11 publisher = {Prentice-Hall}, |
14 publisher = {Prentice-Hall}, |
41 number = "2", |
44 number = "2", |
42 pages = "105--117", |
45 pages = "105--117", |
43 year = "1980" |
46 year = "1980" |
44 } |
47 } |
45 |
48 |
46 @MISC{Faria08, |
49 @inproceedings{Wang09, |
|
50 author = {J.~Wang and H.~Yang and X.~Zhang}, |
|
51 title = {{L}iveness {R}easoning with {I}sabelle/{HOL}}, |
|
52 booktitle = {Proc.~of the 22nd International Conference on Theorem Proving in |
|
53 Higher Order Logics (TPHOLs)}, |
|
54 year = {2009}, |
|
55 pages = {485--499}, |
|
56 volume = {5674}, |
|
57 series = {LNCS} |
|
58 } |
|
59 |
|
60 @PhdThesis{Faria08, |
47 author = {J.~M.~S.~Faria}, |
61 author = {J.~M.~S.~Faria}, |
48 title = {{F}ormal {D}evelopment of {S}olutions for {R}eal-{T}ime {O}perating {S}ystems |
62 title = {{F}ormal {D}evelopment of {S}olutions for {R}eal-{T}ime {O}perating {S}ystems |
49 with {TLA+/TLC}}, |
63 with {TLA+/TLC}}, |
50 year = {2008}, |
64 school = {University of Porto}, |
51 howpublished = {\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}}, |
65 year = {2008} |
52 } |
66 } |
53 |
67 |
54 |
68 |
55 @Article{Paulson98, |
69 @Article{Paulson98, |
56 author = {L.~C.~Paulson}, |
70 author = {L.~C.~Paulson}, |
90 address = "Menlo Park, CA", |
104 address = "Menlo Park, CA", |
91 note = "Available at |
105 note = "Available at |
92 \url{http://www.sdl.sri.com/dsa/publis/prio-ceiling.html}", |
106 \url{http://www.sdl.sri.com/dsa/publis/prio-ceiling.html}", |
93 } |
107 } |
94 |
108 |
95 @InProceedings{conf/fase/JahierHR09, |
109 @InProceedings{Jahier09, |
96 title = "Synchronous Modeling and Validation of Priority |
110 title = "{S}ynchronous {M}odeling and {V}alidation of {P}riority |
97 Inheritance Schedulers", |
111 {I}nheritance {S}chedulers", |
98 author = "E. Jahier and B. Halbwachs and P. |
112 author = "E.~Jahier and B.~Halbwachs and P.~Raymond", |
99 Raymond", |
113 booktitle = "Proc.~of the 12th International Conference on Fundamental |
100 bibdate = "2009-04-01", |
114 Approaches to Software Engineering (FASE)", |
101 bibsource = "DBLP, |
|
102 http://dblp.uni-trier.de/db/conf/fase/fase2009.html#JahierHR09", |
|
103 booktitle = "FASE", |
|
104 booktitle = "Fundamental Approaches to Software Engineering, 12th |
|
105 International Conference, {FASE} 2009, Held as Part of |
|
106 the Joint European Conferences on Theory and Practice |
|
107 of Software, {ETAPS} 2009, York, {UK}, March 22-29, |
|
108 2009. Proceedings", |
|
109 publisher = "Springer", |
|
110 year = "2009", |
115 year = "2009", |
111 volume = "5503", |
116 volume = "5503", |
112 editor = "Marsha Chechik and Martin Wirsing", |
117 series = "LNCS", |
113 ISBN = "978-3-642-00592-3", |
118 pages = "140--154" |
114 pages = "140--154", |
|
115 series = "Lecture Notes in Computer Science", |
|
116 URL = "http://dx.doi.org/10.1007/978-3-642-00593-0", |
|
117 } |
119 } |
118 |
120 |
119 @InProceedings{WellingsBSB07, |
121 @InProceedings{Wellings07, |
120 title = "Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java", |
122 title = "{I}ntegrating {P}riority {I}nheritance {A}lgorithms in the {R}eal-{T}ime |
121 author = "A. J. Wellings and A. Burns and O. M. Santos and B. M. Brosgol", |
123 {S}pecification for {J}ava", |
|
124 author = "A.~Wellings and A.~Burns and O.~M.~Santos and B.~M.~Brosgol", |
122 publisher = "IEEE Computer Society", |
125 publisher = "IEEE Computer Society", |
123 year = "2007", |
126 year = "2007", |
124 booktitle = "Proceedings of the 10th IEEE International Symposium on Object |
127 booktitle = "Proc.~of the 10th IEEE International Symposium on Object |
125 and Component-Oriented Real-Time Distributed Computing", |
128 and Component-Oriented Real-Time Distributed Computing (ISORC)", |
126 pages = "115--123", |
129 pages = "115--123" |
127 } |
130 } |
128 |
131 |
129 @Article{Wang:2002:SGP, |
132 @Article{Wang:2002:SGP, |
130 author = "Y. Wang and E. Anceaume and F. Brasileiro and F. |
133 author = "Y. Wang and E. Anceaume and F. Brasileiro and F. |
131 Greve and M. Hurfin", |
134 Greve and M. Hurfin", |