Thomas E. Anderson (1990):
The Performance of Spin Lock Alternatives for Shared-Money Multiprocessors.
IEEE Transactions on Parallel and Distributed Systems 1(1),
pp. 6–16,
doi:10.1109/71.80120.
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews & Marcus Völp (2012):
Waiting for Locks: How Long Does It Usually Take?.
In: Formal Methods for Industrial Critical Systems - 17th International Workshop (FMICS'12),
Lecture Notes in Computer Science 7437.
Springer,
pp. 47–62,
doi:10.1007/978-3-642-32469-7_4.
Extended version available at http://wwwtcs.inf.tu-dresden.de/ALGI/spinlock-FMICS2012.pdf.
Guillem Bernat, Antoine Colin & Stefan M. Petters (2002):
WCET Analysis of Probabilistic Hard Real-Time Systems.
In: Proceedings of the 23rd Real-Time Systems Symposium (RTSS'02).
IEEE Computer Society,
pp. 279–288,
doi:10.1109/REAL.2002.1181582.
David Bernick, Bill Bruckert, Paul Del Vigna, David Garcia, Robert Jardine, Jim Klecka & Jim Smullen (2005):
NonStop: Advanced Architecture.
In: Dependable Systems and Networks (DSN'05).
IEEE Computer Society,
pp. 12–21,
doi:10.1109/DSN.2005.70.
Frank Ciesinski & Christel Baier (2006):
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.
In: Third International Conference on the Quantitative Evaluation of Systems (QEST'06).
IEEE Computer Society,
pp. 131–132,
doi:10.1109/QEST.2006.25.
Edmund M. Clarke, Somesh Jha, Reinhard Enders & Thomas Filkorn (1996):
Exploiting Symmetry in Temporal Logic Model Checking.
Formal Methods in System Design 9(1-2),
pp. 77–104,
doi:10.1007/BF00625969.
Alastair Donaldson & Alice Miller (2006):
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives.
In: Automated Technology for Verification and Analysis, 4th International Symposium (ATVA'06),
Lecture Notes in Computer Science 4218.
Springer,
pp. 9–23,
doi:10.1007/11901914_4.
Alastair Donaldson, Alice Miller & David Parker (2009):
Language-Level Symmetry Reduction for Probabilistic Model Checking.
In: 6th International Conference on the Quantitative Evaluation of Systems (QEST'06).
IEEE Computer Society,
pp. 289–298,
doi:10.1109/QEST.2009.21.
E. Allen Emerson & A. Prasad Sistla (1996):
Symmetry and Model Checking.
Formal Methods in System Design 9(1-2),
pp. 105–131,
doi:10.1007/BF00625970.
E. Allen Emerson & Richard J. Trefler (1999):
From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking.
In: Correct Hardware Design and Verification Methods (CHARME'99),
Lecture Notes in Computer Science 1703.
Springer,
pp. 142–156,
doi:10.1007/3-540-48153-2_12.
E. Allen Emerson & Thomas Wahl (2003):
On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking.
In: Correct Hardware Design and Verification Methods (CHARME'03),
Lecture Notes in Computer Science 2860.
Springer,
pp. 216–230,
doi:10.1007/978-3-540-39724-3_20.
C. Norris Ip & David L. Dill (1996):
Better Verification Through Symmetry.
Formal Methods in System Design 9(1-2),
pp. 41–75,
doi:10.1007/BF00625968.
Joost-Pieter Katoen, Tim Kemna, Ivan Zapreev & David N. Jansen (2007):
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking.
In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference (TACAS'07),
Lecture Notes in Computer Science 4424.
Springer,
pp. 87–101,
doi:10.1007/978-3-540-71209-1_9.
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns & David N. Jansen (2011):
The ins and outs of the probabilistic model checker MRMC.
Performance Evaluation 68(2),
pp. 90–104,
doi:10.1016/j.peva.2010.04.001.
Steffen Knapp & Wolfgang Paul (2007):
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification.
In: Program Analysis and Compilation,
Lecture Notes in Computer Science 4444.
Springer,
pp. 53–81,
doi:10.1007/978-3-540-71322-7_3.
Marta Kwiatkowska, Gethin Norman & David Parker (2004):
Probabilistic symbolic model checking with PRISM: a hybrid approach.
International Journal on Software Tools for Technology Transfer (STTT) 6(2),
pp. 128–142,
doi:10.1007/s10009-004-0140-2.
Marta Kwiatkowska, Gethin Norman & David Parker (2006):
Symmetry Reduction for Probabilistic Model Checking.
In: Computer Aided Verification, 18th International Conference (CAV'06),
Lecture Notes in Computer Science 4144.
Springer,
pp. 234–248,
doi:10.1007/11817963_23.
Beng-Hong Lim & Anant Agarwal (1994):
Reactive Synchronization Algorithms for Multiprocessors.
In: ASPLOS-VI.
ACM,
pp. 25–35,
doi:10.1145/195473.195490.
John M. Mellor-Crummey & Michael L. Scott (1991):
Scalable reader-writer synchronization for shared-memory multiprocessors.
In: 3rd Symposium on Principles and Practice of Parallel Programming (PPOPP'91).
ACM,
pp. 106–113,
doi:10.1145/109625.109637.
Alice Miller, Alastair Donaldson & Muffy Calder (2006):
Symmetry in Temporal Logic Model Checking.
ACM Computing Surveys 38(3),
doi:10.1145/1132960.1132962.
Michael M. Swift, Brian N. Bershad & Henry M. Levy (2005):
Improving the Reliability of Commodity Operating Systems.
ACM Transactions on Computer Systems 23(1),
pp. 77–110,
doi:10.1145/1047915.1047919.
Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter Puschner, Jan Staschulat & Per Stenström (2008):
The Worst-Case Execution-Time Problem – Overview of Methods and Survey of Tools.
ACM Transactions on Embedded Computing Systems 7(3),
pp. 36:1–36:53,
doi:10.1145/1347375.1347389.