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
Slides
PDF Leonid Ryzhyk, Adam Christopher Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm and Mona Vij
User-guided device driver synthesis
USENIX Symposium on Operating Systems Design and Implementation, pp. 661-676, Broomfield, CO, USA, October, 2014
Abstract PDF Gerwin Klein, June Andronick, Kevin Elphinstone, Toby Murray, Thomas Sewell, Rafal Kolanski and Gernot Heiser
Comprehensive formal verification of an OS microkernel
ACM Transactions on Computer Systems, Volume 32, Number 1, pp. 2:1-2:70, February, 2014
Abstract
Slides
PDF
Presentation Video
Kevin Elphinstone and Gernot Heiser
From L3 to seL4 – what have we learnt in 20 years of L4 microkernels?
ACM Symposium on Operating Systems Principles, pp. 133-150, Farmington, PA, USA, November, 2013
Abstract
Slides
PDF Thomas Sewell, Magnus Myreen and Gerwin Klein
Translation validation for a verified OS kernel
ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 471-481, Seattle, Washington, USA, June, 2013
Abstract
Slides
PDF 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
Proceedings of the 2nd International Conference on Interactive Theorem Proving, pp. 325–340, Nijmegen, The Netherlands, August, 2011
Abstract
Slides
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
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
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 PDF 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

To appear

Abstract PDF Gilles Benattar, Franck Cassez, Didier Lime and Olivier H. Roux
Control and synthesis of non-interferent timed systems
International Journal of Control
Abstract to be published Raffaele Conforti, Massimiliano de Leoni, Marcello La Rosa, Wil M.P. van der Aalst and Arthur ter Hofstede
A recommendation system for predicting risks across multiple business process instances
Decision Support Systems
Abstract to be published Marcello La Rosa, Marlon Dumas, Chathura Ekanayake, Luciano Garcia-Banuelos, Jan Recker and Arthur ter Hofstede
Detecting approximate clones in business process model repositories
Information Systems
Abstract to be published Qinghua Lu, Sherry Xu, Len Bass, Liming Zhu and Weishan Zhang
Mechanisms for tail-tolerant cloud operations for internet-based software
IEEE Software
Abstract to be published Artem Polyvyanyy, Marcello La Rosa, Chun Ouyang and Arthur ter Hofstede
Untanglings: A novel approach to analyzing concurrent systems
Formal Aspects of Computing
Abstract PDF Stefan Schulte, Christian Janiesch, Srikumar Venugopal, Ingo Weber and Philipp Hoenisch
Elastic business process management: State of the art and open challenges for BPM in the cloud
Future Generation Computer Systems

2015

Abstract to be published Niklas Een, Alexander Legg, Nina Narodytska and Leonid Ryzhyk
SAT-based strategy extraction in reachability games
AAAI, Austin, TX, USA, January, 2015
Abstract PDF Shazia Sadiq and Guido Governatori
Managing regulatory compliance in business processes
Handbook of Business Process Managemnet, pp. 265-288, Volume 2 in International Handbooks on Information Systems, Springer, 2015

2014

