diff -r 2c56b20032a7 -r 0679a84b11ad prio/Paper/document/root.bib --- a/prio/Paper/document/root.bib Mon Dec 03 08:16:58 2012 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,205 +0,0 @@ - -@Book{Paulson96, - author = {L.~C.~Paulson}, - title = {{ML} for the {W}orking {P}rogrammer}, - publisher = {Cambridge University Press}, - year = {1996} -} - - -@Manual{LINUX, - author = {S.~Rostedt}, - title = {{RT}-{M}utex {I}mplementation {D}esign}, - note = {Linux Kernel Distribution at, - www.kernel.org/doc/Documentation/rt-mutex-design.txt} -} - -@Misc{PINTOS, - author = {B.~Pfaff}, - title = {{PINTOS}}, - note = {\url{http://www.stanford.edu/class/cs140/projects/}}, -} - - -@inproceedings{Haftmann08, - author = {F.~Haftmann and M.~Wenzel}, - title = {{L}ocal {T}heory {S}pecifications in {I}sabelle/{I}sar}, - booktitle = {Proc.~of the International Conference on Types, Proofs and Programs (TYPES)}, - year = {2008}, - pages = {153-168}, - series = {LNCS}, - volume = {5497} -} - - -@TechReport{Yodaiken02, - author = {V.~Yodaiken}, - title = {{A}gainst {P}riority {I}nheritance}, - institution = {Finite State Machine Labs (FSMLabs)}, - year = {2004} -} - - -@Book{Vahalia96, - author = {U.~Vahalia}, - title = {{UNIX} {I}nternals: {T}he {N}ew {F}rontiers}, - publisher = {Prentice-Hall}, - year = {1996} -} - -@Article{Reeves98, - title = "{R}e: {W}hat {R}eally {H}appened on {M}ars?", - author = "G.~E.~Reeves", - journal = "Risks Forum", - year = "1998", - number = "54", - volume = "19" -} - -@Article{Sha90, - title = "{P}riority {I}nheritance {P}rotocols: {A}n {A}pproach to - {R}eal-{T}ime {S}ynchronization", - author = "L.~Sha and R.~Rajkumar and J.~P.~Lehoczky", - journal = "IEEE Transactions on Computers", - year = "1990", - number = "9", - volume = "39", - pages = "1175--1185" -} - - -@Article{Lampson80, - author = "B.~W.~Lampson and D.~D.~Redell", - title = "{{E}xperiences with {P}rocesses and {M}onitors in {M}esa}", - journal = "Communications of the ACM", - volume = "23", - number = "2", - pages = "105--117", - year = "1980" -} - -@inproceedings{Wang09, - author = {J.~Wang and H.~Yang and X.~Zhang}, - title = {{L}iveness {R}easoning with {I}sabelle/{HOL}}, - booktitle = {Proc.~of the 22nd International Conference on Theorem Proving in - Higher Order Logics (TPHOLs)}, - year = {2009}, - pages = {485--499}, - volume = {5674}, - series = {LNCS} -} - -@PhdThesis{Faria08, - author = {J.~M.~S.~Faria}, - title = {{F}ormal {D}evelopment of {S}olutions for {R}eal-{T}ime {O}perating {S}ystems - with {TLA+/TLC}}, - school = {University of Porto}, - year = {2008} -} - - -@Article{Paulson98, - author = {L.~C.~Paulson}, - title = {{T}he {I}nductive {A}pproach to {V}erifying {C}ryptographic {P}rotocols}, - journal = {Journal of Computer Security}, - year = {1998}, - volume = {6}, - number = {1--2}, - pages = {85--128} -} - -@MISC{locke-july02, -author = {D. Locke}, -title = {Priority Inheritance: The Real Story}, -month = July, -year = {2002}, -howpublished={\url{http://www.math.unipd.it/~tullio/SCD/2007/Materiale/Locke.pdf}}, -} - - -@InProceedings{Steinberg10, - author = {U.~Steinberg and A.~B\"otcher and B.~Kauer}, - title = {{T}imeslice {D}onation in {C}omponent-{B}ased {S}ystems}, - booktitle = {Proc.~of the 6th International Workshop on Operating Systems - Platforms for Embedded Real-Time Applications (OSPERT)}, - pages = {16--23}, - year = {2010} -} - -@inproceedings{dutertre99b, - title = "{T}he {P}riority {C}eiling {P}rotocol: {F}ormalization and - {A}nalysis {U}sing {PVS}", - author = "B.~Dutertre", - booktitle = {Proc.~of the 21st IEEE Conference on Real-Time Systems Symposium (RTSS)}, - year = {2000}, - pages = {151--160}, - publisher = {IEEE Computer Society} -} - -@InProceedings{Jahier09, - title = "{S}ynchronous {M}odeling and {V}alidation of {P}riority - {I}nheritance {S}chedulers", - author = "E.~Jahier and B.~Halbwachs and P.~Raymond", - booktitle = "Proc.~of the 12th International Conference on Fundamental - Approaches to Software Engineering (FASE)", - year = "2009", - volume = "5503", - series = "LNCS", - pages = "140--154" -} - -@InProceedings{Wellings07, - title = "{I}ntegrating {P}riority {I}nheritance {A}lgorithms in the {R}eal-{T}ime - {S}pecification for {J}ava", - author = "A.~Wellings and A.~Burns and O.~M.~Santos and B.~M.~Brosgol", - publisher = "IEEE Computer Society", - year = "2007", - booktitle = "Proc.~of the 10th IEEE International Symposium on Object - and Component-Oriented Real-Time Distributed Computing (ISORC)", - pages = "115--123" -} - -@Article{Wang:2002:SGP, - author = "Y. Wang and E. Anceaume and F. Brasileiro and F. - Greve and M. Hurfin", - title = "Solving the group priority inversion problem in a - timed asynchronous system", - journal = "IEEE Transactions on Computers", - volume = "51", - number = "8", - pages = "900--915", - month = aug, - year = "2002", - CODEN = "ITCOB4", - doi = "http://dx.doi.org/10.1109/TC.2002.1024738", - ISSN = "0018-9340 (print), 1557-9956 (electronic)", - issn-l = "0018-9340", - bibdate = "Tue Jul 5 09:41:56 MDT 2011", - bibsource = "http://www.computer.org/tc/; - http://www.math.utah.edu/pub/tex/bib/ieeetranscomput2000.bib", - URL = "http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1024738", - acknowledgement = "Nelson H. F. Beebe, University of Utah, Department - of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake - City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1 - 801 581 4148, e-mail: \path|beebe@math.utah.edu|, - \path|beebe@acm.org|, \path|beebe@computer.org| - (Internet), URL: - \path|http://www.math.utah.edu/~beebe/|", - fjournal = "IEEE Transactions on Computers", - doi-url = "http://dx.doi.org/10.1109/TC.2002.1024738", -} - -@Article{journals/rts/BabaogluMS93, - title = "A Formalization of Priority Inversion", - author = "{\"O} Babaoglu and K. Marzullo and F. B. Schneider", - journal = "Real-Time Systems", - year = "1993", - number = "4", - volume = "5", - bibdate = "2011-06-03", - bibsource = "DBLP, - http://dblp.uni-trier.de/db/journals/rts/rts5.html#BabaogluMS93", - pages = "285--303", - URL = "http://dx.doi.org/10.1007/BF01088832", -} -