SSE's Seminar Series

Seminars presented at the School of Information Technology and Electrical Engineering by the Systems and Software Engineering research division are listed here.

Seminar volunteers should send details to the seminar series coordinator, Brijesh Dongol (brijesh@itee.uq.edu.au). Presenters are reminded that there is a strict 30 minute limit on seminars.

24th June 2010 Integrating Requirements: The Behavior Tree Philosophy - Kirsten Winter
20th May 2010 Compositional Action System Derivation Using Enforced Properties - Brijesh Dongol
29th April 2010 The Search for Prolog Security Holes - Katie Duczmal
1st April 2010 Expressive Designs and Pervasive Model Checking - Jin Song Dong, National University of Singapore
11th February 2010 Program Analysis and Test Data Generation Through Constraint Solving - Jian Zhang, Institute of Software, Chinese Academy of Sciences
4th February 2010 Modelling the Smart Grid - Colin Bankier
22nd January 2010 Simpler Backward Simulation - Simon Doherty
14th January 2010 Experience with and Potential of Hardware Transactional Memory - Mark Moir

17th December 2009 MyPyTutor - An Interactive Tutorial System for Python - Peter Robinson
10th December 2009 Automated Functionality Testing through GUIs - Hoai Duc Nguyen
5th November 2009 Identifying Factors That Support Novice Users to Succeed In Programming - Bakhreza A Talip
22nd October 2009 A Smart Grid Simulator using Modelica - Colin Bankier
23rd July 2009 The probabilistic refinement calculus: towards modularity and security. - Larissa Meinicke, Macquarie University, Sydney
17th July 2009 Monitoring Probabilistic Properties - Lars Grunske, Swinburne University of Technology
25th June 2009 Formal development of self-organising systems - Graeme Smith
23rd June 2009 Two for the price of one: Emergence and Adaptability. - Jeff Sanders, Institute for Software Technology, United Nations University, Macao.
16th June 2009 Advances in Test Automation - Prof. Dr.-Ing. Ina Schieferdecker, Technical University Berlin
10th June 2009 CSSE1001 Reflections - Peter Robinson, Katie Duczmal, Michael Buckley, Elaine Fok
8th April 2009 The OPENPROD project and a Semantics-based Open modeling and simulation platform partly based on semantic web technology - Peter Fritzson
7th April 2009 JStar: A Declarative Language for a Parallel World - Mark Utting, University of Waikato
6th April 2009 Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation - Brijesh Dongol
31st March 2009 Rainbow: Engineering Support for Self-Healing Systems - David Garner, Carnegie Mellon University
24th March 2009 Software Model Checking - An Overview - Kirsten Winter
17th March 2009 Towards Reasoning About Teleo-Reactive Programs for Robust - Ian Hayes
6th February 2009 CSP with Hierarchical State - Robert Colvin

6th November 2008 Evaluating and Categorizing Coverity Fault Warnings - Suzanna Schmeelk, Yahoo!/The College of William and Mary/Rutgers
5th September 2008 A Model-Based Development for the Verification of Real-Time Java Code - Niusha Hakimipour
29th August 2008 Research Commercialisation: Lessons from a Personal Winding Road - Prof. Geoff Dromey, Griffith University
22nd August 2008 An Algebra of Hybrid Systems - Peter Hoefner
15th August 2008 A Framework for Model-Based GUI Testing - Duc Hoai Nguyen
25th July 2008 From Functional Requirements to Design in Object-Z - Tim McComb
26th June 2008 Scratchpad Memory Management for Static Data Aggregates - Lian Li
19th June 2008 Developing Controls for Secure Logic-based Systems - Katie Duczmal
12th June 2008 Reflections on Python and CSSE1001 - Peter Robinson and Katie Duczmal
5th June 2008 Towards More Flexible Development of Z Specifications - Zheng Fu
1st May 2008 Life in the trenches: Small-team development in Brisbane - Nathan Keynes
30th April 2008 Investigating Factors Affecting the Usability of Software Process Descriptions - Mohd Nazri Mahrin
6th March 2008 Discussion Seminar: Model-driven Engineering of Complex Systems - Peter Fritzson, Linkoping University, Sweden.
13th February 2008 Porting OpenSolaris to LLVM - David Gwynne
30th January 2008 Benchmarking Bug Dectection Tools - Erica Mealy
30th January 2008 Static Taint Analysis for Bug Checking - Chenyi Zhang
25th January 2008 Teleo-reactive systems and time bands - Ian Hayes

14 December 2007 A View of 20th and 21st Century Software Engineering - Barry Boehm
9 November 2007 Parfait - Layered Program Analysis for Bug and Security Vulnerability Checking of C Code - Cristina Cifuentes
2 November 2007 Applying Model Checking to Microcontroller Assembly Code - Bastian Schlich
21 September 2007 Proving lock-freedom - Brijesh Dongol
31 August 2007 A Scalable Lock-Free Stack Algorithm and its Verification - Robert Colvin
24 August 2007 Evie - A Developers toolkit for encoding Service Interaction Patterns - Tony O'Hagan
6 July 2007 A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware - Luke Wildman
29 June 2007: Analysing software structure as conceptual model - Peter Becker (Philipps University, Marburg)
22 June 2007: Static Program Analysis for Bug Checking - Cristina Cifuentes and Bernhard Scholz
15 June 2007: Probabilistic Timed Behavior Trees - Kirsten Winter
25 May 2007: A multi-threaded architecture for cognitive robotics - Keith Clark, Imperial College
11 May 2007: An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies - Margaret Wojcicki
27 April 2007: Compilation Techniques for Embedded Systems - Bernhard Scholz
5 April 2007: The Road to a New Project on Program Analysis for the Sun Lablet at UQ - Cristina Cifuentes
2 April 2007: Improving Usability of Software Refactoring Tools - Erica Mealy
16 February 2007: The Architectural Expert (ArchE) tool - Len Bass (Carnegie Melon University, USA)
19 January 2007: Iteration: finite, infinite, or either - Ian Hayes