Abstract to be published Franck Cassez, Christian Mueller and Karla Burnett
Summary-based interprocedural analysis via modular trace refinement
FSTTCS, India, December, 2014
Abstract to be published Luciano Garcia-Banuelos, Marlon Dumas, Marcello La Rosa, Jochen De Weerdt and Chathura Ekanayake
Controlled automated discovery of collections of business process models
Information Systems, Volume 46, pp. 85-101, December, 2014
Abstract to be published Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco and Giovanni Sartor
Two faces of strategic argumentation in the law
27th International Conference on Legal Knowledge and Information Systems, Krakow, Poland, December, 2014
Abstract to be published Hyungsoo Jung, Hyuck Han, Alan Fekete, Gernot Heiser and Heon Yeom
A scalable lock manager for multicores
ACM Transactions on Database Systems (TODS), Volume 39, Number 4, December, 2014
Abstract to be published Peng Lu, Young Choon Lee, Vincent Gramoli, Luke M. Leslie and Albert Y. Zomaya
Local resource shaper for MapReduce
IEEE International Conference on Cloud Computing Technology and Science, Singapore, December, 2014
Abstract PDF Anna Lyons and Gernot Heiser
Mixed-criticality support in a high-assurance, general-purpose microkernel
Mixed Criticality Workshop, Rome, Italy, December, 2014
Abstract PDF David Cock, Qian Ge, Toby Murray and Gernot Heiser
The last mile: An empirical study of some timing channels on seL4
ACM Conference on Computer and Communications Security, pp. 570-581, Scottsdale, AZ, USA, November, 2014
Abstract to be published Nazrina Khurshid and Paul Bannerman
Modeling SPI sustainment in software-developing organizations: A research framework
SPICE Conference on Process Improvement and Capability dEtermination in Software, Systems Engineering and Service Management, pp. 214-225, Vilnius, Lithuania, November, 2014
Abstract PDF Arthur ter Hofstede, Chun Ouyang, Marcello La Rosa, Liang Song, Jianmin Wang and Artem Polyvyanyy
APQL: A process-model query language
Asia Pacific Conference on Business Process Management (AP-BPM 2013), pp. 23-38, Beijing, China, November, 2014
Abstract PDF Sherry Xu, Xin Ye, Liming Zhu and Qinghua Lu
Role network model-based support for RESTful business processes
Data & Knowledge Engineering, November, 2014
Abstract PDF Cristian Cardellino, Serena Villata, Fabien Gandon, Guido Governatori, Brian Lam and Antonino Rotolo
Licentia: A tool for supporting users in data licensing on the web of data
The 13th International Semantic Web Conference (ISWC) - Posters and Demos Track, Trentino, Italy, October, 2014
Abstract PDF Matthias Daum, Nelson Billing and Gerwin Klein
Concerned with the unprivileged: User programs in kernel refinement
Formal Aspects of Computing, Volume 26, Number 6, pp. 1205-1229, October, 2014
Abstract PDF Matthew Fernandez and Rebekah Leslie-Hurd
Accordion: An EDSL for hardware instruction set extensions
talk at Domain-Specific Language Design and Implementation, Portland, OR, USA, October, 2014
Abstract PDF Guido Governatori, Brian Lam, Antonino Rotolo, Serena Villata, Ghislain Atemezing and Fabien Gandon
Checking licenses compatibility between vocabularies and data
Fifth International Workshop on Consuming Linked Data (COLD2014), Riva del Garda, Italy, October, 2014
Abstract PDF Guido Governatori, Brian Lam, Antonino Rotolo, Serena Villata, Ghislain Atemezing and Fabien Gandon
LIVE: A tool for checking licenses compatibility between vocabularies and data
The 13th International Semantic Web Conference (ISWC) - Posters and Demos Track, Trentino, Italy, October, 2014
Abstract PDF Jörg Hoffmann and Ingo Weber
Web service composition
Encyclopedia of Social Network Analysis and Mining, pp. 2389-2399, Springer, 2014
Abstract PDF Liam O'Connor-Davis, Gabi Keller, Sidney Amani, Toby Murray, Gerwin Klein, Zilin Chen and Christine Rizkallah
CDSL version 1: Simplifying verification with linear types
Technical Report, NICTA, October, 2014
Abstract
Slides
PDF Leonid Ryzhyk, Adam Christopher Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm and Mona Vij
User-guided device driver synthesis
USENIX Symposium on Operating Systems Design and Implementation, pp. 661-676, Broomfield, CO, USA, October, 2014
Abstract to be published Matthew Sladescu, Alan Fekete, Kevin Lee and Anna Liu
GEAP: A generic approach to predicting workload bursts for web hosted events
15th International Conference on Web Information System Engineering, pp. 16, Thessaloniki, Greece, October, 2014
Abstract PDF Mark Staples
Critical rationalism and engineering: methodology
Synthese, October, 2014
Abstract PDF Adam Christopher Walker and Leonid Ryzhyk
Predicate abstraction for reactive synthesis
Conference on Formal Methods in Computer-Aided Design, Lausanne, Switzerland, October, 2014
Abstract PDF Christopher Klinkmüller, Henrik Leopold, Ingo Weber, Jan Mendling and André Ludwig
Listen to me: Improving process model matching through user feedback
International Conference on Business Process Management (BPM), pp. 84–100, Eindhoven, Netherlands, September, 2014
Abstract PDF Hoang Nguyen, Marlon Dumas, Marcello La Rosa, Fabrizio Maria Maggi and Suriadi Suriadi
Mining business process deviance: A quest for accuracy
On the Move Federated Conferences & Workshops (OTM), pp. 436-445, Amantea, Italy, September, 2014
Abstract PDF Mark Staples, Ross Jeffery, June Andronick, Toby Murray, Gerwin Klein and Rafal Kolanski
Productivity for proof engineering
Empirical Software Engineering and Measurement, pp. 15, Turin, Italy, September, 2014
Abstract PDF Ingo Weber, Mostafa Farshchi, Jan Mendling and Jean-Guy Schneider
Mining processes with multi-instantiation: Discovery and conformance checking
Technical Report 201420, School of Computer Science & Engineering, University of New South Wales, September, 2014
Abstract PDF Paul Bannerman
A reassessment of risk management in software projects
Handbook of Project Management and Scheduling, Springer, 2014
Abstract PDF Raffaele Conforti, Marlon Dumas, Luciano Garcia-Baneulos and Marcello La Rosa
Beyond tasks and gateways: Discovering BPMN models with subprocesses, boundary events and activity markers
International Conference in Business Process Management (BPM), pp. 101-117, Haifa, Israel, August, 2014
Abstract
Slides
PDF Mustafa Hashmi, Guido Governatori and Moe Wynn
Modeling obligations with event-calculus
Rule ML 2014, pp. 296-310, Prague, Czec Republic, August, 2014
Abstract PDF Adam Christopher Walker and Leonid Ryzhyk
Predicate abstraction for reactive synthesis
Technical Report NRL-8281, NICTA, August, 2014
Abstract PDF Peter Baumgartner, Joshua Bax and Uwe Waldmann
Finite quantification in hierarchic theorem proving
International Joint Conference on Automated Reasoning (IJCAR), pp. 152-167, Vienna, Austria, July, 2014
Abstract to be published Joshua Bax
A model guided instantiation heuristic for the superposition calculus with theories
Practical Aspects of Automated Reasoning workshop- IJCAR-14, pp. 14, Vienna, Austria, July, 2014
Abstract PDF Timothy Bourke, Robert van Glabbeek and Peter Höfner
Showing invariance compositionally for a process algebra for network protocols
International Conference on Interactive Theorem Proving (ITP '14), pp. 44159, Vienna, Austria, July, 2014
Abstract PDF Erica Calardo, Guido Governatori and Antonino Rotolo
A preference-based non-normal semantics for CTD
Deontic Logic in Computer Science, pp. 65-80, Ghent, Belgium, July, 2014
Abstract PDF Pavol Cerny, Thomas Henzinger, Arjun Radhakrishna, Leonid Ryzhyk and Thorsten Tarrach
Regression-free synthesis for concurrency
International Conference on Computer Aided Verification (CAV), Vienna, Austria, July, 2014
Abstract
Slides
PDF David Cock
From probabilistic operational semantics to information theory - side channels with pGCL in isabelle
Proceedings of the 5th International Conference on Interactive Theorem Proving, pp. 1–15, Vienna, Austria, July, 2014
Abstract PDF Yuxin Deng, Robert van Glabbeek, Matthew Hennessy and Carroll Morgan
Real reward testing for probabilistic processes
Theoretical Computer Science, Volume 538, pp. 16-36, July, 2014
Abstract PDF Niklas Een, Alexander Legg, Nina Narodytska and Leonid Ryzhyk
Interpolants in two-player games
Abstract, iPRA workshop, July, 2014.
Abstract to be published Thibault Gauthier, Cezary Kaliszyk, Chantal Keller and Michael Norrish
Beagle as a HOL4 external ATP method
Practical Aspects of Automated Reasoning, Vienna, July, 2014
Abstract PDF Guido Governatori, Silvano Colombo Tosatto and Pierre Kelsen
Detecting deontic conflicts in dynamic settings
Deontic Logic in Computer Science, pp. 65-80, Ghent, Beligium, July, 2014
Abstract to be published Vincent Gramoli and Rachid Guerraoui
Reusable concurrent data types
28th European Conference on Object Oriented Programming, pp. 25, Uppsala, Sweden, July, 2014
Abstract PDF Badiul Islam, Jason Watson, Renato Iannella and Shlomo Geva
What i want for my social network privacy
Technical Report, NICTA, July, 2014
Abstract PDF Alexander Legg, Nina Narodytska and Leonid Ryzhyk
Practical CNF interpolants via BDDs
Abstract, iPRA workshop, July, 2014.
Abstract PDF Li Liu and Paul Bannerman
Underpricing for construction projects—a double-edged sword: Survey of australian construction contractors
PMI Research Conference 2014, pp. 12, USA, Portland, July, 2014
Abstract PDF Daniel Matichuk, Makarius Wenzel and Toby Murray
An isabelle proof method language
Interactive Theorem Proving (ITP), pp. 16, Vienna, Austria, July, 2014
Abstract to be published Carroll Morgan, Mário Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Catuscia Palamidessi and Geoffrey Smith
Additive and multiplicative notions of leakage, and their capacities
computer security foundations, vienna, Austria, July, 2014
Abstract PDF Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk and Adam Christopher Walker
Solving games without controllable predecessor
International Conference on Computer Aided Verification (CAV), Vienna, Austria, July, 2014
Abstract PDF Daniel Potts, Rene Bourquin, Leslie Andresen, June Andronick, Gerwin Klein and Gernot Heiser
Mathematically verified software kernels: Raising the bar for high assurance implementations
Technical Report, NICTA, July, 2014
Abstract PDF Thomas Sewell
Formal replay of translation validation for highly optimised c: Work in progress
Verification and Program Transformation, Vienna, Austria, July, 2014
Abstract PDF William Billingsley and Jim R.H. Steel
Towards a supercollaborative software engineering MOOC
International Conference on Software Engineering, Hyderabad, India, June, 2014
Short paper, Software Engineering Education Track
Abstract
Slides
PDF Min Fu, Len Bass and Anna Liu
Towards a taxonomy of cloud recovery strategies
Workshop on Dependability and Security of System Operation (DSSO), June, 2014
Abstract PDF Min Fu, Liming Zhu, Len Bass and Anna Liu
Recovery for failures in rolling upgrade on clouds
Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV), June, 2014
Abstract PDF David Greenaway, Japheth Lim, June Andronick and Gerwin Klein
Don't sweat the small stuff: Formal verification of C code without the pain
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 429–439, Edinburgh, UK, June, 2014
Abstract PDF Mustafa Hashmi, Guido Governatori and Moe Wynn
Normative requirements for business process compliance
Third Australasian Symposium on Service Research and Innovation (ASSRI’13), pp. 15, Sydney, Australia , June, 2014
Abstract PDF Qinghua Lu, Liming Zhu, Sherry Xu, Shanshan Li, Len Bass and Weishan Zhang
Mechanisms and architectures for tail-tolerant system operations in cloud
USENIX Workschop on Hot Topics in Cloud Computing, Philadaphia, US, June, 2014
Abstract PDF Sherry Xu, Liming Zhu, Ingo Weber, Len Bass and Daniel Sun
POD-diagnosis: Error diagnosis of sporadic operations on cloud applications
International Conference on Dependable Systems and Networks (DSN), Atlanta, GA, USA, June, 2014
Abstract PDF Sidney Amani, Peter Chubb, Alastair Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk and Yanjin Zhu
Automatic verification of active device drivers
ACM Operating Systems Review, Volume 48, Number 1, May, 2014
Abstract to be published Gerwin Klein
Proof engineering challenges for large-scale verification
Abstract, AI4FM/2014 Workshop.
Abstract PDF Gerwin Klein and Tobias Nipkow
Applications of interactive proof to data flow analysis and security
Software Systems Safety, pp. 77-134, Volume 36 in NATO Science for Peace and Security Series , IOS Press BV, 2014
Abstract PDF Artem Polyvyanyy, Marcello La Rosa and Arthur ter Hofstede
Indexing and efficient instance-based retrieval of process models using untanglings
Advanced Information Systems Engineering, pp. 439-456, Thessaloniki, Greece, May, 2014
Abstract PDF Artem Polyvyanyy, Matthias Weidlich, Raffaele Conforti, Marcello La Rosa and Arthur ter Hofstede
The 4C spectrum of fundamental behavioral relations for concurrent systems
Applications and Theory of Petri Nets and Concurrency (Petri Nets), pp. 210-232, Tunis, Tunisia, May, 2014
Abstract PDF Rudolf Berghammer, Peter Höfner and Insa Stucke
Automated verification of relational while-programs
14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014), pp. 16, Marienstatt im Westerwald, Germany, April, 2014
Abstract
Slides
PDF Bernard Blackham, Mark Liffiton and Gernot Heiser
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 169-178, Berlin, Germany, April, 2014
Abstract PDF Romain Brenguier, Franck Cassez and Jean-Francois Raskin
Energy and mean payoff timed games
Hybrid Systems: Computation and Control (HSCC), pp. 283–292, Germany, April, 2014
Abstract
Slides
PDF Aaron Carroll and Gernot Heiser
Unifying DVFS and offlining in mobile multicores
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Berlin, Germany, April, 2014
Abstract PDF Min Fu
Recovery for sporadic operations on cloud applications
Proceedings of the 23rd Australasian Software Engineering Conference — Doctoral Symposium, Sydney, Australia, April, 2014
Abstract PDF Min Fu, Liming Zhu, Len Bass and Sherry Xu
A recoverability-oriented analysis for operations on cloud applications
IEEE/IFIP Working Conference on Software Architecture (WICSA 2014), pp. 4, Sydney, Australia, April, 2014
Abstract PDF Guido Governatori
Thou shalt is not you will
Technical Report, NICTA, April, 2014
Abstract PDF Peter Höfner and Annabelle McIver
Hopscotch—reaching the target hop by hop
Journal of Logical and Algebraic Methods in Programming (JLAMP), Volume 83, Number 2, pp. 212-224, April, 2014
Abstract
Slides
PDF Gerwin Klein
Proof engineering considered essential
19th International Symposium on Formal Methods (FM), pp. 16-21, Singapore, April, 2014
Abstract PDF Eddie Li, Liam O'Brien and Ye Yang
Impact of product complexity on actual effort in software developments: An empirical investigation
Proceedings of the 22nd Australasian Software Engineering Conference, pp. 10, Sydney , Australia, April, 2014
Abstract PDF Carroll Morgan, Annabelle McIver, Geoffrey Smith, Barbara Espinoza and Larisa Meinicke
Abstract channels and their robust information-leakage ordering
Principles of Security and Trust (ETAPS), pp. 83-102, Grenoble, France, April, 2014
Abstract to be published Paul Rimba
Building secure applications using pattern-based design fragments
Proceedings of the 23rd Australasian Software Engineering Conference — Doctoral Symposium, pp. 4, Sydney, Australia, April, 2014
Abstract to be published Adam Trendowicz and Ross Jeffery
Software project effort estimation: Foundations and best practice guidelines for success
Springer DE, 2014
Abstract
Slides
PDF Liming Zhu, Donna Xu, Sherry Xu, An Binh Tran, Ingo Weber and Len Bass
Challenges in practicing high frequency releases in cloud environments
2nd International Workshop on Release Engineering, pp. 21-24, Mountain View, USA, April, 2014
Abstract PDF Aditi Barthwal and Michael Norrish
A mechanisation of some context-free language theory in HOL4
Journal of Computer and System Sciences, Volume 80, Number 2, pp. 346–362, March, 2014
Abstract PDF Sven Euting, Christian Janiesch, Stefan Tai and Ingo Weber
Scalable business process execution in the cloud
IEEE International Conference on Cloud Engineering, pp. 175-184, Boston, MA, USA, March, 2014
Abstract to be published Sherif Sakr, Anna Liu and Ayman Fayoumi
The family of MapReduce and large scale data processing systems
ACM Computing Surveys, Volume 46, Number 1, pp. 1-44, March, 2014
Abstract PDF Suriadi Suriadi, Burkhard Weiss, Axel Winkelmann, Arthur ter Hofstede, Michael Adams, Raffaele Conforti, Colin Fidge, Marcello La Rosa, Chun Ouyang, Michael Rosemann, Anastasiia Pika and Moe Wynn
Current research in risk-aware business process management – overview, comparison, and gap analysis
Communications of the Association for Information Systems, Volume 34, Number 52, pp. 933-984, March, 2014
Copyright 2014, Association for Information Systems (http://aisel.aisnet.org/cais/vol34/iss1/52/).
Abstract PDF Peter Baumgartner
Model evolution based theorem proving
IEEE Intelligent Systems Magazine (IEEE ISM), Volume 29, Number 1, pp. 4-10, February, 2014
Abstract
Slides
PDF Peter Baumgartner and Uwe Waldmann
Hierarchic superposition with weak abstraction and the beagle theorem prover
Deduction and Arithmetic (Dagstuhl Seminar 13411), pp. 7, Dagstuhl, Germany,, February, 2014
Abstract PDF Gerwin Klein, June Andronick, Kevin Elphinstone, Toby Murray, Thomas Sewell, Rafal Kolanski and Gernot Heiser
Comprehensive formal verification of an OS microkernel
ACM Transactions on Computer Systems, Volume 32, Number 1, pp. 2:1-2:70, February, 2014
Abstract PDF
Presentation Video
Vincent Gramoli and Rachid Guerraoui
Democratizing transactional programming
Communications of the ACM, Volume 57, Number 1, pp. 86–93, January, 2014
Abstract PDF Christian Janiesch, Ingo Weber, Michael Menzel and Jörn Kuhlenkamp
Optimizing the performance of automated business processes executed on virtualized resources
Hawaii International Conference on System Sciences, pp. 3818-3826, Big Island, HI, USA, January, 2014
Abstract PDF Ramana Kumar, Magnus Myreen, Michael Norrish and Scott Owens
CakeML: A verified implementation of ML
ACM-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 179–191, San Diego, January, 2014
Abstract PDF Henrik Leopold, Jan Mendling, Hajo A. Reijers and Marcello La Rosa
Simplifying process model abstraction: techniques for generating model names
Information Systems, Volume 39, Number -, pp. 134-151, January, 2014
Abstract PDF Mark Staples
Critical rationalism and engineering: Ontology
Synthese, Volume 191, Number 10, pp. 2255-2279, January, 2014
Abstract PDF Jason Zhang, Juan Li, Liming Zhu, Ross Jeffery, Yan Liu and Qing Wang
Investigating dependencies in software requirements for change propagation analysis
Information and Software Technology, Volume 56, Number 1, pp. 40-53, January, 2014
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 DSTO-TR-2936, DSTO, January, 2014

2013

Abstract to be published Peter Baumgartner
Automatische inferenz
Handbuch der Kuenstlichen Intelligenz, pp. 129-167, Oldenbourg Verlag, 2013
Abstract PDF Peter Baumgartner and Joshua Bax
Proving infinite satisfiability
Logic Programming and Automated Reasoning (LPAR), pp. 86-95, Stellenbosch, South Africa, December, 2013
Abstract PDF Joseph Chan and Michael Norrish
A string of pearls: Proofs of fermat's little theorem
Journal of Formal Reasoning, Volume 6, Number 1, pp. 63–87, December, 2013
Abstract PDF Ansgar Fehnker, Robert van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann and Wee Lum Tan
A process algebra for wireless mesh networks used for modelling, verifying and analysing AODV
Technical Report 5513, NICTA, December, 2013
Abstract PDF Guido Governatori
Business process compliance: An abstract normative framework
IT – Information Technology, Volume 55, Number 6, pp. 1-8, December, 2013
Abstract PDF Guido Governatori, Brian Lam, Antonino Rotolo, Serena Villata and Fabien Gandon
Heuristics for licenses composition
The 26th International Conference on Legal Knowledge and Information Systems (JURIX 2013), pp. 77-86, Bologna, Italy, December, 2013
Abstract PDF Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo and Matteo Cristani
The rationale behind the concept of goal in defeasible logic
Technical Report, Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), December, 2013
Abstract to be published Ralf Huuck
Ein leitfaden durch das dickicht der code analyse
Abstract, ESE Kongress Tagungsband, December, 2013.
Abstract PDF Eddie Li, Liam O'Brien, Rajiv Ranjan and Miranda Zhang
Early observations on performance of google compute engine for scientific computing
5th IEEE International Conference on Cloud Computing and Technology and Science, pp. 8, Bristol, UK, December, 2013
Abstract to be published Eddie Li, Liam O'Brien, Jason Zhang and Rainbow Cai
On the conceptualization of performance evaluation of IaaS services
IEEE Transactions on Services Computing, Volume X, Number X, pp. 14, December, 2013
Abstract PDF Mahboobeh Moghaddam
An auction-based approach for composite web service selection
International Conference on Service Oriented Computing (ICSOC 2012) Workshop, pp. 6, Shanghai, China, December, 2013
Abstract PDF Francesco Olivieri, Guido Governatori, Simone Scannapieco and Matteo Cristani
Compliant business process design by declarative specifications
Principles and Practice of Multi-Agent Systems (PRIMA 2013), pp. 213-228, Dunedin, New Zealand, December, 2013
Abstract PDF Suronapee Phoomvuthisarn, Liming Zhu, Ross Jeffery and Yan Liu
An architecture-based approach to interfacing a market-based model in trust-based service systems
Tsinghua Science & Technology, Volume 18, Number 6, pp. 554-567, December, 2013
Abstract PDF Marcus Roy, Ingo Weber and Boualem Benatallah
Entity-centric search for enterprise services
International Conference on Service Oriented Computing, pp. 404-412, Berlin, Germany, December, 2013
Short paper.
Abstract PDF Simone Scannapieco, Guido Governatori, Francesco Olivieri and Matteo Cristani
A methodology for plan revision under norm and outcome compliance
Principles and Practice of Multi-Agent Systems (PRIMA 2013), pp. 324-339, Dunedin, New Zealand, December, 2013
Abstract PDF Mona Vij, John Keys, Arun Raghunath, Scott Hahn, Vincent Zimmer, Leonid Ryzhyk, Adam Christopher Walker and Alexander Legg
Device driver synthesis
Intel Technology Journal, Volume 17, Number 2, pp. 136-157, December, 2013
Abstract PDF Ingo Weber, Hye-Young Paik and Boualem Benatallah
Form-based web service composition for domain experts
ACM Transactions on the Web, Volume 8, Number 1, pp. 2:1-2:40, December, 2013
Abstract PDF Sherry Xu, Ingo Weber, Hiroshi Wada, Len Bass, Liming Zhu and Steve Teng
Detecting cloud provisioning errors using an annotated process model
The 8th Workshop on Middleware for Next Generation Internet Computing (MW4NextGen'13), pp. 5:1-5:6, Beijing, China, December, 2013
Abstract PDF Peter Baumgartner and Uwe Waldmann
Hierarchic superposition: Completeness without compactness
Fifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013), pp. 8-12, Nanning, China, November, 2013
Abstract
Slides
PDF Aaron Carroll and Gernot Heiser
Mobile multicores: Use them or waste them
Proceedings of the 2013 Workshop on Power Aware Computing and Systems (HotPower'13), pp. 12, Farmington, PA, USA, November, 2013
Abstract
Slides
PDF
Presentation Video
Kevin Elphinstone and Gernot Heiser
From L3 to seL4 – what have we learnt in 20 years of L4 microkernels?
ACM Symposium on Operating Systems Principles, pp. 133-150, Farmington, PA, USA, November, 2013
Abstract PDF Matthew Fernandez, Peter Gammie, June Andronick, Gerwin Klein and Ihor Kuz
CAmkES glue code semantics
Technical Report, NICTA and UNSW, November, 2013
Abstract
Slides
PDF Matthew Fernandez, Ihor Kuz, Gerwin Klein and June Andronick
Towards a verified component platform
Workshop on Programming Languages and Operating Systems (PLOS), pp. 6, Farmington, PA, USA, November, 2013
Abstract PDF Matthew Fernandez, Gerwin Klein, Ihor Kuz and Toby Murray
CAmkES formalisation of a component platform
Technical Report, NICTA and UNSW, November, 2013
Abstract PDF Peter Gammie
Synchronous digital circuits as functional programs
ACM Computing Surveys, Volume 46, Number 2, pp. 21:1-21:27, November, 2013
Abstract PDF Guido Governatori
ICT support for regulatory compliance of business processes
29th World Continuous Auditing and Reporting Symposium, pp. 1-10, Brisbane, Australia, November, 2013
Abstract PDF Guido Governatori, Francesco Olivieri, Antonino Rotolo and Simone Scannapieco
Computing strong and weak permission in defeasible logic
Journal of Philosophical Logic, Volume 42, Number 6, pp. 799-829, November, 2013
Abstract
Slides
PDF Gabi Keller, Toby Murray, Sidney Amani, Liam O'Connor-Davis, Zilin Chen, Leonid Ryzhyk, Gerwin Klein and Gernot Heiser
File systems deserve verification too!
Workshop on Programming Languages and Operating Systems (PLOS), pp. 1-7, Farmington, Pennsylvania, USA, November, 2013
Abstract PDF Jim Li, Siyuan He, Liming Zhu, Len Bass, Min Fu, Sherry Xu, Anna Liu, An Binh Tran and Steve Teng
Challenges to error diagnosis in Hadoop ecosystems
USENIX Large Installation System Administration Conference (LISA), pp. 9, Washington, DC, USA, November, 2013
Abstract to be published Sherif Sakr
Cloud-hosted databases: technologies, challenges and opportunities
Cluster Computing, November, 2013
Abstract PDF Ingo Weber, Hiroshi Wada, Alan Fekete, Anna Liu and Len Bass
Supporting undoability in systems operations
USENIX Large Installation System Administration Conference (LISA), pp. 75–88, Washington, DC, USA, November, 2013
Abstract PDF Quanqing Xu, Liang Zhao, Mingzhong Xiao and Yafei Dai
YuruBackup: A space-efficient and highly scalable incremental backup system in the cloud
International Journal of Parallel Programming, November, 2013
Abstract PDF Paul Bannerman, Blaize Horner Reich, Chris Sauer and Li Liu
Developing better theory about project organizations
International Journal of Project Management, Volume 31, Number 7, pp. 938-942, October, 2013
Abstract PDF Don Batory, Peter Höfner, Bernhard Möller and Andreas Zelend
Features, modularity, and variation points
Fifth International Workshop on Feature-Oriented Software Development (FOSD), pp. 8, Indianapolis, Indiana, USA, October, 2013
Abstract
Slides
PDF Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis and Thomas Sewell
Formally verified system initialisation
Proceedings of the 15th International Conference on Formal Engineering Methods, pp. 70-85, Queenstown, New Zealand, October, 2013
Abstract PDF Min Fu, Liming Zhu, Anna Liu, Sherry Xu and Len Bass
Process-oriented recovery for operations on cloud applications
Poster Presentation, ACM SOCC 2013, Santa Clara, USA, October, 2013.
Abstract PDF Guido Governatori
The regorous approach to business process compliance
Lecture, CIRSFID, University of Bologna, October, 2013.
Lecture delivered in the EU Law, Science and Technology Joint Doctorate
Abstract PDF Guido Governatori, Antonino Rotolo, Serena Villata and Fabiam Gandon
One license to compose them all: A deontic logic approach to data licensing on the web of data
International Semantic Web Conference, pp. 151-166, Sydney, October, 2013
Abstract PDF Ralf Huuck, Ansgar Fehnker, Jakob Mund and Cyrille Artho
The quest for precision: A layered approach for data race detection in static analysis
11th International Symposium on Automated Technology for Verification and Analysis, pp. 516-525, Hanoi, Vietnam, October, 2013
Abstract
Slides
PDF Yao Shi, Bernard Blackham and Gernot Heiser
Code optimizations using formally verified properties
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications, pp. 427-442, Indianapolis, USA, October, 2013
Abstract PDF Liang Zhao, Sherif Sakr and Anna Liu
Consumer-centric SLA manager for cloud-hosted databases
The 22nd ACM International Conference on Information & Knowledge Management, pp. 2453-2456, Burlingame, USA, October, 2013
Abstract PDF Andreas Bauer, Peter Baumgartner, Diller Martin and Michael Norrish
Tableaux for verification of data-centric processes
Automated Reasoning with Analytic Tableaux and Related Methods, pp. 28-43, Nancy, France, September, 2013
Abstract PDF Andreas Bauer, Jan-Christoph Kuester and Gil Vegliach
From propositional to first-order monitoring
4th International Conference on Runtime Verification (RV), Rennes, France, September, 2013
Abstract to be published Silvano Colombo Tosatto, Guido Governatori and Pierre Kelsen
Towards an abstract framework for compliance
EDOC 2013, pp. 79-88, Vancouver, September, 2013
Abstract PDF Thomas Given-Wilson, Freeman Huang and Barry Jay
Multi-polymorphic programming in bondi
9th ACM SIGPLAN Workshop on Generic Programming, pp. 53-60, Boston, Massachusetts, USA, September, 2013
Abstract PDF Ralf Huuck, Franck Cassez, Mads Olesen and Sebastian Biallas
PtrTracker: Pragmatic pointer analysis
International Working Conference on Source Code Analysis and Manipulation, pp. 69 - 73, Eindhoven, Netherlands, September, 2013
Abstract PDF 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 86, Number 9, pp. 2371-2393, September, 2013
Abstract to be published Sherif Sakr and Anna Liu
Is your cloud-hosted database truly elastic?
IEEE 9th World Congress on Services (IEEE SERVICES 2013), pp. 4, USA, September, 2013
Abstract PDF Robert van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke-Uffmann
On characterising distributability
Logical Methods in Computer Science, Volume 9, Number 3, pp. 1-58, September, 2013
Abstract to be published David Bermbach, Liang Zhao and Sherif Sakr
Towards comprehensive measurement of consistency guarantees for cloud-hosted data storage services
The 5th TPC Technology Conference on Performance Evaluation & Benchmarking, Trento, Italy, August, 2013
Abstract PDF Franck Cassez and Alban Grastien
Predictability of event occurrences in timed systems
11th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), pp. 62–76, Buenos Aires, Argentina, August, 2013
Available at CoRR/abs http://arxiv.org/abs/1306.0662
Abstract PDF Ugur Cayoglu, Remco Dijkman, Marlon Dumas, Peter Fettke, Luciano Garcia-Banuelos, Philip Hake, Christopher Klinkmüller, Henrik Leopold, André Ludwig, Peter Loos, Jan Mendling, Andreas Oberweis, Andreas Schoknecht, Eitams Sheetrit, Tom Thaler, Meike Ullrich, Ingo Weber and Matthias Weidlich
The process model matching contest 2013
International Workshop on Process Model Collections: Management and Reuse (PMC-MR), pp. 67-88, Beijing , China, August, 2013
Abstract PDF Raffaele Conforti, Marcello La Rosa, Giancarlo Fortino, Arthur ter Hofstede, Jan Recker and Michael Adams
Real-time risk monitoring in business processes: A sensor-based approach
Journal of Systems and Software (JSS), Volume 86, Number 11, pp. 2939-2965, August, 2013
Abstract PDF Tyler Crain, Vincent Gramoli and Michel Raynal
A contention-friendly binary search tree
19th International Conference on Parallel Processing, pp. 229-240, Aachen, Germany, August, 2013
Abstract
Slides
PDF Ansgar Fehnker, Peter Höfner, Maryam Kamali and Vinay Mehta
Topology-based mobility models for wireless networks
10th International Conference on Quantitative Evaluation of SysTems (QEST 2013), pp. 16, Buenos Aires, Argentina, August, 2013
Abstract PDF Mustafa Hashmi and Guido Governatori
A methodological evaluation of business process compliance management frameworks
Asia-Pacific Conference on Business Process Management, pp. 106-115, Beijing, China, August, 2013
Abstract PDF Peter Höfner and Maryam Kamali
Quantitative analysis of AODV and its variants on dynamic topologies using statistical model checking
11th International Conference on Formal Modeling and Analysis of Timed Systems (Formats '13), pp. 15, Buenos Aires, Argentina, August, 2013
Abstract PDF Christopher Klinkmueller, Ingo Weber, Jan Mendling, Henrik Leopold and Andre Ludwig
Increasing recall of process model matching by improved activity label matching
International Conference on Business Process Management, pp. 211-218, China, August, 2013
short paper
Abstract to be published Mahboobeh Moghaddam, Joseph Davis and Taso Viglas
A combinatorial auction model for composite service selection based on preferences and constraints
10th International Conference on Services Computing, pp. 8, USA, August, 2013
Abstract PDF Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke and Adam Wyner
LegalRuleML: From metamodel to use cases
RuleML 2013, pp. 13-18, Seatle, USA, July, 2013
Abstract
Slides
PDF William Billingsley and Jim Steel
A comparison of two iterations of a software studio course based on continuous integration
Innovation and Technology in Computer Science Education (ITiCSE), pp. 213-218, Canterbury, UK, July, 2013
Joint winner of the David Carrington Award for the best Australasian Software Engineering Education Paper, awarded at ASWEC 2013
Abstract
Slides
PDF Aaron Carroll and Gernot Heiser
The systems hacker’s guide to the Galaxy: Energy usage in a modern smartphone
Asia-Pacific Workshop on Systems (APSys), pp. 7, Singapore, July, 2013
Best Student Paper Award!
Abstract PDF Franck Cassez and Jean-Luc Bechennec
Timing analysis of binary programs with UPPAAL
13th International Conference on Application of Concurrency to System Design (ACSD), pp. 41-50, Barcelona, Spain, July, 2013
Abstract PDF 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
Slides
PDF David Cock
Practical probability: Applying pGCL to lattice scheduling
Proceedings of the 4th International Conference on Interactive Theorem Proving, pp. 1–16, Rennes, France, July, 2013
Abstract PDF Tyler Crain, Vincent Gramoli and Michel Raynal
No hot spot non-blocking skip list
IEEE International Conference on Distributed Computing Systems, USA, July, 2013
Abstract PDF Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco and Matteo Cristani
Picking up the best goal an analytical study in defeasible logic
RuleML 2013, pp. 99-113, Seattle, USA, July, 2013
Abstract PDF Guido Governatori and Antonino Rotolo
Computing temporal defeasible logic
RuleML 2013, pp. 114-128, Seattle, USA, July, 2013
Abstract Slides Gernot Heiser
Can truly dependable systems be affordable?
Keynote at APSys'13, Singapore, July, 2013
Abstract PDF Jim Li, Qinghua Lu, 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
Slides
PDF Michael Norrish and Brian Huffman
Ordinals in HOL: Transfinite arithmetic up to (and beyond) ω₁
Interactive Theorem Proving (ITP), pp. 133-146, Rennes, France, July, 2013
Abstract PDF 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. 7, USA, July, 2013
Abstract PDF Adam Wyner and Guido Governatori
A study on translating regulatory rules from natural language to defeasible logic
RuleML 2013, pp. 16.1-16.8, Seatle, USA, July, 2013
Abstract PDF Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke and Adam Wyner
OASIS LegalRuleML
International Conference on Artificial Intelligence and Law (ICAIL 2013), pp. 3-12, Rome, June, 2013
Abstract PDF Peter Baumgartner and Uwe Waldmann
Hierarchic superposition with weak abstraction
Conference on Automated Deduction, pp. 39-57, Lake Placid, New York, USA, June, 2013
Abstract PDF Joos C.A.M. Buijs, Marcello La Rosa, Hajo A. Reijers, Boudewijn van Dongen and Wil M.P. van der Aalst
Improving business process models using observed behavior
nternational Symposium on Data-driven Process Discovery and Analysis (SIMPDA), pp. TBA, Campione d'Italia, Italy, June, 2013
Abstract PDF Raffaele Conforti, Marcello La Rosa and Giancarlo Fortino
Process monitoring using sensors in YAWL
YAWL Symposium, pp. TBA, Sankt Augustin, Germany, June, 2013
Abstract PDF Kevin Elphinstone and Yanyan Shen
Improving the trustworthiness of commodity hardware with software
Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV), pp. 6, Budapest, Hungary , June, 2013
Abstract PDF 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 PDF Guido Governatori, Francesco Olivieri, Antonino Rotolo and Simone Scannapieco
Legal contractions: A logical analysis
International Conference on Artificial Intelligence and Law (ICAIL) 2013, pp. 63-72, Rome, June, 2013
Abstract PDF
Presentation Video
Guido Governatori and Sidney Shek
Regorous: A business process compliance checker
International Conference on Artificial Intelligence and Law (ICAIL) 2013, pp. 245-246, Rome, June, 2013
Abstract
Slides
PDF Hyungsoo Jung, Hyuck Han, Yeom Heon, Alan Fekete and Gernot Heiser
A scalable lock manager for multicores
ACM International Conference on Management of Data, pp. 73-84, New York, USA, June, 2013
Abstract PDF Kerstin Klemisch, Ingo Weber and Boualem Benatallah
Context-aware UI component reuse
CAiSE'13: 25th International Conference on Advanced Information Systems Engineering, pp. 68-83, Valencia, Spain, June, 2013
Abstract PDF Eddie Li, Liam O'Brien, Jason Zhang and Rainbow Cai
CEEM: 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 PDF Qinghua Lu, Sherry Xu, Liming Zhu, Jim Li, Len Bass, Sherif Sakr and Paul Bannerman
Incorporating uncertainty into in-cloud application deployment decisions for availability
IEEE 6th International Conference on Cloud Computing, pp. 8, Santa Clara, CA, USA, June, 2013
Abstract PDF 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 Sherif Sakr
Processing large-scale graph data: A guide to current technology
IBM Developerworks, June, 2013
Abstract
Slides
PDF Thomas Sewell, Magnus Myreen and Gerwin Klein
Translation validation for a verified OS kernel
ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 471-481, Seattle, Washington, USA, June, 2013
Abstract PDF Sherry Xu, Qinghua Lu, Liming Zhu, Jim Li, Sherif Sakr, Hiroshi Wada and Ingo Weber
Availability analysis of cloud-based applications using stochastic reward nets
4th International ACM SIGSOFT Symposium on Architecting Critical Systems Federated with CompArch 2013, pp. 8, Vancouver, British Columbia, Canada, June, 2013
Abstract PDF Xiwei Xu, Liming Zhu, Len Bass, Qinghua Lu and Min Fu
Modeling and analysing operation processes for dependability
Abstract, IEEE/IFIP International Conference on Dependable Systems (DSN), Budapest, Hungary, June, 2013.
Abstract PDF 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
Slides
PDF Aleksander Budzynowski and Gernot Heiser
The von Neumann architecture is due for retirement
Workshop on Hot Topics in Operating Systems, pp. 6, Santa Ana Pueblo, NM, USA, May, 2013
Abstract PDF Raffaele Conforti, Marcello La Rosa, Arthur ter Hofstede, Giancarlo Fortino, Massimiliano de Leoni, Wil M.P. van der Aalst and Michael Adams
A software framework for risk-aware business process management
International Conference on Advanced Information Systems Engineering (CaiSE) Forum, pp. TBA, Valencia, Spain, May, 2013
Abstract PDF Peter Höfner 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
Slides
PDF 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 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 PDF 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 Sherif Sakr
An introduction to InfoSphere streams: A platform for analyzing big data in motion
IBM Developerworks, May, 2013
Abstract PDF Munindar P. Singh, Matthew Arrott, Tina Balke, Amit Chopra, Rob Christiaanse, Stephen Cranefield, Frank Dignum, Davide Eynard, Emilia Farcas, Nicoletta Fornara, Fabien Gandon, Guido Governatori, Hoa Khanh Dam, Joris Hulstijn, Ingolf Krueger, Brian Lam, Michael Meisinger, Pablo Noriega, Bastin Tony Roy Savarimuthu, Kartik Tadanki, Harko Verhagen and Serena Villata
The uses of norms
Normative Multi-Agent Systems, pp. 191–229, Volume 4 in Dagstuhl Follow-Ups, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013
Abstract PDF 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
Slides
PDF Bernard Blackham and Gernot Heiser
Sequoll: A framework for model checking binaries
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 97-106, Philadelphia, USA, April, 2013
Best Paper Award!
Abstract PDF 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 PDF Raffaele Conforti, Massimilano de Leoni, Marcello La Rosa and Wil M.P. van der Aalst
Supporting risk-informed decisions during business process execution
International Conference on Advanced Information Systems Engineering (CaiSE), pp. TBA, Valencia, Spain, April, 2013
Abstract
Slides
PDF Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie and Gustavo Alonso
RapiLog: reducing system complexity through verification
EuroSys Conference, pp. 323-336, Prague, Czech Republic, April, 2013
Abstract PDF 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 PDF Tudor-Ioan Salomie, Gustavo Alonso, Timothy Roscoe and Kevin Elphinstone
Application level ballooning for efficient server consolidation
EuroSys Conference, pp. 337 - 350, Prague, Czech Republic, April, 2013
Abstract PDF 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 Marlon Dumas, Marcello La Rosa, Jan Mendling and Hajo A. Reijers
Fundamentals of business process management
Springer, 2013
Abstract PDF 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 22, Number 2, pp. Article No. 11, March, 2013
Abstract PDF 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 Sherif Sakr
Supply cloud-level data scalability with NoSQL databases
IBM Developerworks, March, 2013
Abstract PDF Yin Kia Chiam, Mark Staples, Xin Ye and Liming Zhu
Applying a selection method to choose quality attribute techniques
Information and Software Technology, Volume 55, Number 8, pp. 1419–1436, February, 2013
Abstract
Slides
PDF Gernot Heiser
Protecting e-government against attacks
EP Workshop on Security of e-Government, pp. 5, Brussels, Belgium, February, 2013
Abstract PDF Toby Murray
On the limits of refinement-testing for model-checking CSP
Formal Aspects of Computing, Volume 25, Number 2, pp. 219-256, February, 2013
Abstract PDF Liang Zhao, Sherif Sakr and Anna Liu
A framework for consumer-centric SLA management of cloud-hosted databases
Transactions on Services Computing, Volume PP, Number PrePrint, pp. 1, February, 2013
Abstract PDF Paul Bannerman
Barriers to project performance
Hawaii International Conference on System Sciences, pp. 10, Maui, Hawaii, January, 2013

