SSE Technical Reports

Create/Manage TRs
(requires authentication)

2011
SSE-2011-01	Brijesh Dongol, and Ian J. Hayes. Reasoning About Teleo-Reactive Programs Under Parallel Composition. Technical Report SSE-2011-01, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. April 2011.
2010
SSE-2010-04	Peter Lindsay, Kirsten Winter, and Robert Colvin. Model-checking tool support for quantitative risk analysis and design for safety. Technical Report SSE-2010-04, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. August 2010.
SSE-2010-03	Robert Colvin, and Ian J. Hayes. A Semantics for Behavior Trees. Technical Report SSE-2010-03, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. May 2010.
SSE-2010-02	Robert Colvin, and Ian J. Hayes. Structural Operational Semantics through Context-Dependent Behaviour. Technical Report SSE-2010-02, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. February 2010.
SSE-2010-01	Brijesh Dongol, Ian J. Hayes, and Peter J. Robinson. Reasoning About Real-Time Teleo-Reactive Programs. Technical Report SSE-2010-01, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. February 2010.
2008
SSE-2008-02	Xue Li, Jing Liu, Quan Z. Sheng, and Weicai Zhong. Time To Live: Temporal Management of Large-Scale RFID Applications. Technical Report SSE-2008-02, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. October 2008.
SSE-2008-01	Geoff Watson and Luke Wildman. Common Criteria Compliance for the Trusted Filter at EAL7 – Formal Arguments. Technical Report SSE-2008-01, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. January 2008.
2007
SSE-2007-02	Brijesh Dongol, and Ian J. Hayes. Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY. Technical Report SSE-2007-02, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. April 2007.
SSE-2007-01	Larissa Meinicke. Probabilistic Action System Trace Semantics. Technical Report SSE-2007-01, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. April 2007.
2006
SSE-2006-06	Brijesh Dongol, and Arjan J. Mooij. Streamlining progress-based derivations of concurrent programs. Technical Report SSE-2006-06, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. October 2006.
SSE-2006-05	Larissa Meinicke, and Ian J. Hayes. Algebraic Reasoning for Probabilistic Action Systems and While-Loops. Technical Report SSE-2006-05, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. September 2006.
SSE-2006-04	Larissa Meinicke, and Kim Solin. Probabilistic Demonic Refinement Algebra. Technical Report SSE-2006-04, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. August 2006.
SSE-2006-03	Graeme Smith, and Kirsten Winter. Simulation machines for checking action system refinements. Technical Report SSE-2006-03, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. July 2006.
SSE-2006-02	Larissa Meinicke and Ian J. Hayes. Reasoning Algebraically about Probabilistic Loops. Technical Report SSE-2006-02, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. June 2006.
SSE-2006-01	Tim McComb, and Graeme Smith. Refactoring Object-Oriented Specifications: A Process for Deriving Designs. Technical Report SSE-2006-01, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. May 2006.
2005
SSE-2005-03	Brijesh Dongol, and Doug Goldson. Extending the Theory of Owicki and Gries with a Logic of Progress. Technical Report SSE-2005-03, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. January 2005.
SSE-2005-02	Phil Cook, Jim Welsh, and Ian J. Hayes. Building a flexible incremental compiler back-end. Technical Report SSE-2005-02, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. May 2005.
SSE-2005-01	Phil Cook, Jim Welsh, and Ian J. Hayes. Incremental semantic evaluation for interactive systems: inertia, pre-emption, and relations. Technical Report SSE-2005-01, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia. May 2005.