Subscribe: Contact: Sitemap: Printer Friendly
Subscribe to our RSS feed
Home >  Research >  Software Systems  > Publications

SSRG Publications, Theses and Technical Reports

Paper/Talk Abstract plain text Paper in PDF format PDF
Presentation slides Slides Video of the presentation Presentation
A reference to a location Link Paper yet to be published to be published

Our Best Papers

Abstract to be published Thomas Sewell, Magnus Myreen and Gerwin Klein
Translation validation for a verified OS kernel
ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 11, Seattle, Washington, USA, June, 2013
Abstract to be published Toby Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao and Gerwin Klein
seL4: From general purpose to a proof of information flow enforcement
IEEE Symposium on Security and Privacy, pp. 415-429, San Francisco, CA, May, 2013
Abstract PDF Thomas Sewell, Simon Winwood, Peter Gammie, Toby Murray, June Andronick and Gerwin Klein
seL4 enforces integrity
2nd International Conference on Interactive Theorem Proving, pp. 325–340, Nijmegen, The Netherlands, August, 2011
Abstract PDF
Presentation Video		 Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch and Simon Winwood
seL4: Formal verification of an OS kernel
Proceedings of the 22nd ACM Symposium on Operating Systems Principles, pp. 207–220, Big Sky, MT, USA, October, 2009
Best Paper Award!
Abstract PDF Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur and Gernot Heiser
Automatic device driver synthesis with Termite
Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, USA, October, 2009
Abstract PDF David C. Snowdon, Etienne Le Sueur, Stefan M. Petters and Gernot Heiser
Koala: A platform for OS-level power management
Proceedings of the 4th EuroSys Conference, Nuremberg, Germany, April, 2009
Abstract to be published Peter Baumgartner and Cesare Tinelli
The model evolution calculus as a first-order DPLL method
Artificial Intelligence, Volume 172, Number 4-5, pp. 591-632, January, 2008
Abstract PDF Harvey Tuch, Gerwin Klein and Michael Norrish
Types, bytes, and separation logic
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 97–108, Nice, France, January, 2007

All SSRG Publications

2013

Abstract to be published Mahboobeh Moghaddam
An auction-based approach for composite web service selection
International Conference on Service Oriented Computing, pp. 6, Shanghai/China, December, 2013
Abstract to be published Eddie Li, Jason Zhang, Liam O'Brien, Rainbow Cai and Shayne Flint
On evaluating commercial cloud services: A systematic review
Journal of Systems and Software (JSS), Volume XXX, Number XXX, pp. 1-26, November, 2013
Abstract to be published Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke and Adam Wyner
LegalRuleML: From metamodel to use cases
RuleML 2013, Seatle, USA, July, 2013
Abstract to be published Franck Cassez and Jean-Luc Bechennec
Timing analysis of binary programs with UPPAAL
ACSD 2013, pp. 15, Barcelona, Spain, July, 2013
Abstract to be published Pavol Cerny, Thomas Henzinger, Arjun Radhakrishna, Leonid Ryzhyk and Thorsten Tarrach
Efficient synthesis for concurrency by semantics-preserving transformations
25th International Conference on Computer Aided Verification, pp. 1–16, Saint Petersburg, Russia, July, 2013
Abstract to be published David Cock
Practical probability: Applying pGCL to lattice scheduling
Interactive Theorem Proving (ITP), pp. 16, Rennes, France, July, 2013
Abstract to be published Tyler Crain, Vincent Gramoli and Michel Raynal
No hot spot non-blocking skip list
International Conference on Distributed Computing Systems (ICDCS), USA, July, 2013
Abstract to be published Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco and Matteo Cristani
Picking up the best goal an analytical study in defeasible logic
July, 2013
Abstract to be published Guido Governatori and Antonino Rotolo
Computing temporal defeasible logic
RuleML 2013, July, 2013
Abstract to be published Zhanwen (Jim) Li, Qinghua Lu, Xiwei (Sherry) Xu, Liming Zhu, Len Bass, Sherif Sakr, Paul Bannerman and Anna Liu
Improving availability of cloud-based applications through deployment choices
IEEE Cloud Computing, pp. 8, Santa Clara/USA, July, 2013
Abstract to be published Matthew Sladescu, Alan Fekete, Kevin Lee and Anna Liu
A polymorphic model for event associated workload bursts
The First International Workshop on Resource Management of Cloud Computing, pp. 6, USA, July, 2013
Abstract to be published Adam Wyner and Guido Governatori
A study on translating regulatory rules from natural language to defeasible logic
RuleML 2013, Seatle, USA, July, 2013
Abstract to be published Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke and Adam Wyner
OASIS LegalRuleML
International Conference on Artificial Intelligence and Law (ICAIL 2013), Rome, June, 2013
Abstract to be published Peter Baumgartner and Uwe Waldmann
Hierarchic superposition with weak abstraction
Conference on Automated Deduction, Lake Placid, New York, USA, June, 2013
Abstract to be published Kevin Elphinstone and Yanyan Shen
Improving the trustworthiness of commodity hardware with software
The Third International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology, pp. 6, Budapest/Hungary , June, 2013
Abstract to be published Thomas Given-Wilson and Daniele Gorla
Pattern matching and bisimulation
15th International Conference on Coordination Models and Languages, pp. 15, Firenze/Italy, June, 2013
Abstract to be published Guido Governatori, Francesco Olivieri, Antonino Rotolo and Simone Scannapieco
Legal contractions: A logical analysis
International Conference on Artificial Intelligence and Law (ICAIL) 2013, Rome, June, 2013
Abstract Video Guido Governatori and Sidney Shek
Regorous: A business process compliance checker
International Conference on Artificial Intelligence and Law (ICAIL) 2013, Rome, June, 2013
Abstract to be published Hyungsoo Jung, Hyuck Han, Yeom Heon, Alan Fekete and Gernot Heiser
A scalable lock manager for multicores
ACM International Conference on Management of Data, New York, USA, June, 2013
Abstract to be published Kerstin Klemisch, Ingo Weber and Boualem Benatallah
Context-aware UI component reuse
International Conference on Advanced Information Systems Engineering, Valencia, Spain, June, 2013
Abstract to be published Eddie Li, Liam O'Brien, Jason Zhang and Rainbow Cai
A practical methodology for cloud services evaluation
The Third IEEE International Workshop on the Future of Software Engineering FOR and IN Cloud, pp. 8, Santa Clara Marriott / USA, June, 2013
Abstract to be published Qinghua Lu, Sherry Xu, Liming Zhu, Jim Li, Len Bass, Sherif Sakr and Paul Bannerman
Dealing with subjective uncertainties in availability analysis of in-cloud applications
IEEE 6th International Conference on Cloud Computing, pp. 8, CA, USA, June, 2013
Abstract to be published Qinghua Lu, Liming Zhu, Len Bass, Zhanwen Li, Jim Li and Hiroshi Wada
Cloud API issues: An empirical study and impact
Ninth International ACM Sigsoft Conference on the Quality of Software Architectures, pp. 10, Vancouver/Canada, June, 2013
Abstract to be published Thomas Sewell, Magnus Myreen and Gerwin Klein
Translation validation for a verified OS kernel
ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 11, Seattle, Washington, USA, June, 2013
Abstract to be published Sherry Xu, Qinghua Lu, Liming Zhu, Jim Li, Sherif Sakr and Hiroshi Wada
Availability analysis of cloud-based applications using stochastic reward nets
4th International ACM SIGSOFT Symposium on Architecting Critical Systems Federated with CompArch 2013, Vancouver, British Columbia, Canada, June, 2013
Abstract to be published Len Bass, Ross Jeffery, Hiroshi Wada, Ingo Weber and Liming Zhu
Eliciting operations requirements for applications
International Workshop on Release Engineering 2013, pp. 4, San Francisco, May, 2013
Abstract to be published Aleksander Budzynowski and Gernot Heiser
The von neumann architecture is due for retirement
USENIX Workshop on Hot Topics in Operating Systems (HotOS), pp. 6, Santa Ana Pueblo, NM, USA, May, 2013
Abstract to be published Guido Governatori, Francesco Olivieri, Antonino Rotolo and Simone Scannapieco
Computing strong and weak permission in defeasible logic
Journal of Philosophical Logic, May, 2013
Abstract to be published Peter Hoefner and Annabelle McIver
Statistical model checking of wireless mesh routing protocols
5th NASA Formal Methods Symposium NFM 2013), pp. 15, Moffett Field, CA, USA, May, 2013
Abstract to be published Toby Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao and Gerwin Klein
seL4: From general purpose to a proof of information flow enforcement
IEEE Symposium on Security and Privacy, pp. 415-429, San Francisco, CA, May, 2013
Abstract to be published Toby Murray and Thomas Sewell
Above and beyond: seL4 noninterference and binary verification
Abstract, 2013 High Confidence Software and Systems Conference, Annapolis, MD, May, 2013.
Abstract to be published Paul Rimba
Building high assurance secure applications using security patterns for capability-based platforms
International Conference on Software Engineering, pp. 4, San Francisco, USA, May, 2013
Abstract to be published Mark Staples, Rafal Kolanski, Gerwin Klein, Corey Lewis, June Andronick, Toby Murray, Ross Jeffery and Len Bass
Formal specifications better than function points for code sizing
International Conference on Software Engineering, pp. 1257-1260, San Francisco/USA, May, 2013
Abstract to be published Bernard Blackham and Gernot Heiser
Sequoll: A framework for model checking binaries
IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 97-106, Philadelphia, USA, April, 2013
Best Paper Award!
Abstract to be published Timothy Bourke and Marc Pouzet
Zélus: A synchronous language with ODEs
Hybrid Systems: Computation and Control, pp. 113-118, Philadelphia, USA, April, 2013
Abstract to be published Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie and Gustavo Alonso
RapiLog: reducing system complexity through verification
Eurosys Conference (EuroSys), pp. 323-336, Prague, Czech Republic, April, 2013
Abstract to be published Brian Lam and Guido Governatori
Towards a model of UAVs navigation in urban canyon through defeasible logic
Journal of Logic and Computation (JLC), Volume 23, Number 2, pp. 373–395, April, 2013
Abstract to be published Tudor-Ioan Salomie, Gustavo Alonso, Timothy Roscoe and Kevin Elphinstone
Application level ballooning for efficient server consolidation
Eurosys Conference (EuroSys), pp. 337 - 350, Prague, Czech Republic, April, 2013
Abstract to be published Beatrice Berard, Franck Cassez, Serge Haddad, Didier Lime and Olivier H. Roux
The expressive power of time petri nets
Theoretical Computer Science, Volume 474, pp. 1–20, March, 2013
Abstract to be published Mahboobeh Moghaddam and Joseph Davis
Service selection in web service composition: A comparative review of existing approaches
Springer Handbook on Web Services, pp. 25, Springer, 2013
Abstract to be published Ingo Weber, Hye-Young Paik and Boualem Benatallah
Forms-based web service composition for domain experts
ACM Transactions on the Web, Volume In press, accepted, March, 2013
Abstract to be published Yin Kia Chiam, Mark Staples, Xin Ye and Liming Zhu
Applying a selection method to choose quality attribute techniques
Information and Software Technology, February, 2013
Abstract to be published Liang Zhao, Sherif Sakr and Anna Liu
A framework for consumer-centric SLA management of cloud-hosted databases
Transactions on Services Computing, February, 2013
Abstract to be published Paul Bannerman
Barriers to project performance
Hawaii International Conference on System Sciences (HICSS-46), pp. 10, Maui/Hawaii, January, 2013
Abstract PDF Toby Murray
On the limits of refinement-testing for model-checking CSP
Formal Aspects of Computing, Volume 25, pp. 219–256, 2013

2012