1 December 2006: Pedro: A Subscription/Notification Server based on Prolog Technology - Peter Robinson
3 November 2006: Opportunity to comment on a Model-Driven Architecture case study - Bob Colomb
26 October 2006: Reasoning Algebraically about Probabilistic Loops - Larissa Meinicke
20 October 2006: Simplifying proofs of lock-freedom - Brijesh Dongol
20 October 2006: Formalising progress properties of non-blocking programs - Brijesh Dongol
12 October 2006: Verifying data refinements using a model checker - John Derrick (University of Sheffield)
6 October 2006: An Industry-based Evaluation of Software Process Modelling Techniques - Brian Song
5 October 2006: Verification for Java's monitor concept - Willem-Paul de Roever (University of Kiel)
15 September 2006: Maximising the Information Gained From an Experimental Analysis of Code Inspection and Static Analysis for Concurrent Java Components - Maggie Wojcicki
18 August 2006: Compositional Class Refinement in Object-Z - Tim McComb
11 August 2006: An Automated Approach for the Interpretation of Counter-Examples - Lionel van den Berg
4 August 2006: Model-based Variable and Transition Orderings for efficient Symbolic Model Checking - Lionel van den Berg
7 July 2006: Contract Related Agents - Keith Clark (Imperial College)
30 June 2006: A State-of-Practice Questionnaire on Verification and Validation for Concurrent Programs - Maggie Wojcicki
16 June 2006: Continuous Action System Refinement - Larissa Meinicke
19 May 2006: Identifying "Good" Architectural Design Alternatives with Multi-Objective Optimization Strategies - Lars Grunske
7 April 2006: Evaluating software refactoring tool support - Erica Glynn
24 March 2006: Blowtorch: a Framework for Firewall Test Automation - Dan Hoffman (University of Victoria, Canada)
24 February 2006: Using measurement data in a TSP(SM) project - David Carrington

9 December 2005: Model Checking Interrupt-Dependent Software - Phil Cook
14 October 2005: A Standards-based UML-Profile for Message-Based Information Dissemination - Joern Guy Suess
23 September 2005: Software Model Engineering and Reuse - Joern Guy Suess
9 September 2005: Advanced software development for real-time control systems - Prof. Valdis Berzins (Naval Postgraduate School, Monterey, CA)
29 July 2005: Tool Support for Checking Railway Interlocking Designs - Lionel van den Berg
3 June 2005: SIFA: A Tool for Evaluation of High-Grade Security Devices - Tim McComb
13 May 2005: Scamseek: Automatic Identification of Financial Scams on the Internet - Jon Patrick (University of Sydney)
29 April 2005: Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations - Lars Grunske
18 March 2005: Formal Verification of a Type Flaw Attack on a Security Protocol using Object-Z - Ben Long
4 March 2005: Evaluating Security Devices - Luke Wildman

22 October 2004: Optimising Embedded DSLs using Template Haskell - Sean Seefried (University of New South Wales)
12 October 2004: Linear Temporal Logic and Z Refinement - John Derrick (University of Kent)
24 September 2004: Supporting Repeatable Requirements Defect Detection with Behavior Trees - Dan Powell (Griffith University)
13 September 2004: Objects, Processes, Capabilities and Orthogonal Persistence in Timor - Les Keedy (University of Ulm)
10 September 2004: Automatic Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification - Lars Grunske
3 September 2004: What I learnt at Boeing - Peter Lindsay
2 August 2004: System Development Methods in the ôReal Worldö - Rolf Pfotenhauer (Jupiter's)
26 Jul 2004: no seminar - seminar room otherwise booked
5 Jul 2004: Knowledge Discovery Metamodel for Architecture Driven Modernisation - Anna Gerber (DSTC)
21 Jun 2004: Flexible Proof Reuse for Software Verification - Chris Hunter
14 Jun 2004: no seminar - Queen's Birthday holiday
7 Jun 2004: Checking Fault-Tolerance Properties via Integrity Constraints - Ian Hayes
13 May 2004: A Framework for Reliability Assessment of Software Components - Rakesh Shukla
1 April 2004: Re-use Variables: A New Technique for Code Re-use in OO Programs - Les Keedy (University of Ulm)
25 March 2004: Formalising Behaviour Trees with CSP - Kirsten Winter
18 March 2004: Viewpoint-based Testing of Concurrent Components - Luke Wildman
11 March 2004: B Theories for Ergo - Peter Robinson
12-Feb-04: Refactoring Object-Z Specifications - Tim McComb
15-Jan-04: MDA is Language Design and Translation - Keith Duddy

18-Dec-03: Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications - Paul Strooper
11-Dec-03: Verified Compilation Strategies - Geoffrey Watson
4-Dec-03: Developing Relational Navigation to Effectively Understand Software - Daniel Jarrott
27-Nov-03: Compilation of Specifications - David Hemer
20-Nov-03: Conceptual Analysis of Software Structure - Richard Cole
13-Nov-03: A Taxonomy of Attacks on Secure Devices - Drew Rae
6-Nov-03: Project Plans for NICTA-Q - Colin Fidge and Paul Strooper