2012

Abstract PDF 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 PDF Silvano Colombo-Tosatto, Guido Governatori, Pierre Kelsen and Leendert van der Torre
Business process compliance is hard
Technical Report, Artificial Intelligence, December, 2012
Abstract PDF Raffaele Conforti, Arthur ter Hofstede, Marcello La Rosa and Michael Adams
Automated risk mitigation in business processes
International Conference on Cooperative Information Systems (CoopIS), pp. 212-231, Rome, Italy, December, 2012
Abstract PDF Ralf Huuck
Formal verification, engineering and business value
Formal Techniques for Safety-Critical Systems, pp. 1-4, Kyoto, Japan, December, 2012
Abstract PDF Eddie Li, Liam O'Brien, Jason Zhang and Rainbow Cai
A factor framework for experimental design for performance evaluation of commercial cloud services
4th IEEE International Conference on Cloud Computing Technology and Science, pp. 8, Taipei, December, 2012
Abstract PDF Daniel Matichuk and Toby Murray
Extensible specifications for automatic re-use of specifications and proofs
10th International Conference on Software Engineering and Formal Methods, pp. 8, Thessaloniki, Greece, December, 2012
Abstract PDF Toby Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie and Gerwin Klein
Noninterference for operating system kernels
The Second International Conference on Certified Programs and Proofs, pp. 126-142, Kyoto, 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
Slides
PDF David Cock
Verifying probabilistic correctness in Isabelle with pGCL
Proceedings of the 7th Systems Software Verification, pp. 1–10, Sydney, Australia, 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, pp. 316-331, Kyoto, Japan, November, 2012
Abstract PDF 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 PDF 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 PDF Daniel Matichuk
Automatic function annotations for hoare logic
Systems Software Verification, pp. 10, Sydney, Australia, November, 2012
Abstract PDF 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 PDF 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), pp. 14, Paphos, Cyprus, November, 2012
Abstract PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF Peter Höfner and Sarah Edenhofer
Towards a rigorous analysis of AODVv2 (DYMO)
2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012), pp. 1-6, Austin, Texas, 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, Volume 9, Number 1, pp. 45-56, 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
IEEE Transactions on Computers, 2012
Abstract PDF Mark Staples
Finding and responding to failure in large formal verifications
Abstract, Dagstuhl Reports, October, 2012.
Abstract
Slides
PDF
Presentation 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, Hollywood, CA, USA, October, 2012
Abstract PDF 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 PDF 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 PDF Peter Höfner, 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF June Andronick and Gerwin Klein
Formal system verification - extension 2, final report AOARD \#FA2386-12-1-4022
Technical Report, NICTA, August, 2012
Abstract PDF 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 PDF 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 PDF 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 PDF 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
Proceedings of the 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 PDF 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 PDF Peter Höfner
Towards a representation theorem for coloring algebra
Abstract, Workshop on Lattices and Relations, August, 2012.
Abstract PDF Peter Höfner
Kleene modules for routing procedures
Abstract, Workshop on Lattices and Relations, August, 2012.
Abstract PDF Gerwin Klein, Rafal Kolanski and Andrew Boyton
Mechanised separation algebra
Interactive Theorem Proving (ITP), pp. 332-337, Princeton, USA, 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 PDF Brian Lam, Guido Governatori, Ken Satoh and Hiroshi Hosobe
Distributed defeasible speculative reasoning in ambient environment
The 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIII), pp. 43–60, Montpelier, France, August, 2012
Abstract PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF Marlon Dumas, Luciano Garcia-Banuelos, Marcello La Rosa and Reina Uba
Fast detection of exact clones in business process model repositories
Information Systems, Volume 38, Number 4, pp. 619-633, July, 2012
Abstract PDF 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 PDF Peter Höfner, 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 PDF Peter Höfner 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF Badiul Islam and Renato Iannella
Privacy by design : Does it matter for social networks?
Privacy and Identity Management for Life, pp. 207-220, Volume 375 in IFIP Advances in Information and Communication Technology, Springer Berlin Heidelberg, 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), June, 2012
Abstract PDF 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 PDF 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 PDF 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 PDF Jason Zhang
Software process simulation - at a crossroads?
International Conference on Software and Systems Process, pp. 2, Zurich, Switzerland, June, 2012
Abstract PDF Jason Zhang
Simulation modeling of evolving software processes
International Conference on Software and Systems Process (ICSSP), pp. 3, Zurich, Switzerland, June, 2012
Abstract PDF 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 PDF 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 PDF June Andronick, Gerwin Klein and Andrew Boyton
Formal system verification - extension, AOARD 114070
Technical Report, NICTA, May, 2012
Abstract PDF 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 (I&C), Volume 214, Number , pp. 59-85, May, 2012
Abstract PDF 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
Keynote at International Conference on Systems and Software Process, Hawaii, USA, May, 2012
Abstract PDF 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 PDF 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 PDF 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 PDF
Presentation Video
Axel Polleres and Sherif Sakr
Querying and exchanging XML and RDF on the web
Tutorial at World Wide Web Conference 2012, Lyon, France, May, 2012
Abstract PDF 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 PDF Wil M.P. van der Aalst, Arthur ter Hofstede, Marcello La Rosa and Moe Wynn
Process mining manifesto
International Workshop on Business Process Intelligence, pp. 169-194, Clermont-Ferrand, France, 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 PDF Andreas Bauer, Jan-Christoph Kuester and Gil Vegliach
Runtime verification meets android security
4th NASA Formal Methods Symposium (NFM), 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 PDF 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 PDF Matthew Fernandez, Gerwin Klein and Ihor Kuz
Microkernel verification down to assembly
Poster Presentation, EuroSys 2012, Bern, Switzerland, April, 2012.
Abstract PDF 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 PDF Gerwin Klein
Interactive proof: Applications to semantics
Software Safety and Security: Tools for Analysis and Verification, pp. 85-125, IOS Press, 2012
Abstract PDF 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 PDF Sherif Sakr
Use SQL-like languages for the MapReduce framework
IBM developerWorks, April, 2012
Abstract PDF Matthew Sladescu and Alan Fekete
Event aware elasticity control for cloud applications
Technical Report, The University of Sydney, April, 2012
Abstract PDF 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
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, pp. 1-6, Bern, Switzerland, April, 2012
Abstract PDF 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 PDF 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 PDF Ansgar Fehnker, Robert van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann and Wee Lum Tan
A process algebra for wireless mesh networks
22nd European Symposium on Programming (ESOP 2012), pp. 295-315, Tallinn, Estonia, March, 2012
Abstract PDF Ansgar Fehnker, Robert van Glabbeek, Peter Höfner, 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 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 PDF 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 PDF 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 PDF 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 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 PDF 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 PDF Marcello La Rosa and Marie-Christine Fauvet
The APROMORE initiative
Abstract, SIIE 2012 - International Conference on Information Systems & Economic Intelligence, Djerba: Tunisie (2012), February, 2012.
This is the abstract of an invited keynote speech.
Abstract PDF 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 PDF 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, pp. 10, Maui, Hawaii, January, 2012
Abstract PDF Paul Bannerman and Alan Thorogood
Celebrating IT projects success: A multi-domain analysis
Hawaii International Conference on System Sciences, pp. 10, Maui, Hawaii, January, 2012
Abstract Video Peter Chubb
Bourne shell tutorial
Tutorial at Linux.conf.au, Ballarat, January, 2012
Abstract Video Peter Chubb
Linux as a boot loader
Talk at linux.conf.au, Ballarat, January, 2012
Abstract PDF 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 PDF 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 PDF Stefan M Petters, Kevin Elphinstone and Gernot Heiser
Trustworthy real-time systems
Advances in Real-Time Systems, pp. 191-206, Springer, 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 PDF 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, ACM, 2011
Abstract PDF 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 PDF 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 PDF Sherif Sakr, Sameh Elnikety and He Yuxiong
G-SPARQL: A hybrid engine for querying large attributed graphs
Technical Report MSR-TR-2011-138 , Microsoft Research, December, 2011
Abstract PDF 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 PDF Robert van Glabbeek
Bisimulation
Encyclopedia of Parallel Computing, pp. 136-139, Volume 1 in , Springer, 2011
Abstract PDF 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 PDF 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 PDF 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 PDF 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 Xin Ye, Paul Mackie and Liming Zhu
A deadlock detection method for inter-organizational business process based on role network model
Advances in Information Sciences and Service Sciences, Volume 3, Number 10, pp. 497-504, November, 2011
Abstract PDF 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 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 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 PDF Peter Höfner, 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 PDF 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 PDF 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 PDF Vladimir Tosic
Cloud elasticity and its importance for cloud management
Panel statement at LANOMS 2011 - The 7th Latin American Network Operations and Management Symposium, Quito, Equador, October, 2011
Abstract PDF Vladimir Tosic, Hiroshi Wada, Adnene Guabtni, Kevin Lee and Anna Liu
Management towards reducing cloud usage costs
Conference keynote at 7th Latin American Network Operations and Management Symposium (LANOMS 2011), Quito, Equador, October, 2011
Abstract PDF Jason Zhang
The certainty of uncertainty: Modeling and simulating software engineering processes qualitatively
Lambert Academic Publishing, 2011
Abstract PDF 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 PDF 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 PDF 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 PDF 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 PDF Badiul Islam and Renato Iannella
Privacy by design : Does it matter for social networks?
IFIP Summer School 2011, pp. 139-147, Trento, Italy, 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF Guido Governatori, Francesco Olivieri, Simone Scannapieco and Matteo Cristani
Designing for compliance: Norms and goals
RuleML 2011, pp. 16, Ft Lauderdale USA, August, 2011
Abstract PDF 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 PDF 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
Slides
PDF Michael Norrish
Mechanised computability theory
International Conference on Interactive Theorem Proving, pp. 297–311, Nijmegen, The Netherlands, August, 2011
Abstract PDF 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 PDF Thomas Sewell, Simon Winwood, Peter Gammie, Toby Murray, June Andronick and Gerwin Klein
seL4 enforces integrity
Proceedings of the 2nd International Conference on Interactive Theorem Proving, pp. 325–340, Nijmegen, The Netherlands, August, 2011
Abstract PDF 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 PDF 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
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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF Leif Hanlen and Michelle Carden
Telehealth infrastructure services
Technical Report, NICTA, July, 2011
Abstract PDF Peter Höfner, 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 PDF Udo Kannengiesser and Liming Zhu
Towards concise architectures for flexible business processes
Advanced Engineering Informatics, 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 PDF 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 PDF 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 PDF 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 PDF 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
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 PDF Han-Hing Dang, Bernhard Möller and Peter Höfner
Algebraic separation logic
The Journal of Logic and Algebraic Programming, Volume 80, Number 6, pp. 221-247, June, 2011
Abstract PDF Gernot Heiser
Virtualizing embedded systems – why bother?
48th Design Automation Confernece, pp. 901-905, Dan Diego, CA, USA, June, 2011
Abstract PDF Peter Höfner and Bernhard Möller
Fixing zeno gaps
Theoretical Computer Science, Volume 412, Number 28, pp. 3303-3322, June, 2011
Abstract PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF Vladimir Tosic
Formalization of a software systems research methodology that uses prototypes for evaluation
Lecture, University of Nis, June, 2011.
Abstract PDF 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 PDF Robert van Glabbeek
On cool congruence formats for weak bisimulations
Theoretical Computer Science, Volume 412, Number 28, pp. 3283-3302, June, 2011
Abstract PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF Jason Zhang, Ross Jeffery, Dan Houston, Liguo Huang and Liming Zhu
Impact of process simulation on software practice: An initial report
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 PDF June Andronick and Gerwin Klein
Formal system verification for trustworthy embedded systems, final report AOARD 094160
Technical Report, NICTA, April, 2011
Abstract PDF Andreas Bauer and Martin Leucker
The theory and practice of SALT
NASA Formal Methods Symposium (NFM), pp. 28, Pasadena, CA, USA, April, 2011
Abstract PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF Basem Suleiman, Sherif Sakr and Sherif Sakr
One size does not fit all: A group-based service selection for web-based business processes
Advanced Information Networking and Applications (WAINA), pp. 253-260, Biopolis, Singapore, March, 2011
Abstract PDF 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 PDF Udo Kannengiesser and Liming Zhu
Rationale in semi-structured processes
International Workshop on Traceability and Compliance of Semi-Structured Processes, pp. 634-639, Volume 66 in 1865-1348, Springer, 2011
Abstract PDF 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 PDF Yan Liu, Xin Liang, Lingzhi Xu, Mark Staples and Liming Zhu
Using architecture integration patterns to compose enterprise mashups
Journal of Systems and Software (JSS), Volume 84, Number 9, pp. 1436-1446, February, 2011
Abstract PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF Rong Guoping and Jason Zhang
SCRUM-PSP: Embracing process agility and discipline
Asia-Pacific Software Engineering Conference, pp. 9, Sydney, Australia, December, 2010
Abstract PDF 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 PDF Jacky Keung and Nguyen Thong
Quantitative analysis for non-linear system performance data using case-based reasoning
Asia-Pacific Software Engineering Conference, Sydney, Australia, December, 2010
Abstract PDF 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 PDF 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 PDF Sherry Xu, Liming Zhu, Udo Kannengiesser and Yan 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 PDF Liang Zhao, Anna Liu and Jacky Keung
Evaluating cloud platform architecture with the CARE framework
17th Asia-Pacific Software Engineering Conference, pp. 60-69, Sydney, Australia, December, 2010
Abstract to be published Liming Zhu and Paul Mackie
Back to the future
Superfunds, December, 2010
Abstract PDF 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 PDF 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, ACM, 2010
Abstract PDF 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 PDF 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 PDF Richard Medland
Curbing paper wastage using flavoured feedback
OzCHI-2010, pp. 4, Brisbane, November, 2010
Abstract PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 Science
Abstract PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF Brian Lam and Guido Governatori
On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic
The 4th International Web Rule Symposium: Research Based and Industry Focused (RuleML 2010), 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF Franck Cassez
The complexity of codiagnosability for discrete event and timed systems
8th International Symposium on Automated Technology for Verification and Analysis (ATVA), pp. 82–96, Singapore, September, 2010
Abstract PDF Guido Governatori
Law, logic and business processes
3rd International Workshop on Requirement Engineering and law, pp. 1-10, Sydney, September, 2010
Abstract PDF Jacky Keung, Adam Brady, Tim Menzies, Oussama El-Rawas and Ekrem Kocaguneli
Case-based reasoning for reducing software development effort
ASE 2010 - 25th IEEE/ACM International Conference on Automated Software Engineering, pp. 10, Antwerp, Belgium, September, 2010
Abstract PDF Jacky Keung, Ekrem Kocaguneli, Gregory Gay, Tim Menzies and Ye Yang
When to use data from other projects for effort estimation
ASE 2010 - 25th IEEE/ACM International Conference on Automated Software Engineering, pp. 9, Antwerp, Belgium, September, 2010
Abstract PDF 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 PDF Robert van Glabbeek
The coarsest precongruences respecting safety and liveness properties
Theoretical Computer Science 2010, pp. 32-52, Brisbane, September, 2010
Abstract PDF 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 PDF 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 PDF 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 Christopher 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 PDF 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 PDF Suronapee Phoomvuthisarn, Yan 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 PDF 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 PDF Paul Bannerman
Structuring risk into projects
Project Management Institute (PMI) Research Conference 2010, pp. 27, Washington, USA, July, 2010
Abstract PDF 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 PDF 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 PDF 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?
Proceedings of the 1st International Conference on Interactive Theorem Proving, pp. 1–7, Edinburgh, UK, July, 2010
Invited extended abstract.
Abstract
Slides
PDF 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 PDF 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
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 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 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 PDF 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 PDF 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 PDF 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 PDF 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
Research Highlights paper
Abstract PDF 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 PDF 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 PDF 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 PDF Andreas Bauer and Jan Jurjens
Runtime verification of cryptographic protocols
Computers & Security, Volume 29, Number 3, pp. 315-330, May, 2010
Abstract PDF Paul Brebner and Anna Liu
Modeling cloud cost and performance
Cloud Computing and Virtualization (CCV 2010), pp. 8, Singapore, May, 2010
Abstract PDF 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 PDF Paul Bannerman
Managing structure-related software project risk: A new role for project governance
Proceedings of the 21st Australasian Software Engineering Conference, pp. 10, Aukland, New Zealand, April, 2010
Abstract PDF Peter Baumgartner and Evgenij Thorstensen
Instance based methods - an overview
Künstliche Intelligenz, Volume 24, Number 1, pp. 35-42, April, 2010
Abstract PDF 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 PDF 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 PDF 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 PDF 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 PDF Guido Governatori and Antonino Rotolo
On the complexity of temporal defeasible logic
13 International Workshop on Non-Monotonic Reasoning, Toronto, April, 2010
Abstract PDF Jacky Keung, Yan Liu, Kate Foster and Thong Nguyen
A statistical method for middleware system architecture evaluation
Australasian Software Engineering Conference, pp. 10, Auckland, NZ, April, 2010
Abstract PDF Brian Lam
SPINdle - user guide
Technical Report, NICTA QRL, April, 2010
Abstract PDF 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 PDF 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 PDF Suronapee Phoomvuthisarn, Yan Liu and Jun Han
An architectural approach to composing reputation-based trustworthy services
Proceedings of the 21st Australasian Software Engineering Conference, pp. 10, Auckland, New Zealand, April, 2010
Abstract PDF 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 PDF David Billington, Grigoris Antoniou, Guido Governatori and Michael Maher
An inclusion theorem for defeasible logic
Volume 12, Number 1, March, 2010
Abstract PDF 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 PDF 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 PDF 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 PDF Guido Governatori, Antonino Rotolo and Rossella Rubino
Implementing temporal defeasible logic for modeling legal reasoning
Jurisin , Tokyo, March, 2010
Abstract PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 Video Peter Chubb
Decent MIDI from LilyPond
Linux.conf.au, January, 2010
Abstract PDF Peter Chubb and John Judge
When the arduino meets year 9
Other Conference Presentation, linux.conf.au, Wellington, New Zealand, January, 2010.
Abstract PDF Peter Chubb and Yang Song
Interrupts considered harmful
Other Conference Presentation, Linux.conf.au, Wellington, NZ, January, 2010.
Abstract PDF 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 PDF 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 PDF 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 PDF Franck Cassez
A note on fault diagnosis algorithms
48th IEEE Conference on Decision and Control, pp. 6941-6946, Shanghai, China, December, 2009
Abstract PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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
4th International Workshop on Systems Software Verification (SSV'09), Germany, November, 2009
Abstract PDF 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
4th International Workshop on Systems Software Verification, pp. 25-44, Aachen, Germany, October, 2009
Abstract PDF Franck Cassez
How to install PHAVer on mac OS x
Technical Report, NICTA, October, 2009
Abstract PDF 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 PDF 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 PDF 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, Brauer Joerg and Schlich Bastian
Interprocedural pointer analysis in goanna
4th International Workshop on Systems Software Verification (SSV'09), pp. 65-83, Germany, October, 2009
Abstract PDF 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
Slides
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
ACM Symposium on Operating Systems Principles, pp. 207–220, Big Sky, MT, USA, October, 2009
Best Paper Award!
Abstract PDF Michael Norrish
Rewriting conversions implemented with continuations
Journal of Automated Reasoning, 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
ACM Symposium on Operating Systems Principles, Big Sky, MT, USA, October, 2009
Abstract PDF 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 PDF 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 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 PDF 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 PDF 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 PDF Yan 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 PDF Robert van Glabbeek and Gordon Plotkin
Configuration structures, event structures and petri nets
Theoretical Computer Science, Volume 410, Number 41, pp. 4111-4159, September, 2009
Abstract PDF Sherry Xu, Liming Zhu, Mark Staples and Yan 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF Guido Governatori and Renato Iannella
Modelling and reasoning languages for social networks policies
EDOC 2009, Auckland, August, 2009
Abstract PDF 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 PDF Yan 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 PDF Duy Hoang Pham, Guido Governatori and Subhasis Thakur
Extended defeasible reasoning for common goals in n-person argumentation games
August, 2009
Abstract Slides 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF Peter Baumgartner and Uwe Waldmann
Superposition and model evolution combined
Automated Deduction - CADE-22, pp. 17-34, Montreal, Canada, July, 2009
Abstract PDF 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 PDF 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 PDF 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 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 PDF Robert van Glabbeek, Bas Luttik and Nikola Tr?ka
Branching bisimilarity with explicit divergence
Fundamenta Informaticae, Volume 93, Number 4, pp. 371-392, 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF Liming Zhu and Yan 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 PDF 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 PDF 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 PDF 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 PDF Guido Governatori and Shazia Sadiq
The journey to business process compliance
Handbook of Research on Business Process Modeling, IGI, 2009
Abstract PDF Jacky Keung
Software development cost estimation using analogy: A review
Australasian Software Engineering Conference, Gold Coast, April, 2009
Abstract PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF Aditi Barthwal and Michael Norrish
Verified, executable parsing
ESOP, pp. 160-174, York, 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 PDF Nicholas Fitzroy-Dale and Ihor Kuz
Towards automatic optimisation of componentised systems
Other Conference Presentation, IIES 2009, Nuremberg, Germany, March, 2009.
Abstract PDF Guido Governatori, Guido Governatori and Guido Governatori
On managing business processes variants
Volume 68, Number 7, pp. 642-664, March, 2009
Abstract PDF 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 PDF 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 PDF Udo Kannengiesser and Liming Zhu
An ontologically-based evaluation of software design methods
Volume 24, Number 1, pp. 41-58, March, 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 PDF Robert van Glabbeek and Peter D. Mosses
Preface, special issue on structural operational semantics
Information and Computation, Volume 207, Number 2, pp. 83-84, February, 2009
Abstract PDF 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 PDF 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, Yan 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 PDF 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 PDF 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 PDF Paul Bannerman
Risk and risk management in software projects: A reassessment
Volume 81, Number 12, pp. 2118-2133, December, 2008
Abstract PDF 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 PDF 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 PDF Taolue Chen, Wan Fokkink and Robert van Glabbeek
Ready to preorder: The case of weak process semantics
Information Processing Letters, 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 PDF 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 PDF 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 PDF Guido Governatori and Antonino Rotolo
An algorithm for business process compliance
Jurix 2008, pp. 186-181, Florence, December, 2008
Abstract PDF 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
Theoretical maximum prediction accuracy for analogy-based software cost estimation
15th Asia-Pacific Software Engineering Conference, Beijing, China, December, 2008
Abstract to be published Jacky Keung
Proceedings of 2nd international workshop on software productivity and cost estimation
Chinese Academy of Science Press, 2008
Abstract to be published Jacky Keung and Ross Jeffery
Automated support for software cost estimation using web-CoBRA
15th Asia-Pacific Software Engineering Conference, Beijing, China, December, 2008
Abstract PDF 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
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 PDF Suronapee Phoomvuthisarn and Yan Liu
An architecture approach to dependable trust-based service systems
International Conference on Service Oriented Computing, pp. 6, Sydney, Australia, December, 2008
Abstract PDF Ricky Robinson and Jadwiga Indulska
Resource discovery in pervasive computing environments
Handbook on Mobile Ad Hoc and Pervasive Communications, American Scientific Publishers, 2008
Abstract PDF 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 PDF Sherry Xu, Liming Zhu, Yan Liu and Mark Staples
Resource-oriented architecture for business processes
Asia-Pacific Software Engineering Conference, pp. 395-402, Beijing, China, December, 2008
Abstract PDF 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 PDF 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 PDF Yuxin Deng, Robert van Glabbeek, Matthew Hennessy and Carroll Morgan
Characterising testing preorders for finite probabilistic processes
Logical Methods in Computer Science, 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 PDF 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 to be published Yasutaka Kamei, Jacky Keung, Akito Monden and Ken-ichi Matsumoto
An over-sampling method for analogy-based software effort estimation
ESEM Conference, October, 2008
Abstract to be published Jacky Keung
Empirical evaluation of analogy-x for software cost estimation
ESEM Conference, 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 PDF 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 PDF 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 PDF 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 PDF Betty Bui, Liming Zhu, Yan 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 PDF 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 Yan 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 PDF Yan Liu, Simon Thuong, Shiping Chen and Liming Zhu
Composing adaptive web services on COTS middleware
IEEE International Conference on Web Services, September, 2008
Abstract PDF 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 PDF 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 PDF 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 PDF 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 PDF Vladimir Tosic, Karl Michael Goeschka, Aad van Moorsel, Ian Warren and Raymond Wong
Proceedings of the EDOC 2008 workshop middleware for web services (MWS) 2008
Volume 1 in 1, IEEE-CS, 2008
Abstract PDF Vladimir Tosic and Udo Kannengiesser
Improving business processes in the australian lending industry
Abstract, Proceedings of IEEE EDOC 2008, Munich, Germany, September, 2008.
Abstract PDF Vladimir Tosic, Yan 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 PDF 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 PDF 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 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
Hsinchu, Taiwan, August, 2008
Best Paper Award!
Abstract to be published Sherif Sakr
An experimental investigation of XML compression tools
Technical Report, VLDB Conference, August, 2008
Abstract PDF 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 PDF 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 PDF 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 PDF 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 PDF Paul Bannerman
Defining project success: A multi-level framework
Project Management Institute Research Conference, pp. 13, Warsaw, Poland, 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 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 Slides Liming Zhu
Application of the REST principle
Other Conference Presentation, Open Publish , Sydney, Australia, July, 2008.
Abstract PDF 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 Phan Son, Lan Du, Huidong Jin, Olivier de Vel, Nianjun Liu and Terry Caelli
A simple WordNet-ontology based email retrieval system for digital forensics
Pacific Asia Workshop on Cybercrime and Computer Forensics, pp. 217-228, Taipei, Taiwan, June, 2008
Abstract PDF 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 Ron van der Meyden and Chenyi Zhang
Information flow in systems with schedulers
IEEE Symposium on Computer Security Foundations, pp. 301-312, Pittsburgh, USA, June, 2008
Abstract to be published Liming Zhu, Thong Nguyen, Tan Doan and Yan Liu
State of the art: Model driven development for technology evaluation
Technical Report, DSTO, June, 2008
Abstract to be published Liming Zhu, Thong Nguyen, Tan Dao and Yan Liu
Model driven development for technology evaluation - recommendations
Technical Report, DSTO, June, 2008
Abstract PDF 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 PDF 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 PDF 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 PDF Paul Bannerman
Smoothing innovation discontinuities
International Engineering Management Conference, China, pp. 5458-5462, Beijing, China, May, 2008
Abstract PDF 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 PDF 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 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 PDF 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 PDF 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 PDF Min'an Tan, Yan 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 PDF 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 PDF 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 PDF Sherry Xu, Liming Zhu, Yan 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 PDF 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 PDF 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 PDF 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 PDF 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 PDF 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 ACM Symposium on Applied Computing, pp. 650-655 , Fortaleza, Brazil, March, 2008
Abstract PDF Paul Bannerman
Toward an integrated framework of software project threats
Australasian Software Engineering Conference, pp. 139-148, Perth, 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 Jacky Keung and Barbara Kitchenham
Experiments with analogy-x for software cost estimation
IEEE Australian Software Engineering Conference, pp. 229-238, Perth, Australia, March, 2008
Abstract to be published Sherif Sakr
Algebra-based XQuery cardinality estimation
Volume 4, Number 1, pp. 6-47, March, 2008
Abstract PDF Basem Suleiman
Commercial-off-the-shelf software development framework
Proceedings of the 19th Australasian Software Engineering Conference, 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 PDF 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 PDF 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 PDF 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 Slides Liming Zhu
LIXI visible loans: reference architecture and implementation guide
Standards Contribution, LIXI, Oct, 2007.
Abstract PDF 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
Abstract PDF Peter Hutterer and Bruce Thomas
Enabling co-located ad-hoc collaboration on shared displays
9th Australasian User Interface Conference (AUIC2008), pp. 43-50, Australia, January, 2008

2007

Abstract PDF Abdul Babar and Vladimir Tosic
Aligning the map requirements modelling with the b-method for formal software development
14th Asia-Pacific Software Engineering Conference, pp. 17-24, Nagoya, Japan, December, 2007
plain text 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 Kevin Elphinstone, David Greenaway and Sergio Ruocco
Lazy queueing and direct process switch — merit or myths?
OSPERT 2007, Workshop on Operating System Platforms for Embedded Real-Time Applications, pp. 69-77, Pisa, Italy, 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 Jacky Keung
Achieving automated software data collection and monitoring in globally distributed software development
International Workshop on Accountability and Traceability in Global Software Engineering, Nagoya, Japan, December, 2007
Abstract to be published Jacky Keung
Software engineers’ view of software metrics in australia: A survey
International Workshop on Accountability and Traceability in Global Software Engineering, Nagoya, Japan, December, 2007
Abstract to be published Jacky Keung
Obstacles in collecting reliable software project data
International Workshop on Accountability and Traceability in Global Software Engineering, Nagoya, Japan, December, 2007
Abstract to be published Jacky Keung
Proceedings of SPACE 2007 - software productivity and cost estimation
Volume 1 in 1, IPSJ, 2007
Abstract to be published Jacky Keung
An alternative approach for software cost estimation: reasoning by analogy
Australian Conference on Software Measurement, Sydney, Australia, December, 2007
Abstract to be published Jacky Keung
Joint effort and duration using data-intensive case-based reasoning
PROFES 2007, Riga, Latvia, December, 2007
Abstract to be published Jacky Keung and Barbara Kitchenham
Optimising project feature weights for analogy-based software cost estimation using the mantel correlation
14th Asia-Pacific Software Engineering Conference, Nagoya, Japan, December, 2007
Abstract PDF 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 PDF 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 PDF 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 PDF 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 PDF Karl Goeschka, Schahram Dustdar, Frank Leymann and Vladimir Tosic
Proceedings of middleware for service oriented computing (MW4SOC 2007)
ACM/IFIP/USENIX International Middleware Conference, Volume 1 in 1, ACM Press, 2007
Abstract PDF 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 PDF 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 PDF John S Gero and Udo Kannengiesser
A function-behavior-structure ontology of processes
Volume 21, Number 4, pp. 379-391, October, 2007
Abstract PDF Yan 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 PDF 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 PDF 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 PDF Vladimir Tosic, Yan 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 PDF 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 PDF Robert van Glabbeek and Matthew Hennessy
Preface, proceedings of the 4th workshop on structural operational semantics
Electronic Notes in Theoretical Computer Science, Volume 192, Number 1, pp. 1-3, October, 2007
Abstract Slides Liming Zhu
Future of embedded systems standards
ISO/JTC1 Technology Workshop, Brisbane, Australia, October, 2007
Abstract Slides Liming Zhu
Visible loan - a RESTful and pub-sub approach
Other Conference Presentation, LIXI Forum 2007, Sydney, Australia, Oct, 2007.
Abstract PDF 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 PDF 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 PDF Udo Kannengiesser
Evaluation of BPMN tools
International Workshop on the Management of Business Processes in Government, pp. 19-32, Brisbane, September, 2007
Abstract PDF Yan 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 PDF 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 PDF 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 PDF 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 Ron van der Meyden and Chenyi Zhang
A comparison of semantic models for noninterference
Formal Aspects of Security and Trust, pp. 235-249, Volume 4691 in Lecture Notes in Computer Science, Springer, 2007
Abstract PDF 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 PDF 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
Software Engineering Process Group (SEPG), Gold Coast, Australia, August, 2007
Abstract PDF 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 PDF Yan 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 Yan Liu, Liming Zhu, Qing Wang, Ian Gorton and Shiping Chen
1st IEEE international workshop on software engineering for adaptive software systems
IEEE, 2007
Abstract PDF Peter Baumgartner
Logical engineering with instance-based methods
CADE-21 - The 21st International Conference on Automated Deduction, pp. 404-409, July, 2007
Abstract PDF 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 Yuxin Deng, Robert van Glabbeek, Matthew Hennessy, Carroll Morgan and Cuicui 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 queuing 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 PDF 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 PDF 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 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 PDF 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 PDF 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 PDF 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 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 PDF Robert van Glabbeek and Peter Mosses
Preface, proceedings of the 3rd workshop on structural operational semantics
Electronic Notes in Theoretical Computer Science, Volume 175, Number 1, pp. 1-2, May, 2007
Abstract PDF Paul Bannerman
Software project risk in the public sector
Australasian Software Engineering Conference, pp. 389-398, Melbourne, Australia, April, 2007
Abstract PDF Yuxin Deng, Robert van Glabbeek, Matthew Hennessy, Carroll Morgan and Cuicui Zhang
Remarks on testing probabilistic processes
Electronic Notes in Theoretical Computer Science, 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 PDF 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 PDF 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 PDF 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 to be published Ron van der Meyden and Chenyi Zhang
Algorithmic verification of noninterference properties
Volume 168, March, 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
Abstract PDF Ian Wienand, Adam Wiggins Paul Davies and 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 PDF 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 PDF 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 PDF 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 Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith and Keith Wansbrough
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
ACM-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 55–66, Charleston, South Carolina, USA, 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 Gerwin Klein and Rafal Kolanski
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
ACM Symposium on Operating Systems Principles, Work-in-Progress Session, Brighton, UK, October, 2005
Abstract PDF Peter Chubb
[Para]virtualisation without pain
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 Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith and Keith Wansbrough
Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets
ACM Conference on Communications, pp. 265–276, Philadelphia, August, 2005
Abstract PDF Stefan M. Petters
Deadline spanning: A graph based approach
IEEE Conference on Embedded and Real-Time Computing and Applications, 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!
Proceedings of the 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, NICTA, 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 Götz
Initial evaluation of a user-level device driver framework
Proceedings of the 20th Annual Computer Security Applications Conference (ACSAC), 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
Slides
PDF 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 19th Annual Computer Security Applications Conference (ACSAC), Aizu-Wakamatsu City, Japan, September, 2003
Abstract
Slides
PDF 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 Chris Szmajda and Gernot Heiser
Generalised radix page table: A page table for modern architectures
Proceedings of the 19th Annual Computer Security Applications Conference (ACSAC), 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 19th Annual Computer Security Applications Conference (ACSAC), 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 19th Annual Computer Security Applications Conference (ACSAC), 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, UNSW, Sydney, Australia, May, 2009

2008

Abstract PDF Ian Wienand
Transparent large-page support for Itanium Linux
ME Thesis, UNSW, Sydney, Australia, July, 2008
Abstract PDF Daniel Potts
Eidolon: Adapting distributed applications to their environment
PhD Thesis, UNSW, Sydney, Australia, January, 2008

2006

Abstract PDF 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

Abstract PDF Peter Chubb
Bugs: getting them stomped!
Gelato ICE, Brazil, October, 2005
Abstract PDF Peter Chubb
Which filesystem?
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 19th Annual Computer Security Applications Conference (ACSAC), 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 19th Annual Computer Security Applications Conference (ACSAC), 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 Chris 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
Abstract PS Mohit Aron, Yoonho Park, Trent Jaeger, Jochen Liedtke, Kevin Elphinstone and Luke Deller
The SawMill framework for VM diversity
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 PDF Antony Edwards and Gernot Heiser
Components + Security = OS Extensibility
Gold Coast, Australia, January, 2001
Abstract PDF Gernot Heiser
Inside L4/MIPS: Anatomy of a high-performance microkernel
Sydney, 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 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

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
Abstract PS Kevin Elphinstone, Gernot Heiser and Jochen Liedtke
L4 reference manual: MIPS R4x00, version 1.11, kernel version 79
Sydney, Australia, May, 1999
Abstract PS Kevin Elphinstone
Virtual memory in a 64-bit microkernel
PhD Thesis, UNSW, Sydney, Australia, March, 1999
Abstract PDF 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, UNSW, Sydney, Australia, July, 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

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, UNSW, 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, UNSW, 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 PDF 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, UNSW, November, 1995
Abstract PS 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, UNSW, 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

2014

Abstract PDF David Cock
Leakage in trustworthy systems
PhD Thesis, UNSW, Sydney, Australia, August, 2014
Abstract
Slides
PDF Badiul Islam
PRIVACY BY DESIGN FOR SOCIAL NETWORKS
PhD Thesis, Queensland University of Technology/Information Systems, Brisbane, Australia, May, 2014
This research has established a new privacy framework, privacy model, and privacy architecture to create more transparent privacy for social networking users. The architecture is designed into three levels: Business, Data, and Technology, which is based on The Open Group Architecture Framework (TOGAF®). This framework and architecture provides a novel platform for investigating privacy in Social Networks (SNs). This approach mitigates many current SN privacy issues, and leads to a more controlled form of privacy assessment. Ultimately, more privacy will encourage more connections between people across SN services.

2013

Abstract PDF Michael von Tessin
The clustered multikernel: An approach to formal verification of multiprocessor operating-system kernels
PhD Thesis, School of Computer Science and Engineering, UNSW, Sydney, Australia, Sydney, Australia, December, 2013
Abstract PDF Bernard Blackham
Towards verified microkernels for real-time mixed-criticality systems
PhD Thesis, UNSW, Sydney, Australia, October, 2013
John Makepeace Bennett Award for Australasian Distinguished Doctoral Dissertation

2011

Abstract to be published Aditi Barthwal
A formalisation of the theory of context-free languages in higher order logic
PhD Thesis, College of Engineering and Computer Science, ANU, Canberra, Australia, July, 2011
Abstract PDF Rafal Kolanski
Verification of programs in virtual memory using separation logic
PhD Thesis, UNSW, Sydney, Australia, July, 2011
Abstract PDF Etienne Le Sueur
An analysis of the effectiveness of energy management on modern computer processors
MSc Thesis, UNSW, Sydney, Australia, June, 2011
Abstract PDF Nicholas FitzRoy-Dale
Architecture optimisation
PhD Thesis, UNSW, Sydney, Australia, March, 2011

2010

Abstract PDF Dhammika Elkaduwe
A principled approach to kernel memory management
PhD Thesis, UNSW, Sydney, Australia, May, 2010
Abstract PDF David C. Snowdon
OS-Level power management
PhD Thesis, UNSW, Sydney, Australia, March, 2010
Abstract PDF Leonid Ryzhyk
On the construction of reliable device drivers
PhD Thesis, UNSW, Sydney, Australia, January, 2010

2009

Abstract PDF Joshua LeVasseur
Device-driver reuse via virtual machines
PhD Thesis, UNSW, Sydney, Australia, May, 2009
Abstract PDF Matthew Chapman
vNUMA: Virtual shared-memory multiprocessors
PhD Thesis, UNSW, Sydney, Australia, March, 2009

2008

Abstract PDF Harvey Tuch
Formal memory models for verifying C systems code
PhD Thesis, UNSW, Sydney, Australia, August, 2008
Abstract PDF Ian Wienand
Transparent large-page support for Itanium Linux
ME Thesis, UNSW, Sydney, Australia, July, 2008
Abstract PDF Daniel Potts
Eidolon: Adapting distributed applications to their environment
PhD Thesis, UNSW, Sydney, Australia, January, 2008

2007

Abstract to be published Jacky Keung
Providing statistical inferences to case-based software cost estimation
PhD Thesis, School of Computer Science and Engineering, UNSW, Sydney, Australia, Sydney, Australia, December, 2007
Abstract PDF Luke Macpherson
Performing under overload
PhD Thesis, UNSW, Sydney, Australia, September, 2007
Abstract PDF Andrew Baumann
Dynamic update for operating systems
PhD Thesis, UNSW, Sydney, Australia, August, 2007
Abstract to be published Liming Zhu
Software architecture evaluation for framework-based systems
PhD Thesis, School of Computer Science and Engineering, UNSW, Sydney, Australia, May, 2007

2005

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

1999

Abstract PS Kevin Elphinstone
Virtual memory in a 64-bit microkernel
PhD Thesis, UNSW, Sydney, Australia, March, 1999

1998

Abstract PS Jerry Vochteloo
Design, implementation and performance of protection in the Mungi single-address-space operating system
PhD Thesis, UNSW, Sydney, Australia, July, 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, Sydney, Australia, November, 2011
Abstract PDF Aleksander Budzynowski
Operating system for a flow-graph machine
BE Thesis, School of Mechanical and Manufacturing Engineering, Sydney, Australia, October, 2011
Abstract PDF Anna Lyons
Efficient concurrency control for high-performance microkernels
BSc Thesis, School of Computer Science and Engineering, Sydney, Australia, July, 2011

2010

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