Abstract to be published Yonghong Chen, Sherry Xu and Liming Zhu
Web platform API design principles and service contract
19th Asia-Pacific Software Engineering Conference, pp. 877-886, Hongkong/China, December, 2012
Abstract to be published Ralf Huuck
Formal verification, engineering and business value
Formal Techniques for Safety-Critical Systems, Kyoto, Japan, December, 2012
Abstract PDF Toby Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie and Gerwin Klein
Noninterference for operating system kernels
Proceedings of the 2nd International Conference on Certified Programs and Proofs, pp. 126–142, December, 2012
Abstract PDF Sidney Amani, Peter Chubb, Alastair Donaldson, Alexander Legg, Leonid Ryzhyk and Yanjin Zhu
Automatic verification of message-based device drivers
Systems Software Verification, pp. 1–14, Sydney, Australia, November, 2012
Abstract to be published David Cock
Verifying probabilistic correctness in isabelle with pGCL
Systems Software Verification, pp. 10, Sydney, Australia, November, 2012
Abstract to be published Peter Gammie
Synchronous digital circuits as functional programs
ACM Computing Surveys, November, 2012
Abstract to be published Ralf Huuck, Ansgar Fehnker, Maximillian Junker and Alexander Knapp
SMT-based false positive elimination in static program analysis
ICFEM, Kyoto, Japan, November, 2012
Abstract to be published Sung Wook Kim, Hye-young Paik and Ingo Weber
Automating form-based processes through annotation
International Conference on Service Oriented Computing, pp. 558-565, Shanghai / China, November, 2012
Abstract to be published Qinghua Lu, Sherry Xu, Vladimir Tosic and Liming Zhu
Application of business-driven decision making to RESTful business processes
International Conference on Service Oriented Computing, pp. 404-419, Shanghai/China, November, 2012
Abstract to be published Daniel Matichuk
Automatic function annotations for hoare logic
Systems Software Verification, pp. 10, Sydney/Australia, November, 2012
Abstract to be published Marcus Roy, Ingo Weber and Boualem Benatallah
Extending enterprise service design knowledge using clustering
International Conference on Service Oriented Computing, pp. 142-157, Shanghai / China, November, 2012
Abstract to be published Matthew Sladescu, Alan Fekete, Kevin Lee and Anna Liu
Event aware workload prediction: A study using auction events
International Conference on Web Information System Engineering(WISE) (WISE), pp. 14, Paphos, Cyprus, November, 2012
Abstract to be published Matthew Sladescu, Alan Fekete, Kevin Lee and Anna Liu
A generic approach to event aware prediction
Technical Report, The University of Sydney, November, 2012
Abstract to be published Sherry Xu, Ingo Weber, Liming Zhu, Jenny Liu, Paul Rimba and Qinghua Lu
BPMashup: Dynamic execution of RESTful processes
International Conference on Service Oriented Computing, pp. 4, Shanghai, China, November, 2012
Abstract PDF Sidney Amani, Peter Chubb, Alastair Donaldson, Alexander Legg, Leonid Ryzhyk and Yanjin Zhu
Active device drivers
Technical Report, NICTA, October, 2012
Abstract to be published June Andronick, Andrew Boyton and Gerwin Klein
Final report for AOARD grant \#FA2386-11-1-4070, formal system verification - extension
Technical Report, NICTA, October, 2012
Abstract to be published June Andronick, Gerwin Klein and Toby Murray
Formal system verification for trustworthy embedded systems, final report for AOARD grant \#FA2386-10-1-4105
Technical Report, NICTA, October, 2012
Abstract to be published Len Bass and Liming Zhu
Interoperability
Software Architecture in Practice, pp. 160-182, Addison-Wesley Professional, 2012
Abstract to be published Peter Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-Francois Raskin and Pierre-Alain Reynier
Controllers with minimal observation power– application to timed systems
Automated Technology for Verification and Analysis (ATVA) 2012, pp. 223–237, Thiruvananthapuram (Trivandrum), Kerala, India, October, 2012
Abstract to be published Hing-Lun Chan and Michael Norrish
A string of pearls: Proofs of fermat’s little theorem
Certified Programs and Proofs, pp. 188-207, Kyoto, Japan, October, 2012
Abstract to be published Matthew Fernandez, Ihor Kuz and Gerwin Klein
Formalisation of a component platform
Poster Presentation, Operating Systems Design and Implementation 2012, Hollywood, CA, USA, October, 2012.
Abstract to be published Peter Hoefner and Sarah Edenhofer
Towards a rigorous analysis of AODVv2 (DYMO)
The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012), pp. 6, Austin, Texas, October, 2012
Abstract to be published Peter Hoefner, Robert van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver and Ansgar Fehnker
A rigorous analysis of AODV and its variants
The 15th ACM/IEEE International Conference on Modelling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM 2012), pp. 203-212, Paphos, Cyprus, October, 2012
Abstract to be published Ralf Huuck and Ansgar Fehnker
Model checking driven static analysis for the real world
Innovations in Systems and Software Engineering, October, 2012
Abstract to be published Qinghua Lu, Phillip John McKerrow and Zhi Quan Zhou
Design and performance of a minimal real-time operating system in a safe language: Experience with java on the sun SPOT
Journal of Software, 2012
Abstract PDF Daniel Matichuk and Toby Murray
Extensible specifications for automatic re-use of specifications and proofs
Proceedings of the 10th International Conference on Software Engineering and Formal Methods, pp. 333–341, October, 2012
Abstract to be published Mark Staples
Finding and responding to failure in large formal verifications
Abstract, Dagstuhl Reports, October, 2012.
Abstract Video Ingo Weber, Hiroshi Wada, Alan Fekete, Anna Liu and Len Bass
Automatic undo for cloud management via AI planning
Workshop on Hot Topics in System Dependability, pp. 6, CA, USA, October, 2012
Abstract to be published Nick Barnes, Peter Baumgartner, Tiberio Caetano, Hugh Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter Stuckey, Sylvie Thiebaux, Pascal Van Hentenryck and Toby Walsh
AI @ NICTA
AI Magazine, Volume 33, Number 3, pp. 115-127, September, 2012
Abstract to be published Peter Baumgartner, Bjoern Pelzer and Cesare Tinelli
Model evolution with equality - revised and implemented
Journal of Symbolic Computation, Volume 47, Number 9, pp. 1011-1045, September, 2012
Abstract to be published Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck
High performance static analysis for industry
Tools for Automatic Program AnalysiS (TAPAS 2012), pp. 3–14, Deauville, France, September, 2012
Abstract to be published Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck
Goanna – fast, flexible static analysis with OCaml
Abstract, ML12, September, 2012.
Abstract to be published Peter Hoefner, Bernhard Möller and Andreas Zelend
Foundations of coloring algebra with consequences for feature-oriented programming
13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13), pp. 16, Cambridge/UK, September, 2012
Abstract to be published Dana Kusumo, Mark Staples, Liming Zhu and Ross Jeffery
Analyzing differences in risk perceptions between developers and acquirers in OTS-based custom software projects using stakeholder analysis
International Symposium on Empirical Software Engineering and Measurement (ESEM (ESEM), Lund/ Sweden, September, 2012
Abstract to be published Juan Li, Ross Jeffery, Kam Hay Fung, Liming Zhu, Qing Wang and Sherry Xu
A business process-driven approach for requirements dependency analysis
10th International Conference on Business Process Management, pp. 200-215, Tallinn, Estonia, September, 2012
Abstract to be published Eddie Li, Liam O'Brien, Jason Zhang and Rainbow Cai
On a catalogue of metrics for evaluating commercial cloud services
The 13th ACM/IEEE International Conference on Grid Computing (Grid 2012), pp. 164-173, Beijing, China, September, 2012
Abstract to be published Sherif Sakr, Ahmed Awad and Matthias Kunze
Querying process models repositories by aggregated graph search
the 3rd International Workshop on Reuse in Business Process Management (rBPM\'12), BPM Workshops, pp. 12, Tallinn, Estonia, September, 2012
Abstract to be published June Andronick and Gerwin Klein
Formal system verification - extension 2, final report AOARD \#FA2386-12-1-4022
Technical Report, NICTA, August, 2012
Abstract to be published Ahmed Awad and Sherif Sakr
On efficient processing of BPMN-q queries
Journal of Computers in Industry, Elsevier, Volume 63, Number 9, pp. 867-881, August, 2012
Abstract to be published Len Bass and Robert Nord
Understanding the context of architecture evaluation methods
IEEE/IFIP Working Conference on Software Architecture (WICSA), pp. 9, Helsinki/Finland, August, 2012
Abstract PDF Andreas Bauer and Ylies Falcone
Decentralised LTL monitoring
International Symposium on Formal Methods (FM), pp. 88-100, Paris/France, August, 2012
Best Paper Award!
Abstract to be published James Cheney, Michael Norrish and René Vestergaard
Formalizing adequacy: A case study for higher-order abstract syntax
Journal of Automated Reasoning, Volume 49, Number 2, pp. 209–239, August, 2012
Abstract to be published Robert van Glabbeek
Musings on encodings and expressiveness
Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics, pp. 81–98, Newcastle upon Tyne, United Kingdom, August, 2012
Abstract to be published Guido Governatori and Sidney Shek
Rule based business process compliance
6th International Rule Challenge @ RuleML 2012, pp. Paper 5 , Montpelliler, August, 2012
Abstract PDF David Greenaway, June Andronick and Gerwin Klein
Bridging the gap: Automatic verified abstraction of C
3rd International Conference on Interactive Theorem Proving, pp. 99-115, Princeton, New Jersey, August, 2012
The final publication is available at www.springerlink.com
Abstract to be published Mustafa Hashmi, Guido Governatori and Moe Thandar Wynn
Business process data compliance
The 6th International Symposium on Rules (RuleML 2012), pp. 32-46, Montpelier, France, August, 2012
Abstract to be published Peter Hoefner
Towards a representation theorem for coloring algebra
Abstract, Workshop on Lattices and Relations, August, 2012.
Abstract to be published Peter Hoefner
Kleene modules for routing procedures
Abstract, Workshop on Lattices and Relations, August, 2012.
Abstract link Gerwin Klein, Rafal Kolanski and Andrew Boyton
Mechanised separation algebra
3rd International Conference on Interactive Theorem Proving, pp. 332-337, Princeton, New Jersey, August, 2012
Abstract PDF Ihor Kuz, Liming Zhu, Len Bass, Mark Staples and Xiwei Xu
An architectural approach for cost effective trustworthy systems
10th IEEE/IFIP Working Conference on Software Architecture (WICSA), Helsinki, Finland, August, 2012
Abstract to be published Brian Lam, Guido Governatori, Ken Satoh and Hiroshi Hosobe
Distributed defeasible speculative reasoning in ambient environment
Computational Logic and Multi Agent Systems, CLIMA XIII, pp. 43–60, Montpelier, France, August, 2012
Abstract to be published Liang Zhao, Sherif Sakr, Liming Zhu, Sherry Xu and Anna Liu
An architecture framework for application-managed scaling of cloud-hosted relational databases
IEEE/IFIP Working Conference on Software Architecture (WICSA), pp. 21-28, Helsinki, Finland, August, 2012
Abstract to be published Liming Zhu, Len Bass and Sherry Xu
Data management requirements for a knowledge discovery platform
Architectures and Platforms for Knowledge Discovery from Data, pp. 4, Helsinki, Finland, August, 2012
Abstract to be published Paul Bannerman
Why good project management is not enough: Liabilities of incumbency and newness
Project Management Institute (PMI) Research Conference 2012, pp. 21, Limerick/Ireland, July, 2012
Abstract
Slides 		PDF Bernard Blackham and Gernot Heiser
Correct, fast, maintainable – choose any three!
Proceedings of the 3rd Asia-Pacific Workshop on Systems (APSys), pp. 13:1–13:7, Seoul, Korea, July, 2012
Abstract
Slides 		PDF Bernard Blackham, Vernon Tang and Gernot Heiser
To preempt or not to preempt, that is the question
Proceedings of the 3rd Asia-Pacific Workshop on Systems (APSys), pp. 8:1–8:7, Seoul, Korea, July, 2012
Abstract to be published Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck and Maximillian Junker
GoannaSMT – a static analyzer with SMT-based refinement
Abstract, Tools for Automatic Program AnalysiS (TAPAS 2012), Deauville, France, pp. ??, July, 2012.
Abstract to be published Franck Cassez
The complexity of codiagnosability for discrete event and timed systems
IEEE Transactions on Automatic Control, Volume 57, Number 7, pp. 1752-1764, July, 2012
Abstract to be published Franck Cassez, René Rydhof Hansen and Mads Olesen
What is a timing anomaly?
12th International Workshop on Worst-Case Execution-Time Analysis (WCET), pp. 1-12, Pisa, Italy, July, 2012
Abstract to be published Marlon Dumas, Luciano Garcia-Banuelos, Marcello La Rosa and Reina Uba
Fast detection of exact clones in business process model repositories
Information Systems, Volume to be assigned, Number to be assigned, pp. to be assigned, July, 2012
Abstract to be published Guido Governatori, Antonino Rotolo and Erica Calardo
Possible world semantics for defeasible deontic logic
Deontic Logic in Computer Science, pp. 46-60, Bergen/Norway, July, 2012
Abstract to be published Peter Hoefner, Robert van Glabbeek and Ian Hayes
Preface—morgan: A suitable case for treatment
Formal Aspects of Computing, Volume 24, Number 4-6, pp. 417-422, July, 2012
Abstract to be published Peter Hoefner and Bernhard Möller
Dijkstra, floyd and warshall meet kleene
Formal Aspects of Computing (FAOC), Volume 24, Number 4-6, pp. 459-476, July, 2012
Abstract to be published Joerg Hoffmann, Ingo Weber and Frank Michael Kraft
SAP speaks PDDL: Exploiting a software-engineering model for planning in business process management
Journal of Artificial Intelligence Research (JAIR), Volume 44, Number -, pp. 587-632, July, 2012
Abstract to be published Peter Lindsay, Kirsten Winter and Sentot Kromodimoeljo
Model-based safety risk assessment using behaviour trees
Proc 2012 combined conferences Australian Systems Engineering, Test & Evaluation Conference (SETE) and 6th Asia Pacific Conference on Systems Engineering (APCOSE), Brisbane/Australia, July, 2012
Abstract to be published Sherif Sakr and Anna Liu
SLA-based and consumer-centric dynamic provisioning for cloud databases
5th IEEE International Conference on Cloud Computing (IEEE CLOUD)., pp. 8, Hawaii, USA, July, 2012
Abstract to be published Matthew Sladescu, Alan Fekete, Kevin Lee and Anna Liu
Event aware workload prediction: A study using auction events
Technical Report 688, The University of Sydney, July, 2012
Abstract to be published Liang Zhao, Sherif Sakr and Anna Liu
Application-managed replication controller for cloud-hosted databases
IEEE 5th International Conference on Cloud Computing (IEEE CLOUD \'12), pp. 922-929, Honolulu, Hawaii, USA, July, 2012
Abstract to be published June Andronick, Ross Jeffery, Gerwin Klein, Rafal Kolanski, Mark Staples, Jason Zhang and Liming Zhu
Large-scale formal verification in practice: A process perspective
International Conference on Software Engineering, pp. 1002-1011, Zurich/Switzerland, June, 2012
Abstract to be published Xu Bai, Huang Liguo, Jason Zhang and Koolmanojwong Supannika
Hybrid modeling and simulation for trustworthy software process management: A stakeholder-oriented approach
Journal of Software Maintenance and Evolution: Research and Practice, June, 2012
Abstract to be published John Brondum and Liming Zhu
Visualising architectural dependencies
Managing Technical Debt Workshop at International Conference on Software Engineering (ICSE), pp. 8, Zurich, Switzerland, June, 2012
Abstract to be published Soon-Kyeong Kim, Toby Myers, Marc-Florian Wendland and Peter Lindsay
Execution of natural language requirements using state machines synthesised from behavior trees
Journal of Systems and Software (JSS) (JSS), June, 2012
Abstract to be published Eddie Li, Liam O'Brien, Rainbow Cai and Jason Zhang
Towards a taxonomy of performance evaluation of commercial cloud services
IEEE 5th International Conference on Cloud Computing, pp. 344-351, Honolulu/USA, June, 2012
Abstract to be published Guoping Rong, Jason Zhang, Mingjuan Xie and Dong Shao
Improving PSP education by pairing: An empirical study
International Conference on Software Engineering, pp. 10, Zurich/Switzerland, June, 2012
Abstract to be published Weisheng Si, Bernhard Scholz, (Hans) Joachim Gudmundsson, Guoqiang Mao, Roksana Boreli and Albert Zomaya
On graphs supporting greedy forwarding for directional wireless networks
IEEE International Conference on Communications (ICC), pp. 1-6, Ottawa/Canada, June, 2012
Abstract to be published Jörn Guy Suß and William Billingsley
Using continuous integration of code and content to teach software engineering with limited resources
International Conference on Software Engineering, pp. 1175 - 1184 , Zurich, Switzerland, June, 2012
Abstract to be published Jason Zhang
Software process simulation - at a crossroads?
International Conference on Software and Systems Process, pp. 2, Zurich/Switzerland, June, 2012
Abstract to be published Jason Zhang
Simulation modeling of evolving software processes
International Conference on Software and Systems Process (ICSSP), pp. 3, Zurich/Switzerland, June, 2012
Abstract to be published Jason Zhang, Barbara Kitchenham and Ross Jeffery
Toward trustworthy software process models: An exploratory study on transformable process modeling
Journal of Software Maintenance and Evolution: Research and Practice, Volume 23, Number 4, pp. 23, June, 2012
Abstract to be published Jason Zhang, Gerwin Klein, Mark Staples, June Andronick, Liming Zhu and Rafal Kolanski
Simulation modeling of a large scale formal verification process
International Conference on Software and Systems Process, pp. 3-12, Zurich/Switzerland, June, 2012
Abstract to be published Liming Zhu, Mark Staples and Thong Nguyen
The need for architecture evaluation in the acquisition of software-intensive systems
Technical Report TRXXX, DSTO, June, 2012
Abstract to be published June Andronick, Gerwin Klein and Andrew Boyton
Formal system verification - extension, AOARD 114070
Technical Report, NICTA, May, 2012
Abstract to be published Wan Fokkink, Robert van Glabbeek and Paulien de Wind
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity
Information and Computation, Volume 214, Number , pp. 59-85, May, 2012
Abstract to be published Joerg Hoffmann, Ingo Weber and Guido Governatori
On compliance checking for clausal constraints in annotated process models
Information Systems Frontiers, Volume 14, Number 2, pp. 155–177, May, 2012
Abstract to be published Ross Jeffery
Ubiquitous process: An opportunity or temptation
Presentation, Hawaii, Hawaii/USA, May, 2012.
Abstract to be published Dana Kusumo, Mark Staples, Liming Zhu, Jason Zhang and Ross Jeffery
Risks of off-the-shelf-based software acquisition and development: A systematic mapping study and a survey
International Conference on Evaluation and Assessment in Software Engineering (EASE) (EASE), pp. 233 - 242 , Ciudad Real/Spain, May, 2012
Abstract to be published Juan Li, Liming Zhu, Ross Jeffery, Jenny Liu, Jason Zhang, Qing Wang and Jason Zhang
An initial evaluation of requirements dependency types in change propagation analysis
International Conference on Evaluation and Assessment in Software Engineering (EASE), pp. 10, Ciudad Real/Spain, May, 2012
Best Paper Award
Abstract to be published Juan Li, Jason Zhang, Liming Zhu, Ross Jeffery, Qing Wang and Mingshu Li
Preliminary results of a systematic review on requirements evolution
16th International Conference on Evaluation & Assessment in Software Engineering (EASE 2012), pp. 10, Ciudad Real/Spain, May, 2012
Abstract Video Axel Polleres and Sherif Sakr
Querying and exchanging XML and RDF on the web
Presentation, World Wide Web Conference 2012, Lyon, France, May, 2012.
Abstract to be published Yueming Sun, Ye Yang, Jason Zhang, Wen Zhang and Qing Wang
Towards evidence-based ontology for supporting systematic literature review
16th International Conference on Evaluation & Assessment in Software Engineering (EASE 2012), pp. 5, Ciudad Real/Spain, May, 2012
Abstract
Slides 		PDF Sidney Amani, Leonid Ryzhyk and Toby Murray
Towards a fully verified file system
Poster presentation at EuroSys Doctoral Workshop, Bern, Switzerland, April, 2012
Abstract to be published Andreas Bauer, Jan-Christoph Kuster and Gil Vegliach
Runtime verification meets android security
NASA Formal Methods Symposium (NFM\'12), pp. 174-180, Norfolk, Virginia/USA, April, 2012
Abstract
Slides 		PDF Bernard Blackham, Yao Shi and Gernot Heiser
Improving interrupt response time in a verifiable protected microkernel
Proceedings of the 7th EuroSys Conference, pp. 323–336, Bern, Switzerland, April, 2012
Abstract to be published Paul Brebner
A performance modeling “blending” approach for early life-cycle risk mitigation
ACM/SPEC International Conference on Performance Engineering, Boston, USA, April, 2012
Abstract to be published Matthew Fernandez, Gerwin Klein and Ihor Kuz
Microkernel verification down to assembly
Poster Presentation, EuroSys 2012, Bern, Switzerland, April, 2012.
Abstract to be published Sadeka Islam, Kevin Lee, Alan Fekete and Anna Liu
How a consumer can measure elasticity for cloud platforms
ACM/SPEC International Conference on Performance Engineering, pp. 12, Boston, USA, April, 2012
Abstract to be published Gerwin Klein
Interactive proof: Applications to semantics
Software Safety and Security: Tools for Analysis and Verification, pp. 85-125, IOS Press, 2012
Abstract to be published Eddie Li, Liam O'Brien and Jason Zhang
Circumstantial-evidence-based effort judgment for web service composition based SOA implementations
International Journal of Space-Based and Situated Computing, Volume 2, Number 1, pp. 31-44, April, 2012
Abstract to be published Sherif Sakr
Use SQL-like languages for the MapReduce framework
IBM developerWorks, April, 2012
Abstract to be published Matthew Sladescu and Alan Fekete
Event aware elasticity control for cloud applications
Technical Report, The University of Sydney, April, 2012
Abstract to be published Bela Stantic, Paolo Terenziani, Guido Governatori, Alessio Bottrighi and Abdul Sattar
An implicit approach to deal with periodically-repeated medical data
Artificial Intelligence in Medicine, Volume 55, Number 3, pp. 149–162, April, 2012
Abstract to be published Liang Zhao, Sherif Sakr, Alan Fekete, Hiroshi Wada and Anna Liu
Application-managed database replication on virtualized cloud environments
IEEE 28th International Conference on Data Engineering Workshops (ICDEW \'12), pp. 127-134, Washington DC, USA, April, 2012
Abstract
Slides 		PDF Michael von Tessin
The clustered multikernel: An approach to formal verification of multiprocessor OS kernels
Proceedings of the 2nd Workshop on Systems for Future Multi-core Architectures, Bern, Switzerland, April, 2012
Abstract to be published Paul Brebner
Is your cloud elastic enough? Performance modelling the elasticity of infrastructure as a service (IaaS) cloud applications
ACM/SPEC International Conference on Performance Engineering, Boston, USA, March, 2012
Abstract to be published Ansgar Fehnker, Robert van Glabbeek, Peter Hoefner, Annabelle McIver, Marius Portmann and Wee Lum Tan
A process algebra for wireless mesh networks
FST&TCS, pp. 295-315, Tallinn, Estonia, March, 2012
Abstract to be published Ansgar Fehnker, Robert van Glabbeek, Peter Hoefner, Annabelle McIver, Marius Portmann and Wee Lum Tan
Automated analysis of AODV using UPPAAL
18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012), pp. 173-187, Tallinn, Estonia, March, 2012
Abstract to be published Johnson Fong, Brian Lam, Ricky Robinson and Jadwiga Indulska
Defeasible preferences for intelligible pervasive applications to enhance eldercare
IEEE International Conference on Pervasive Computing and Communications (PerCom\'12) - Context Modeling and Reasoning Workshop, pp. 578-583, Lugano/Switzerland, March, 2012
Abstract to be published Robert van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke-Uffmann
On distributability of petri nets (extended abstract)
15th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), pp. 331–345, Tallinn, Estonia, March, 2012
Abstract PDF Gernot Heiser, Toby Murray and Gerwin Klein
It's time for trustworthy systems
IEEE: Security and Privacy, Volume 2012, Number 2, pp. 67–70, March, 2012
Abstract to be published Eddie Li, Jason Zhang and Liam O'Brien
Towards interdisciplinary approach to SOA implementations
Communications in Computer and Information Science , pp. 185-202, Volume 0275 in CCIS 275, Springer-Verlag, 2012
Abstract to be published Geoff Sutcliffe, Stephan Schulz, Koen Claessen and Peter Baumgartner
The TPTP typed first-order form and arithmetic
The 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-18), pp. 406-419, Merida, Venezuela, March, 2012
Abstract to be published Junjie Wang, Juan Li, Qing Wang, Jason Zhang and Haitao Wang
A simulation approach for impact analysis of requirement volatility considering dependency change
International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ), pp. 10, Essen, Germany, March, 2012
Abstract to be published Franck Cassez, Jeremy Dubreil and Herve Marchand
Synthesis of opaque systems with static and dynamic masks
Formal Methods in System Design, Volume 40, Number 1, pp. 88–115, February, 2012
Abstract to be published Sherif Sakr and Mohammad Alomari
A decade of database conferences: A look inside the program committees
Scientometrics, Volume 90, Number 2, pp. 12, February, 2012
Abstract to be published Paul Bannerman, Mohammad Emam Hossain and Ross Jeffery
Scrum practice mitigation of global software development coordination challenges: A distinctive advantage?
Hawaii International Conference on System, Sciences (HICCS 45, 2012), pp. 10, Maui/Hawaii, January, 2012
Abstract to be published Paul Bannerman and Alan Thorogood
Celebrating IT projects success: A multi-domain analysis
Hawaii International Conference on System Sciences (HICSS45, 2012), pp. 10, Maui/Hawaii, January, 2012
Abstract Video Peter Chubb
Bourne shell tutorial
Presentation, Linux.conf.au, Ballarat, January, 2012.
Abstract to be published Peter Chubb
Linux as a boot loader
Presentation, linux.conf.au, Ballarat, January, 2012.
Abstract to be published Remco Dijkman, Marcello La Rosa and Hajo Reijers
Managing large collections of business process models - current techniques and challenges
Computers in Industry, Volume 63, Number 2, pp. 91-97, January, 2012
Abstract Slides
Video 		Etienne Le Sueur and Simon Rodgers
Operating system support for the heterogeneous OMAP4430: A tale of two micros
13th Linux.conf.au, Ballarat, Australia, January, 2012
Abstract to be published Jan Mendling, Laura Sanchez-Gonzalez, Felix Garcia and Marcello La Rosa
Thresholds for error probability measures of business process models
Software and Systems Modelling, Volume 85, Number 2012, pp. 1188-1197, January, 2012
Abstract to be published Stefan M Petters, Kevin Elphinstone and Gernot Heiser
Trustworthy real-time systems
Advances in Real-Time Systems, pp. 191-206, Springer, 2012
Abstract to be published Marcello La Rosa, Marlon Dumas, Reina Uba and Remco Dijkman
Business process model merging: An approach to business process consolidation
ACM Transactions on Software Engineering and Methodology, Volume to appear, January, 2012
Abstract PDF Timothy Bourke, Matthias Daum, Gerwin Klein and Rafal Kolanski
Challenges and experiences in managing large-scale proofs
Conferences on Intelligent Computer Mathematics (CICM) / Mathematical Knowledge Management, 2012
The final publication is available at www.springerlink.com

2011

Abstract to be published Robert van Glabbeek
Bisimulation
Encyclopedia of Parallel Computing, pp. 136-139, Volume 1 in , Springer, 2011
Abstract to be published Karl M. Goeschka, Schahram Dustdar and Vladimir Tosic
Proceedings of the 6th international workshop on middleware for service oriented computing (MW4SOC) 2011
Volume 1 in 1, Association for Computing Machinery (ACM) Press, 2011
Abstract to be published Guido Governatori, Francesco Olivieri, Antonino Rotolo and Simone Scannapieco
Three concepts of defeasible permission
The 24th International Conference on Legal Knowledge and Information Systems, pp. 63-72, Vienna/ Austria, December, 2011
Abstract to be published Qinghua Lu, Vladimir Tosic and Paul Bannerman
Support for the business motivation model in the WS-Policy4MASC language and MiniZnMASC middleware
International Conference on Service Oriented Computing, pp. 265-276, Cyprus, December, 2011
Abstract to be published Basem Suleiman, Sherif Sakr, Ross Jeffery and Anna Liu
On understanding the economics and elasticity challenges of deploying business applications on public cloud infrastructure”
Journal of Internet Services and Applications (JISA), Volume 2, Number 3, pp. 1-21, December, 2011
Abstract to be published June Andronick, Gerwin Klein and Toby Murray
Formal system verification for trustworthy embedded systems, final report option 1 – AOARD 104105
Technical Report, NICTA, November, 2011
Abstract
Slides 		PDF Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury and Gernot Heiser
Timing analysis of a protected operating system kernel
Proceedings of the 32nd IEEE Real-Time Systems Symposium, pp. 339–348, Vienna, Austria, November, 2011
Abstract to be published Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Rotolo Antonino and Leendert van der Torre
Time and defeasibility in FIPA ACL semantics
Journal of Applied Logic, Volume 9, Number 4, pp. 274-288, November, 2011
Abstract to be published Marcus Foth, Laura Forlano, Christine Satchell and Martin Gibbs
From social butterfly to engaged citizen
MIT Press, 2011
Abstract to be published Marcus Foth, Christine Satchell, Mark Bilandzic, Greg T. Hearn and Danielle Shelton
Dramatic character development personas to tailor apartment designs for different residential lifestyles
From Social Butterfly to Engaged Citizen, MIT Press, 2011
Abstract to be published Dana Kusumo, Liming Zhu, Mark Staples and Jason Zhang
A systematic mapping study on off-the-shelf-based software acquisition
22nd Australasian Conference on Information Systems (ACIS), pp. (paper 22), Sydney/ Australia, November, 2011
Abstract to be published Monica Palmirani, Guido Governatori, Antonino Rotolo, Said Tabet and Harold Boley
LegalRuleML: XML-based rules and norms
5th International Symposium on Rule-Based Modeling and Computing on the Semantic Web (RuleML 2011 America), pp. 298-312, Ft Lauderdale USA, November, 2011
Abstract to be published Ahmed Awad, Sherif Sakr, Matthias Kunze and Mathias Weske
Design by selection: A reuse-based approach for business process modeling
30th International Conference on Conceptual Modeling (ER 2011), pp. 15, Brussels, Belgium, October, 2011
Abstract to be published Andreas Bauer, Adi Botea, Alban Grastien, Patrik Haslum and Jussi Rintanen
Alarm processing with model-based diagnosis of discrete event systems
AI for an Intelligent Planet (AIIP-11), pp. 7–14, Spain, October, 2011
Abstract to be published Dipesh Chauhan
Business driven IT management in cloud computing systems
Poster Presentation, Research Conversazione 2011, Sydney/Autralia, October, 2011.
Abstract PDF David Cock
Exploitation as an inference problem
Proceedings of the 4th ACM Workshop on Artificial Intelligence and Security, pp. 105–106, Chicago, IL, USA, October, 2011
Abstract to be published David Cock
Side channel exploitation as a problem in AI
4th Workshop on Artificial Intelligence and Security, pp. ???, Chicago, IL, USA, October, 2011
Abstract to be published Ansgar Fehnker, Mark Bradley, Ralf Huuck and Paul Steckler
Goanna static analysis at the NIST static analysis tool exposition
Technical Report, NIST, October, 2011
Abstract to be published Ansgar Fehnker, Robert van Glabbeek, Peter Hoefner, Annabelle McIver, Marius Portmann and Wee Lum Tan
Modelling and analysis of AODV in UPPAAL
1st International Workshop on Rigorous Protocol Engineering, pp. 1-6, Vancouver, October, 2011
Abstract to be published Peter Hoefner, Don Batory and Jongwook Kim
Feature interactions, products, and composition
Generative Programming and Component Engineering (GPCE\'11), pp. 13-22, Portland, OR/United States, October, 2011
Abstract to be published Ralf Huuck, Ansgar Fehnker and Rodiger Wolf
Model checking dataflow for malicious input
6th Workshop on Embedded Systems Security (WESS 2011), pp. 4:1–4:10, Taipei, Taiwan, October, 2011
Abstract to be published Eddie Li
Initial step toward effort judgment for SOA projects: From individual web service compositions (WSC) to WSC-based SOA implementations
LAP LAMBERT Academic Publishing , 2011
Abstract to be published Richard Medland and Petromil Petkov
Connecting people to their resource consumption through real-time data visualisation
IEEE Pervasive Computing: Special Issue on Pervasive Computing for Smart Energy Systems, October, 2011
Abstract to be published Jan Recker and Marcello La Rosa
Understanding user differences in open-source workflow management system usage intentions
Information Systems, Volume 37, Number 3, pp. 200-212, October, 2011
Abstract to be published Sherif Sakr and Ghazi Al-Naymat
An efficient features-based processing technique for supergraph queries
Fourteenth International Database Engineering & Applications Symposium (IDEAS\'10), pp. 10, Montreal Canada, October, 2011
Abstract to be published Vladimir Tosic
Cloud elasticity and its importance for cloud management
Presentation, LANOMS 2011 - The 7th Latin American Network Operations and Management Symposium, Quito/Equador, October, 2011.
Abstract to be published Vladimir Tosic, Hiroshi Wada, Adnene Guabtni, Kevin Lee and Anna Liu
Management towards reducing cloud usage costs
Presentation, 7th Latin American Network Operations and Management Symposium (LANOMS 2011), Quito/Equador, October, 2011.
Abstract to be published Jason Zhang
The certainty of uncertainty: Modeling and simulating software engineering processes qualitatively
Lambert Academic Publishing, 2011
Abstract to be published Liang Zhao, Sherif Sakr and Anna Liu
On the spectrum of web scale data management
Cloud Computing: Methodology, Systems, and Applications, pp. 487–509, CRC Press, Taylor & Francis group, 2011
Abstract to be published Xu Bai, Jason Zhang and Liguo Huang
Empirical research in software process modeling: A systematic literature review
International Symposium on Empirical Software Engineering and Measurement, pp. 4, Banff/Canada, September, 2011
Abstract to be published Seyed-Mehdi-Reza Beheshti, Benatallah Boualem, Motahari-Nezha Hamid Reza and Sherif Sakr
A query language for analyzing business processes execution
International Conference in Business Process Management (BPM), pp. 15, Clermont-Ferrand, France, September, 2011
Abstract to be published Jeff Blee, David Billington, Guido Governatori and Abdul Sattar
Levels of modality for BDI logic
Journal of Applied Logic, Volume 9, Number 4, pp. 250-273, September, 2011
Abstract to be published Ansgar Fehnker, Mark Bradley and Ralf Huuck
Cyber security at software development time
International Conference on Defence Science Research (DSR-2011), pp. 4, Singapore Singapore, September, 2011
Abstract to be published Robert van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke
On causal semantics of petri nets (extended abstract)
22nd International Conference on Concurrency Theory, pp. 43-59, Aachen, Germany, September, 2011
Abstract to be published Avi Knoll, Yang Wang, Fang Chen, Jie Xu, Natalie Ruiz, Julien Epps and Pega Zarjam
Measuring cognitive workload with low-cost electroencephalograph
IFIP TC13 Conference on Human-Computer Interaction (Interact), pp. 568-571, Lisbon/Protugal, September, 2011
Abstract to be published Mahboobeh Moghaddam
An active negotiation model for service selection in web service composition
Technical Report, Institute of Computer Science of the University of Halle, September, 2011
Abstract to be published Guoping Rong, Dong Shao, Jason Zhang and Jun Li
Goal-driven development method for managing embedded system projects: An industrial experience report
International Symposium on Empirical Software Engineering and Measurement, pp. 10, Banff/Canada, September, 2011
Abstract to be published Sherif Sakr, Emilian Pascalau, Ahmed Awad and Mattias Weske
Partial process models to manage business process variants
International Journal of Business Process Integration and Management (IJBPIM), Volume 6, Number 2, pp. 20, September, 2011
Abstract to be published Vladimir Tosic, Andrew Farrell, Karl M. Goeschka, Sebastian Hudert, Hanan Lutfiyya and Michael Parkin
Introduction to the IEEE CEC 2011 workshop clouds for enterprises (C4E) 2011
Proceedings of the 13th IEEE Conference on Commerce and Enterprise Computing – CEC 2011, pp. xiv-xv, IEEE, 2011
Abstract to be published Thi Khanh Van Tran, Kevin Lee, Alan Fekete, Anna Liu and Jacky Keung
Size estimation of cloud migration projects with cloud migration point (CMP)
The Fifth International Symposium on Empirical Software Engineering and Measurement, pp. 265-274, Banff, Alberta, Canada, September, 2011
Abstract to be published Jason Zhang and Muhammad Ali Babar
An empirical investigation of systematic reviews in software engineering
International Symposium on Empirical Software Engineering and Measurement, pp. 10, Banff/Canada, September, 2011
Abstract to be published Peter Baumgartner and Uwe Waldmann
A combined superposition and model evolution calculus
Journal of Automated Reasoning, Volume 47, Number 2, pp. 191-227, August, 2011
Abstract to be published Mauro Gambini, Marcello La Rosa, Sara Migliorini and Arthur ter Hofstede
Automated error correction of business process models
International Conference in Business Process Management (BPM), pp. 148-165, Clermont-Ferrand/France, August, 2011
Abstract to be published Peter Gammie
Verified synthesis of knowledge-based programs in finite synchronous environments
ITP 2011: 2nd International Conference on Interactive Theorem Proving, pp. 16, The Netherlands, August, 2011
Abstract to be published Kees M. van Hee, Marcello La Rosa, Zheng Liu and Natalia Sidorova
Discovering characteristics of stochastic collections of process models
International Conference in Business Process Management (BPM), pp. 298-312, Clermont-Ferrand/France, August, 2011
Abstract to be published Sadeka Islam, Kevin Lee, Alan Fekete and Anna Liu
How a consumer can measure elasticity for cloud platforms
Technical Report 680, University of Sydney, August, 2011
Abstract to be published Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori and Grigoris Antoniou
A modal defeasible reasoner of deontic logic for the semantic web
International Journal of Semantic Web and Information Systems, Volume 7, Number 1, pp. 18-43, August, 2011
Abstract to be published Michael Norrish
Mechanised computability theory
International Conference on Interactive Theorem Proving, pp. 297–311, Nijmegen, The Netherlands, August, 2011
Abstract to be published Sherif Sakr, Ahmed Awad, Emilian Pascalau and Mathias Weske
BPModelMasher: Manage your process variants effectively
The 9th International Conference on Business Process Management (BPM 2011), pp. 5, Clermont-Ferrand, France, August, 2011
Abstract to be published Sherif Sakr and Eric Pardede
Graph data management: techniques and applications
Volume 1 in 1, IGI Global, 2011
Abstract to be published Simone Scannapieco, Guido Governatori, Francesco Olivieri and Matteo Cristani
Designing for compliance: Norms and goals
RuleML 2011, Ft Lauderdale USA, August, 2011
Abstract PDF Thomas Sewell, Simon Winwood, Peter Gammie, Toby Murray, June Andronick and Gerwin Klein
seL4 enforces integrity
2nd International Conference on Interactive Theorem Proving, pp. 325–340, Nijmegen, The Netherlands, August, 2011
Abstract to be published Reina Uba, Marlon Dumas, Luciano Garcia-Banuelos and Marcello La Rosa
Clone detection in repositories of business process models
International Conference in Business Process Management (BPM), pp. 248-264, Clermont-Ferrand/France, August, 2011
Abstract
Slides 		PDF Sidney Amani, Leonid Ryzhyk, Alastair Donaldson, Gernot Heiser, Alexander Legg and Yanjin Zhu
Static analysis of device drivers: we can do better!
Proceedings of the 2nd Asia-Pacific Workshop on Systems (APSys), pp. 8:1–8:5, Shanghai, China, July, 2011
Abstract to be published Paul Bannerman and Philip Yetton
Why project performance varies: A capability-based explanation
Pacific Asia Conference on Information Systems (PACIS 2011), pp. 15, Brisbane/Australia, July, 2011
Abstract to be published Andreas Bauer, Jan Juerjens and Yijun Yu
Run-time security traceability for evolving systems
The Computer Journal, Volume 54, Number 1, pp. 58-87, July, 2011
Abstract
Slides 		PDF Bernard Blackham, Yao Shi and Gernot Heiser
Protected hard real-time: The next frontier
Proceedings of the 2nd Asia-Pacific Workshop on Systems (APSys), pp. 1:1–1:5, Shanghai, China, July, 2011
Abstract to be published Yuxin Deng, Robert van Glabbeek, Matthew Hennessy and Carroll Morgan
Real reward testing for probabilistic processes (extended abstract)
Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), pp. 61-73, Saarbrücken, Germany, July, 2011
Abstract to be published Robert van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke
Abstract processes of place/transition systems
Information Processing Letters, Volume 111, Number 13, pp. 626-633, July, 2011
Abstract to be published Guido Governatori
On the relationship between carneades and defeasible logic
ICAIL 2011: The Thirteenth International Conference on Artificial Intelligence and Law, pp. 31-40, Pittsbourgh, USA, July, 2011
Abstract to be published Guido Governatori and Antonino Rotolo
Justice delayed is justice denied: Logics for a temporal account of reparations and legal compliance
12th International Workshop on Computational Logic in Multi-Agent Systems, pp. 364-382, Barcelona/Spain, July, 2011
Abstract to be published Leif Hanlen and Michelle Carden
Telehealth infrastructure services
Technical Report, NICTA, July, 2011
Abstract to be published Peter Hoefner, Ridha Khedri and Bernhard Möller
Supplementing product families with behaviour
International Journal of Software and Informatics (IJSI), Volume 5, Number 1-2, Part II, pp. 245-266, July, 2011
Abstract to be published Udo Kannengiesser and Liming Zhu
Towards concise architectures for flexible business processes
Business Process Modeling: Software Engineering, Analysis and Applications, pp. 61-75, Nova Science Publishers, 2011
Abstract to be published Anna Liu
Engineering cloud computing solutions - the enterprise consumer perspective
IEEE International Workshop on Future of Software Engineering For and IN the Cloud, pp. 2, Washington DC, USA, July, 2011
Abstract to be published Qinghua Lu
Autonomic business-driven decision making for adaptation of web service compositions
2011 IEEE World Congress on Services, pp. 73-76, Washington DC, USA, July, 2011
Abstract to be published Sherif Sakr and Anna Liu
MyDeepWeb: An integration service for your OWN deep web data
The 8th IEEE International Conference on Services Computing (IEEE SCC 2011), pp. 2, Washington DC, USA, July, 2011
Abstract to be published Sherif Sakr, Liang Zhao, Hiroshi Wada and Anna Liu
CloudDB AutoAdmin: Towards a truly elastic cloud-based data store
Proceedings of the IEEE 9th International Conference on Web Services (ICWS \'11), pp. 732-733, Washington DC, USA, July, 2011
Abstract
Slides 		PDF Prashant Varanasi and Gernot Heiser
Hardware-supported virtualization on ARM
Proceedings of the 2nd Asia-Pacific Workshop on Systems (APSys), pp. 11:1–11:5, Shanghai, China, July, 2011
Abstract to be published Han-Hing Dang, Bernhard Möller and Peter Hoefner
Algebraic separation logic
The Journal of Logic and Algebraic Programming, Volume 80, Number 6, pp. 221-247, June, 2011
Abstract to be published Robert van Glabbeek
On cool congruence formats for weak bisimulations
Theoretical Computer Science, Volume 412, Number 28, pp. 3283-3302, June, 2011
Abstract to be published Gernot Heiser
Virtualizing embedded systems – why bother?
48th Design Automation Confernece, pp. 901-905, Dan Diego, CA, USA, June, 2011
Abstract to be published Peter Hoefner and Bernhard Möller
Fixing zeno gaps
Theoretical Computer Science (TCS), Volume 412, Number 28, pp. 3303-3322, June, 2011
Abstract to be published Mohammad Emam Hossain, Paul Bannerman and Ross Jeffery
Scrum practices in global software development: A research framework
12th International Conference on Product Focused Development and Process Improvement (Profes 2011), pp. 15, Torre Canne/Italy, June, 2011
Abstract to be published Sadeka Islam, Jacky Keung, Kevin Lee and Anna Liu
Empirical prediction models for adaptive resource provisioning in the cloud
Future Generation Computer Systems: the international journal of grid computing: theory, methods and applications (FGCS), Volume 28, Number 1, pp. 155-162, June, 2011
Abstract
Slides 		PDF
Presentation Video		 Etienne Le Sueur and Gernot Heiser
Slow down or sleep, that is the question
Proceedings of the 2011 USENIX Annual Technical Conference, Portland, OR, USA, June, 2011
Abstract to be published Eddie Li, Liam O'Brien and Jason Zhang
Circumstantial-evidence-based judgment for software effort estimation
1st International Workshop on Evidential Assessment of Software Technologies - EAST 2011, pp. 18-27, Beijing / China, June, 2011
Abstract to be published Eddie Li, Jason Zhang and Liam O'Brien
Towards technology independent strategies for SOA implementations
The 6th International Conference on Evaluation of Novel Approaches to Software Engineering, pp. 143-154, Beijing / China, June, 2011
Abstract to be published Qinghua Lu and Vladimir Tosic
Using MiniZnMASC with different algorithms for business-driven management of business processes
IEEE INTERNATIONAL SYMPOSIUM ON Policies for Distributed Systems and Networks 2011, pp. 188-190, Pisa/Italy, June, 2011
Abstract to be published Monica Palmirani, Guido Governatori and Giuseppe Contissa
Modelling temporal legal rules
ICAIL 2011: The Thirteenth International Conference on Artificial Intelligence and Law, pp. 131-136, Pittsburgh,Pennsylvania, USA, June, 2011
Abstract to be published Petromil Petkov, Felix Köbler, Marcus Foth and Helmut Krcmar
Motivating domestic energy conservation through comparative, community-based feedback in mobile and social media
International Conference on Communities & Technologies (C&T), pp. 21-30, Brisbane, Australia, June, 2011
Abstract to be published Vladimir Tosic
NICTA’s business adaptation and interoperation (BAI) project
Lecture, HP Labs Bristol (UK) in June 2010; signifcantly updated version at the University of Nis (Serbia) in June 2011, June, 2011.
Abstract to be published Vladimir Tosic
Formalization of a software systems research methodology that uses prototypes for evaluation
Lecture, University of Nis, June, 2011.
Abstract to be published Vladimir Tosic, Paul Bannerman, Nahid Ebrahimi Nejad and Qinghua Lu
Extending WS-Policy4MASC language and MiniZnMASC middleware with BMM business motivation
The 8th International Conference on Autonomic Computing (ICAC 2011), pp. 189-190, Karlsruhe/Germany, June, 2011
Abstract to be published Jason Zhang, Muhammad Ali Babar and Paolo Tell
Identifying relevant studies in software engineering
Information and Software Technology, Volume 53, Number 6, pp. 625-637, June, 2011
Abstract to be published Xu Bai, Liguo Huang, Jason Zhang and Alexander Egyed
GoPoMoSA: A goal-oriented process modeling and simulation advisor
International Conference on Software and Systems Process 2011, pp. 194-198, Honoulu/USA, May, 2011
Abstract to be published Patricia Bouyer, Franck Cassez and Francois Laroussinie
Timed modal logics for real-time systems - specification, verification and control.
Journal of Logic, Language and Information, Volume 20, Number 2, pp. 169-203, May, 2011
Abstract to be published Paul Brebner and Jon Gray
An early life-cycle performance modelling approach for reducing the risk of enterprise wide service oriented architecture migration projects
Poster Presentation, SimTect 2011 Conference, Melbourne/Australia, May, 2011.
Abstract to be published Marlon Dumas, Marcello La Rosa, Raul Maesalu, Jan Mendling, Hajo Reijers and Nataliia Semenenko
Understanding business process models: The costs and benefits of structuredness
International Conference on Advanced Information Systems Engineering (CaiSE), pp. 1-15, Gdańsk, Poland, May, 2011
Abstract to be published Rong Guoping, Jason Zhang, Chen Zhenyu and Shao Dong
Delivering PSP course in tertiary education environment: Challenges and solution
24th Conference on Software Engineering Education and Training, pp. 10, Honoulu/USA, May, 2011
Abstract
Slides 		PDF Gernot Heiser, Leonid Ryzhyk, Michael von Tessin and Aleksander Budzynowski
What if you could actually Trust your kernel?
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, Napa, CA, USA, May, 2011
Abstract to be published Peter Hoefner and Annabelle McIver
Towards an algebra of routing tables
12th International Conference on Relational and Algebraic Methods in Computer Science, pp. 212-229, Rotterdam/Netherlands, May, 2011
Abstract to be published Mohammad Emam Hossain, Paul Bannerman and Ross Jeffery
Towards an understanding of tailoring scrum in global software development: A multi-case study
International Conference on Software and System Process, pp. 10, Honolulu / USA, May, 2011
Abstract to be published Ross Jeffery
Software developement cost modeling amd estimation through a UNSW lens
International Journal of Software Informatics, Volume 5, Number 3, pp. 435-442, May, 2011
Abstract PDF Gerwin Klein, Toby Murray, Peter Gammie, Thomas Sewell and Simon Winwood
Provable security: How feasible is it?
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, pp. 28–32, Napa, CA, USA, May, 2011
Abstract PDF Ihor Kuz, Zachary Anderson, Pravin Shinde and Timothy Roscoe
Multicore OS benchmarks: we can do better
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, Napa, CA, USA, May, 2011
Abstract to be published Brian Lam and Guido Governatori
What are the necessity rules in defeasible reasoning?
The 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR11), pp. 187-192, Vancouver, Canada, May, 2011
Abstract to be published Qinghua Lu and Vladimir Tosic
Support for concurrent adaptation of multiple web service compositions to maximize business metrics
The 12th IFIP/IEEE International Symposium on Integrated Network Management, pp. 241-248, Dublin/Ireland, May, 2011
Abstract to be published Liam O'Brien, James Gibson and Jon Gray
A method for selecting SOA pilot projects including a pilot metrics framework
International Conference on Software Engineering, pp. 10, Honolulu/Hawaii, May, 2011
Abstract to be published Thi Khanh Van Tran, Jacky Keung, Anna Liu and Alan Fekete
Application migration to cloud: A taxonomy of critical factors
ICSE 2011 Software Engineering for Cloud Computing Workshop (SECLOUD), pp. 22-28, Hawaii, USA, May, 2011
Abstract to be published Jason Zhang, Ross Jeffery, Dan Houston, Liguo Huang and Liming Zhu
Impact of process simulation on software practice: An initial report
33rd International Conference on Software Engineering, pp. 1046-1056, Honoulu/USA, May, 2011
Abstract to be published Liming Zhu
Model driven architecture
Essential Software Architecture, pp. 201-216, Springer, 2011
Abstract to be published June Andronick and Gerwin Klein
Formal system verification for trustworthy embedded systems, final report AOARD 094160
Technical Report, NICTA, April, 2011
Abstract to be published Andreas Bauer, Martin Leucker and Christian Schallhart
Runtime verification for LTL and TLTL
ACM Transactions on Software Engineering and Methodology, Volume 20, Number 4, pp. 75, April, 2011
Abstract to be published Andreas Bauer and Martin Leucker
The theory and practice of SALT
NASA Formal Methods Symposium (NFM\'11), pp. 28, Pasadena, CA/USA, April, 2011
Abstract to be published Peter Baumgartner and Cesare Tinelli
Model evolution with equality modulo built-in theories
International Conference on Automated Deduction, pp. 85-100, Wroclaw, Poland, April, 2011
Abstract to be published Petromil Petkov, Felix Köbler, Marcus Foth, Richard Medland and Helmut Krcmar
Engaging energy saving through motivation-specific social comparison
International Conference on Human Factors in Computing Systems (CHI), pp. 1945-1950, Vancouver, Canada, April, 2011
Abstract to be published Sherif Sakr, Anna Liu, Daniel Batista and Mohammad Alomari
A survey of large scale data management approaches in cloud environments
IEEE Communications Surveys and Tutorials, Volume 13, Number 2, pp. 26, April, 2011
Abstract to be published Matt Thompson, Jason Tangen and Duncan J. McCarthy
Accuracy and expertise in human fingerprint identification
Australasian Experimental Psychology Conference, pp. 1, Auckland, New Zealand, April, 2011
Abstract to be published Hiroshi Wada, Junichi Suzuki, Yuji Yamano and Katsuya Oba
Evolutionary deployment optimization for service oriented clouds
Software: Practice and Experience, Volume 41, Number 5, pp. 469-493, April, 2011
Abstract to be published Jason Zhang, Ali Babar, Bai, Juan Li and Huang
An empirical assessment of a systematic search process for systematic reviews
15th International Conference on Evaluation and Assessment in Software Engineering (EASE2011), pp. 1-10, Durham/UK, April, 2011
Abstract to be published Paul Brebner
Real-world performance modelling of enterprise service oriented architectures: delivering business value with complexity and constraints
International Conference on Performance Engineering, pp. 12, Germany, March, 2011
Abstract to be published Johnson Fong, Jadwiga Indulska and Ricky Robinson
A preference modelling approach to support intelligibility in pervasive applications
IEEE International Conference on Pervasive Computing and Communications (PerCom\'11) - Context Modeling and Reasoning Workshop, pp. 374-379, Seattle, USA, March, 2011
Abstract to be published Eddie Li and Liam O'Brien
A qualitative approach to effort judgment for web service composition based SOA implementations
The 25th International Conference on Advanced Information Networking and Applications (AINA-2011) , pp. 586-593, Biopolis / Singapore, March, 2011
Abstract PDF Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij and Gernot Heiser
Improved device driver reliability through hardware verification reuse
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Newport Beach, CA, USA, March, 2011
Abstract to be published Basem Suleiman, Sherif Sakr and Sherif Sakr
One size does not fit all: A group-based service selection for web-based business processes
The Seventh International Symposium on Frontiers of Information Systems and Network Applications (FINA 2011), pp. 253-260, Biopolis, Singapore, March, 2011
Abstract to be published Vladimir Tosic
On quality of service (QoS) specification and management for service-oriented systems
Lecture, HP Labs Bristol (UK), Xi’an Jiaotong University (China), Mahanakorn University of Technology (Thailand), Victoria University Wellington (New Zealand), March, 2011.
Abstract to be published Udo Kannengiesser and Liming Zhu
Rationale in semi-structured processes
LECTURE NOTES IN BUSINESS INFORMATION PROCESSING, pp. 634-639, Volume 66 in 1865-1348, Springer, 2011
Abstract to be published Eddie Li and Liam O'Brien
Towards effort estimation for web service compositions using classification matrix
International Journal On Advances in Internet Technology, Volume 3, Number 3&4, pp. 245-260, February, 2011
Abstract to be published Jenny Liu, Xin Liang, Lingzhi Xu, Mark Staples and Liming Zhu
Using architecture integration patterns to compose enterprise mashups
Journal of Systems and Software (JSS) (JSS), Volume 84, Number 9, pp. 1436-1446, February, 2011
Abstract to be published Hiroshi Wada, Junichi Suzuki, Yuji Yamano and Katsuya Oba
E3: Multi-objective genetic algorithms for SLA-aware service deployment optimization problem
IEEE Transactions on Services Computing, February, 2011
Abstract to be published Jean Burgess and Marcus Foth
Show us your mess!
Nexus: New Intersections in Internet Research, pp. 255-260, Peter Lang, 2011
Abstract to be published Guido Governatori and Renato Iannella
A modelling and reasoning framework for social networks policies
Enterprise Information Systems, Volume 5, Number 1, pp. 145-167, January, 2011
Abstract to be published Udo Kannengiesser
Towards a methodology for flexible process specification
Enterprise Modelling and Information Systems Architectures, Volume 5, Number 3, pp. 44-63, January, 2011
Abstract Slides
Video 		Etienne Le Sueur and Bernard Blackham
e4meter: Power management for the people
12th Linux.conf.au, Brisbane, Australia, January, 2011
Abstract to be published Hiroshi Wada, Alan Fekete, Liang Zhao, Kevin Lee and Anna Liu
Data consistency properties and the trade-offs in commercial cloud storages: The consumers' perspective
Proceedings of the 5th Biennial Conference on Innovative Data Systems Research (CIDR \'11), pp. 134-143, Asilomar, California USA, January, 2011
Abstract to be published Simon Winwood and Manuel Chakravarty
Singleton : A general-purpose dependently-typed assembly language
The Sixth ACM SIGPLAN Workshop on Types in Language Design and Implementation, pp. 3–14, Austin, Texas, USA, January, 2011

2010

Abstract to be published Paul Brebner and Anna Liu
Performance and cost assessment of cloud services
International Conference on Service Oriented Computing, pp. 12, San Francisco, December, 2010
Abstract to be published Shukor Sanim Bin Mohd Fauzi, Paul Bannerman and Mark Staples
Software configuration management in global software development: A systematic map
Asia Pacific Software Engineering Conference, pp. CD Proceeding, Sydney, Australia, December, 2010
Abstract to be published Guido Governatori, Guido Governatori and Joachim Diederich
Automatic synthesis of reactive agents
11th International Conference on Control, Automation, Robotics and Vision, ICARCV 2010, pp. 970-975, Singapore, December, 2010
Abstract to be published Rong Guoping and Jason Zhang
SCRUM-PSP: Embracing process agility and discipline
Asia Pacific Software Engineering Conference, pp. 9, Sydney, Australia, December, 2010
Abstract to be published Sadeka Islam, Jacky Keung, Kevin Lee and Anna Liu
An empirical study into adaptive resource provisioning in the cloud
IEEE International Conference on Utility and Cloud Computing (UCC 2010), pp. 8, Chennai/ India, December, 2010
Abstract to be published Eddie Li, Jason Zhang and Liam O'Brien
Facing service-oriented system engineering challenges: An organizational perspective
IEEE International Conference on Service-Oriented Computing and Applications (SOCA\'10), pp. 1-4, Perth/Australia, December, 2010
Abstract to be published Sherif Sakr and Fabio Casati
Liquid benchmarks: Towards an online platform for collaborative assessment of computer science research results
Second TPC Technology Conference on Performance Evaluation & Benchmarking (TPC TC), pp. 15, Singapore, December, 2010
Abstract to be published Sherry Xu, Liming Zhu, Udo Kannengiesser and Jenny Liu
An architectural style for process-intensive web information systems
The 11th International Conference on Web Information System Engineering(WISE 2010), pp. 14, China, December, 2010
Abstract to be published Liang Zhao, Anna Liu and Jacky Keung
Evaluating cloud platform architecture with the CARE framework
Proceedings of the 17th Asia Pacific Software Engineering Conference (APSEC \'10), pp. 60-69, Sydney, Australia, December, 2010
Abstract to be published Liming Zhu and Paul Mackie
Back to the future
Superfunds, December, 2010
Abstract to be published Paul Bannerman
Cloud computing adoption risks: State of play
Asia Pacific Software Engineering Conference (APSEC 2010) Cloud Workshop, pp. 7, Sydney/Australia, November, 2010
Abstract to be published Ansgar Fehnker, Ralf Huuck, Andreas Vogelsang and Wolfgang Reif
Software metrics in static program analysis
International Conference on Formal Engineering Methods, pp. 485-500, Shanghai, China, November, 2010
Abstract to be published Karl M. Goeschka, Schahram Dustdar, Frank Leymann, Helen (Hye-young) Paik, Vladimir Tosic and Lorenz Froihofer
Proceedings of the 5th workshop on middleware for service oriented computing (MW4SOC 2010)
Volume 1 in 1, Association for Computing Machinery (ACM) Press, 2010
Abstract to be published Guido Governatori
A logic framework of normative-based contract management
Fourth International Workshop on Juris-informatics (JURISIN 2010), pp. 1-10, Tokyo, November, 2010
Abstract PDF Gerwin Klein
From a verified kernel towards verified systems
Proceedings of the 8th Asian Symposium on Programming Languages and Systems (APLAS), pp. 21–33, Shanghai, China, November, 2010
Invited extended abstract.
Abstract to be published Qinghua Lu, Sherry Xu, Vladimir Tosic, Jacky Keung and Liming Zhu
Integration of RESTfulBP with BDIM decision making
ACM/IFIP/USENIX 11th International Middleware Conference 2010 - Posters and Demos Track, pp. 5-8, Bangalore, India, November, 2010
Abstract to be published Richard Medland
Curbing paper wastage using flavoured feedback
OzCHI-2010, pp. 4, Brisbane, November, 2010
Abstract to be published Liam O'Brien, James Gibson and Jon Gray
A method for selecting SOA pilot projects
Asia Pacific Software Engineering Conference, pp. 2, Sydney/Australia, November, 2010
Abstract to be published Sherif Sakr, Ahmed Awad, Mattias Kunze and Mattias Weske
Design by selection: A query-based approach for business process modeling
Technical Report, Hasso-Plattner-Institute, University of Potsdam, Germany, November, 2010
Abstract to be published Sherif Sakr and Hooran MahmoudiNasab
Efficient and adaptable query workload-aware management of RDF data
he 11th International Conference on Web Information Systems Engineering, pp. 10, Hong Kong, China, November, 2010
Abstract to be published Matt Thompson, Jason Tangen, Duncan McCarthy and Morgan Tear
Ground truth: On certainty in forensic decision-making research
Abstract, 20th International Symposium on the Forensic Sciences of the Australian and New Zealand Forensic Science Society (ANZFSS), September, 2010.
Abstract to be published Matt Thompson, Jason Tangen, Renee Treloar and Kathleen J. Ivison
Humans matching fingerprints: sequence and size
Annual Meeting of the Human Factors and Ergonomics Society, pp. 5, San Francisco, US , November, 2010
Abstract to be published Vladimir Tosic
Towards business value driven management of business processes and service-oriented architectures
Lecture, CREATE-NET, Uni. of Rome \'Tor Vergata\', Tech. Uni. of Vienna, Uni. of Stuttgart, Uni. of Newcastle (Aus.), Monash Uni., Swinburne Uni. of Tech., NICTA, HP Labs Bristol, Cardiff Uni., Trinity College Dublin, Institute of Software Chinese Academy of Scien
Abstract to be published Vladimir Tosic
Middleware for clouds vs. middleware for other SOC: What is different and what is not?
Poster Presentation, Discussion Session at the 5th Workshop on Middleware for Service Oriented Computing, Bangalore/India, November, 2010.
Abstract to be published Vladimir Tosic, Rasangi Pumudu Karunaratne and Qinghua Lu
Specification of context for management of service-oriented systems with WS-Policy4MASC
Service Intelligence and Service Science: Evolutionary Technologies and Challenges, pp. 172-200, Volume 1 in 1, IGI Global, 2010
Abstract PDF June Andronick, David Greenaway and Kevin Elphinstone
Towards proving security in the presence of large untrusted components
Proceedings of the 5th Systems Software Verification, Vancouver, Canada, October, 2010
Abstract PDF David Cock
Lyrebird – assigning meanings to machines
Proceedings of the 5th Systems Software Verification, pp. 1–9, Vancouver, Canada, October, 2010
Abstract to be published Yuxin Deng and Robert van Glabbeek
Characterising probabilistic processes logically (extended abstract)
17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, pp. 278-293, Yogyakarta, Indonesia, October, 2010
Abstract to be published Karl Michael Goeschka, Hye-young Paik and Vladimir Tosic
Engineering middleware for service-oriented computing: Editorial note
International Journal of Systems and Service-Oriented Engineering (IJSSOE), pp. i-vi, IGI Global, 2010
Abstract to be published Guido Governatori and Antonino Rotolo
Norm compliance in business process modeling
The 24th International Conference on Legal Knowledge and Information Systems, pp. 194-209, Washington, USA, October, 2010
Abstract to be published Guido Governatori and Giovanni Sartor
Burdens of proof in monological argumentation
The 23rd International Conference on Legal Knowledge and Information Systems, pp. 57-66, Liverpool, October, 2010
Abstract PDF Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz and Leonid Ryzhyk
The road to trustworthy systems
Proceedings of the 5th ACM Workshop on Scalable Trusted Computing (ACMSTC), pp. 3–9, Chicago, IL, USA, October, 2010
Invited paper
Abstract to be published Aqueo Kamada, Guido Governatori and Shazia Sadiq
Transformation of SBVR compliant business rules to executable FCL rules
The 24th International Conference on Legal Knowledge and Information Systems, pp. 151-159, Washington, USA, October, 2010
Abstract to be published Aqueo Kamada, Guido Governatori and Shazia Sadiq
SBVR based business contract and business rule IDE
International WebRule Symposium:Research Based and Industry Focused (RuleML) Challenge, pp. paper 8, Washington, USA, October, 2010
Abstract to be published Jens Kohl and Andreas Bauer
Role-based diagnosis for distributed vehicle functions
International Workshop on the Principles of Diagnosis (DX 10), pp. 6, Portland, USA, October, 2010
Abstract to be published Kalliopi Kravari, Grammati-Eirini Kastori, Nick Bassiliades and Guido Governatori
A contract agreement policy-based workflow methodology for agents interacting in the semantic web
The 24th International Conference on Legal Knowledge and Information Systems, pp. 223-237, Washington, USA, October, 2010
Abstract to be published Brian Lam and Guido Governatori
On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic
The 24th International Conference on Legal Knowledge and Information Systems, pp. 119-127, Washington, USA, October, 2010
Abstract
Slides 		PDF Etienne Le Sueur and Gernot Heiser
Dynamic voltage and frequency scaling: The laws of diminishing returns
Proceedings of the 2010 Workshop on Power Aware Computing and Systems (HotPower'10), Vancouver, Canada, October, 2010
Abstract to be published Qinghua Lu and Vladimir Tosic
MiniMASC: A framework for diverse autonomic adaptations of web service compositions
The 7th International Conference on Autonomic and Trusted Computing - Symposia and Workshops, pp. 460-468, Xi'an/China, October, 2010
Abstract to be published Monica Palmirani, Guido Governatori and Giuseppe Contissa
Temporal dimensions in rules modelling
The 23rd International Conference on Legal Knowledge and Information Systems, pp. 159-162, Liverpool, UK, October, 2010
Abstract PDF Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij and Gernot Heiser
Improved device driver reliability through verification reuse
Proceedings of the 6th Workshop on Hot Topics in System Dependability, Vancouver, BC, Canada, October, 2010
Abstract to be published Sherif Sakr and Ghazi Al-Naymat
Efficient relational techniques for processing graph queries
Journal of Computer Science and Technology (JCST), Volume 25, Number 6, pp. 1237-1255, October, 2010
Abstract to be published Bela Stantic, Paolo Terenziani, Abdul Sattar, Alessio Bottrighi and Guido Governatori
Towards an implicit treatment of periodically-repeated medical data
MEDINFO 2010. Proceedings of the 13th World Congress on Medical Informatics, pp. 1131-1135, Cape Town/South Africa, October, 2010
Abstract to be published Morgan Tear, Matt Thompson and Jason Tangen
The importance of ground truth: An open-source biometric
Poster Presentation, Human Factors and Ergonomics Society 54th Annual Meeting, San Francisco, California, October, 2010.
Abstract to be published Andreas Bauer, B. Botea, Mark Brown, Matt Gray, Daniel Harabor and John Slaney
An integrated modelling, debugging, and visualization environment for g12.
16th International Conference on Principles and Practice of Constraint Programming, pp. 522-436, Edinburgh, Scotland, September, 2010
Abstract to be published William Billingsley, Cindy Gallois, Andrew Smith, Timothy Marks, Fernando Bernal and Marcus Watson
Towards a diagnostic toolbox for medical communicaton
1st IFIP-IMIA International e-Health Joint Conference, pp. 169-176, Brisbane, Australia, September, 2010
Abstract to be published Franck Cassez
The complexity of codiagnosability for discrete event and timed systems
8th International Symposium on Automated Technology for Verification and Analysis (ATVA), pp. 15, Singapore, September, 2010
Abstract to be published Robert van Glabbeek
The coarsest precongruences respecting safety and liveness properties
Theoretical Computer Science 2010, pp. 32-52, Brisbane, September, 2010
Abstract to be published Robert van Glabbeek and Gordon Plotkin
On CSP and the algebraic theory of effects
Reflections on the Work of C.A.R. Hoare, pp. 333-369, Volume in History of Computing, Springer, 2010
Abstract to be published Guido Governatori
Law, logic and business processes
3rd International Workshop on Requirement Engineering and law, pp. 1-10, Sydney, September, 2010
Abstract to be published Insu Song, Guido Governatori and Joachim Diederich
Layered argumentation for fuzzy automation controllers
Cybernetics and Intelligent Systems (CIS), 2010 IEEE Conference on, pp. 189-194, Singapore, September, 2010
Abstract to be published Aditi Barthwal and Michael Norrish
A formalisation of the normal forms of context-free grammars in HOL4
19th EACSL Annual Conferences on Computer Science Logic, pp. 95-109, Brno, Czech Republic, August, 2010
Abstract to be published Andreas Bauer and Patrik Haslum
LTL goal specifications revisited
European Conference on Artificial Intelligence, Lisbon/Portugal, August, 2010
Abstract PDF Nicholas FitzRoy-Dale, Ihor Kuz and Gernot Heiser
Architecture optimisation with Currawong
Proceedings of the 1st Asia-Pacific Workshop on Systems (APSys), pp. 7–12, New Delhi, India, August, 2010
Abstract
Slides 		PDF Gernot Heiser and Ben Leslie
The OKL4 Microvisor: Convergence point of microkernels and hypervisors
Proceedings of the 1st Asia-Pacific Workshop on Systems (APSys), pp. 19–24, New Delhi, India, August, 2010
Abstract PDF Gerwin Klein
The L4.verified project - next steps
Proceedings of Verified Software: Theories, Tools and Experiments 2010, pp. 86–96, Edinburgh, UK, August, 2010
Invited extended abstract.
Abstract PDF Ihor Kuz, Gerwin Klein, Corey Lewis and Adam Walker
capDL: A language for describing capability-based systems
Proceedings of the 1st Asia-Pacific Workshop on Systems (APSys), pp. 31–36, New Delhi, India, August, 2010
Abstract to be published Qinghua Lu and Vladimir Tosic
MiniMASC+MiniZinc: An autonomic business-driven decision making middleware for adaptations of web service compositions
The 7th International Conference on Autonomic and Trusted Computing - Symposia and Workshops, pp. 474 - 477 , Xian/China, August, 2010
Abstract to be published Suronapee Phoomvuthisarn, Jenny Liu and Liming Zhu
An architectural approach to composing reputation-based distributed services
European Conference on Software Architecture (ECSA 2010), pp. 16, Copenhagen/Denmark, August, 2010
Abstract PDF Leonid Ryzhyk, Yanjin Zhu and Gernot Heiser
The case for active device drivers
Proceedings of the 1st Asia-Pacific Workshop on Systems (APSys), pp. 25–30, New Delhi, India, August, 2010
Abstract to be published Sherif Sakr, Emilian Pascalau, Ahmed Awad and Mattias Weske
On maintaining consistency of process model variants
The 1st International Workshop on Reuse in Business Process Management (rBPM\'10), BPM Workshops, pp. 1, New Jersey, USA, August, 2010
Abstract to be published Xu Bai, Huang Liguo and Jason Zhang
On scoping stakeholders and artifacts in software process
International Conference on Software Process (ICSP), Paderborn/Germany, July, 2010
Abstract to be published Paul Bannerman
Structuring risk into projects
Project Management Institute (PMI) Research Conference 2010, pp. 27, Washington/USA, July, 2010
Abstract to be published Aditi Barthwal and Michael Norrish
Mechanisation of PDA and grammar equivalence for context-free languages
17th Workshop on Logic, Language, Information and Computation , pp. 125-135, Brasília, Brazil, July, 2010
Abstract to be published Johnson Fong, Jadwiga Indulska and Ricky Robinson
Tool support for designing CML based context models in pervasive computing
ACM International Conference on Pervasive Services (ICPS\'10) - Software Engineering Challenges for Ubiquitous and Pervasive Computing Workshop, pp. 232-238, Berlin, Germany, July, 2010
Abstract to be published Udo Kannengiesser and John S Gero
A framework for constructive design rationale
Design Computing and Cognition, pp. 135-154, Stuttgart/Germany, July, 2010
Abstract PDF Gerwin Klein
A formally verified OS kernel. Now what?
1st International Conference on Interactive Theorem Proving, pp. 1–7, Edinburgh, UK, July, 2010
Invited extended abstract.
Abstract to be published Ramana Kumar and Michael Norrish
(nominal) unification by recursive descent with triangular substitutions
International Conference on Interactive Theorem Proving, pp. 51-66, Edinburgh, United Kingdom, July, 2010
Abstract to be published Petar Rajkovic, Dragan Jankovic, Tatjana Stankovic and Vladimir Tosic
Software tools for rapid development and customization of medical information systems
12th International Conference on E-Health Networking, Applications, and Services - HealthCom 2010, pp. 119 - 126 , Lyon/France, July, 2010
Abstract to be published Jason Zhang, Kitchenham Barbara and Dietmar Pfahl
Software process simulation modeling: An extended systematic review
International Conference of Software Process, Paderborn, Germany, July, 2010
Abstract
Slides 		PDF Michael von Tessin
Towards high-assurance multiprocessor virtualisation
Proceedings of the 6th International Verification Workshop, pp. 110–125, Edinburgh, UK, July, 2010
Abstract PDF June Andronick
From a proven correct microkernel to trustworthy large systems
International Conference on Formal Verification of Object-Oriented Software (FoVeOOS), pp. 1–9, Paris, France, June, 2010
Abstract to be published Andreas Bauer, Martin Leucker and Christian Schallhart
Comparing LTL semantics for runtime verification
Journal of Logic and Computation, Volume 20, Number 3, pp. 651-674, June, 2010
Abstract to be published William Billingsley, Cindy Gallois, Andrew Smith and Marcus Watson
A system to make machine analysis of communication available and accessible to communications researchers and non-technologists.
International Conference on Language and Social Psychology, Brisbane, Australia, June, 2010
Abstract PDF Aaron Carroll and Gernot Heiser
An analysis of power consumption in a smartphone
Proceedings of the 2010 USENIX Annual Technical Conference, Boston, MA, USA, June, 2010
Abstract to be published Franck Cassez, Ron van der Meyden and Chenyi Zhang
The complexity of synchronous notions of information flow security
13th International Conference on Foundations of Software Science and Computation Structures, pp. 282-296, Paphos, Cyprus, June, 2010
Abstract to be published Yin Kia Chiam, Liming Zhu and Mark Staples
Systematic selection of quality attribute techniques
International Conference on Product Focused Software Development and Process Improvement (PROFES), pp. 63-66, Limerick/Ireland, June, 2010
Abstract to be published Guido Governatori
Law, metadata and semantics
Lecture, Metadata Australia 2010, May 26-27, 2010.
Abstract to be published Mei He and Jason Zhang
Understanding the influential factors to development effort in chinese software industry
International Conference on Product Focused Software Development and Process Improvement (PROFES), pp. unknown, Limerick, June, 2010
Abstract PDF Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch and Simon Winwood
seL4: Formal verification of an operating system kernel
Communications of the ACM, Volume 53, Number 6, pp. 107–115, June, 2010
Abstract to be published Eddie Li and Jacky Keung
Software cost estimation framework for service-oriented architecture systems using divide-and-conquer approach
The 5th International Symposium on Service Oriented System Engineering (SOSE 2010), pp. 47-54, Nanjing/China, June, 2010
Abstract to be published Eddie Li, Liam O'Brien, Jason Zhang and Jacky Keung
Toward SOA implementation complexity measurement enlightened by organization theory
11th International Conference on Product Focused Software Development and Process Improvement, pp. 16-19, Limerick / Ireland, June, 2010
Abstract to be published Mark Staples and Mahmood Niazi
Two case studies on small enterprise motivation and readiness for CMMI
International Conference on Product Focused Software Development and Process Improvement (PROFES), pp. 63-66, Limerick, Ireland, June, 2010
Abstract to be published Andreas Bauer and Jan Jurjens
Runtime verification of cryptographic protocols
Computers & Security, Volume 29, Number 3, pp. 315-330, May, 2010
Abstract to be published Paul Brebner and Anna Liu
Modeling cloud cost and performance
Cloud Computing and Virtualization (CCV 2010), pp. 8, Singapore, May, 2010
Abstract to be published Eddie Li, Liam O'Brien, Jacky Keung and Sherry Xu
Effort-oriented classification matrix of web service composition
The 5th International Conference on Internet and Web Applications and Services, pp. 357-362, Barcelona, Spain, May, 2010
Abstract to be published Paul Bannerman
Managing structure-related software project risk: A new role for project governance
Australian Software Engineering Conference (ASWEC 2010), pp. 10, Aukland/New Zealand, April, 2010
Abstract to be published Peter Baumgartner and Evgenij Thorstensen
Instance based methods - an overview
Künstliche Intelligenz, Volume 24, Number 1, pp. 35-42, April, 2010
Abstract to be published William Billingsley, Cindy Gallois, Andrew Smith and Marcus Watson
COMLEX: Visualizing communication for research and saving lives
ACM Conference on Human Factors in Computing Systems (CHI) 2010, Work-In-Progress (Poster+6 page extended abstract) stream, pp. 6, Altanta, USA, April, 2010
Abstract to be published William Billingsley, Cindy Gallois, Andrew Smith and Marcus Watson
COMLEX: Visualizing communication for research and saving lives
Poster Presentation, ACM Conference on Human Factors in Computing Systems (CHI) 2010, Atlanta, USA, April, 2010.
Abstract to be published Guido Boella, Guido Governatori, Antonino Rotolo and Leendert van der Torre
A formal study on legal compliance and interpretation
13 International Workshop on Non-Monotonic Reasoning, Toronto, April, 2010
Abstract to be published Lianping Chen, Muhammad Ali Babar and Jason Zhang
Towards an evidence-based understanding of electronic data sources
International Conference on Evaluation and Assessment in Software Engineering (EASE2010), Keele, UK, April, 2010
Abstract to be published Clinton Freeman
User experience design during OpenSHAPA development
ACM Conference on Human Factors in Computing Systems (CHI), pp. 2, Atlanta, USA, April, 2010
Abstract to be published Guido Governatori, Francesco Olivieri, Simone Scannapieco and Matteo Cristani
Superiority based revision of defeasible theories
13 International Workshop on Non-Monotonic Reasoning (NMR 2010), Toronto, April, 2010
Abstract to be published Guido Governatori and Antonino Rotolo
On the complexity of temporal defeasible logic
13 International Workshop on Non-Monotonic Reasoning, Toronto, April, 2010
Abstract to be published Jacky Keung, Jenny Liu, Kate Foster and Thong Nguyen
A statistical method for middleware system architecture evaluation
Australian Software Engineering Conference, pp. 10, Auckland/NZ, April, 2010
Abstract to be published Brian Lam
SPINdle - user guide
Technical Report, NICTA QRL, April, 2010
Abstract to be published Barbara Staudt Lerner, Stefan Christov, Leon J. Osterweil, Reda Bendraou, Udo Kannengiesser and Alexander Wise
Exception handling patterns for process modeling
IEEE Transactions on Software Engineering, Volume 36, Number 2, pp. 162-183, April, 2010
Abstract to be published Qinghua Lu and Vladimir Tosic
An analysis of patents from the business-driven IT management research community
5th IFIP/IEEE Workshop on Business-Driven IT Management (BDIM 2010), pp. 149 - 156 , Osaka/Japan, April, 2010
Abstract to be published Suronapee Phoomvuthisarn, Jenny Liu and Jun Han
An architectural approach to composing reputation-based trustworthy services
Australian Software Engineering Conference (ASWEC 2010), pp. 10, Auckland, New Zealand, April, 2010
Abstract to be published Vladimir Tosic
On quality of service (QoS) specification and analysis for XML web services and their compositions
Lecture, ACS (Australian Computer Society) NSW Web Technologies SIG, ACS Victoria Service-Oriented Computing (SOC) SIG, Ritsumeikan University (Japan), February 2009 - April 2010 (several seminars at different institutions, with some updates), 2010.
Abstract to be published Jason Zhang and Muhammad Ali Babar
On searching relevant studies in software engineering
International Conference on Evaluation and Assessment in Software Engineering (EASE2010), Keele, UK, April, 2010
Abstract to be published David Billington, Grigoris Antoniou, Guido Governatori and Michael Maher
An inclusion theorem for defeasible logic
Volume 12, Number 1, March, 2010
Abstract to be published Guido Boella, Guido Governatori, Antonino Rotolo and Leendert van der Torre
A logical understanding of legal interpretation
International Conference on Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada, March, 2010
Abstract to be published John Brondum and Liming Zhu
Towards an architectural viewpoint for systems of software intensive systems
Other Conference Presentation, SHARK at ICSE 2010, Cape Town, South Africa, May, 2010.
Abstract to be published Guido Governatori, Guido Governatori, Antonino Rotolo and Leendert van der Torre
Lex minus dixit quam voluit, lex magis dixit quam voluit: A formal study on legal compliance and interpretation
AI approaches to the complexity of legal systems (AICOL II(, Rotterdam, March, 2010
Abstract to be published Guido Governatori, Antonino Rotolo and Rossella Rubino
Implementing temporal defeasible logic for modeling legal reasoning
Jurisin , Tokyo, March, 2010
Abstract to be published Gerwin Klein, Thomas Sewell and Simon Winwood
Refinement in the formal verification of seL4
Design and Verification of Microprocessor Systems for High-Assurance Applications, pp. 323–339, Springer, 2010
Abstract to be published Matt Thompson, Jason Tangen, Kathleen J. Ivison and Renee Treloar
Expertise in matching fingerprints and faces
Abstract, 37th Australasian Experimental Psychology Conference, April, 2010.
Abstract to be published Andreas Bauer, Martin Leucker, Christian Schallhart and Michael Tautschnig
Don't care in SMT - building flexible yet efficient abstraction/refinement solvers
International Journal on Software Tools for Technology Transfer (STTT, Springer), Volume 12, Number 1, pp. 23-37, February, 2010
Abstract to be published Peter Baumgartner, Ulrich Furbach and Bjoern Pelzer
The hyper tableaux calculus with equality and an application to finite model computation
Journal of Logic and Computation, Volume 20, Number 1, pp. 77-101, February, 2010
Abstract to be published John Brondum
Software architecture for systems of software intensive systems (s3): The concepts and detection of inter-system relationships
Other Conference Presentation, Doctoral Symposium at ACM/IEEE 32nd International Conference on Sofware Engineering (ICSE 2010), Cape Town, South Africa, May, 2010.
Abstract to be published Ansgar Fehnker, Ralf Huuck and Sean Seefried
Counterexample guided path reduction for static program analysis
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever, pp. 322-341, Volume 5930 in LNCS, Springer, 2010
Abstract to be published Engelhardt Kai and Ralf Huuck
Smaller abstraction for ACTL* without next
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever, pp. 250-259, Volume 5930 in LNCS, Springer, 2010
Abstract to be published Peter Chubb
Decent MIDI from LilyPond
Linux.conf.au, January, 2010
Abstract to be published Peter Chubb and John Judge
When the arduino meets year 9
Other Conference Presentation, linux.conf.au, Wellington/New Zealand, January, 2010.
Abstract to be published Peter Chubb and Yang Song
Interrupts considered harmful
Other Conference Presentation, Linux.conf.au, Wellington/NZ, January, 2010.
Abstract to be published Guido Governatori and Antonino Rotolo
A conceptually rich model of business process compliance
Aisa Pacific Conference on Conceptual Modelling, Brisbane, January, 2010
Abstract PDF Yang Song and Peter Chubb
Interrupts considered harmful
11th Linux.conf.au, Wellington, New Zealand, January, 2010
Abstract to be published Yazhe Tang, Hanan Lutfiyya and Vladimir Tosic
An analysis of web service SLA management infrastructures based on the c-MAPE model
Volume 4, Number 3, pp. 209-218, January, 2010
Abstract to be published Vladimir Tosic
Autonomic business-driven dynamic adaptation of service-oriented systems and the WS-Policy4MASC support for such adaptation
Volume 1, Number 1, pp. 79-95, January, 2010

2009

Abstract to be published Franck Cassez
A note on fault diagnosis algorithms
48th IEEE Conference on Decision and Control, pp. 6941-6946, Shanghai, China, December, 2009
Abstract to be published Franck Cassez
Dynamic observers for fault diagnosis of timed systems
49th IEEE Conference on Decision and Control, pp. 4359-4364, Atlanta, USA, December, 2009
Abstract to be published Robert van Glabbeek, Bas Luttik and Nikola Tr?ka
Computation tree logic with deadlock detection
Logical Methods in Computer Science, Volume 5, Number 4:5, pp. 1-24, December, 2009
Abstract to be published Guido Governatori
Legal knowledge and information systems. JURIX 2009: The twenty-second annual conference
IOS Press, 2009
Abstract to be published John Judge, John Judge, Colin Kestell and Antoni Blazewicz
Engaging international students through the setting of challenging mini-projects
20th Australasian Association for Engineering Education Conference , Adelaide/Australia, December, 2009
Abstract to be published Udo Kannengiesser and John S Gero
An ontology of computer-aided design
Computer-Aided Design and other Computing Research Developments, Nova Science Publishers, 2009
Abstract PDF Gerwin Klein
Correct OS kernel? Proof? Done!
USENIX ;login:, Volume 34, Number 6, pp. 28–34, December, 2009
Abstract to be published Franz Baader, Andreas Bauer and Alwen Tiu
Matching trace patterns with regular policies
3rd International Conference on Language and Automata Theory and Applications (LATA), pp. 105-116, Spain, November, 2009
Abstract to be published Ansgar Fehnker
Formal methods in the wireless network domain
First Workshop on Formal Methods for Wireless Systems , Toronto, November, 2009
Abstract to be published Nicholas Fitzroy-Dale
Benefits of compiler optimisation
Technical Report, NICTA and the University of New South Wales, November, 2009
Abstract to be published Guido Governatori, Guido Governatori and Antonino Rotolo
Rules and norms: requirements for rule interchange languages in the legal domain
RuleML-2009 International Symposium on Rule Interchange and Applications, pp. 282-296, Las Vegas, November, 2009
Abstract to be published Brian Lam and Guido Governatori
The making of SPINdle
RuleML-2009 International Symposium on Rule Interchange and Applications, pp. 315-322, Las Vegas, Nevada, USA, November, 2009
Abstract to be published Brian Lam, Subhasis Thakur, Guido Governatori and Abdul Sattar
A model to coordinate UAVs in urban environment using defeasible logic
The 3rd International Rule Challenge, pp. -, Las Vegas, Nevada, USA, November, 2009
Abstract to be published Petar Rajkovic, Dragan Jankovic and Vladimir Tosic
A software solution for ambulatory healthcare facilities in the republic of serbia
11th International Conference on e-Health Networking, Application and Services (Healthcom2009), pp. 161-168, Sydney/Australia, November, 2009
Abstract to be published Vladimir Tosic
2009 13th enterprise distributed object computing conference workshops, EDOCW: Proceedings of the IEEE EDOC 2009 workshops and short papers
Volume 1 in EDOC Workshop Proceedings, IEEE Computer Society, 2009
Abstract to be published Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck and Ansgar Fehnker
An abstract specification language for static program analysis
Systems Software Verification, Germany, November, 2009
Abstract to be published Gilles Benattar, Franck Cassez, Didier Lime and Olivir Henri Roux
Synthesis of non-interferent timed systems
Proc. of the 7th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS\'09), pp. 28-42, Budapest, Hungary, October, 2009
Abstract PDF Andrew Boyton
A verified shared capability model
Proceedings of the 4th Systems Software Verification, pp. 25–44, Aachen, Germany, October, 2009
Abstract to be published Franck Cassez
How to install PHAVer on mac OS x
Technical Report, NICTA, October, 2009
Abstract to be published Franck Cassez, Jérémy Dubreil and Hervé Marchand
Dynamic observers for the synthesis of opaque systems
7th International Symposium on Automated Technology for Verification and Analysis (ATVA\'09), pp. 352–367, Macau SAR, China, October, 2009
Abstract to be published Franck Cassez, Jérémy Dubreil and Hervé Marchand
Dynamic observers for the synthesis of opaque systems
Technical Report 1930, IRISA, October, 2009
Abstract to be published Franck Cassez and Nicolas Markey
Control of timed systems
Communicating Embedded Systems, pp. 83–120, ISTE Ltd. – John Wiley & Sons, Ltd., 2009
Abstract to be published Franck Cassez and Stavros Tripakis
Fault diagnosis of timed systems
Communicating Embedded Systems Software and Design, pp. 120–151, ISTE Ltd. – John Wiley & Sons, Ltd., 2009
Abstract to be published Ralf Huuck, Gerwin Klein and Schlich Bastian
Proc. 4th international workshop on system software verification (SSV09)
Electronic Notes in Theoretical Computer Science, Volume 254, pp. 1-3, October, 2009
Abstract PDF
Presentation Video		 Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch and Simon Winwood
seL4: Formal verification of an OS kernel
Proceedings of the 22nd ACM Symposium on Operating Systems Principles, pp. 207–220, Big Sky, MT, USA, October, 2009
Best Paper Award!
Abstract to be published Michael Norrish
Rewriting conversions implemented with continuations
Journal of Automated Reasoning (JAR), Volume 43, Number 3, pp. 305-336, October, 2009
Abstract PDF Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur and Gernot Heiser
Automatic device driver synthesis with Termite
Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, USA, October, 2009
Abstract to be published Paul Brebner, Jon Gray and Liam O'Brien
Performance modelling power consumption and carbon emissions for server virtualization of service oriented architectures (SOAs)
EDOC 2009 (MWS Workshop), pp. 8, Auckland, New Zealand, September, 2009
Abstract to be published Paul Brebner, Liam O'Brien and Jon Gray
Performance modeling evolving enterprise service oriented architectures
IEEE/IFIP Working Conference on Software Architecture (WICSA), pp. 10, Cambridge/UK, September, 2009
Abstract to be published Kelvin Cheng, Benjamin Itzstein, Paul Sztajer and Markus Rittenbruch
A unified multi-touch & multi-pointer software architecture for supporting collocated work on the desktop
Technical Report ATP-2247, NICTA, September, 2009
Abstract to be published Yin Kia Chiam, Mark Staples and Liming Zhu
Representation of quality attribute techniques using SPEM and EPF composer
European Systems and Software Process Improvement and Innovation (EuroSPI), pp. 11, September, 2009
Abstract to be published Yin Kia Chiam, Liming Zhu and Mark Staples
Quality attribute techniques framework
European Systems and Software Process Improvement and Innovation (EuroSPI), pp. 12, Madrid Region, Spain, September, 2009
Abstract to be published Anthony Collins, Anastasia Bezerianos, Gregor Mcewan, Markus Rittenbruch, Rainer Wasinger and Judy Kay
Understanding file access mechanisms for embedded ubicomp collaboration interfaces
Ubicomp, pp. 135-144, Orlando, Florida, USA, September, 2009
Abstract to be published Ansgar Fehnker and Rena Bakhshi
On the impact of modelling choices for distributed information spread – a comparative study
International Conference on Quantitative Evaluation of SysTems (QEST), September, 2009
Abstract to be published Robert van Glabbeek and Gordon Plotkin
Configuration structures, event structures and petri nets
Volume 410, Number 41, pp. 4111-4159, September, 2009
Abstract to be published Guido Governatori and Antonino Rotolo
How do agents comply with norms?
2nd Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2009), pp. 488-491, Milan, September, 2009
Abstract to be published Mohammad Emam Hossain, Muhammad Ali Babar and June Verner
How can agile practices minimize global software development co-ordination risks?
EuroSPI2009, pp. 81-92, Alcala(Madrid)/Spain, September, 2009
Abstract to be published Udo Kannengiesser
Process flexibility: A design view and specification schema
International Workshop on Enterprise Modelling and Information Systems Architectures, pp. 111-124, Ulm/Germany, September, 2009
Abstract to be published Jenny Liu, Xin Liang, Lingzhi Xu, Mark Staples and Mark Staples
Using architecture integration patterns to composing enterprise mashups
IEEE/IFIP Working Conference on Software Architecture (WICSA), September, 2009
Abstract to be published Sherry Xu, Liming Zhu, Mark Staples and Jenny Liu
An architecting method for distributed process-intensive systems
IEEE/IFIP Working Conference on Software Architecture (WICSA), pp. 4, Cambridge/UK, September, 2009
Abstract to be published Paul Bannerman
Risk implications of systems & software project organisation structures
Improving Systems and Software Engineeering Conference (ISSEC), August, 2009
Abstract to be published Paul Brebner
Service-oriented performance modeling the MULE enterprise service bus (ESB) loan broker application
Software Engineering and Advanced Applications (SEAA) , pp. 10, Patras/Greece, August, 2009
Abstract to be published Yuxin Deng, Robert van Glabbeek, Matthew Hennessy and Carroll Morgan
Testing finitary probabilistic processes (extended abstract)
20th International Conference on Concurrency Theory (CONCUR 2009), pp. 274-288, Bologna, Italy, August, 2009
Abstract to be published Ansgar Fehnker, Ralf Huuck, Sean Seefried and Michael Tapp
Fade to grey: Tuning static program analysis
3rd International Workshop on Harnessing Theories for Tool Support in Software, Kuala Lumpur, August, 2009
Abstract to be published Ansgar Fehnker, Ralf Huuck and Sean Seefried
Incremental false path elimination for static software analysis
7th International Symposium on Automated Technology for Verification and Analysis (ATVA), Macao, August, 2009
Abstract to be published John S Gero and Udo Kannengiesser
Understanding innovation as change of value systems
3rd IFIP Working Conference on Computer Aided Innovation, pp. 249-257, Harbin/China, August, 2009
Abstract to be published Guido Governatori and Renato Iannella
Modelling and reasoning languages for social networks policies
EDOC 2009, Auckland, August, 2009
Abstract to be published Udo Kannengiesser
Can we engineer better process models?
International Conference on Engineering Design, pp. 1:527-538, Stanford, August, 2009
Abstract PDF
Presentation Video		 Gerwin Klein, Philip Derrin and Kevin Elphinstone
Experience report: seL4 — formally verifying a high-performance microkernel
Proceedings of the 14th International Conference on Functional Programming, pp. 91–96, Edinburgh, UK, August, 2009
Abstract PDF Rafal Kolanski and Gerwin Klein
Types, maps and separation logic
Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, pp. 276–292, Munich, Germany, August, 2009
Abstract to be published Jenny Liu, Kate Foster, Thong Nguyen and Jacky Keung
Quality assessment of mission critical middleware system using MEMS
The international Conference on Quality Software, Jeju/Korea, August, 2009
Abstract PDF Stefan M. Petters, Martin Lawitzky, Ryan Heffernan and Kevin Elphinstone
Towards real multi-criticality scheduling
Proceedings of the 15th IEEE Conference on Embedded and Real-Time Computing and Applications, pp. 155–164, Beijing, China, August, 2009
Abstract to be published Duy Hoang Pham, Guido Governatori and Subhasis Thakur
Extended defeasible reasoning for common goals in n-person argumentation games
August, 2009
Abstract to be published Mark Staples, Paul Bannerman and Xi Chen
Implementing CMMI specific practices incrementally - where do you start?
Other Conference Presentation, ISSEC 2009 - Improving Systems and Software Engineering Conference, Canberra, August, 2009.
Abstract to be published Vladimir Tosic
Evaluation - the crucial part of research (and your ph.d. dissertation, too)
Lecture, University of New South Wales (later repeated at NICTA), August, 2009.
Abstract PDF Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David Cock and Michael Norrish
Mind the gap: A verification framework for low-level C
Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, pp. 500–515, Munich, Germany, August, 2009
Abstract to be published Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam and Rolf Schwitter
A novel architecture for situation awareness systems
TABLEAUX 2009 - The 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp. 77-92, Oslo, Norway, July, 2009
Abstract to be published Claudio Bartolini, Vladimir Tosic and Patrick C. K. Hung
Business-driven management and governance of service-oriented systems
The IEEE 7th International Conference on Web Services (ICWS 2009), July, 2009
Abstract to be published Peter Baumgartner and John Slaney
Constraint modelling: A challenge for first order automated reasoning
International Workshop on First-Order Theorem Proving (FTP\'09), pp. 4-18, Oslo, Norway, July, 2009
Abstract to be published Peter Baumgartner and Uwe Waldmann
Superposition and model evolution combined
Automated Deduction - CADE-22, pp. 17-34, Montreal/Canada, July, 2009
Abstract PDF Trustworthy embedded systems—ERTOS-2 project plan 2009–2013
July, 2009
Abstract to be published Robert van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke
Symmetric and asymmetric asynchronous interaction
Electronic Notes in Theoretical Computer Science, Volume 229, Number 3, pp. 77-95, July, 2009
Abstract to be published Guido Governatori and Antonino Rotolo
Changing legal systems: legal abrogations and annulments in defeasible logic
Volume 18, Number 1, pp. 157-194, July, 2009
Abstract PDF Gernot Heiser
Trusted ⇐ trustworthy ⇐ proof—position paper
Proceedings of the 2nd Conference on Future of Trust in Computing, pp. 55–59, Berlin, Germany, July, 2009
Abstract to be published Mohammad Emam Hossain
Using scrum in global software development: A systematic literature review
International Conference On Global Software Engineering, pp. 10, Limerick, Ireland, July, 2009
Abstract to be published Franck Cassez
The dark side of timed opacity.
Proc. of the 3rd International Conference on Information Security and Assurance (ISA\'09), pp. 21–30, Seoul/Korea, June, 2009
Abstract PDF Matthew Chapman and Gernot Heiser
vNUMA: A virtual shared-memory multiprocessor
Proceedings of the 2009 USENIX Annual Technical Conference, pp. 349–362, San Diego, CA, USA, June, 2009
Abstract to be published Robert van Glabbeek, Bas Luttik and Nikola Tr?ka
Branching bisimilarity with explicit divergence
Volume 93, Number 4, pp. 371-392, June, 2009
Abstract to be published Mohammad Emam Hossain, Muhammad Ali Babar and June Verner
Towards a framework for using agile approaches in global software development
Profes 2009, pp. 126-140, Oulu/Finland, June, 2009
Abstract to be published Mohammad Emam Hossain, June Verner and Muhammad Ali Babar
Towards a framework for using agile approaches in distributed software development
Profes, Oulu/Finland, June, 2009
Abstract to be published Markus Rittenbruch, Tim Mansfield and Stephen Viller
Design and evaluation of intentionally enriched awareness
Awareness Systems: Advances in Theory, Methodology and Design, pp. 367-396, Volume 1 in Human-Computer Interaction Series, Springer, 2009
Abstract to be published Markus Rittenbruch and Gregor McEwan
An historical reflection of awareness in collaboration
Awareness Systems: Advances in Theory, Methodology and Design, pp. 3-48, Volume 1 in Human-Computer Interaction Series, Springer, 2009
Abstract to be published Natalie Ruiz, Kelvin Cheng and Markus Rittenbruch
Exploring manual interaction and social behaviour patterns in intensely collaborative teamwork
INTERACT2009, Uppsala, Sweden, June, 2009
Abstract PDF Michael von Tessin
Towards a formally verifiable multiprocessor microkernel
Poster presentation at the 2009 USENIX Annual Technical Conference, San Diego, CA, USA, June, 2009
Abstract to be published Paul Bannerman
Software development governance: A meta-management perspective
International Conference on Sodftware Engineering (ICSE): Software Development Governance (SDG) Workshop, pp. 6, Vancouver/Canada, May, 2009
Abstract to be published Paul Bannerman
Software architecture: Organizational perspectives
International Conference on Software Engineering (ICSE): Workshop on Leadership and Management in Software Architecture (LMSA), pp. 6, Vancouver/Canada, May, 2009
Abstract to be published Franck Cassez, Jan J. Jessen, Kim G. Larsen, Jean-François Raskin and Pierre-Alain Reynier
Automatic synthesis of robust and optimal controllers - an industrial case study.
Proc. of the 12th International Conference on Hybrid Systems: Computation and Control (HSCC\'09), pp. 90–104, San Francisco, CA, USA, May, 2009
Abstract to be published Guido Governatori and Duy Hoang Pham
DR-CONTRACT: An architecture for e-contracts in defeasible logic
International Journal of Business Process Integration and Management, Volume 5, Number 4, May, 2009
Abstract to be published Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto and Shinichi Honiden
Physical interaction in pervasive computing: Formal modeling, analysis and verification
The ACM International Conference on Pervasive Services , London, UK , May, 2009
Abstract to be published Nazrina Khurshid, Paul Bannerman and Mark Staples
Overcoming the first hurdle: Why organizations do not adopt CMMI
International Conference on Software Process (ICSP), pp. 12, Vancouver/Canada, May, 2009
Abstract to be published Gerwin Klein, Ralf Huuck and Bastian Schlich
Operating system verification
Volume 42, Number 2-4, pp. 1-2, May, 2009
Abstract to be published Basem Suleiman
Models and algorithms for business value-driven adaptation of business processes and software infrastructure
ICSE/Doctoral Consortium, pp. 4, Vancouver/ Canada, May, 2009
Abstract to be published Basem Suleiman
Models and algorithms for business value-driven adaptation of business processes and software infrastructure
Poster Presentation, ICSE 2009, Vancouver/Canada , May, 2009.
Abstract to be published Basem Suleiman and Vladimir Tosic
Integration of UML modeling and policy-driven management of web service systems
Principles of Engineering Service Oriented Systems (PESOS) 2009, pp. 75-82, Vancouver/Canada, May, 2009
Abstract to be published Liming Zhu and Jenny Liu
Model driven development with non-functional aspects
Early Aspects at ICSE: Aspect-Oriented Requirements Engineering and Architecture Design, pp. 49-54, Vancouver/Canada, May, 2009
Abstract to be published Liming Zhu, Tu Tak Tran, Mark Staples and Ross Jeffery
Technical software development process in the XML domain
International Conference on Software Process , pp. 246-255, Vancouver/Canada, May, 2009
Abstract to be published Paul Bannerman
Risk implications of software project organization structures
Australian Software Engineering Conference (ASWEC 2009), pp. 10, Gold Coast/Australia, April, 2009
Abstract to be published Ansgar Fehnker, Stefan Edelkamp, Victor Schuppan, Dragan Bosnaki, Anton Wijs and Husain Aljazzar
Survey on directed model checking
MoChart 2008, April, 2009
Abstract PDF Nicholas FitzRoy-Dale and Ihor Kuz
Towards automatic performance optimisation of componentised systems
2nd Workshop on Isolation and Integration in Embedded Systems, Nuremberg, Germany, April, 2009
Abstract to be published Aditya Ghose, Guido Governatori and Ramakoti Sadananda
Agent computing and multi-agent systems
Springer, 2009
Abstract to be published Guido Governatori, Guido Governatori, Guido Governatori and Abdul Sattar
A defeasible logic for modelling policy-based intentions and motivational attitudes
Logic Journal of the IGPL, Volume 17, Number 3, April, 2009
Abstract to be published Guido Governatori and Shazia Sadiq
The journey to business process compliance
Handbook of Research on Business Process Modeling, IGI, 2009
Abstract to be published Jenny Liu, Xin Liang and Liming Zhu
A component-based approach to developing thematic mashups
Australian Software Engineering Conference (ASWEC 09), Goldcoast/Australia, April, 2009
Abstract to be published Ruopeng Lu, Shazia Sadiq, Guido Governatori and Yang Xiaoping
Defining adaptation constraints for business process variant
12th International Conference on Business Information Systems, Poznan, Poland, April, 2009
Abstract PDF Leonid Ryzhyk, Peter Chubb, Ihor Kuz and Gernot Heiser
Dingo: Taming device drivers
Proceedings of the 4th EuroSys Conference, Nuremberg, Germany, April, 2009
Abstract PDF Asia Slowinska and Herbert Bos
Pointless tainting? Evaluating the practicality of pointer tainting
Proceedings of the 4th EuroSys Conference, Nuremberg, Germany, April, 2009
Abstract PDF David C. Snowdon, Etienne Le Sueur, Stefan M. Petters and Gernot Heiser
Koala: A platform for OS-level power management
Proceedings of the 4th EuroSys Conference, Nuremberg, Germany, April, 2009
Abstract to be published Basem Suleiman and Fuyuki Ishikawa
A constraint-based approach for developing consistent contracts in composite service
3rd International Workshop on Web Service Composition and Adaptation (WSCA-2009), Los Angeles,CA, USA, April, 2009
Abstract to be published Vladimir Tosic, Patrick C. K. Hung and Claudio Bartolini
Management of service-oriented systems
The 20th Australian Software Engineering Conference (ASWEC 2009), April, 2009
Abstract PDF Harvey Tuch
Formal verification of C systems code: Structured types, separation logic and theorem proving
Journal of Automated Reasoning: Special Issue on Operating System Verification, Volume 42, Number 2–4, pp. 125–187, April, 2009
Abstract to be published June Verner, Jennifer Sampson, Vladimir Tosic, Barbara Kitchenham and Nur Azzah Abu Bakar
Guidelines for industrially-based multiple case studies in software engineering
Research Challenges in Information Science, pp. 313-323, Fes/Morocco, April, 2009
Abstract to be published Aditi Barthwal and Michael Norrish
Verified, executable parsing
ESOP, pp. 160-174, York, March, 2009
Abstract to be published Paul Brebner and Jon Gray
Virtulisation technology in an SOA environment
Other Conference Presentation, ACS Annual Conference 2009, Canberra, March , 2009.
Abstract to be published James Cheney, René Vestergaard and Michael Norrish
Formalizing adequacy
2nd International Workshop on Theory and Applications of Abstraction, Substitution and Naming, York, March, 2009
Abstract to be published Nicholas Fitzroy-Dale and Ihor Kuz
Towards automatic optimisation of componentised systems
Other Conference Presentation, IIES 2009, Nuremberg, Germany, March, 2009.
Abstract to be published Guido Governatori, Guido Governatori and Guido Governatori
On managing business processes variants
Volume 68, Number 7, pp. 642-664, March, 2009
Abstract to be published Guido Governatori and Antonino Rotolo
How do agents comply with norms?
Other Conference Presentation, NorMAS 2009, Dagsthul, March 15-20, 2009.
Abstract PDF Gernot Heiser
Many-core chips — a case for virtual shared memory
Proceedings of the 2nd Workshop on Managed Many-Core Systems, Washington, DC, USA, March, 2009
Abstract to be published Jadwiga Indulska and Ricky Robinson
Modelling weiser's "sal" scenario with CML
6th IEEE Workshop on Context Modeling and Reasoning, pp. 1–6, Galveston, Texas, USA, March, 2009
Abstract to be published Udo Kannengiesser and Liming Zhu
An ontologically-based evaluation of software design methods
Volume 24, Number 1, pp. 41-58, March, 2009
Abstract to be published Paul Brebner
Virtualisation technology in an SOA environment – it may be green and agile, but do you understand the risks?
Lecture, NICTA CRL Seminar, February, 2009.
Abstract to be published Robert van Glabbeek and Peter D. Mosses
Preface, special issue on structural operational semantics
Volume 207, Number 2, pp. 83-84, February, 2009
Abstract PDF Gerwin Klein
Operating system verification — an overview
Sādhanā, Volume 34, Number 1, pp. 27–69, February, 2009
Invited paper. Journal homepage.
Abstract to be published Liam O'Brien and Paul Brebner
The 1st international workshop on quality of service concerns in service oriented architectures (QoSCSOA) 2008
International Conference on Service Oriented Computing, pp. 187-188, Sydney, Australia, February, 2009
Abstract to be published Peter Baumgartner, Alexander Fuchs, Hans de Nivelle and Cesare Tinelli
Computing finite models by reduction to function-free clause logic
Journal of Applied Logic, Volume 7, Number 1, pp. 58-74, January, 2009
Abstract to be published Taolue Chen, Wan Fokkink and Robert van Glabbeek
On finite bases for weak semantics: Failures versus impossible futures
35th Conference on Current Trends in Theory and Practice of Computer Science, pp. 167-180, Spindleruv Mlyn, Czech Republic , January, 2009
Abstract to be published Shiping Chen, Jenny Liu, Liming Zhu and Ian Gorton
Proceeding of 2nd IEEE international workshop on software engineering for adaptive software systems
Proceedings of the 2008 IEEE Congress on Services Part II, pp. 5, IEEE, 2009
Abstract PDF Gernot Heiser
Hypervisors for consumer electronics
Proceedings of the 6th IEEE Consumer Communications and Networking Conference, pp. 1–5, Las Vegas, NV, USA, January, 2009
Abstract to be published Karen Henricksen and Ricky Robinson
A survey of middleware for sensor networks: State-of-the-art and future directions
International Workshop on Middleware for Sensor Networks (MidSens 2006), pp. 60-65, Melbourne, Australia, January, 2009
Abstract to be published Ralf Huuck, Bastian Schlich, Michael Tapp and Ansgar Fehnker
Automatic bug detection in microcontroller software by static program analysis
35th International Conference on Current Trends in Theory and Practice of Computer Science , pp. 267 - 278 , Špindlerův Mlýn, Czech Republic , January, 2009
Abstract to be published Duy Hoang Pham, Subhasis Thakur and Guido Governatori
Settling on the group's goals: An n-person argumentation game approach
11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, pp. 328-339, Ha noi, Viet nam, January, 2009
Abstract to be published Thi Khanh Van Tran, Raymond Wong, William Cheung and Jiming Liu
Mobile information exchange and integration: From query to application layer
20th Australasian Database Conference (ADC 2009), pp. 115-124, Wellington/New Zealand, January, 2009
Abstract to be published Ning Wang, Xin Ye, Liming Zhu and Shaobo Ji
Proceeding of workshop on intelligent e-government (IEG 2008)
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, pp. xxxviii, IEEE, 2009

2008

Abstract to be published Paul Bannerman
Risk and risk management in software projects: A reassessment
Volume 81, Number 12, pp. 2118-2133, December, 2008
Abstract to be published Paul Bannerman and Liming Zhu
Standardization as a business ecosystem enabler
Workshop on Enabling Service Business Ecosystems, pp. 298 - 303, Sydney/Australia, December, 2008
Abstract to be published Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo and Leendert van der Torre
Time and defeasibility in FIPA ACL semantics
2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT Workshops 2008, pp. 634-637, Sydney, December, 2008
Abstract to be published Taolue Chen, Wan Fokkink and Robert van Glabbeek
Ready to preorder: The case of weak process semantics
Volume 109, Number 2, pp. 104-111, December, 2008
Abstract to be published Ansgar Fehnker
Creating correct network protocols
Lecture, Uppsala University, December, 2008.
Abstract to be published John S. Gero and Udo Kannengiesser
An ontological account of donald schön's reflection in designing
Volume 15, Number 2, pp. 77-90, December, 2008
Abstract to be published Karl Michael Goeschka, Schahram Dustdar, Frank Leymann and Vladimir Tosic
Proceedings of the 3rd workshop on middleware for service oriented computing (MW4SOC 2008)
Volume 1 in 1, ACM, 2008
Abstract to be published Guido Governatori and Antonino Rotolo
An algorithm for business process compliance
Jurix 2008, pp. 186-181, Florence, December, 2008
Abstract to be published Guido Governatori, Subhasis Thakur and Duy Hoang Pham
A compliance model of trust
Jurix, pp. 118-127, Florence, December, 2008
Abstract to be published Jacky Keung and Ross Jeffery
Automated support for software cost estimation using web-CoBRA
APSEC 2008 - Asia Pacific Software Engineering Conference, Beijing/China, December, 2008
Abstract to be published Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori and Grigoris Antoniou
Extending a defeasible reasoner with modal and deontic logic operators
2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT Workshops 2008, pp. 626-629, Sydney, December, 2008
Abstract to be published Jenny Liu, Minan Tan, Ian Gorton and Andrew John Clayphan
An autonomic middleware solution for coordinating multiple QoS controls
International Conference on Service Oriented Computing, Sydney/Australian, December, 2008
plain text to be published Stefan M. Petters, Martin Lawitzky, Ryan Heffernan and Kevin Elphinstone
Fitting an EDF based scheduling approach to componentised real(-time) systems
Proceedings of the 29th IEEE Real-Time Systems Symposium, Barcelona, Spain, December, 2008
Abstract to be published Suronapee Phoomvuthisarn and Jenny Liu
An architecture approach to dependable trust-based service systems
International Conference on Service Oriented Computing, pp. 6, Sydney, Australia, December, 2008
Abstract to be published Ricky Robinson and Jadwiga Indulska
Resource discovery in pervasive computing environments
Handbook on Mobile Ad Hoc and Pervasive Communications, American Scientific Publishers, 2008
Abstract to be published Vladimir Tosic
Three common mistakes in modeling and analysis of QoS of service-oriented systems
1st International Workshop on Quality-of-Service Concerns in Service Oriented Architectures (QoSCSOA\'08), December, 2008
Abstract to be published Sherry Xu, Liming Zhu, Jenny Liu and Mark Staples
Resource-oriented architecture for business processes
Asia-Pacific Software Engineering Conference, pp. 395-402, Beijing/China, December, 2008
Abstract to be published Peter Baumgartner, Alexander Fuchs and Cesare Tinelli
ME(LIA) - model evolution with linear integer arithmetic constraints
LPAR 2008, pp. 258-273, Doha, Qatar, November, 2008
Abstract to be published Guido Governatori, Jörg Hoffmann, Shazia Sadiq and Ingo Weber
Detecting regulatory compliance for business process models through semantic annotation
Business Process Management, pp. 5-17, Milan, Italy, November, 2008
Abstract PDF André Hergenhan and Gernot Heiser
Operating systems technology for converged ECUs
6th Embedded Security in Cars Conference (escar), Hamburg, Germany, November, 2008
Abstract to be published Nick Bassiliades, Guido Governatori and Adrian Paschke
Rule representation, interchange and reasoning on the web
Volume 5321 in LNCS, Springer, 2008
Abstract link Timothy Bourke and Arcot Sowmya
Automatically transforming and relating Uppaal models of embedded systems
Proceedings of the 8th International Conference on Embedded Software, pp. 59–68, Atlanta, Georgia USA, October, 2008
Abstract to be published Paul Brebner
Is non functional testing becoming more business critical?
Keynote or Plenary Address, Software and Systems Quality Conference 2008, Canberra, October, 2008.
Abstract to be published Yuxin Deng, Robert van Glabbeek, Matthew Hennessy and Carroll Morgan
Characterising testing preorders for finite probabilistic processes
Volume 4, Number 4, pp. 1-33, October, 2008
Abstract PDF Dhammika Elkaduwe, Gerwin Klein and Kevin Elphinstone
Verified protection model of the seL4 microkernel
Proceedings of Verified Software: Theories, Tools and Experiments 2008, pp. 99–114, Toronto, Canada, October, 2008
Abstract to be published Ansgar Fehnker, Ralf Huuck, Sean Seefried and Brauer Joerg
Goanna: Syntactic software model checking
Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, pp. 216-221, Seoul, South Korea, October, 2008
Abstract to be published Guido Governatori, Duy Hoang Pham, Simon Raboczi, Andrew Newman and Subhasis Thakur
On extending RuleML for modal defeasible logic
RuleML 2008, pp. 89-103, Orlando, October, 2008
Abstract PDF Rafal Kolanski and Gerwin Klein
Mapped separation logic
Proceedings of Verified Software: Theories, Tools and Experiments 2008, pp. 15–29, Toronto, Canada, October, 2008
Abstract to be published Jason Zhang, Barbara Kitchenham and Dietmar Pfahl
Software process simulation over decade: Trends discovery from a systematic review
2nd International Symposium on Empirical Software Engineering and Measurement, pp. pending, Kaiserslautern/Germany, October, 2008
Abstract to be published Liming Zhu
Beyond design-by-committee: How to push alternative ideas through open standards and open source
Other Conference Presentation, Open Standard, Sydney/Australia, Oct, 2008.
Abstract to be published Andreas Bauer, Jan Juerjens and Yijun Yu
Tools for traceable security verification
BCS International Academic Conference 2008—Visions of Computer Science, pp. 367–378, Swindon, UK, September, 2008
Abstract to be published Thanassis Boulis, Ansgar Fehnker, Matthias Fruth and Annabelle McIver
CaVi - simulation and model checking for wireless sensor networks
5th International Conference on Quantitative Evaluation of Systems (QEST 2008), Saint Malo/France, September, 2008
Abstract to be published Betty Bui, Liming Zhu, Jenny Liu, Vladimir Tosic and Ross Jeffery
Automating web service development using a unified model
Modeling, Design, and Analysis for Service-oriented Architecture Workshop (MDA4SOA), pp. 22-29, Munich/Germany, September, 2008
Abstract to be published Xi Chen, Mark Staples and Paul Bannerman
Analysis of CMMI specific practice dependencies
European Software Process Improvement and Innovation (EuroSPI 2008), pp. 94-105, Dublin, Ireland, September, 2008
Abstract to be published Ansgar Fehnker, Matthias Fruth and Annabelle McIver
Graphical modelling for simulation and formalanalysis of wireless network protocols
Volume 5454, September, 2008
Abstract to be published Ansgar Fehnker, Ralf Huuck, Rauch Felix and Sean Seefried
Some assembly required – program analysis of embedded system code
Eighth IEEE International Working Conference on Source Code Analysis and Manipulation, pp. 15-24, Beijing, China, September, 2008
Abstract to be published Guido Governatori
Labelled modal tableaux
Keynote or Plenary Address, pp. 87-110, Advances in Modal Logic 2008, Nancy, pp. 87-110, September, 2008, 978-1904987680.
Abstract to be published Jenny Liu, Jacky Kueng, Liming Zhu, Kate Foster and Thong Nguyen
Trade-off analysis method for mission critical middleware systems on DSTO hybrid test bed
Technical Report, NICTA, September, 2008
Abstract to be published Jenny Liu, Simon Thuong, Shiping Chen and Liming Zhu
Composing adaptive web services on COTS middleware
IEEE International Conference on Web Services, September, 2008
Abstract to be published Sebastian Maneth, Nikolay Mihaylov and Sherif Sakr
XML tree structure compression
DEXA 2008 Workshop: Xantec 2008, pp. 243-247, Turin, Italy, September, 2008
Abstract to be published Sherif Sakr
XSelMark: A micro-benchmark for selectivity estimation approaches of XML queries
19th International Conference on Database and Expert Systems Applications - DEXA\'08, Turin, Italy, September, 2008
Abstract to be published Vladimir Tosic
On modeling and maximizing business value for autonomic service-oriented systems
BPM 2008 Workshops: 1st International Workshop on QoS in Self-healing Web Services QSWS-08, pp. 407-418, Milan/Italy, September, 2008
Abstract to be published Vladimir Tosic
Industrial standards for web services: Achieved results and challenges for the future
Other Conference Presentation, The 12th IEEE International EDOC Conference (EDOC 2008), Munich/Germany, September, 2008.
Abstract to be published Vladimir Tosic, Claudio Bartolini and Patrick C.K. Hung
Management of service-oriented implementations of business processes: From quality of service to business value
BPM 2008 - 6th International Conference on Business Process Management , September, 2008
Abstract to be published Vladimir Tosic and Udo Kannengiesser
Improving business processes in the australian lending industry
Abstract, Proceedings of IEEE EDOC 2008, Munich/Germany, September, 2008.
Abstract to be published Vladimir Tosic, Jenny Liu and Liming Zhu
On combining WS-Policy4MASC and ASF to support business-driven autonomic service-oriented computing
BPM 2008 Workshops: 1st International Workshop on QoS in Self-healing Web Services QSWS-08, pp. 419-424, Milan/Italy, September, 2008
Abstract to be published Liming Zhu, Mark Staples and Vladimir Tosic
On creating industry-wide reference architectures
Enterprise Computing Conference (EDOC), pp. 24-30, Munich/Germany, September, 2008
Abstract to be published Paul Bannerman
Risk management in software projects: Is it good enough?
Other Conference Presentation, Software and Systems Engineering Process Group (SEPG 2008), Melbourne/Australia, August, 2008.
Abstract to be published Peter Baumgartner, Alessandro Armando and Gilles Dowek
Automated reasoning - 4th international conference, IJCAR 2008
Volume 5195 in Lecture Notes in Artificial Intelligence, Springer, 2008
Abstract to be published Bernhard Beckert and Gerwin Klein
5th international verification workshop – VERIFY'08
CEUR Workshop Proceedings, 2008
Abstract PDF David Cock
Bitfields and tagged unions in C: verification through automatic generation
Proceedings of the 5th International Verification Workshop, pp. 44–55, Sydney, Australia, August, 2008
Abstract PDF David Cock, Gerwin Klein and Thomas Sewell
Secure microkernels, state monads and scalable refinement
Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, pp. 167–182, Montreal, Canada, August, 2008
Abstract to be published Robert van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke
On synchronous and asynchronous interaction in distributed systems
33nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008), pp. 16-35, Torun, Poland, August, 2008
Abstract to be published Guido Governatori and Antonino Rotolo
Changing legal systems: Abrogation and annulment. part II
Normative Multi Agent Sytems Workshop (NorMAS), pp. 0-0, Luxembourg/Luxembourg, August, 2008
Abstract PDF Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie and Gernot Heiser
Pre-virtualization: Soft layering for virtual machines
Proceedings of the 13th IEEE Asia-Pacific Computer Systems Architecture Conference, pp. 1–9, Hsinchu, Taiwan, August, 2008
Best Paper Award!
Abstract to be published Jenny Liu, Muhammad Ali Babar and Ian Gorton
Middleware architecture evaluation for dependable self-managing systems
International Conference on the Quality of Software-Architectures (QoSA), pp. 182-196, Germany, August, 2008
Abstract to be published Sherif Sakr
An experimental investigation of XML compression tools
Technical Report, VLDB , August, 2008
Abstract to be published Konrad Slind and Michael Norrish
A brief overview of HOL4
Theorem Proving in Higher Order Logics, 20th International Conference, pp. 28-32, Montréal, Canada, August, 2008
Abstract to be published Jens Teubner, Torsten Grust, Sebastian Maneth and Sherif Sakr
Dependable cardinality forecasts for XQuery
Very Large Databases - VLDB, pp. 463-477, Auckland, NZ, August, 2008
Abstract to be published Franz Baader, Andreas Bauer and Alwen Tiu
Matching linear and non-linear trace patterns with regular policies
22nd International Workshop on Unification (UNIF), pp. 16-24, Linz/Austria, July, 2008
Abstract to be published Abdul Babar, Karl Cox, Vladimir Tosic, Steven Bleistein and June Verner
Integrating b-SCP and MAP to manage the evolution of strategic IT requirements
Volume 50, Number 7-8, pp. 815-831, July, 2008
Abstract to be published Paul Bannerman
Defining project success: A multi-level framework
Project Management Institute Research Conference, pp. 13, Warsaw/Poland, July, 2008
Abstract to be published Paul Brebner
RFID data management: Issues, solutions, and directions
The Internet of Things: From RFID to the Next-Generation Pervasive Networked Systems, pp. 81-106, CRC Press, 2008
Abstract to be published Gia Hieu Dinh and Jenny Liu
Enabling mobile access to adaptive services and portal
Technical Report, NICTA, July, 2008
Abstract to be published Kai Engelhardt and Yoram Moses
Single-bit messages are insufficient for data link over duplicating channels
Volume 107, Number 6, pp. 235, July, 2008
Abstract to be published Robert van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke
Symmetric and asymmetric asynchronous interaction
First Interaction and Concurrency Experience (ICE\'08): Synchronous and Asynchronous Interactions in Concurrent Distributed Systems, pp. 5-22, Reykjavik, Iceland, July, 2008
Best student/young researcher paper.
Abstract to be published Robert van Glabbeek and Bas Ploeger
Correcting a space-efficient simulation algorithm
20th International Conference on Computer Aided Verification, CAV 2008, pp. 517-529, Princeton, USA, July, 2008
Abstract to be published Robert van Glabbeek and Bas Ploeger
Five determinisation algorithms
13th International Conference on Implementation and Application of Automata, pp. 161-170, San Francisco, July, 2008
Abstract to be published Ralf Huuck, Gerwin Klein and Bastian Schlich
Proceedings of the 3rd international workshop on systems software verification (SSV 2008)
Volume 217 in ENTCS, Elsevier, 2008
Abstract to be published Udo Kannengiesser
An ontological basis for design methods
Undisciplined! Proceedings of the Design Research Society Conference 2008, pp. 263/1-14, Sheffield, United Kingdom, July, 2008
Abstract to be published Brian Lam, Wai-Mei Lau and Kam-Chung Leung
vChina: A project on learning in video-conferencing environment in distance education
The 2008 International Conference on ICT in Teaching and Learning, pp. 535-544, Hong Kong, July, 2008
Abstract PDF Martin P. Lawitzky, David C. Snowdon and Stefan M. Petters
Integrating real time and power management in a real system
Proceedings of the 4th Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT), Prague, Czech Republic, July, 2008
Abstract to be published Duy Hoang Pham, Guido Governatori and Simon Raboczi
Agents adapt to majority behaviours
Other Conference Presentation, 2008 IEEE International Conference on Research, Innovation and Vision for the Future in Computing and Communications Technologies, HoChiMinh, Vietnam, 07, 2008.
Abstract to be published Basem Suleiman, Vladimir Tosic and Eldar Aliev
Non-functional property specifications for WRIGHT ADL
IEEE 8th International Conference on Computer and Information Technology (CIT2008), pp. 766-771, Sydney, Australia, July, 2008
Abstract to be published Liming Zhu
Application of the REST principle
Other Conference Presentation, Open Publish , Sydney/Australia, July, 2008.
Abstract PDF Willem de Bruijn and Herbert Bos
PipesFS: Fast Linux I/O in the Unix tradition
ACM Operating Systems Review, Volume 42, Number 5, pp. 55–63, July, 2008
Abstract to be published Udo Kannengiesser
Subsuming the BPM life cycle in an ontological framework of designing
CIAO! 2008 and EOMAS 2008, pp. 31-45, Montpellier, France, June, 2008
Abstract to be published Mark Staples and Mahmood Niazi
Systematic review of organizational motivations for adopting CMM-based SPI
Volume 50, Number 7-8, pp. 605-620, June, 2008
Abstract to be published Liming Zhu, Thong Nguyen, Tan Dao and Jenny Liu
Model driven development for technology evaluation - recommendations
Technical Report, DSTO, June, 2008
Abstract to be published Abdul Babar, Didar Zowghi, Karl Cox, Vladimir Tosic, Steven Bleistein and June Verner
Problem frames and business strategy modelling
The 3rd International Workshop on Applications and Advances in Problem Frames (IWAAPF\'08), pp. 48-51, Leipzig, Germany, May, 2008
Abstract to be published Paul Bannerman
Macro-processes informing micro-processes: The case of software project performance
International Conference on Software Process, pp. 12-23, Leipzig/Germany, May, 2008
Abstract to be published Paul Bannerman
Capturing business benefits from process improvement: Four fallacies
ICSE Business Impact of Process Improvement Workshop, pp. 1-8, Leipzig/Germany, May, 2008
Abstract to be published Paul Bannerman
Smoothing innovation discontinuities
International Engineering Management Conference, China, pp. 5458-5462, Beijing/China, May, 2008
Abstract to be published Andreas Bauer and Jan Jürjens
Security protocols, properties, and their monitoring
4th International Workshop on Software Engineering for Secure Systems, pp. 33-40, Leipzig/Germany, May, 2008
Abstract to be published Andreas Bauer and Sophie Pinchinat
A topological perspective on diagnosis
9th International Workshop on Discrete Event Systems (WODES), pp. 218-224, Göteborg, Sweden, May, 2008
Abstract to be published Paul Brebner, Liam O'Brien and Jon Gray
Performance modeling for service oriented architectures
30th International Conference on Software Engineering, pp. 953-954 , Leipzig/Germany, May, 2008
Abstract to be published Paul Brebner, Liam O'Brien and Jon Gray
Business transformation to SOA: Aspects of the migration and performance and QoS issues
ICSE 2008, Proceedings of the 2nd international workshop on Systems development in SOA environments, pp. 35-40, Leipzig, May, 2008
Abstract to be published Peizhao Hu, Ricky Robinson, Marius Portmann and Jadwiga Indulska
Context-aware routing in wireless mesh networks
The 2nd Workshop on Context-Awareness for Self-Managing Systems (Pervasive\'08 Workshop), Sydney, Australia, May, 2008
Abstract to be published Ming Huo, Jason Zhang and Ross Jeffery
Detection of consistent patterns from process enactment data
International Conference on Software Process, pp. 173-185, Leipzig/Germany, May, 2008
Abstract to be published Jacky Keung, Barbara Kitchenham and Ross Jeffery
Analogy-x: Providing statistical inference to analogy based software cost estimation
Volume PrePrint-Online, Number 15 May, May, 2008
Abstract to be published Tom Ridge, Michael Norrish and Peter Sewell
A rigorous approach to networking: TCP, from implementation to protocol to service
International Symposium on Formal Methods (FM), pp. 294–309, Turku, Finland, May, 2008
Abstract to be published Jim Steel, Renato Iannella and Brian Lam
Using ontologies for decision support in resource messaging
5th International Conference on Information Systems for Crisis Response and Management, pp. 276-284, Washington DC, uSA, May, 2008
Abstract to be published Min'an Tan, Jenny Liu and Liming Zhu
Towards process-based composition of self-managing service-oriented systems
International Workshop on Systems Development in SOA Environments, pp. 41-46, Leipzig/Germany, May, 2008
Abstract to be published Vladimir Tosic
Business value driven engineering and management of web services and their compositions
Lecture, HP Labs Palo Alto (USA) 2 times, Uni. of Ontario Institute of Technology (Canada), IEEE Computer Society Ottawa Section (Canada), Uni. of Sydney (Aus.), Macquarie Uni. (Aus.), NICTA (Aus.), Uni. of Woolongong (Aus.), Uni. of South Pacific (Fiji), USA, Ott
Abstract to be published Vladimir Tosic and Patrick C. K. Hung
Contract-based quality of service (QoS) monitoring and control of XML web services
Lecture, University of New South Wales (Sydney/Australia), May, 2008.
Abstract to be published Sherry Xu, Liming Zhu, Jenny Liu and Mark Staples
Resource-oriented business process modeling for ultra-large-scale systems
Second International Workshop on Ultra-Large-Scale Software-Intensive Systems (ULSSIS 2008), pp. 65-68, Leipzig/Germany, May, 2008
Abstract to be published Jason Zhang, Ross Jeffery and Liming Zhu
A hybrid model of test-and-fix process in incremental development
International Conference on Software Process , pp. 334-344, Leipzig/Germany, May, 2008
Abstract to be published Jason Zhang, Ross Jeffery and Liming Zhu
Investigating test-and-fix processes of incremental development using hybrid process simulation
6th Workshop on Software Quality, pp. 23-28, Leipzig/Germany, May, 2008
Abstract to be published Jason Zhang, Barbara Kitchenham and Dietmar Pfahl
Reflections on 10 years of software process simulation modeling: A systematic review
International Conference on Software Process, pp. 345-356, Germany, May, 2008
Abstract to be published Liming Zhu, Mark Staples and Ross Jeffery
Scaling up software architecture evaluation processes
International Conference on Software Process , pp. 112-122, Leipzig/Germany, May, 2008
Abstract PDF Dhammika Elkaduwe, Philip Derrin and Kevin Elphinstone
Kernel design for isolation and assurance of physical memory
1st Workshop on Isolation and Integration in Embedded Systems, pp. 35-40, Glasgow, UK, April, 2008
Abstract PDF Gernot Heiser
The role of virtualization in embedded systems
1st Workshop on Isolation and Integration in Embedded Systems, pp. 11-16, Glasgow, UK, April, 2008
Abstract to be published Jenny Liu and Ted Wong
Component architecture and modeling for microkernel-based embedded system development
Australian Software Engineering Conference, pp. 190-199, Perth/Australia, April, 2008
Abstract to be published Laurene Vaughan, Markus Rittenbruch, Stephen Viller, Jeremy Yuille and Ian MacColl
Spontaneous scenarious: An approach to user engagement
ACM Conference on Human Factors in Computing Systems (CHI), Florence, Italy, April, 2008
Abstract to be published Chern Har Yew, Hanan Lutfiyya and Vladimir Tosic
On integrating trust into business-driven management of web services and their compositions
Third IEEE/IFIP International Workshop on Business-Driven IT Management (BDIM 2008), pp. 102-105, Salvador, Brazil, April, 2008
Abstract to be published Abdul Babar, Karl Cox and Vladimir Tosic
Evaluating three map and b-SCP integration methods for requirements evolution situation
Proceedings of the 23rd Proceedings of the ACMSymposium on Applied Computing, pp. 650-655 , Fortaleza/Brazil, March, 2008
Abstract to be published Paul Bannerman
Toward an integrated framework of software project threats
Australian Software Engineering Conference, pp. 139-148, Perth/Australia, March, 2008
Abstract to be published Paul Brebner, Liam O'Brien and Jon Gray
Performance modeling for e-government service oriented architectures (SOAs)
ASWEC, pp. 130-138, Australia, March, 2008
Abstract to be published Peizhao Hu, Jadwiga Indulska and Ricky Robinson
An autonomic context management system for pervasive computing
the Sixth IEEE Annual Conference on Pervasive Computing and Communication (PerCom\'08), Hong Kong, March, 2008
Abstract to be published Jenny Liu, Ian Gorton and Vinh Kah Lee
The architecture of event correlation service in adaptive middleware-based applications
Volume 81, Number 12, pp. 2134-2145, March, 2008
Abstract to be published Sherif Sakr
Algebra-based XQuery cardinality estimation
Volume 4, Number 1, pp. 6-47, March, 2008
Abstract to be published Basem Suleiman
Commercial-off-the-shelf software development framework
The 19th Australian Software Enginerring Conference (ASWEC2008)., pp. 690-695, Perth, Australia, March, 2008
Abstract to be published Jason Zhang, Jacky Keung, Barbara Kitchenham and Ross Jeffery
Semi-quantitative modeling for managing software development processes
IEEE Australian Software Engineering Conference, pp. 66-75, Perth/Australia, March, 2008
Abstract to be published Guido Governatori and Antonino Rotolo
BIO logical agents: Norms, beliefs, intentions in defeasible logic
Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), Volume 17, Number 1, pp. 36-69, February, 2008
Abstract to be published Guido Governatori and Antonino Rotolo
A computational framework for institutional agency
Artificial Intelligence and Law, Volume 16, Number 1, pp. 25-52, February, 2008
Abstract to be published B. A. Kitchenham, Hiyam Al Khilidar, Muhammad Ali Babar, Mike Berry, Karl Cox, Jacky Keung, Felicia Kurniawati, Mark Staples, Jason Zhang and Liming Zhu
Evaluating guidelines for empirical software engineering studies
Empirical Software Engineering, Volume 13, Number 1, pp. 97-121, February, 2008
Abstract PDF Rafal Kolanski
A logic for virtual memory
Proceedings of the 3rd Systems Software Verification, pp. 61–77, Sydney, Australia, February, 2008
Abstract PDF Harvey Tuch
Structured types and separation logic
Proceedings of the 3rd Systems Software Verification, pp. 41–59, Sydney, Australia, February, 2008
Abstract to be published Ka-Shu Wong
Sound and complete inference rules for SE-consequence
Volume 31, pp. 205-216, February, 2008
Abstract to be published Liming Zhu
LIXI visible loans: reference architecture and implementation guide
Standards Contribution, LIXI, Oct, 2007.
Abstract to be published Peter Baumgartner and Cesare Tinelli
The model evolution calculus as a first-order DPLL method
Artificial Intelligence, Volume 172, Number 4-5, pp. 591-632, January, 2008
Abstract Slides
Video 		Gernot Heiser
Do microkernels suck?
9th Linux.conf.au, January, 2008

2007

Abstract to be published Abdul Babar and Vladimir Tosic
Aligning the map requirements modelling with the b-method for formal software development
14th Asia-Pacific Software Engineering Conference (APSEC 2007), pp. 17-24, Nagoya, Japan, December, 2007
Abstract PDF Timothy Bourke and Arcot Sowmya
Tool support for verifying trace inclusion with uppaal
Technical Report UNSW-CSE-TR-0723, Uni. of NSW, Computer Science and Engineering, December, 2007
Abstract PDF Gernot Heiser
Your system is secure? Prove it!
USENIX ;login:, Volume 32, Number 6, pp. 35–38, December, 2007
Abstract to be published Peizhao Hu, Ricky Robinson and Jadwiga Indulska
Sensor standards: Overview and experiences
The Third International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), pp. CD, Melbourne, Australia, December, 2007
Abstract to be published Ricky Robinson, Jadwiga Indulska and Ted McFadden
Resource discovery in modern computing environments
Volume 3, Number 1, pp. 4-29, December, 2007
Abstract to be published Basem Suleiman, Vladimir Tosic and Eldar Aliev
Time-quality metric model for quality measurement of web-based systems
Poster Presentation, Asia-Pacific Software Engineering Conference (APSEC2007), Nagoya, Japan, December, 2007.
Abstract to be published Subhasis Thakur, Guido Governatori, Vineet Padmanabhan and Jenny Eriksson Lundström
Dialogue games in defeasible logic
20th Australian Joint Conference on Artificial Intelligence, AI 2007, pp. 497-506, Surfer Paradise, Australia, December, 2007
Abstract to be published Vladimir Tosic, Basem Suleiman and Abdul Babar
SPECIFICATION OF BUSINESS VALUE WITH AND IN SOFTWARE PATTERNS
1st International Workshop on Software Patterns and Quality, pp. 49-50, Nagoya, Japan, December, 2007
Abstract to be published Liming Zhu, Leon J. Osterweil, Mark Staples, Udo Kannengiesser and Borislava I. Simidchieva
Desiderata for languages to be used in the definition of reference business processes
International Journal of Software Informatics, Volume 1, Number 1, pp. 33-65, December, 2007
Abstract to be published Abdelkarim Erradi, Piyush Maheshwari and Vladimir Tosic
WS-policy based monitoring of composite web services
5th IEEE European Conference on Web Services (ECOWS\'07), pp. 99-108, Halle on Saale, Germany, November, 2007
Abstract to be published Gregor Mcewan, Markus Rittenbruch and Tim Mansfield
Understanding awareness in mixed presence collaboration.
Australasian Computer-Human Interaction Conference (OzCHI), pp. 171-174, Adelaide, Australia, November, 2007
Abstract to be published Michael Norrish
A formal semantics for c++
Technical Report, NICTA, November, 2007
Abstract PDF Dhammika Elkaduwe, Gerwin Klein and Kevin Elphinstone
Verified protection model of the seL4 microkernel
Technical Report NRL-1474, NICTA, October, 2007
Abstract to be published John S Gero and Udo Kannengiesser
Locating creativity in a framework of designing for innovation
IFIP Working Conference on Computer Aided Innovation, pp. 57-66, Brighton, MI, October, 2007
Abstract to be published John S Gero and Udo Kannengiesser
A function-behavior-structure ontology of processes
Volume 21, Number 4, pp. 379-391, October, 2007
Abstract to be published Robert van Glabbeek and Matthew Hennessy
Preface, proceedings of the 4th workshop on structural operational semantics
Volume 192, Number 1, pp. 1-3, October, 2007
Abstract to be published Jenny Liu, Ian Gorton and Nihar Trivedi
A lightweight and extensible architecture for adaptive server applications, software: Practice and experience
October, 2007
Abstract to be published Jenny Liu, Liming Zhu and Ian Gorton
Performance assessment for e-government services: An experience report
The 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE), pp. 74-89, Boston/USA, October, 2007
Abstract PDF Leonid Ryzhyk, Ihor Kuz and Gernot Heiser
Formalising device driver interfaces
Proceedings of the 4th Workshop on Programming Languages and Operating Systems (PLOS), Stevenson, Washington, USA, October, 2007
Abstract PDF David C. Snowdon, Stefan M. Petters and Gernot Heiser
Accurate on-line prediction of processor and memory energy usage under voltage scaling
Proceedings of the 7th International Conference on Embedded Software, pp. 84–93, Salzburg, Austria, October, 2007
Abstract to be published Vladimir Tosic
Impact of various execution environments on middleware for web services
Other Conference Presentation, MWS 2007 Workshop at EDOC 2007, Annapolis, Maryland, USA, October, 2007.
Abstract to be published Vladimir Tosic, Karl Goeschka, Aad Moorsel and Raymond Wong
Proceedings of middleware for web services (MWS) 2007
Middleware for Web Services (MWS) 2007, Volume 1 in 1, IEEE-CS, 2007
Abstract to be published Vladimir Tosic, Jenny Liu and Liming Zhu
Towards business driven autonomic service-oriented computing
Other Conference Presentation, CASCON 2007 workshop Fourth International Workshop on Engineering Autonomic Software Systems - EASS 2007, Markham, Canada, October, 2007.
Abstract to be published Vladimir Tosic, Basem Suleiman and Hanan Lutfiyya
UML profiles for WS-Policy4MASC as support for business value driven engineering and management of web services and their compositions
Enterprise Distributed Object Computing Conference (EDOC 2007). 11th IEEE International, pp. 157-169, Annapolis, MD, USA, October, 2007
Abstract to be published Liming Zhu
Future of embedded systems standards
Presentation, ISO/JTC1 Technology Workshop, Brisbane/Australia, Oct, 2007.
Abstract to be published Liming Zhu
Visible loan - a RESTful and pub-sub approach
Other Conference Presentation, LIXI Forum 2007, Sydney/Australia, Oct, 2007.
Abstract to be published Abdul Babar, Karl Cox, Vladimir Tosic, Steven Bleistein and June.Verner
Identifying domain context for the intentional modelling technique MAP
18th International Conference on Database and Expert Systems Applications - DEXA 2007, pp. 835-839, Regensburg, Germany, September, 2007
Abstract to be published Xi Chen and Mark Staples
Using practice outcome areas to understand perceived value of CMMI specific practices for SMEs
European Software Process Improvement and Innovation (EuroSPI 2007), pp. 59-70, Potsdam, Germany, September, 2007
Abstract to be published Udo Kannengiesser
Evaluation of BPMN tools
International Workshop on the Management of Business Processes in Government, pp. 19-32, Brisbane, September, 2007
Abstract to be published Jenny Liu, Liming Zhu, Len Bass, Ian Gorton and Mark Staples
Non-functional property driven service governance: performance implications
Non Functional Properties and Service Level Agreements in Service Oriented Computing Workshop, Vienna, Austria, September, 2007
Abstract to be published Makoto Nonaka, Muhammad Ali Babar, Liming Zhu and Mark Staples
Impacts of architecture and quality investment in software product line development
11th International Software Product Line Conference (SPLC 2007), pp. 63-73, Kyoto, Japan, September, 2007
Abstract to be published Michael Norrish and René Vestergaard
Proof pearl: de bruijn terms really do work
Theorem Proving in Higher Order Logics, 20th International Conference, pp. 207-222, Kaiserslautern, September, 2007
Abstract to be published Mark Staples and Mahmood Niazi
Experiences using systematic review guidelines
Journal of Systems and Software, Volume 80, Number 9, pp. 1425-1437, September, 2007
Abstract to be published Liming Zhu, Leon J. Osterweil, Mark Staples and Udo Kannengiesser
Challenges observed in the definition of reference business processes
Workshop on Business Process Design ‘07, pp. 95-107, September, 2007
Abstract to be published Liming Zhu and Mark Staples
Situational method quality
Situational Method Engineering, pp. 193-206, Geneva, September, 2007
Abstract to be published Paul Bannerman and Mark Staples
Capability-based software engineering performance
Presentation, Software Engineering Process Group (SEPG), Gold Coast/Australia, August, 2007.
Abstract to be published John S Gero and Udo Kannengiesser
An ontological model of emergent design in software engineering
International Conference on Engineering Design, pp. 70:1-12, Paris, France, August, 2007
Abstract to be published Jenny Liu, Ian Gorton and Liming Zhu
Performance prediction of service-oriented applications based on an enterprise service bus
31st Annual International Computer Software and Applications Conference, pp. 327 - 334, Beijing/China, August, 2007
Abstract to be published Jenny Liu, Liming Zhu, Qing Wang, Ian Gorton and Shiping Chen
1st IEEE international workshop on software engineering for adaptive software systems
IEEE, 2007
Abstract to be published Peter Baumgartner
Logical engineering with instance-based methods
CADE-21 - The 21st International Conference on Automated Deduction, pp. 404-409, July, 2007
Abstract to be published Peter Baumgartner, Ulrich Furbach and Bjoern Pelzer
Hyper tableaux with equality
CADE-21 – The 21st International Conference on Automated Deduction, pp. 492-507, Bremen/Germany, July, 2007
Abstract PDF Scott Brandt and Kevin Elphinstone
Proceedings of the 3rd Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT)
Pisa, Italy (July, 2007). NICTA.
Abstract to be published Yuxin Deng, Robert van Glabbeek, Matthew Hennessy, Carroll Morgan and Chenyi Zhang
Characterising testing preorders for finite probabilistic processes
22nd Annual IEEE Symposium on Logic in Computer Science, LICS 2007, pp. 313-322, Wroclaw, Poland, July, 2007
Abstract PDF Kevin Elphinstone, David Greenaway and Sergio Ruocco
Lazy scheduling and direct process switch — merit or myths?
Proceedings of the 3rd Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT), Pisa, Italy, July, 2007
Preliminary version
Abstract to be published Abdelkarim Erradi, Vladimir Tosic and Piyush Maheshwari
MASC - .NET-based middleware for adaptive composite web services
IEEE International Conference on Web Services (ICWS 2007), pp. 727-734, Salt Lake City, USA, July, 2007
Abstract to be published Ansgar Fehnker, L. F. W. van Hoesel and A. H. Mader
Modelling and verification of the LMAC protocol for wireless sensor networks
Proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, Oxford, Britain, pp. 253-272, July, 2007
Abstract PDF Ansgar Fehnker, Ralf Huuck, Felix Rauch and Sean Seefried
Analysing Embedded System Software
Proceedings of C/C++ Verification Workshop, Oxford, UK, July, 2007
Extended abstract
Abstract to be published John S Gero and Udo Kannengiesser
An ontology of situated design teams
Volume 21, Number 3, pp. 295-308, July, 2007
Abstract PDF Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein and Stefan M. Petters
Towards trustworthy computing systems: Taking microkernels to the next level
ACM Operating Systems Review, Volume 41, Number 4, pp. 3–11, July, 2007
Abstract PDF Ihor Kuz and Yan Liu
Extending the capabilities of component models for embedded systems
International Conference on the Quality of Software-Architectures (QoSA), Boston, MA, USA, July, 2007
Abstract PDF Jia Meng, Lawrence C. Paulson and Gerwin Klein
A termination checker for Isabelle Hoare logic
Proceedings of the 4th International Verification Workshop, pp. 104–118, Bremen, Germany, July, 2007
Abstract PDF Stefan M. Petters, Patryk Zadarnowski and Gernot Heiser
Measurements or static analysis or both?
Proceedings of the 7th Workshop on Worst-Case Execution-Time Analysis, Pisa, Italy, July, 2007
Abstract PDF David C. Snowdon, Godfrey van der Linden, Stefan M. Petters and Gernot Heiser
Accurate run-time prediction of performance degradation under frequency scaling
Proceedings of the 3rd Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT), Pisa, Italy, July, 2007
Abstract to be published Vladimir Tosic
Web services and LIXI: A primer
Lecture, LIXI (Lending Industry XML Initiative) Workshop in Sydney, Australia, Sydney, Australia, July, 2007.
Abstract to be published Vladimir Tosic, Abdelkarim Erradi and Piyush Maheshwari
WS-Policy4MASC - a WS-policy extension used in the MASC middleware
IEEE Services Computing Conference (SCC 2007), pp. 458-465, Salt Lake City, USA, July, 2007
Abstract to be published Vladimir Tosic, Aad van Moorsel and Raymond Wong
Special issue on middleware for web services (MWS)
Volume 2, Number 3, pp. 153-244 (editorial 153-155), July, 2007
Abstract PDF Andrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, Dilma Da Silva, Orran Krieger and Gernot Heiser
Reboots are for hardware: Challenges and solutions to updating an operating system on the fly
Proceedings of the 2007 USENIX Annual Technical Conference, pp. 337–350, Santa Clara, CA, USA, June, 2007
Abstract PDF Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg and Felix Rauch
Model Checking Software at Compile Time
Proceedings of the 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China, June, 2007
Abstract to be published John S Gero and Udo Kannengiesser
Creative designing: An ontological view
Design Creativity Workshop, pp. unnumbered, Washington DC, June, 2007
Abstract PDF Leonid Ryzhyk, Timothy Bourke and Ihor Kuz
Reliable device drivers require well-defined protocols
Proceedings of the 3rd Workshop on Hot Topics in System Dependability, Edinburgh, UK, June, 2007
Abstract to be published Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song and Leendert van der Torre
Contextual deliberation of cognitive agents in defeasible logic
6th International Conference on Autonomous Agents and Multi-Agent Systems, pp. 148-150, Honolulu, Hawai'i, May, 2007
Abstract PDF Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe and Gernot Heiser
Towards a practical, verified kernel
Proceedings of the 11th Workshop on Hot Topics in Operating Systems, pp. 117–122, San Diego, CA, USA, May, 2007
Abstract to be published Robert van Glabbeek and Peter Mosses
Preface, proceedings of the 3rd workshop on structural operational semantics
Volume 175, Number 1, pp. 1-2, May, 2007
Abstract PDF Gerwin Klein, Michael Norrish, Kevin Elphinstone and Gernot Heiser
Verifying a high-performance micro-kernel
7th Annual High-Confidence Software and Systems Conference, Baltimore, MD, USA, May, 2007
Abstract link Ihor Kuz, Yan Liu, Ian Gorton and Gernot Heiser
CAmkES: A component model for secure microkernel-based embedded systems
Journal of Systems and Software Special Edition on Component-Based Software Engineering of Trustworthy Embedded Systems, Volume 80, Number 5, pp. 687–699, May, 2007
Preprint
Abstract PDF Timothy Roscoe, Kevin Elphinstone and Gernot Heiser
Hype and virtue
Proceedings of the 11th Workshop on Hot Topics in Operating Systems, pp. 19–24, San Diego, CA, USA, May, 2007
Abstract to be published Paul Bannerman
Software project risk in the public sector
Australian Software Engineering Conference, pp. 389-398, Melbourne/Australia, April, 2007
Abstract to be published Yuxin Deng, Robert van Glabbeek, Matthew Hennessy, Carroll Morgan and Chenyi Zhang
Remarks on testing probabilistic processes
Volume 172, Number , pp. 359-397, April, 2007
Abstract to be published Ross Jeffery, Barbara Kitchenham and Colin Connaughton
Misleading metrics and unsound analyses
Volume 24, Number 2, pp. 66-72, April, 2007
Abstract to be published Myilone Anandarajah, Ricky Robinson and Jadwiga Indulska
Hoarding context information with context clusters
4th IEEE Workshop on Context Modelling and Reasoning (CoMoRea 2007), pp. 33-38, New York, USA, March, 2007
Abstract to be published Yuxin Deng, Robert van Glabbeek, Carroll Morgan and Chenyi Zhang
Scalar outcomes suffice for finitary probabilistic testing
16th European Symposium on Programming, ESOP 2007, pp. 363-378, Braga, Portugal, March, 2007
Abstract PDF Ihor Kuz and Stefan M. Petters
Proceedings of the 1st International Workshop on Microkernels for Embedded Systems (MIKES)
Sydney, Australia (March, 2007). NICTA.
Abstract to be published Ricky Robinson, Karen Henricksen and Jadwiga Indulska
XCML: A runtime representation for the context modelling language
The 4th International Workshop on Context Modelling and Reasoning (CoMoRea 2007), pp. 20-26, New York, USA, March, 2007
Abstract PDF Peter Chubb, Matthew Chapman and Myrto Zehnder
[para]virtualisation without pain
8th Linux.conf.au, Sydney, NSW, January, 2007
Abstract PDF Dhammika Elkaduwe, Philip Derrin and Kevin Elphinstone
A memory allocation model for an embedded microkernel
Proceedings of the 1st International Workshop on Microkernels for Embedded Systems (MIKES), pp. 28–34, Sydney, Australia, January, 2007
Abstract PDF Nicholas FitzRoy-Dale
A declarative approach to extensible interface compilation
Proceedings of the 1st International Workshop on Microkernels for Embedded Systems (MIKES), Sydney, Australia, January, 2007
Abstract PDF Stefan M. Petters
Execution-time profiles
Technical Report, NICTA, January, 2007
Abstract PDF Mohit Singal and Stefan M. Petters
Issues in analysing L4 for its WCET
Proceedings of the 1st International Workshop on Microkernels for Embedded Systems (MIKES), Sydney, Australia, January, 2007
Abstract PDF Harvey Tuch, Gerwin Klein and Michael Norrish
Types, bytes, and separation logic
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 97–108, Nice, France, January, 2007
Abstract PDF Carl van Schaik and Gernot Heiser
High-performance microkernels and virtualisation on ARM and segmented architectures
Proceedings of the 1st International Workshop on Microkernels for Embedded Systems (MIKES), Sydney, Australia, January, 2007

2006

Abstract to be published Peizhao Hu, Jadwiga Indulska and Ricky Robinson
Reconfigurable middleware for sensor based applications
the 3rd international Middleware Doctoral Symposium, pp. CD, Melbourne, Australia, December, 2006
Abstract PDF Sergio Ruocco
User-level fine-grained adaptive real-time scheduling via temporal reflection
Proceedings of the 27th IEEE Real-Time Systems Symposium, Rio De Janeiro, Brazil, December, 2006
Abstract PDF Timothy Bourke and Stefan M. Petters
Work in Progress Proceedings of the 13th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) 2007
Sydney, Australia (October, 2006).
Abstract link Timothy Bourke and Arcot Sowmya
A timing model for synchronous language implementations in Simulink
Proceedings of the 6th International Conference on Embedded Software, pp. 93–101, Seoul, South Korea, October, 2006
plain text to be published Peter Chubb
The gpt and superpages
Gelato ICE, Singapore, October, 2006
Fuzzy Penguin Award!
Abstract to be published Ansgar Fehnker and Annabelle McIver
Formal techniques for the analysis of wireless networks.
2nd International Symposium on Leveraging of Formal Maethods, Verification and Validation (IEEE-ISOLA), October, 2006
Abstract PDF Geoffrey Lee and Charles Gray
L4/Darwin: Evolving UNIX
Conference for Unix, Linux and Open Source Professionals (AUUG), Melbourne, Vic, Australia, October, 2006
Slides
Abstract PDF Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock and Manuel M. T. Chakravarty
Running the manual: An approach to high-assurance microkernel development
Proceedings of the ACM SIGPLAN Haskell Workshop, Portland, OR, USA, September, 2006
Abstract to be published Ansgar Fehnker and Bruce H. Krogh
Hybrid system verification is not a sinecure - the electronic throttle control case study
Volume 17, Number 4, pp. 885-902, September, 2006
Abstract to be published Ricky Robinson and Jadwiga Indulska
Adaptive and resilient systems for emergency response
RNSA Security Technology Conference, pp. 431-439, Canberra, Australia, September, 2006
Abstract PDF Kevin Elphinstone, Gerwin Klein and Rafal Kolanski
Formalising a high-performance microkernel
Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 06), pp. 1-7, Seattle, USA, August, 2006
Abstract to be published Ansgar Fehnker and Peng Gao
Formal verification and simulation for performance analysis for probabilistic broadcast protocols
Ad-Hoc, Mobile, and Wireless Networks, 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006, pp. 128-141, August, 2006
Abstract PDF Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg and Felix Rauch
Goanna — A Static Model Checker
Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), pp. 297–300, Bonn, Germany, August, 2006
Published in Lecture Notes in Computer Science, Springer-Verlag (Vol. 4346).
Abstract PDF Stefan Schaefer, Bernhard Scholz, Stefan M. Petters and Gernot Heiser
Static analysis support for measurement-based WCET analysis
12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Work-in-Progress Session, Sydney, Australia, August, 2006
Abstract to be published Kevin Elphinstone and Scott Brandt
Proceedings of the 2007 workshop on operating system platforms for embedded real-time applications
Technical Report, NICTA, July, 2006
Abstract PDF Sergio Ruocco
Real-Time Programming and L4 Microkernels
Proceedings of the 2nd Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT), Dresden, Germany, July, 2006
Abstract PDF Daniel Potts and Ihor Kuz
Adapting distributed shared memory applications in diverse environments
Proceedings of the 6th International Symposium on Cluster Computing and the Grid, Singapore, May, 2006
Abstract to be published Insu Song and Guido Governatori
Designing agent chips
5th International Conference on Autonomous Agents and Multi-Agent Systems, pp. 1311-1313, Hakodate, Hokkaido, Japan, May, 2006
Abstract to be published G. Nair, Meitian Huang and Rob Evans
Optimal infinite horizon control under a low data rate.
14th IFAC Symposium, System Identification, pp. 1115 - 1120, Newcastle Australia, March, 2006
Abstract to be published Myilone Anandarajah, Jadwiga Indulska and Ricky Robinson
Caching context information in pervasive systems
The 3rd International Middleware Doctoral Symposium, pp. CD, Melbourne, Australia, January, 2006
Abstract to be published Paul Bannerman
Risk factors in NSW government agency
Technical Report, NSW Department of Commerce (on behalf of NSW Government), January, 2006
Abstract PDF Dhammika Elkaduwe, Philip Derrin and Kevin Elphinstone
Kernel data – first class citizens of the system
Proceedings of the 2nd International Workshop on Object Systems and Software Architectures , pp. 39–43, Victor Harbor, South Australia, Australia, January, 2006
Abstract PDF Gernot Heiser, Volkmar Uhlig and Joshua LeVasseur
Are virtual-machine monitors microkernels done right?
ACM Operating Systems Review, Volume 40, Number 1, pp. 95–99, January, 2006
Abstract PDF Rafal Kolanski and Gerwin Klein
Formalising the L4 microkernel API
Computing: The Australasian Theory Symposium (CATS), pp. 53–68, Hobart, Australia, January, 2006
Abstract PDF Ben Leslie
GrailOS: A micro-kernel based, multi-server, multi-personality operating system
Proceedings of the 2nd International Workshop on Object Systems and Software Architectures , Victor Harbor, South Australia, Australia, January, 2006
Abstract PDF Leonid Ryzhyk and Ihor Kuz
Towards operating system support for application-specific fault-tolerance protocols
Proceedings of the 2nd International Workshop on Object Systems and Software Architectures , pp. 63–67, Victor Harbor, South Australia, Australia, January, 2006
Abstract PDF Gerwin Klein and Tobias Nipkow
A machine-checked model for a Java-like language, virtual machine, and compiler
ACM Transactions on Programming Languages and Systems, Volume 28, Number 4, pp. 619–695, 2006
Abstract PDF Simon Winwood, Gerwin Klein and Manuel Chakravarty
On the synthesis of proof-carrying temporal reference monitors
Proceedings of the 16th International Symposium on Logic-Based Program Synthesis and Transformation, pp. 111–126, Venice, Italy, 2006

2005

Abstract PDF Gernot Heiser
Secure embedded systems need microkernels
USENIX ;login:, Volume 30, Number 6, pp. 9–13, December, 2005
Abstract to be published Meitian Huang, G.N. Nair and Rob Evans
Finite horizon LQ optimal control and computation with data rate constraints.
44th IEEE Conference Decision & Control, pp. 179-184, Seville, Spain, December, 2005
Abstract PDF Harvey Tuch and Gerwin Klein
A unified memory model for pointers
Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, pp. 474–488, Montego Bay, Jamaica, December, 2005
Abstract PDF Kevin Elphinstone, Gernot Heiser, Ralf Huuck, Stefan M. Petters and Sergio Ruocco
L4cars
3rd Embedded Security in Cars Conference (escar), Cologne, Germany, November, 2005
Abstract PDF Andrew Baumann and Jonathan Appavoo
Improving dynamic update for operating systems
Proceedings of the 20th ACM Symposium on Operating Systems Principles, Work-in-Progress Session, Brighton, UK, October, 2005
plain text to be published Peter Chubb
Which filesystem?
Gelato ICE, Brazil, October, 2005
Abstract PDF Gernot Heiser, Volkmar Uhlig and Joshua LeVasseur
Are virtual-machine monitors microkernels done right?
Technical Report PA005103, NICTA, October, 2005
Abstract PDF Joshua LeVasseur, Volkmar Uhlig, Matthew Chapman, Peter Chubb, Ben Leslie and Gernot Heiser
Pre-virtualization: Slashing the cost of virtualization
Technical Report PA005520, NICTA, October, 2005
Abstract PDF Felix Rauch
Comprehensive Throughput Evaluation of LANs in Clusters of PCs with Switchbench — or How to Bring Your Switch to its Knees
Proceedings of the IEEE International Symposium on Workload Characterization 2005, Austin, TX, USA, October, 2005
Abstract PDF Ben Leslie, Peter Chubb, Nicholas FitzRoy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yueting (Rita) Shen, Kevin Elphinstone and Gernot Heiser
User-level device drivers: Achieved performance
Journal of Computer Science and Technology, Volume 20, Number 5, pp. 654–664, September, 2005
See TR PA005043 for a preprint
Abstract PDF David C. Snowdon, Sergio Ruocco and Gernot Heiser
Power management and dynamic voltage scaling: Myths and facts
Proceedings of the 2005 Workshop on Power Aware Real-time Computing, New Jersey, USA, September, 2005
Preliminary workshop version
Abstract PDF Stefan M. Petters
Deadline spanning: A graph based approach
Embedded Real-Time Computing Systems and Applications (RTCSA 2005), Hong Kong, China, August, 2005
Abstract PDF David Andrews, Iain Bate, Thomas Nolte, Clara Otero-Perez and Stefan M. Petters
Impact of embedded systems evolution on RTOS use and design
Proceedings of the 1st Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT), Palma, Mallorca, Spain, July, 2005
Abstract PDF Ben Leslie, Peter Chubb, Nicholas FitzRoy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yueting (Rita) Shen, Kevin Elphinstone and Gernot Heiser
User-level device drivers: Achieved performance
Technical Report PA005043, NICTA, July, 2005
Abstract PDF David C. Snowdon, Stefan M. Petters and Gernot Heiser
Power measurement as the basis for power management
Proceedings of the 1st Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT), Palma, Mallorca, Spain, July, 2005
Abstract PS Simon Winwood and Manuel Chakravarty
Secure untrusted binaries — provably!
3rd International Workshop on Formal Aspect of Security and Trust (FAST), Newcastle upon Tyne, UK, July, 2005
Abstract PDF Harvey Tuch, Gerwin Klein and Gernot Heiser
OS verification — now!
Proceedings of the 10th Workshop on Hot Topics in Operating Systems, pp. 7–12, Santa Fe, NM, USA, June, 2005
Abstract PDF Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski and Jeremy Kerr
Providing dynamic update in an operating system
Proceedings of the 2005 USENIX Annual Technical Conference, pp. 279–291, Anaheim, CA, USA, April, 2005
Abstract PDF Andrew Baumann, Jeremy Kerr, Jonathan Appavoo, Dilma Da Silva, Orran Krieger and Robert W. Wisniewski
Module hot-swapping for dynamic update and reconfiguration in K42
6th Linux.conf.au, Canberra, Australia, April, 2005
Abstract link Timothy Bourke and Arcot Sowmya
Formal models in industry standard tools: An Argos block within Simulink
International Journal on Software Engineering and Knowledge Engineering: Selected Papers from the 2005 International Conference on Embedded and Hybrid Systems, pp. 389–395, Singapore, April, 2005
Abstract PDF Matthew Chapman and Gernot Heiser
Implementing transparent shared memory on clusters using virtual machines
Proceedings of the 2005 USENIX Annual Technical Conference, pp. 383–386, Anaheim, CA, USA, April, 2005
Abstract PDF Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger-Tang and Gernot Heiser
Itanium — a system implementor's tale
Proceedings of the 2005 USENIX Annual Technical Conference, pp. 264–278, Anaheim, CA, USA, April, 2005
Best Student Paper Award!
Abstract PDF Ben Leslie, Carl van Schaik and Gernot Heiser
Wombat: A portable user-mode Linux for embedded systems
6th Linux.conf.au, Canberra, April, 2005
Abstract PDF Felix Rauch and Thomas M. Stricker
OS Support for a Commodity Database on PC Clusters — Distributed Devices vs. Distributed File Systems
Proceedings of the 16th Australasian Database Conference (ADC), pp. 145–154, Newcastle, Australia, January, 2005
Abstract PDF Rafal Kolanski
A formal model of the L4 micro-kernel API using the B method
Technical Report Technical Report 05-00029-1, National ICT Australia, 2005

2004

Abstract PDF Frank Engel, Gernot Heiser, Peter Mumford, Kevin Parkinson and Chris Rizos
An open GNSS receiver platform architecture
International Symposium on GNSS/GPS, Sydney, Australia, December, 2004
Abstract PDF Frank Engel, Gernot Heiser, Ihor Kuz, Stefan M. Petters and Sergio Ruocco
Operating systems on SoCs: A good idea?
Embedded Real-Time Systems Implementation (ERTSI 2004) Workshop, Lisbon, Portugal, December, 2004
Abstract to be published Meitian Huang and S. Dey
Distributed state estimation for hidden markov models by sensor networks with dynamic quantization
ISSNIP Conference, pp. 1-6, Melbourne, Australia, December, 2004
Abstract PDF Andrew Baumann, Jonathan Appavoo, Dilma Da Silva, Orran Krieger and Robert W. Wisniewski
Improving operating system availability with dynamic update
Proceedings of the 1st Workshop on Operating System and Architectural Support for the On-Demand IT Infrastructure (OASIS), Boston, MA, USA, October, 2004
Abstract PDF Kevin Elphinstone
Future directions in the evolution of the L4 microkernel
Proceedings of the NICTA workshop on OS verification 2004, Technical Report 0401005T-1, Sydney, Australia, October, 2004
Abstract PDF Harvey Tuch and Gerwin Klein
Verifying the L4 virtual memory subsystem
Proceedings of the NICTA workshop on OS verification 2004, Technical Report 0401005T-1, pp. 73–97, Sydney, Australia, October, 2004
Abstract PDF Kevin Elphinstone and Stefan Goetz
Initial evaluation of a user-level device driver framework
Proceedings of the 9th Asia-Pacific Computer Systems Architecture Conference, Beijing, China, September, 2004
Abstract PDF Gerwin Klein and Harvey Tuch
Towards verified virtual memory in L4
TPHOLs Emerging Trends '04, pp. 16 pages, Park City, Utah, USA, September, 2004
Abstract to be published Michael Norrish
Recursive function definition for types with binders
Theorem Proving in Higher Order Logics, pp. 241–256, Park City, Utah, United States, September, 2004
Abstract PDF Ian Wienand and Luke Macpherson
Ipbench: A framework for distributed network benchmarking
AUUG Winter Conference, Melbourne, Australia, September, 2004
Abstract PDF Ihor Kuz
L4 user manual — API version X.2
June, 2004
Abstract PDF Luke Macpherson and Gernot Heiser
Maintaining end-system performance under network overload
Technical Report UNSW-CSE-TR-0412, School of Computer Science and Engineering, March, 2004
Abstract PS Ben Leslie, Nicholas FitzRoy-Dale and Gernot Heiser
Encapsulated user-level device drivers in the Mungi operating system
Proceedings of the Workshop on Object Systems and Software Architectures 2004, Victor Harbor, South Australia, Australia, January, 2004
Abstract PS Daniel Potts, Charles Gray, Ben Leslie and Gernot Heiser
A secure, language independent, high performance component interface
Proceedings of the Workshop on Object Systems and Software Architectures 2004, Victor Harbor, South Australia, January, 2004

2003

Abstract PDF Andreas Haeberlen and Kevin Elphinstone
User-level management of kernel memory
Proceedings of the 8th Asia-Pacific Computer Systems Architecture Conference, Aizu-Wakamatsu City, Japan, September, 2003
Abstract to be published Michael Norrish
Complete integer decision procedures as derived rules in HOL
Theorem Proving in Higher Order Logics, pp. 71-86, Rome, September, 2003
Abstract PDF Christan Szmajda and Gernot Heiser
Generalised radix page table: A page table for modern architectures
Proceedings of the 8th Asia-Pacific Computer Systems Architecture Conference, pp. 290-304, Aizu-Wakamatsu City, Japan, September, 2003
Abstract PS Adam Wiggins, Harvey Tuch, Volkmar Uhlig and Gernot Heiser
Implementation of fast address-space switching and TLB sharing on the StrongARM processor
Proceedings of the 8th Asia-Pacific Computer Systems Architecture Conference, Aizu-Wakamatsu City, Japan, September, 2003
Abstract PS Adam Wiggins, Simon Winwood, Harvey Tuch and Gernot Heiser
Legba: Fast hardware support for fine-grained protection
Proceedings of the 8th Asia-Pacific Computer Systems Architecture Conference, Aizu-Wakamatsu City, Japan, September, 2003
Abstract PDF Matthew Chapman, Ian Wienand and Gernot Heiser
Itanium page tables and TLB
Technical Report UNSW-CSE-TR-0307, School of Computer Science and Engineering, May, 2003
Abstract PDF Ben Leslie and Gernot Heiser
Towards untrusted device drivers
Technical Report UNSW-CSE-TR-0303, School of Computer Science and Engineering, March, 2003

Other technical reports of the School of Computer Science & Engineering.

Non-NICTA Publications

These publications are from NICTA-independent work of the UNSW OS group (DiSy) which is co-located with ERTOS. They include outcomes of ARC-funded projects and pre-NICTA work of the group.

2009

Abstract PDF Joshua LeVasseur
Device-driver reuse via virtual machines
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2009

2008

Abstract PDF Ian Wienand
Transparent large-page support for Itanium Linux
ME Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2008
Abstract PDF Daniel Potts
Eidolon: Adapting distributed applications to their environment
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2008

2006

plain text to be published Myrto Zehnder and Peter Chubb
Virtualising PCI
Gelato ICE, Singapore, October, 2006
Abstract PDF Shehjar Tikoo and Peter Chubb
Improving NFS performance
Gelato ICE conference, San Jose, CA, April, 2006

2005

plain text to be published Peter Chubb
Bugs: getting them stomped!
Gelato ICE, Brazil, October, 2005
Abstract PDF Peter Chubb and Darren Williams
Linux scalability — from the micro to the HUGE
6th Linux.conf.au, Canberra, ACT, April, 2005

2004

Abstract PDF Peter Chubb
Get more device drivers out of the kernel!
Ottawa Linux Symposium, Ottawa, Canada, July, 2004
Abstract PDF Peter Chubb
Linux kernel infrastructure for user-level device drivers
5th Linux.conf.au, Adelaide, Australia, January, 2004

2003

Abstract PDF Peter Chubb
Where's all the time going? Microstate accounting in Linux 2.5
AUUG Winter Conference, Melbourne, Australia, September, 2003
Abstract PDF Andreas Haeberlen and Kevin Elphinstone
User-level management of kernel memory
Proceedings of the 8th Asia-Pacific Computer Systems Architecture Conference, Aizu-Wakamatsu City, Japan, September, 2003
Abstract PDF Adam Wiggins
A survey on the interaction between caching, translation and protection
Technical Report UNSW-CSE-TR-0321, School of Computer Science and Engineering, August, 2003

2002

Abstract PS Peter Chubb
Terabytes on a diet
AUUG Winter Conference, Melbourne, Australia, September, 2002
Abstract PDF Shane Stephens and Gernot Heiser
Fault tolerance and avoidance in biomedical systems
Proceedings of the 10th SIGOPS European Workshop, St Emilion, France, September, 2002
Abstract PDF Peter Chubb
YOU ARE LOST in a maze of BitKeeper repositories — all almost the same
Australian Open Source Symposium, Sydney, Australia, July, 2002
Abstract PS Simon Winwood, Yefim Shuf and Hubertus Franke
Multiple page size support in the Linux kernel
Ottawa Linux Symposium, Ottawa, Canada, June, 2002
Abstract PDF Daniel Potts, Simon Winwood and Gernot Heiser
Design and implementation of the L4 microkernel for Alpha multiprocessors
Technical Report UNSW-CSE-TR-0201, School of Computer Science and Engineering, February, 2002
Abstract PS Kingsley Cheung and Gernot Heiser
A resource management framework for priority-based physical-memory allocation
Proceedings of the 7th Asia-Pacific Computer Systems Architecture Conference, Monash University, Melbourne, Australia, January, 2002
Abstract PDF Volkmar Uhlig, Uwe Dannowski, Espen Skoglund, Andreas Haeberlen and Gernot Heiser
Performance of address-space multiplexing on the Pentium
Technical Report 2002-1, Computer Science Department, University of Karlsruhe, 2002

2001

Abstract PDF Gernot Heiser
Dealing with TLB tags
2nd Workshop on Microkernels and Microkernel-based Systems, Lake Louise, Alta, Canada, October, 2001
Abstract PS Cristan Szmajda
Calypso: A portable translation layer
2nd Workshop on Microkernels and Microkernel-based Systems, Lake Louise, Alta, Canada, October, 2001
Abstract PDF Antony Edwards and Gernot Heiser
Secure OS extensibility needn't cost an arm and a leg
Proceedings of the 8th Workshop on Hot Topics in Operating Systems, pp. 168, Schloss Elmau, Germany, May, 2001
Abstract PDF Antony Edwards and Gernot Heiser
A component architecture for system extensibility
Technical Report UNSW-CSE-TR-0103, School of Computer Science and Engineering, March, 2001
Abstract PDF Daniel Potts, Simon Winwood and Gernot Heiser
L4 reference manual: Alpha 21x64
Technical Report UNSW-CSE-TR-0104, School of Computer Science and Engineering, March, 2001
plain text to be published Daniel Potts, Simon Winwood and Gernot Heiser
L4 reference manual: Alpha 21x64
University of NSW, Sydney 2052, Australia, March, 2001
Abstract PS Mohit Aron, Yoonho Park, Trent Jaeger, Jochen Liedtke, Kevin Elphinstone and Luke Deller
The SawMill framework for VM diversity
Proceedings of the 6th Australasian Computer Systems Architecture Conference, Gold Coast, Australia, January, 2001
Abstract PS Alan Au and Gernot Heiser
Enhancing IA64 memory management
2nd Linux.conf.au, Sydney, Australia, January, 2001
Abstract PS Antony Edwards and Gernot Heiser
Components + Security = OS Extensibility
Proceedings of the 6th Australasian Computer Systems Architecture Conference, pp. 27–34, Gold Coast, Australia, January, 2001
Abstract PDF Gernot Heiser
Inside L4/MIPS: Anatomy of a high-performance microkernel
University of NSW, Sydney 2052, Australia, January, 2001

2000

Abstract PS Adam Wiggins and Gernot Heiser
Fast address-space switching on the StrongARM SA-1100 processor
Proceedings of the 5th Australasian Computer Architecture Conference, pp. 97–104, Canberra, Australia, January, 2000
Abstract PDF Alain Gefflaut, Trent Jaeger, Yoonho Park, Jochen Liedtke, Kevin J. Elphinstone, Volkmar Uhlig, Jonathon E. Tidswell, Luke Deller and Lars Reuther
The Sawmill multiserver approach
Proceedings of the 9th SIGOPS European Workshop, pp. 109–114, Kolding, Denmark, 2000

1999

plain text to be published Kevin Elphinstone
Scheduling stuff
October, 1999
Abstract PS Luke Deller and Gernot Heiser
Linking programs in a single address space
Proceedings of the 1999 USENIX Annual Technical Conference, pp. 283–294, Monterey, Ca, USA, June, 1999
plain text to be published Kevin Elphinstone, Gernot Heiser and Jochen Liedtke
L4 reference manual: MIPS R4x00, version 1.11, kernel version 79
University of NSW, Sydney 2052, Australia, May, 1999
Abstract PS Kevin Elphinstone
Virtual memory in a 64-bit microkernel
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 1999
Abstract to be published Trent Jaeger, Kevin Elphinstone, Jochen Liedtke, Vsevolod Panteleenko and Yoonho Park
Flexible access control using IPC redirection
Proceedings of the 7th Workshop on Hot Topics in Operating Systems, Rio Rico, AZ, USA, March, 1999
Abstract PS Kevin Elphinstone, Gernot Heiser and Jochen Liedtke
Page tables for 64-bit computer systems
Proceedings of the 4th Australasian Computer Architecture Conference, pp. 211-226, Auckland, New Zealand, January, 1999

1998

Abstract PDF Kevin Elphinstone, Gernot Heiser and Jochen Liedtke
Page tables for 64-bit computer systems
Technical Report UNSW-CSE-TR-9804, School of Computer Science and Engineering, August, 1998
Abstract PS Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell and Jochen Liedtke
The Mungi single-address-space operating system
Software: Practice and Experience, Volume 28, Number 9, pp. 901–928, July, 1998
Abstract PS Jerry Vochteloo
Design, implementation and performance of protection in the Mungi single-address-space operating system
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 1998
Abstract PDF Alan Au and Gernot Heiser
L4 User Manual — version 1.0
Technical Report UNSW-CSE-TR-9801, School of Computer Science and Engineering, April, 1998
Abstract PS Gernot Heiser, Fondy Lam and Stephen Russell
Resource management in the Mungi single-address-space operating system
Proceedings of the 21st Australasian Computer Science Conference (ACSC), pp. 417–428, Perth, Australia, February, 1998

1997

plain text to be published Kevin Elphinstone, Gernot Heiser and Jochen Liedtke
L4 reference manual: MIPS R4x00
University of NSW, Sydney 2052, Australia, December, 1997
Abstract PDF Kevin Elphinstone, Gernot Heiser and Jochen Liedtke
L4 reference manual – MIPS R4x00 — Version 1.0
Technical Report UNSW-CSE-TR-9709, School of Computer Science and Engineering, December, 1997
Abstract PDF Gernot Heiser, Fondy Lam and Stephen Russell
Resource management in the Mungi single-address-space operating system
Technical Report UNSW-CSE-TR-9705, University of NSW, August, 1997
Abstract PDF Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell and Jochen Liedtke
Implementation and performance of the Mungi single-address-space operating system
Technical Report UNSW-CSE-TR-9704, University of NSW, June, 1997
Abstract PDF Jochen Liedtke, Kevin Elphinstone, Sebastian Schönberg, Herrman Härtig, Gernot Heiser, Nayeem Islam and Trent Jaeger
Achieved IPC performance (still the foundation for extensibility)
Proceedings of the 6th Workshop on Hot Topics in Operating Systems, pp. 28–31, Cape Cod, MA, USA, May, 1997
Abstract PDF Gernot Heiser, Jerry Vochteloo, Kevin Elphinstone and Stephen Russell
The Mungi kernel API/Release 1.0
Technical Report UNSW-CSE-TR-9701, School of Computer Science and Engineering, March, 1997

1996

Abstract PS Jerry Vochteloo, Kevin Elphinstone, Stephen Russell and Gernot Heiser
Protection domain extensions in Mungi
Proceedings of the 5th IEEE International Workshop on Object Orientation in Operating Systems (IWOOOS), pp. 161–165, Seattle, WA, USA, October, 1996
Abstract PS Jinsong Ouyang and Gernot Heiser
Libra: A library for reliable distributed applications
International Conference on Parallel and Distributed Processing Techniques and Applications, pp. 801–810, Sunnyvale, CA, USA, August, 1996
Abstract PS Kevin Elphinstone, Stephen Russell, Gernot Heiser and Jochen Liedtke
Supporting persistent object systems in a single address space
Proceedings of the 7th International Workshop on Persistent Object Systems (POS), pp. 111–119, Cape May, NJ, USA, May, 1996
Abstract to be published Jochen Liedtke and Kevin Elphinstone
Guarded page tables on MIPS R4600 or an exercise in architecture-dependent micro optimization
ACM Operating Systems Review, Volume 30, Number 1, pp. 4–15, January, 1996

1995

Abstract PDF Jochen Liedtke and Kevin Elphinstone
Guarded page tables on MIPS R4600 or an exercise in architecture-dependent micro optimization
Technical Report UNSW-CSE-TR-9503, School of Computer Science and Engineering, November, 1995
Abstract PDF Tim Wilkinson, Kevin Murray, Stephen Russell, Gernot Heiser and Jochen Liedtke
Single address space operating systems
Technical Report UNSW-CSE-TR-9504, University of NSW, November, 1995
Abstract to be published Jinsong Ouyang and Gernot Heiser
Checkpointing and recovery for distributed shared memory applications
Proceedings of the 4th IEEE International Workshop on Object Orientation in Operating Systems (IWOOOS), pp. 191–9, Lund, Sweden, August, 1995

1994

Abstract PDF Kevin Elphinstone, Stephen Russell and Gernot Heiser
Issues in implementing virtual memory
Technical Report UNSW-CSE-TR-9411, School of Computer Science and Engineering, September, 1994
Abstract PS Gernot Heiser, Kevin Elphinstone, Stephen Russell and Jerry Vochteloo
Mungi: A distributed single-address-space operating system
Proceedings of the 17th Australasian Computer Science Conference (ACSC), pp. 271–80, Christchurch, New Zealand, January, 1994

1993

Abstract PS Jerry Vochteloo, Stephen Russell and Gernot Heiser
Capability-based protection in the Mungi operating system
Proceedings of the 3rd IEEE International Workshop on Object Orientation in Operating Systems (IWOOOS), pp. 108–15, Asheville, NC, USA, December, 1993
Abstract PDF Kevin Elphinstone
Address space management issues in the Mungi operating system
Technical Report UNSW-CSE-TR-9312, School of Computer Science and Engineering, November, 1993
Abstract PDF Gernot Heiser, Kevin Elphinstone, Stephen Russell and Jerry Vochteloo
Mungi: A distributed single address-space operating system
Technical Report UNSW-CSE-TR-9314, School of Computer Science and Engineering, November, 1993
Abstract PDF Gernot Heiser, Kevin Elphinstone, Stephen Russell and Graham R. Hellestrand
A distributed single address space system supporting persistence
Technical Report UNSW-CSE-TR-9302, University of NSW, March, 1993

1992

Abstract PS Stephen Russell, Alan Skea, Kevin Elphinstone, Gernot Heiser, Keith Burston, Ian Gorton and Graham Hellestrand
Distribution + persistence = global virtual memory
Proceedings of the 2nd IEEE International Workshop on Object Orientation in Operating Systems (IWOOOS), pp. 96–99, Dourdan, France, September, 1992

Post-graduate Student Theses

2011

Abstract PDF Rafal Kolanski
Verification of programs in virtual memory using separation logic
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2011
Abstract PDF Etienne Le Sueur
An analysis of the effectiveness of energy management on modern computer processors
MSc Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2011
Abstract PDF Nicholas FitzRoy-Dale
Architecture optimisation
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2011

2010

Abstract PDF Dhammika Elkaduwe
A principled approach to kernel memory management
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2010
Abstract PDF David C. Snowdon
OS-Level power management
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2010
Abstract PDF Leonid Ryzhyk
On the construction of reliable device drivers
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2010

2009

Abstract PDF Joshua LeVasseur
Device-driver reuse via virtual machines
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2009
Abstract PDF Matthew Chapman
vNUMA: Virtual shared-memory multiprocessors
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2009

2008

Abstract PDF Harvey Tuch
Formal memory models for verifying C systems code
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2008
Abstract PDF Ian Wienand
Transparent large-page support for Itanium Linux
ME Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2008
Abstract PDF Daniel Potts
Eidolon: Adapting distributed applications to their environment
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2008

2007

Abstract PDF Luke Macpherson
Performing under overload
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2007
Abstract PDF Andrew Baumann
Dynamic update for operating systems
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2007
Abstract to be published Liming Zhu
Software architecture evaluation for framework-based systems
PhD Thesis, 2007

2005

Abstract link Volkmar Uhlig
Scalability of microkernel-based systems
PhD Thesis, University of Karlsruhe, Karlsruhe, Germany, 2005

1999

Abstract PS Kevin Elphinstone
Virtual memory in a 64-bit microkernel
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 1999

1998

Abstract PS Jerry Vochteloo
Design, implementation and performance of protection in the Mungi single-address-space operating system
PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 1998

Selected Undergraduate Student Theses

Below are a selection of honours theses done with the group. UNSW students can access the complete list.

2011

Abstract PDF Alexandra Boulgakov
Sunswift IV strategy for the 2011 World Solar Challenge
BE Thesis, School of Electrical Engineering, University of NSW, Sydney 2052, Australia, 2011
Abstract PDF Aleksander Budzynowski
Operating system for a flow-graph machine
BE Thesis, School of Mechanical and Manufacturing Engineering, University of NSW, Sydney 2052, Australia, 2011
Abstract PDF Anna Lyons
Efficient concurrency control for high-performance microkernels
BSc Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2011

2010

Abstract PDF Prashant Varanasi
Implementing hardware-supported virtualization in OKL4 on ARM
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2010
Abstract PDF Josh Matthews
Native OKL4 web browser
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2010

2009

Abstract PDF Michael Hills
Native OKL4 Android stack
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2009
Abstract PDF Andrew Wrigley
Steering-Integrated driver controls for sunswift IV
BE Thesis, School of Electrical Engineering, University of NSW, Sydney 2052, Australia, 2009

2008

Abstract PDF Aaron Carroll
I/O scheduling on RAID
BE Thesis, School of Electrical Engineering, University of NSW, Sydney 2052, Australia, 2008

2007

Abstract PDF David Greenaway
Quantifying the effects of scheduling on IPC performance
BSc Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2007
Abstract PDF Joshua Root
Virtualising Darwin on L4
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2007

2006

Abstract PDF Clarence Dang
Optimising L4 on Blackfin 533/537: An investigation into a high performance L4 microkernel without virtual memory
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2006
Abstract PDF Tom Birch
Performance limits of Darwin on L4
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2006

2005

Abstract PDF Geoffrey Lee
I/O kit drivers for L4
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2005
Abstract PDF Matthew Warton
Single kernel stack L4
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2005
Abstract PDF Philip Geoffrey Derrin
A secure microkernel
BSc(Hons) Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2005
Abstract PDF Abi Nourai
A physically-addressed L4 kernel
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2005

2003

Abstract PS Ka-shu Wong
MacOS X on L4
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2003

2002

Abstract PS Andrew Baumann
A thread model for Mungi
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2002
Abstract PS Ben Leslie
Mungi device drivers
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2002
Abstract PDF David C. Snowdon
Hard- and software framework for the optimisation of Sunswift-II
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2002
Abstract PS Harvey Tuch
A comparison of address translation mechanisms for virtually-addressed caches in embedded systems
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2002

2000

Abstract PS Antony Edwards
A component architecture for system extensibility
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2000
Abstract PS Simon Winwood
Flexible scheduling mechanisms in L4
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2000
Abstract PDF Patryk Zadarnowski
The design and implementation of an extendible instruction set simulator
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2000

1999

Abstract PS Luke Deller
Loading and debugging tasks in SawMill
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 1999
Abstract PS Vincent Jayawardene
An intensional engine on L4
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 1999
Abstract PS Daniel Potts
L4 on uni- and multiprocessor Alpha
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 1999
Abstract PS Cristan Szmajda
A new virtual memory implementation for L4/MIPS
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 1999
Abstract PS Adam Wiggins
The design and implementation of the L4 microkernel on the StrongARM SA-1100
BE Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 1999

Served by Apache on Linux on seL4