SSRG Publications, Theses and Technical Reports

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

• Best papers from NICTA's Software Systems Group
• All publications from NICTA's Software Systems Group ( 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003 )
• Non-NICTA publications by the UNSW OS group ( 2009, 2008, 2006, 2005, 2004, 2003, 2002 )
• Selected undergraduate student theses

Our Best Papers

		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, Vienna, Austria, November, 2011
		Thomas Sewell, Simon Winwood, Peter Gammie, Toby Murray, June Andronick and Gerwin Klein seL4 enforces integrity 2nd International Conference on Interactive Theorem Proving, Nijmegen, The Netherlands, August, 2011
		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, Dublin/Ireland, pp. 241-248, May, 2011, ISBN-13: 978-1-4244-9219-0; ISBN-10: 1-4244-9219-X., None, May, 2011
		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
		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, 53(6), 107–115, (June, 2010)
		Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch and Simon Winwood seL4: Formal verification of an OS kernel Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, USA, October, 2009 Best Paper Award!
		Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur and Gernot Heiser Automatic device driver synthesis with Termite Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, USA, October, 2009
		Leonid Ryzhyk, Peter Chubb, Ihor Kuz and Gernot Heiser Dingo: Taming device drivers Proceedings of the 4th EuroSys Conference, Nuremberg, Germany, April, 2009
		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
		Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie and Gernot Heiser Pre-virtualization: Soft layering for virtual machines Proceedings of the 13th IEEE Asia-Pacific Computer Systems Architecture Conference, Hsinchu, Taiwan, August, 2008 Best Paper Award!
		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, Nice, France, January, 2007
		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, Anaheim, CA, USA, April, 2005 Best Student Paper Award!

All SSRG Publications

2012

		Bernard Blackham, Yao Shi and Gernot Heiser Improving interrupt response time in a verifiable protected microkernel Proceedings of the 7th EuroSys Conference, Bern, Switzerland, April, 2012
		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
		Paul Bannerman and Alan Thorogood Celebrating it projects success: A multi-domain analysis Hawaii International Conference on System Sciences (HICSS45, 2012), Maui/Hawaii, pp. 10, January, 2012., None, January, 2012
		Paul Bannerman, Mohammad Emam Hossain and Ross Jeffery Scrum practice mitigation of global software development coordination challenges: A distinctive advantage? Hawaii International Conference on System, Sciences (HICCS 45, 2012), Maui/Hawaii, pp. 10, January, 2012., None, January, 2012

2011

		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), pp. 1-21, December, 2011, 10.1007/s13174-011-0050-y., ?(?), (December, 2011)
		Karl M. Goeschka, Schahram Dustdar and Vladimir Tosic Proceedings of the 6th international workshop on middleware for service oriented computing (mw4soc) 2011 Association for Computing Machinery (ACM) Press, December, 2011, 978-1-4503-1067-3, December, 2011
		Qinghua Lu, Vladimir Tosic and Paul Bannerman Support for the business motivation model in the ws-policy4masc language and miniznmasc middleware 9th International Conference on Service Oriented Computing, Cyprus, pp. 265-276, December, 2011, 10.1007/978-3-642-25535-9_18., None, December, 2011
		Rob van Glabbeek Bisimulation Springer, Encyclopedia of Parallel Computing, pp. 136-139, December, 2011, 978-0-387-09765-7, December, 2011
		Guido Governatori, Francesco Olivieri, Antonino Rotolo and Simone Scannapieco Three concepts of defeasible permission The 24th International Conference on Legal Knowledge and Information Systems, Vienna, pp. 63-72, December, 2011., None, December, 2011
		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, Vienna, Austria, November, 2011
		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, pp. 274-288, November, 2011, http://dx.doi.org/10.1016/j.jal.2011.09.006., ?(?), (November, 2011)
		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), Ft Lauderdale, pp. 298-312, November, 2011, http://dx.doi.org/10.1007/978-3-642-24908-2_30., None, November, 2011
		June Andronick, Gerwin Klein and Toby Murray Formal system verification for trustworthy embedded systems, final report option 1 – aoard 104105 Technical Report , NICTA, Sydney, Australia, November, 2011, 1833-9646-5617., November, 2011
		Dana Kusumo, Liming Zhu, Mark Staples and He (Jason) Zhang A systematic mapping study on off-the-shelf-based software acquisition 22nd Australasian Conference on Information Systems (ACIS), Sydney/ Australia, November, 2011, 9781742102399 ., None, November, 2011
		Marcus Foth, Christine Satchell, Mark Bilandzic, Greg T. Hearn and Danielle Shelton Dramatic character development personas to tailor apartment designs for different residential lifestyles MIT Press, From Social Butterfly to Engaged Citizen, Cambridge, MA, USA, November, 2011, November, 2011
		Marcus Foth, Laura Forlano, Christine Satchell and Martin Gibbs From social butterfly to engaged citizen MIT Press, November, 2011, November, 2011
		David Cock Side channel exploitation as a problem in AI Proceedings of the 4th ACM Workshop on Artificial Intelligence and Security, Chicago, IL, USA, October, 2011
		Jan Recker and Marcello La Rosa Understanding user differences in open-source workflow management system usage intentions Information Systems, pp. 200-212, October, 2011, doi:10.1016/j.is.2011.10.002., ?(?), (October, 2011)
		Vladimir Tosic Cloud elasticity and its importance for cloud management Presentation, October, 2011
		Zheng Li Initial step toward effort judgment for soa projects: From individual web service compositions (wsc) to wsc-based soa implementations LAP LAMBERT Academic Publishing , October, 2011, 978-3846542309, October, 2011
		He (Jason) Zhang The certainty of uncertainty: Modeling and simulating software engineering processes qualitatively Lambert Academic Publishing, October, 2011, 978-3845417288, October, 2011
		Vladimir Tosic, Hiroshi Wada, Adnene Guabtni, Kevin Lee and Anna Liu Management towards reducing cloud usage costs Presentation, October, 2011
		Dipesh Chauhan Business driven it management in cloud computing systems Poster Presentation, October, 2011
		Ralf Huuck, Ansgar Fehnker and Rodiger Wolf Model checking dataflow for malicious input 6th Workshop on Embedded Systems Security (WESS 2011), Taipei, Taiwan, pp. 4:1–4:10, October, 2011., None, October, 2011
		Peter Höfner, Don Batory and Jongwook Kim Feature interactions, products, and composition Generative Programming and Component Engineering (GPCE\'11), Portland, OR/United States, pp. 13-22, October, 2011., None, October, 2011
		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), Brussels, Belgium, pp. 15, October, 2011., None, October, 2011
		Ansgar Fehnker, Mark Bradley, Ralf Huuck and Paul Steckler Goanna static analysis at the nist static analysis tool exposition Technical Report , NIST, USA, October, 2011, 1833-9646-4728., October, 2011
		Liang Zhao, Sherif Sakr and Anna Liu On the spectrum of web scale data management CRC Press, Taylor & Francis group, Cloud computing, pp. 487–509, October, 2011, 978-1-4398-5641-3, October, 2011
		Richard Cliffe Medland and Petromil Petkov Connecting people to their resource consumption through real-time data visualisation IEEE Pervasive Computing: Special Issue on Pervasive Computing for Smart Energy Systems, October, 2011., ?(?), (October, 2011)
		Sherif Sakr and Ghazi Al-Naymat An efficient features-based processing technique for supergraph queries Fourteenth International Database Engineering & Applications Symposium (IDEAS\'10), Montreal, pp. 10, August, 2010., None, October, 2011
		Andreas Bauer, Adi Botea, Alban Grastien, Patrik Haslum and Jussi Rintanen Alarm processing with model-based diagnosis of discrete event systems International Workshop on Principles of Diagnosis, Germany, October, 2011., None, October, 2011
		Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann and Wee Lum Tan Modelling and analysis of aodv in uppaal 1st International Workshop on Rigorous Protocol Engineering, Vancouver, pp. 1-6, October, 2011., None, October, 2011
		Jeff Blee, David Billington, Guido Governatori and Abdul Sattar Levels of modality for bdi logic Journal of Applied Logic, pp. 250-273, September, 2011, http://dx.doi.org/10.1016/j.jal.2011.08.002., ?(?), (September, 2011)
		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 IEEE, Proceedings of the 13th IEEE Conference on Commerce and Enterprise Computing – CEC 2011, pp. xiv-xv, September, 2011, 978-1-4577-1542-6, September, 2011
		Mahboobeh Moghaddam An active negotiation model for service selection in web service composition Technical Report , Institute of Computer Science of the University of Halle, Halle/Germany, September, 2011, 1833-9646-5226., September, 2011
		Xu Bai, He (Jason) Zhang and Liguo Huang Empirical research in software process modeling: A systematic literature review International Symposium on Empirical Software Engineering and Measurement, Banff/Canada, pp. 4, September, 2011., None, September, 2011
		Guoping Rong, Dong Shao, He (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, Banff/Canada, pp. 10, September, 2011., None, September, 2011
		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), Clermont-Ferrand, France, pp. 15, September, 2011., None, September, 2011
		Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke On causal semantics of petri nets (extended abstract) 22nd International Conference on Concurrency Theory, Aachen, Germany, pp. 43-59, September, 2011, ISSN: 0302-9743., None, September, 2011
		He (Jason) Zhang and Muhammad Ali Babar An empirical investigation of systematic reviews in software engineering International Symposium on Empirical Software Engineering and Measurement, Canada, pp. 10, September, 2011., None, September, 2011
		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, Banff, Alberta, Canada, September, 2011., None, September, 2011
		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), pp. 20, September, 2011, 1741-8763., ?(?), (September, 2011)
		Ansgar Fehnker, Mark Bradley and Ralf Huuck Cyber security at software development time International Conference on Defence Science Research (DSR-2011), Singapore, pp. 4, September, 2011., None, September, 2011
		Thomas Sewell, Simon Winwood, Peter Gammie, Toby Murray, June Andronick and Gerwin Klein seL4 enforces integrity 2nd International Conference on Interactive Theorem Proving, Nijmegen, The Netherlands, August, 2011
		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, pp. 18-43, August, 2011, http://dx.doi.org/10.4018/jswis.2011010102., ?(?), (August, 2011)
		Sadeka Islam, Kevin Lee, Alan Fekete and Anna Liu How a consumer can measure elasticity for cloud platforms Technical Report , University of Sydney, Australia, August, 2011, 1833-9646-5201., August, 2011
		Sherif Sakr and Eric Pardede Graph data management: techniques and applications IGI Global, August, 2011, 9781613500538, August, 2011
		Simone Scannapieco, Guido Governatori, Francesco Olivieri and Matteo Cristani Designing for compliance: Norms and goals RuleML 2011, Ft Lauderdale, August, 2011., None, August, 2011
		Michael Norrish Mechanised computability theory International Conference on Interactive Theorem Proving, Nijmegen, pp. 297–311, August, 2011, 10.1007/978-3-642-22863-6_22., None, August, 2011
		Mauro Gambini, Marcello La Rosa, Sara Migliorini, Arthur H and M. ter Hofstede Automated error correction of business process models International Conference in Business Process Management (BPM), Clermont-Ferrand/France, pp. 148-165, August, 2011, 10.1007/978-3-642-23059-2_14., None, August, 2011
		Peter Baumgartner and Uwe Waldmann A combined superposition and model evolution calculus Journal of Automated Reasoning, pp. 191-227, August, 2011, 0168-7433., ?(?), (August, 2011)
		Xing Yu (Frank) Su, Hanna Suominen and Leif Hanlen Machine intelligence for health information: Capturing concepts & trends in social media via query expansion Health Informatics Conference 2011 (HIC 2011), Brisbane/Australia, pp. 150-157, August, 2011, 0926-9630., None, August, 2011
		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, Shanghai, China, July, 2011
		Bernard Blackham, Yao Shi and Gernot Heiser Protected hard real-time: The next frontier Proceedings of the 2nd Asia-Pacific Workshop on Systems, Shanghai, China, July, 2011
		Rafal Kolanski Verification of programs in virtual memory using separation logic, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2011
		Prashant Varanasi and Gernot Heiser Hardware-supported virtualization on ARM Proceedings of the 2nd Asia-Pacific Workshop on Systems, Shanghai, China, July, 2011
		Leif Hanlen and Michelle Carden National telehealth infrastructure services Technical Report , NICTA, Canberra/Australia, July, 2011, 1833-9646-5152., July, 2011
		Anna Liu Engineering cloud computing solutions - the enterprise consumer perspective IEEE International Workshop on Future of Software Engineering For and IN the Cloud, Washington DC, USA, pp. 2, July, 2011., None, July, 2011
		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, Barcelona, pp. 364-382, July, 2011., None, July, 2011
		Paul Bannerman and Philip Yetton Why project performance varies: A capability-based explanation Pacific Asia Conference on Information Systems (PACIS 2011), Brisbane/Australia, pp. 15, July, 2011, 978-1-86435-644-1., None, July, 2011
		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), Washington DC, USA, pp. 2, July, 2011., None, July, 2011
		Sherif Sakr, Liang Zhao, Hiroshi Wada and Anna Liu Clouddb autoadmin: Towards a truly elastic cloud-based data store The 9th IEEE International Conference on Web Services (ICWS 2011), Washington DC, USA, pp. 2, July, 2011., None, July, 2011
		Guido Governatori On the relationship between carneades and defeasible logic ICAIL 2011: The Thirteenth International Conference on Artificial Intelligence and Law, Pittsbourgh, USA, pp. 31-40, July, 2011, http://doi.acm.org/10.1145/2018358.2018362., None, July, 2011
		Peter Höfner, Ridha Khedri and Bernhard Möller Supplementing product families with behaviour International Journal of Software and Informatics, pp. 245-266, July, 2011., ?(?), (July, 2011)
		Qinghua Lu Autonomic business-driven decision making for adaptation of web service compositions 2011 IEEE World Congress on Services, Washington DC, USA, pp. 73-76, July, 2011, 978-1-4577-0879-4 ., None, July, 2011
		Andreas Bauer, Jan Juerjens and Yijun Yu Run-time security traceability for evolving systems The Computer Journal, pp. 58-87, July, 2011., ?(?), (July, 2011)
		Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke Abstract processes of place/transition systems Information Processing Letters, pp. 626-633, July, 2011, ISSN: 0020-0190., ?(?), (July, 2011)
		Yuxin Deng, Rob 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), Saarbrücken, Germany, pp. 61-73, July, 2011, 10.4204/EPTCS.57.5., None, July, 2011
		Udo Kannengiesser and Liming Zhu Towards concise architectures for flexible business processes Nova Science Publishers, Business Process Modeling: Software Engineering, Analysis and Applications, pp. 61-75, July, 2011, 978-1612093444, July, 2011
		Gernot Heiser Virtualizing embedded systems – why bother? Proceedings of the 48th Design Automation Conference, San Diego, CA, USA, June, 2011 Special session invited paper
		Etienne Le Sueur An analysis of the effectiveness of energy management on modern computer processors, MSc Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2011
		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
		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), Brisbane, Australia, pp. 21-30, June, 2011., None, June, 2011
		Vladimir Tosic Formalization of a software systems research methodology that uses prototypes for evaluation Lecture, June, 2011
		Monica Palmirani, Guido Governatori and Giuseppe Contissa Modelling temporal legal rules ICAIL 2011: The Thirteenth International Conference on Artificial Intelligence and Law, Pittsburgh, pp. 131-136, June, 2011., None, June, 2011
		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), pp. 155-162, June, 2011., ?(?), (June, 2011)
		Zheng Li, Liam O'Brien and He Zhang Circumstantial-evidence-based judgment for software effort estimation 1st International Workshop on Evidential Assessment of Software Technologies - EAST 2011, Beijing / China, pp. 18-27, June, 2011, 978-989-8425-58-4., None, June, 2011
		Zheng Li, He Zhang and Liam O'Brien Towards technology independent strategies for soa implementations The 6th International Conference on Evaluation of Novel Approaches to Software Engineering, Beijing / China, pp. 143-154, June, 2011, 978-989-8425-57-7., None, June, 2011
		Han-Hing Dang, Bernhard Möller and Peter Höfner Algebraic separation logic The Journal of Logic and Algebraic Programming, pp. 221-247, June, 2011, http://dx.doi.org/10.1016/j.jlap.2011.04.003., ?(?), (June, 2011)
		Peter Höfner and Bernhard Möller Fixing zeno gaps Theoretical Computer Science, pp. 3303-3322, June, 2011, http://dx.doi.org/10.1016/j.tcs.2011.03.018., ?(?), (June, 2011)
		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, Pisa/Italy, pp. 188-190, June, 2011, ISBN: 978-0-7695-4330-7/11; DOI:10.1109/POLICY.2011.29., None, June, 2011
		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), Karlsruhe/Germany, pp. 189-190, June, 2011, ISBN: 978-1-4503-0607-2; doi>10.1145/1998582.1998622., None, June, 2011
		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), Torre Canne/Italy, pp. 15, June, 2011, 978-3-642-21842-2., None, June, 2011
		Vladimir Tosic Nicta’s business adaptation and interoperation (bai) project Lecture, June, 2011
		Rob van Glabbeek On cool congruence formats for weak bisimulations Theoretical Computer Science, pp. 3283-3302, June, 2011, ISSN: 0304-3975., ?(?), (June, 2011)
		He (Jason) Zhang, Muhammad Ali Babar and Paolo Tell Identifying relevant studies in software engineering Information and Software Technology, pp. 625-637, June, 2011., ?(?), (June, 2011)
		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
		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, Napa, CA, USA, May, 2011
		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
		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, May, 2011
		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), Hawaii, USA, pp. 22-28, May, 2011., None, May, 2011
		Ross Jeffery Software developement cost modeling amd estimation through a unsw lens International Journal of Software Informatics, pp. 435-442, May, 2011, ISSN 1673-7288., ?(?), (May, 2011)
		Xu Bai, Liguo Huang, He (Jason) Zhang and Alexander Egyed Gopomosa: A goal-oriented process modeling and simulation advisor International Conference on Software and Systems Process 2011, Honoulu/USA, pp. 194-198, May, 2011., None, May, 2011
		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 (ICSE2011), Honolulu/Hawaii, pp. 10, May, 2011., None, May, 2011
		Rong Guoping, He (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, Honoulu/USA, pp. 10, May, 2011., None, May, 2011
		Emam Hossain, Paul L 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, USA, pp. 10, May, 2011., None, May, 2011
		He (Jason) Zhang, Ross Jeffery, Dan Houston, Liguo Huang and Liming Zhu Impact of process simulation on software practice: An initial report 33rd International Conference on Software Engineering, Honoulu/USA, pp. 1046-1056, May, 2011., None, May, 2011
		Ho-Pun Lam and Guido Governatori What are the necessity rules in defeasible reasoning? The 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR11), Vancouver, Canada, pp. 187-192, May, 2011., None, May, 2011
		Liming Zhu Model driven architecture Springer, Essential Software Architecture, pp. 201-216, May, 2011, 978-3540287131, May, 2011
		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, Dublin/Ireland, pp. 241-248, May, 2011, ISBN-13: 978-1-4244-9219-0; ISBN-10: 1-4244-9219-X., None, May, 2011
		June Andronick and Gerwin Klein Formal system verification for trustworthy embedded systems, final report aoard 094160 Technical Report , NICTA, Sydney, Australia, April, 2011, 1833-9646-5614., April, 2011
		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), Vancouver, Canada, pp. 1945-1950, April, 2011, http://dx.doi.org/10.1145/1979742.1979855., None, April, 2011
		Andreas Bauer and Martin Leucker The theory and practice of salt NASA Formal Methods Symposium (NFM\'11), Pasadena, CA/USA, pp. 28, April, 2011., None, April, 2011
		Andreas Bauer, Martin Leucker and Christian Schallhart Runtime verification for ltl and tltl ACM Transactions on Software Engineering and Methodology (ACM TOSEM), pp. 75, April, 2011., ?(?), (April, 2011)
		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, pp. 26, April, 2011., ?(?), (April, 2011)
		Matthew B. Thompson, Jason M. Tangen and Duncan J. McCarthy Accuracy and expertise in human fingerprint identification Australasian Experimental Psychology Conference, Auckland, New Zealand, pp. 1, April, 2011., None, April, 2011
		Peter Baumgartner and Cesare Tinelli Model evolution with equality modulo built-in theories International Conference on Automated Deduction, Wroclaw, Poland, pp. 85-100, April, 2011, 978-3-642-22437-9., None, April, 2011
		He (Jason) Zhang, Ali Babar, Bai, 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), Durham/UK, pp. 1-10, April, 2011., None, April, 2011
		Hiroshi WADA, Junichi Suzuki, Yuji Yamano and Katsuya Oba Evolutionary deployment optimization for service oriented clouds Software: Practice and Experience , pp. 469-493, April, 2011., ?(?), (April, 2011)
		Nicholas FitzRoy-Dale Architecture optimisation, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2011
		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
		Basem Suleiman, Carlos Eduardo da Silva and Sherif Sakr One size does not fit all: A group-based service selection for web-based business processes The Seventh International Symposium on Frontiers of Information Systems and Network Applications (FINA 2011), Singapore, pp. 253-260, March, 2011, 10.1109/WAINA.2011.106/ 978-1-61284-829-7 ., None, March, 2011
		Vladimir Tosic On quality of service (qos) specification and management for service-oriented systems Lecture, March, 2011
		Paul Brebner Real-world performance modelling of enterprise service oriented architectures: delivering business value with complexity and constraints International Conference on Performance Engineering, Germany, pp. 12, March, 2011., None, March, 2011
		Zheng 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) , Biopolis / Singapore, pp. 586-593, March, 2011, 978-0-7695-4337-6., None, March, 2011
		Stefan Pohl, Alistair Moffat and Justin Zobel Efficient extended boolean retrieval IEEE Transactions on Knowledge and Data Engineering, March, 2011., ?(?), (March, 2011)
		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., ?(?), (February, 2011)
		Zheng Li and Liam O'Brien Towards effort estimation for web service compositions using classification matrix International Journal On Advances in Internet Technology, pp. 245-260, 12, 2010, 1942-2652., ?(?), (February, 2011)
		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) (JSS), pp. 1436-1446, February, 2011, 10.1016/j.jss.2011.01.030., ?(?), (February, 2011)
		Udo Kannengiesser and Liming Zhu Rationale in semi-structured processes Springer, LECTURE NOTES IN BUSINESS INFORMATION PROCESSING, Hoboken/USA, pp. 634-639, February, 2011, 978-3-642-20510-1, February, 2011
		Etienne Le Sueur and Bernard Blackham e4meter: Power management for the people 12th Linux.conf.au, Brisbane, Australia, January, 2011
		Baochang Zhang, Yongsheng Gao and Hong Zheng Local kernel feature analysis (lkfa) for object recognition Neurocomputing, pp. 575-579, January, 2011., ?(?), (January, 2011)
		Jean Burgess and Marcus Foth Show us your mess! Peter Lang, Nexus: New Intersections in Internet Research, New York, NY, USA, pp. 255-260, January, 2011, 978-1-4331-0970-6, January, 2011
		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, Austin, Texas, USA, pp. 3–14, 2011, 978-1-4503-0484-9., None, January, 2011
		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 5th biennial Conference on Innovative Data Systems Research, Asilomar, California USA, pp. 134-143, January, 2011., None, January, 2011
		Guido Governatori and Renato Iannella A modelling and reasoning framework for social networks policies Enterprise Information Systems, pp. 145-167, January, 2011, http://dx.doi.org/10.1080/17517575.2010.513014., ?(?), (January, 2011)
		Udo Kannengiesser Towards a methodology for flexible process specification Enterprise Modelling and Information Systems Architectures, pp. 44-63, December, 2010., ?(?), (January, 2011)
		Toby Murray On the limits of refinement-testing for model-checking CSP Formal Aspects of Computing, ?(?), (2011)

2010

		Paul Brebner and Anna Liu Performance and cost assessment of cloud services The Eighth International Conference on Service Oriented Computing, San Francisco, pp. 12, December, 2010., None, December, 2010
		Liming Zhu and Paul Mackie Back to the future Superfunds, pp. 38-40, December, 2010., ?(?), (December, 2010)
		Insu Song, Guido Governatori and Joachim Diederich Automatic synthesis of reactive agents 11th International Conference on Control, Automation, Robotics and Vision, ICARCV 2010, Singapore, pp. 970-975, December, 2010, http://dx.doi.org/10.1109/ICARCV.2010.5707867., None, December, 2010
		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), Chennai/ India, pp. 8, 12, 2010., None, December, 2010
		Rong Guoping and He (Jason) Zhang Scrum-psp: Embracing process agility and discipline Asia Pacific Software Engineering Conference, Sydney, Australia, pp. 9, December, 2010., None, December, 2010
		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), Singapore, pp. 15, September, 2010., None, December, 2010
		Xiwei 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), China, pp. 14, December, 2011., None, December, 2010
		Zheng (Eddie) Li, He (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), Perth/Australia, pp. 1-4, December, 2010, 978-1-4244-9801-7., None, December, 2010
		Shukor Sanim Mohd Fauzi, Paul Bannerman and Mark Staples Software configuration management in global software development: A systematic map Asia Pacific Software Engineering Conference, Sydney, Australia, pp. CD Proceeding, December, 2010., None, December, 2010
		Gerwin Klein From a verified kernel towards verified systems Proceedings of the 8th Asian Symposium on Programming Languages and Systems, Shanghai, China, November, 2010 Invited extended abstract.
		Matthew B. Thompson, Jason M. Tangen, Duncan McCarthy and Morgan J. Tear Ground truth: On certainty in forensic decision-making research Abstract, November, 2010
		Matthew B. Thompson, Jason M. Tangen, Renee Treloar and Kathleen J. Ivison Humans matching fingerprints: sequence and size Annual Meeting of the Human Factors and Ergonomics Society, San Francisco, US , pp. 5, September, 2010., None, November, 2010
		Vladimir Tosic Middleware for clouds vs. middleware for other soc: What is different and what is not? Poster Presentation, November, 2010
		Guido Governatori A logic framework of normative-based contract management Fourth International Workshop on Juris-informatics (JURISIN 2010), Tokyo, pp. 1-10, November 18-19, 2010., None, November, 2010
		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, Germany, 2010, BPT Technical Report 12-2010., November, 2010
		Paul Bannerman Cloud computing adoption risks: State of play Asia Pacific Software Engineering Conference (APSEC 2010) Cloud Workshop, Sydney/Australia, pp. 7, November, 2010., None, November, 2010
		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) November, 2010
		Qinghua Lu, Xiwei 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, Bangalore, India, pp. 5-8, December, 2010, 978-1-4503-0601-0., None, November, 2010
		Liam O'Brien, James Gibson and Jon Gray A method for selecting soa pilot projects Asia Pacific Software Engineering Conference, Sydney/Australia, pp. 2, November, 2010., None, November, 2010
		Sherif Sakr and Hooran MahmoudiNasab Efficient and adaptable query workload-aware management of rdf data he 11th International Conference on Web Information Systems Engineering, Hong Kong, China, pp. 10, December, 2010., None, November, 2010
		Ansgar Fehnker, Ralf Huuck, Andreas Vogelsang and Wolfgang Reif Software metrics in static program analysis International Conference on Formal Engineering Methods, Shanghai, China, pp. 485-500, October, 2010, 10.1007/978-3-642-16901-4., None, November, 2010
		Vladimir Tosic, Rasangi Pumudu Karunaratne and Qinghua Lu Specification of context for management of service-oriented systems with ws-policy4masc November, 2010
		Vladimir Tosic Towards business value driven management of business processes and service-oriented architectures Lecture, November, 2010
		June Andronick, David Greenaway and Kevin Elphinstone Towards proving security in the presence of large untrusted components Proceedings of the 5th Workshop on Systems Software Verification, Vancouver, Canada, October, 2010
		David Cock Lyrebird – assigning meanings to machines Proceedings of the 5th Workshop on Systems Software Verification, Vancouver, Canada, October, 2010
		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
		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
		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, Washington, USA, pp. paper 8, October, 2010, http://ceur-ws.org/Vol-649/paper8.pdf., None, October, 2010
		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, Cape Town/South Africa, pp. 1131-1135, September, 2010., None, October, 2010
		Sherif Sakr and Ghazi Al-Naymat Efficient relational techniques for processing graph queries Journal of Computer Science and Technology (JCST) , pp. 1237-1255, November, 2010, 1000-9000., ?(?), (October, 2010)
		Monica Palmirani, Guido Governatori and Giuseppe Contissa Temporal dimensions in rules modelling The 23rd International Conference on Legal Knowledge and Information Systems, Liverpool, UK, pp. 159-162, 16-17 December, 2010, http://dx.doi.org/10.3233/978-1-60750-681-2-159., None, October, 2010
		Guido Governatori and Giovanni Sartor Burdens of proof in monological argumentation The 23rd International Conference on Legal Knowledge and Information Systems, Liverpool, pp. 57-66, 16-17 December, 2010, http://dx.doi.org/10.3233/978-1-60750-681-2-57., None, October, 2010
		Jens Kohl and Andreas Bauer Role-based diagnosis for distributed vehicle functions International Workshop on the Principles of Diagnosis (DX 10), Portland, USA, pp. 6, October, 2010., None, October, 2010
		Aqueo Kamada, Guido Governatori and Shazia Sadiq Transformation of sbvr compliant business rules to executable fcl rules 4th International Web Rule Symposium (RuleML 2010), Washington, USA, pp. 151-159, October, 2010., None, October, 2010
		Ho-Pun Lam and Guido Governatori On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic 4th International Web Rule Symposium (RuleML 2010), Washington, USA, pp. 119-127, October, 2010., None, October, 2010
		Guido Governatori and Antonino Rotolo Norm compliance in business process modeling 4th International Web Rule Symposium (RuleML 2010), Washington, USA, pp. 194-209, October , 2010., None, October, 2010
		Guido Governatori, Francesco Olivieri, Simone Scannapieco and Matteo Cristani Superiority based revision of defeasible theories 4th International Web Rule Symposium (RuleML 2010), Washington, USA, pp. 104-118, October, 2010., None, October, 2010
		Kalliopi Kravari, Grammati-Eirini Kastori, Nick Bassiliades and Guido Governatori A contract agreement policy-based workflow methodology for agents interacting in the semantic web 4th International Web Rule Symposium (RuleML 2010), Washington, USA, pp. 223-237, October, 2010., None, October, 2010
		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, Xi'an/China, pp. 460-468, October, 2010, 978-0-7695-4272-0., None, October, 2010
		Karl Michael Goeschka, Hye-young Paik and Vladimir Tosic Engineering middleware for service-oriented computing: Editorial note October, 2010
		Sarvnaz Karimi, Stefan Pohl, Falk Scholer, Lawrence Cavedon and Justin Zobel Boolean versus ranked querying for biomedical systematic reviews BMC Medical Informatics and Decision Making, pp. 20 pages, October, 2010., ?(?), (October, 2010)
		Guido Governatori Law, logic and business processes 3rd International Workshop on Requirement Engineering and law, Sydney, pp. 1-10, September, 2010., None, September, 2010
		Nicholas FitzRoy-Dale, Ihor Kuz and Gernot Heiser Architecture optimisation with Currawong Proceedings of the 1st Asia-Pacific Workshop on Systems, New Delhi, India, August, 2010
		Gernot Heiser and Ben Leslie The OKL4 Microvisor: Convergence point of microkernels and hypervisors Proceedings of the 1st Asia-Pacific Workshop on Systems, New Delhi, India, August, 2010
		Gerwin Klein The L4.verified project - next steps Proceedings of Verified Software: Theories, Tools and Experiments 2010, Edinburgh, UK, August, 2010 Invited extended abstract.
		Ihor Kuz, Gerwin Klein, Corey Lewis and Adam Walker capDL: A language for describing capability-based systems Proceedings of the 1st Asia-Pacific Workshop on Systems, New Delhi, India, August, 2010
		Leonid Ryzhyk, Yanjin Zhu and Gernot Heiser The case for active device drivers Proceedings of the 1st Asia-Pacific Workshop on Systems, New Delhi, India, August, 2010
		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, New Jersey, USA, pp. 1, August, 2010., None, August, 2010
		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, Xian/China, pp. 474 - 477 , October, 2010, 978-1-4244-9043-1 ., None, August, 2010
		He (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, pp. 23, August, 2010, DOI: 10.1002/smr.516., ?(?), (August, 2010)
		Andreas Bauer and Patrik Haslum Ltl goal specifications revisited European Conference on Artificial Intelligence, Lisbon/Portugal, August, 2010., None, August, 2010
		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, Brno, Czech Republic, pp. 95-109, August, 2010., None, August, 2010
		suronapee phoomvuthisarn, Yan Liu and Liming Zhu An architectural approach to composing reputation-based distributed services European Conference on Software Architecture (ECSA 2010), Copenhagen/Denmark, pp. 16, August, 2010., None, August, 2010
		Gerwin Klein A formally verified OS kernel. Now what? 1st International Conference on Interactive Theorem Proving, Edinburgh, UK, July, 2010 Invited extended abstract.
		Michael von Tessin Towards high-assurance multiprocessor virtualisation Proceedings of the 6th International Verification Workshop, Edinburgh, UK, July, 2010
		Aditi Barthwal and Michael Norrish Mechanisation of pda and grammar equivalence for context-free languages 17th Workshop on Logic, Language, Information and Computation , Brasília, Brazil, pp. 125-135, July , 2010., None, July, 2010
		Xu Bai, Huang Liguo, He 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, pp. published online, July, 2010, DOI: 10.1002/smr.480., ?(?), (July, 2010)
		Xu Bai, Huang Liguo and He Zhang On scoping stakeholders and artifacts in software process International Conference on Software Process (ICSP), Paderborn/Germany, July, 2010., None, July, 2010
		Ramana Kumar and Michael Norrish (nominal) unification by recursive descent with triangular substitutions International Conference on Interactive Theorem Proving, Edinburgh, United Kingdom, pp. 51-66, July, 2010., None, July, 2010
		He Zhang, Kitchenham Barbara and Dietmar Pfahl Software process simulation modeling: An extended systematic review International Conference of Software Process, Paderborn, Germany, July, 2010., None, July, 2010
		Udo Kannengiesser and John S Gero A framework for constructive design rationale Design Computing and Cognition, Stuttgart/Germany, pp. 135-154, July, 2010., None, July, 2010
		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, Lyon/France, pp. 119 - 126 , July, 2010, 978-1-4244-6374-9 ., None, July, 2010
		Paul Bannerman Structuring risk into projects Project Management Institute (PMI) Research Conference 2010, Washington/USA, pp. 27, July, 2010., None, July, 2010
		June Andronick From a proven correct microkernel to trustworthy large systems International Conference on Formal Verification of Object-Oriented Software (FoVeOOS), Paris, France, June, 2010
		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
		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, 53(6), 107–115, (June, 2010)
		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), Limerick, Ireland, pp. 63-66, June, 2010, http://doi.acm.org/10.1145/1961258.1961274., None, June, 2010
		Guido Governatori Law, metadata and semantics Lecture, June, 2010
		Andreas Bauer, Martin Leucker and Christian Schallhart Comparing ltl semantics for runtime verification Journal of Logic and Computation, pp. 651-674, May, 2010., ?(?), (June, 2010)
		Zheng Li, Liam O'Brien, He Zhang and Jacky Keung Toward soa implementation complexity measurement enlightened by organization theory 11th International Conference on Product Focused Software Development and Process Improvement, Limerick / Ireland, pp. 16-19, June, 2010, 978-88-6507-067-3., None, June, 2010
		Mei He and He Zhang Understanding the influential factors to development effort in chinese software industry International Conference on Product Focused Software Development and Process Improvement (PROFES), Limerick, pp. unknown, June, 2010., None, June, 2010
		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), Limerick/Ireland, pp. 63-66, June, 2010., None, June, 2010
		Dhammika Elkaduwe A principled approach to kernel memory management, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2010
		Andreas Bauer and Jan Jurjens Runtime verification of cryptographic protocols Computers & Security, pp. 315-330, May, 2010., ?(?), (May, 2010)
		Paul Brebner and Anna Liu Modeling cloud cost and performance Cloud Computing and Virtualization (CCV 2010), Singapore, pp. 8, May, 2010., None, May, 2010
		Zheng Li, Liam O'Brien, Jacky Keung and Xiwei Xu Effort-oriented classification matrix of web service composition The 5th International Conference on Internet and Web Applications and Services, Barcelona, Spain, pp. 357-362, May, 2010, 978-1-4244-6728-0., None, May, 2010
		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, May, 2010., None, April, 2010
		Guido Governatori and Antonino Rotolo On the complexity of temporal defeasible logic 13 International Workshop on Non-Monotonic Reasoning, Toronto, May, 2010., None, April, 2010
		Lianping Chen, Muhammad Ali Babar and He Zhang Towards an evidence-based understanding of electronic data sources International Conference on Evaluation and Assessment in Software Engineering (EASE2010), Keele, UK, April, 2010., None, April, 2010
		He 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., None, April, 2010
		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), Osaka/Japan, pp. 149 - 156 , April, 2010, 978-1-4244-6037-3 ., None, April, 2010
		Clinton Freeman User experience design during openshapa development ACM Conference on Human Factors in Computing Systems (CHI), Atlanta, USA, pp. 2, April, 2010., None, April, 2010
		Paul Bannerman Managing structure-related software project risk: A new role for project governance Australian Software Engineering Conference (ASWEC 2010), Aukland/New Zealand, pp. 10, April, 2010., None, April, 2010
		Peter Baumgartner and Evgenij Thorstensen Instance based methods - an overview Künstliche Intelligenz, pp. 35-42, April, 2010., ?(?), (April, 2010)
		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, pp. 162-183, March/April, 2010., ?(?), (April, 2010)
		Vladimir Tosic On quality of service (qos) specification and analysis for xml web services and their compositions Lecture, April, 2010
		Gerwin Klein, Thomas Sewell and Simon Winwood Refinement in the formal verification of sel4 Springer-Verlag, March, 2010
		David C. Snowdon OS-Level power management, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2010
		Matthew B. Thompson, Jason M. Tangen, Kathleen J. Ivison and Renee Treloar Expertise in matching fingerprints and faces Abstract, March, 2010
		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, May, 2010., None, March, 2010
		Guido Boella, 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, 2009., None, March, 2010
		John Brondum and Liming Zhu Towards an architectural viewpoint for systems of software intensive systems Other Conference Presentation, March, 2010
		Guido Governatori, Antonino Rotolo and Rossella Rubino Implementing temporal defeasible logic for modeling legal reasoning Jurisin , Tokyo, November , 2009., None, March, 2010
		David Billington, Grigoris Antoniou, Guido Governatori and Michael Maher An inclusion theorem for defeasible logic ACM Transactions on Computational Logic, pp. N/A, October, 2010, doi>10.1145/1838552.1838558., ?(?), (March, 2010)
		John Brondum Software architecture for systems of software intensive systems (s3): The concepts and detection of inter-system relationships Other Conference Presentation, February, 2010
		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), pp. 23-37, December, 2010., ?(?), (February, 2010)
		Ansgar Fehnker, Ralf Huuck and Sean Seefried Counterexample guided path reduction for static program analysis February, 2010
		Engelhardt Kai and Ralf Huuck Smaller abstraction for actl* without next February, 2010
		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, pp. 77-101, February, 2010., ?(?), (February, 2010)
		Leonid Ryzhyk On the construction of reliable device drivers, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2010
		Yang Song and Peter Chubb Interrupts considered harmful 11th Linux.conf.au, Wellington, New Zealand, January, 2010
		Guido Governatori and Antonino Rotolo A conceptually rich model of business process compliance Aisa Pacific Conference on Conceptual Modelling, Brisbane, January, 2010., None, January, 2010
		Peter Chubb Decent midi from lilypond , January, 2010
		Peter Chubb and John Judge When the arduino meets year 9 Other Conference Presentation, January, 2010
		Vladimir Tosic Autonomic business-driven dynamic adaptation of service-oriented systems and the ws-policy4masc support for such adaptation International Journal of Systems and Service-Oriented Engineering (IJSSOE), pp. 79-95, January , 2010, ISSN: 1947-3052; EISSN: 1947-3060., ?(?), (January, 2010)
		Yazhe Tang, Hanan Lutfiyya and Vladimir Tosic An analysis of web service sla management infrastructures based on the c-mape model International Journal of Business Process Integration and Management, pp. 209-218, October, 2009, ISSN (Online): 1741-8771 - ISSN (Print): 1741-8763., ?(?), (January, 2010)

2009

		Gerwin Klein Correct OS kernel? Proof? Done! USENIX ;login:, 34(6), 28–34, (December, 2009)
		Guido Governatori Legal knowledge and information systems. jurix 2009: The twenty-second annual conference December, 2009
		Steven Grainger, 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., None, December, 2009
		Udo Kannengiesser and John S Gero An ontology of computer-aided design December, 2009
		Thomas F. Gordon, 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, Las Vegas, pp. 282-296, November , 2009., None, November, 2009
		Sarvnaz Karimi, Justin Zobel, Stefan Pohl and Falk Scholer The challenge of high recall in biomedical systematic search ACM Third International Workshop on Data and Text Mining in Bioinformatics (DTMBIO 2009), Hong Kong, pp. 89-92, November, 2009., None, November, 2009
		Stefan Pohl, Justin Zobel and Alistair Moffat Extended boolean retrieval for systematic biomedical reviews 33rd Australasian Computer Science Conference (ACSC 2010), Australia, Jan, 2010., None, November, 2009
		Vladimir Tosic 2009 13th enterprise distributed object computing conference workshops, edocw: Proceedings of the ieee edoc 2009 workshops and short papers November, 2009
		Ho-Pun Lam, Subhasis Thakur, Guido Governatori and Abdul Sattar A model to coordinate uavs in urban environment using defeasible logic The 3rd International Rule Challenge, Las Vegas, Nevada, USA, pp. -, Nov, 2009., None, November, 2009
		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, February, 2009., None, November, 2009
		Franz Baader, Andreas Bauer and Alwen Tiu Matching trace patterns with regular policies 3rd International Conference on Language and Automata Theory and Applications (LATA), Spain, pp. 105-116, April, 2009, 978-3-642-00981-5., None, November, 2009
		Ho-Pun Lam and Guido Governatori The making of spindle RuleML-2009 International Symposium on Rule Interchange and Applications, Las Vegas, Nevada, USA, pp. 315-322, Nov, 2009., None, November, 2009
		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), Sydney/Australia, pp. 161-168, December, 2009, 978-1-4244-5014-5., None, November, 2009
		Ansgar Fehnker Formal methods in the wireless network domain First Workshop on Formal Methods for Wireless Systems , Toronto, August, 2008., None, November, 2009
		Andrew Boyton A verified shared capability model Proceedings of the 4th Workshop on Systems Software Verification, Aachen, Germany, October, 2009
		Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch and Simon Winwood seL4: Formal verification of an OS kernel Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, USA, October, 2009 Best Paper Award!
		Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur and Gernot Heiser Automatic device driver synthesis with Termite Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, USA, October, 2009
		Ralf Huuck, Brauer Joerg and Schlich Bastian Interprocedural pointer analysis in goanna 4th International Workshop on Systems Software Verification (SSV\'09), Germany, pp. 65-83, June, 2009., None, October, 2009
		Ralf Huuck, Gerwin Klein and Schlich Bastian Proc. 4th international workshop on system software verification (ssv09) Electronic Notes in Theoretical Computer Science, pp. 1-3, October, 2009., ?(?), (October, 2009)
		Andrew Boyton A veri�ed shared capability model 4th International Workshop on Systems Software Verification, Aachen, Germany, June, 2009., None, October, 2009
		Michael Norrish Rewriting conversions implemented with continuations Journal of Automated Reasoning, pp. 305-336, October, 2009., ?(?), (October, 2009)
		Paul Brebner, Gray Jon and O'Brien Liam Performance modelling power consumption and carbon emissions for server virtualization of service oriented architectures (soas) EDOC 2009 (MWS Workshop), Auckland, New Zealand, pp. 8, September, 2009., None, September, 2009
		Guido Governatori and Antonino Rotolo How do agents comply with norms? 2nd Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2009), Milan, pp. 488-491, 15 September, 2009., None, September, 2009
		Kelvin Cheng, Benjamin Itzstein, Paul Sztajer and Markus Rittenbruch A unified multi-touch & multi-pointer software architecture for supporting collocated work on the desktop Technical Report , NICTA, Sydney, Australia, pp. 8, September, 2009., September, 2009
		Xiwei Xu, Liming Zhu, Mark Staples and Jenny Liu An architecting method for distributed process-intensive systems WICSA/ECSA 2009, Cambridge/UK, pp. 4, September, 2009., None, September, 2009
		Paul Brebner, Liam O'Brien and Jon Gray Performance modeling evolving enterprise service oriented architectures WICSA/ECSA 2009, Cambridge/UK, pp. 10, September, 2009., None, September, 2009
		Udo Kannengiesser Process flexibility: A design view and specification schema International Workshop on Enterprise Modelling and Information Systems Architectures, Ulm/Germany, pp. 111-124, September, 2009., None, September, 2009
		Anthony Collins, Anastasia Bezerianos, Gregor Mcewan, Markus Rittenbruch, Rainer Wasinger and Judy Kay Understanding file access mechanisms for embedded ubicomp collaboration interfaces Ubicomp, Orlando, Florida, USA, pp. 135-144, September, 2009., None, September, 2009
		Yan Liu, Xin Liang, Lingzhi Xu, Mark Staples and Mark Staples Using architecture integration patterns to composing enterprise mashups WICSA 2009., None, September, 2009
		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)., None, September, 2009
		Yin Kia Chiam, Liming Zhu and Mark Staples Quality attribute techniques framework European Systems and Software Process Improvement and Innovation (EuroSPI), Madrid Region, Spain, pp. 12, September, 2009., None, September, 2009
		Yin Kia Chiam, Mark Staples and Liming Zhu Representation of quality attribute techniques using spem and epf composer Other Conference Presentation, September, 2009
		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, Edinburgh, UK, August, 2009
		Rafal Kolanski and Gerwin Klein Types, maps and separation logic Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, Munich, Germany, August, 2009
		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, Beijing, China, August, 2009
		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, Munich, Germany, August, 2009
		Vladimir Tosic Evaluation - the crucial part of research (and your ph.d. dissertation, too) Lecture, August, 2009
		Duy Hoang Pham, Guido Governatori and Subhasis Thakur Extended defeasible reasoning for common goals in n-person argumentation games Journal of Universal Computer Science, 2009., ?(?), (August, 2009)
		Mark Staples, Paul Bannerman and Xi Chen Implementing cmmi specific practices incrementally - where do you start? Other Conference Presentation, August, 2009
		Paul Bannerman Risk implications of systems & software project organisation structures , August, 2009
		Paul Brebner Service-oriented performance modeling the mule enterprise service bus (esb) loan broker application Software Engineering and Advanced Applications (SEAA) , Patras/Greece, pp. 10, August, 2009., None, August, 2009
		Guido Governatori and Renato Iannella Modelling and reasoning languages for social networks policies EDOC 2009, Auckland, September., None, August, 2009
		Udo Kannengiesser Can we engineer better process models? International Conference on Engineering Design, Stanford, pp. 1:527-538, August, 2009., None, August, 2009
		John S Gero and Udo Kannengiesser Understanding innovation as change of value systems 3rd IFIP Working Conference on Computer Aided Innovation, Harbin/China, pp. 249-257, August, 2009., None, August, 2009
		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, October, 2009., None, August, 2009
		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., None, August, 2009
		Trustworthy embedded systems—ERTOS-2 project plan 2009–2013 July, 2009
		Gernot Heiser Trusted ⇐ trustworthy ⇐ proof—position paper Proceedings of the 2nd Conference on Future of Trust in Computing, Berlin, Germany, July, 2009
		Guido Governatori and Antonino Rotolo Changing legal systems: legal abrogations and annulments in defeasible logic Logic Journal of the IGPL, pp. 157-194, 2010., ?(?), (July, 2009)
		Peter Baumgartner and Uwe Waldmann Superposition and model evolution combined Automated Deduction - CADE-22, Montreal/Canada, pp. 17-34, August, 2009, 0302-9743., None, July, 2009
		Peter Baumgartner and John Slaney Constraint modelling: A challenge for first order automated reasoning International Workshop on First-Order Theorem Proving (FTP\'09), Oslo, Norway, pp. 4-18, July, 2009, 1613-0073., None, July, 2009
		Claudio Bartolini, Vladimir Tosic and Patrick C. K. Hung Business-driven management and governance of service-oriented systems Other Conference Presentation, July, 2009
		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, Oslo, Norway, pp. 77-92, July, 2009., None, July, 2009
		Matthew Chapman and Gernot Heiser vNUMA: A virtual shared-memory multiprocessor Proceedings of the 2009 USENIX Annual Technical Conference, San Diego, CA, USA, June, 2009
		Michael von Tessin Towards a formally verifiable multiprocessor microkernel Poster presentation at the 2009 USENIX Annual Technical Conference, San Diego, CA, USA, June, 2009
		Markus Rittenbruch, Tim Mansfield and Stephen Viller Design and evaluation of intentionally enriched awareness June, 2009
		Markus Rittenbruch and Gregor McEwan An historical reflection of awareness in collaboration June, 2009
		Natalie Ruiz, Kelvin Cheng and Markus Rittenbruch Exploring manual interaction and social behaviour patterns in intensely collaborative teamwork INTERACT2009, Uppsala, Sweden, August, 2009., None, June, 2009
		Joerg Hoffmann, Ingo Weber and Guido Governatori On compliance checking for clausal constraints in annotated process models Information Systems Frontiers, 2009., ?(?), (May, 2009)
		Basem Suleiman Models and algorithms for business value-driven adaptation of business processes and software infrastructure Poster Presentation, May, 2009
		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 , July, 2009., None, May, 2009
		Guido Governatori and Duy Hoang Pham Dr-contract: An architecture for e-contracts in defeasible logic International Journal of Business Process Integration and Management, 2009., ?(?), (May, 2009)
		Gerwin Klein, Ralf Huuck and Bastian Schlich Operating system verification Journal of Automated Reasoning, pp. 1-2, March, 2009., ?(?), (May, 2009)
		Liming Zhu and Yan Liu Model driven development with non-functional aspects Early Aspects at ICSE: Aspect-Oriented Requirements Engineering and Architecture Design, Vancouver/Canada, pp. 49-54, May, 2009., None, May, 2009
		Paul Bannerman Software architecture: Organizational perspectives International Conference on Software Engineering (ICSE): Workshop on Leadership and Management in Software Architecture (LMSA), Vancouver/Canada, pp. 6, May, 2009., None, May, 2009
		Paul Bannerman Software development governance: A meta-management perspective International Conference on Sodftware Engineering (ICSE): Software Development Governance (SDG) Workshop, Vancouver/Canada, pp. 6, May, 2009., None, May, 2009
		Liming Zhu, Tu Tak Tran, Mark Staples and Ross Jeffery Technical software development process in the xml domain International Conference on Software Process , Vancouver/Canada, pp. 246-255, May, 2009, 978-3-642-01679-0., None, May, 2009
		Nazrina Khurshid, Paul Bannerman and Mark Staples Overcoming the first hurdle: Why organizations do not adopt cmmi International Conference on Software Process (ICSP), Vancouver/Canada, pp. 12, May, 2009., None, May, 2009
		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 , Vancouver/Canada, pp. 75-82, May, 2009, ISBN:978-1-4244-3716-0; doi>10.1109/PESOS.2009.5068823., None, May, 2009
		Gernot Heiser Trusted <= trustworthy <= proof Future of Trust in Computing, Berlin, pp. 55-59, July, 2008., None, May, 2009
		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
		Leonid Ryzhyk, Peter Chubb, Ihor Kuz and Gernot Heiser Dingo: Taming device drivers Proceedings of the 4th EuroSys Conference, Nuremberg, Germany, April, 2009
		Asia Slowinska and Herbert Bos Pointless tainting? Evaluating the practicality of pointer tainting Proceedings of the 4th EuroSys Conference, Nuremberg, Germany, April, 2009
		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
		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, 42(2–4), 125–187, (April, 2009)
		Stefan Pohl and Alistair Moffat Measurement techniques and caching effects European Conference on Information Retrieval, Toulouse, France, April, 2009., None, April, 2009
		Aditya Ghose, Guido Governatori and Ramakoti Sadananda Agent computing and multi-agent systems April, 2009
		Yan Liu, Xin Liang and Liming Zhu A component-based approach to developing thematic mashups Australian Software Engineering Conference (ASWEC 09), Goldcoast/Australia, April, 2009., None, April, 2009
		Guido Governatori, Vineet Padmanabhan, Antonino Rotolo and Abdul Sattar A defeasible logic for modelling policy-based intentions and motivational attitudes Logic Journal of the IGPL, September, 2009., ?(?), (April, 2009)
		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, July, 2009., None, April, 2009
		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, 27-29 April, 2009., None, April, 2009
		Guido Governatori and Shazia Sadiq The journey to business process compliance April, 2009
		Ansgar Fehnker, Stefan Edelkamp, Victor Schuppan, Dragan Bosnaki, Anton Wijs and Husain Aljazzar Survey on directed model checking MoChart 2008, 2009., None, April, 2009
		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, Fes/Morocco, pp. 313-323, April, 2009, 978-1-4244-2864-9 ., None, April, 2009
		Vladimir Tosic, Patrick C. K. Hung and Claudio Bartolini Management of service-oriented systems Other Conference Presentation, April, 2009
		Paul Bannerman Risk implications of software project organization structures Australian Software Engineering Conference (ASWEC 2009), Gold Coast/Australia, pp. 10, April, 2009., None, April, 2009
		Matthew Chapman vNUMA: Virtual shared-memory multiprocessors, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2009
		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
		James Cheney, René Vestergaard and Michael Norrish Formalizing adequacy 2nd International Workshop on Theory and Applications of Abstraction, Substitution and Naming, York, March, 2009., None, March, 2009
		Ruopeng Lu, Shazia Sadiq and Guido Governatori On managing business processes variants Data and Knowledge Engineering, pp. 642-664, 2009., ?(?), (March, 2009)
		Nicholas Fitzroy-Dale and Ihor Kuz Towards automatic optimisation of componentised systems Other Conference Presentation, March, 2009
		Aditi Barthwal and Michael Norrish Verified, executable parsing ESOP, York, pp. 160-174, 2009., None, March, 2009
		Udo Kannengiesser and Liming Zhu An ontologically-based evaluation of software design methods The Knowledge Engineering Review, pp. 41-58, 2009., ?(?), (March, 2009)
		Gerwin Klein Operating system verification — an overview Sādhanā, 34(1), 27–69, (February, 2009) Invited paper. Journal homepage.
		Liam O'Brien and Paul Brebner The 1st international workshop on quality of service concerns in service oriented architectures (qoscsoa) 2008 6th International Conference on Service Oriented Computing (ICSOC), Sydney, Australia, pp. 187-188, December, 2008, 978-3-642-01246-4., None, February, 2009
		Gernot Heiser Hypervisors for consumer electronics Proceedings of the 6th IEEE Consumer Communications and Networking Conference, Las Vegas, NV, USA, January, 2009
		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), Wellington/New Zealand, pp. 115-124, January, 2009, 978-1-920682-73-6., None, January, 2009
		Shiping Chen, Yan Liu, Liming Zhu and Ian Gorton Proceeding of 2nd ieee international workshop on software engineering for adaptive software systems January, 2009
		Ning Wang, Xin Ye, Liming Zhu and Shaobo Ji Proceeding of workshop on intelligent e-government (ieg 2008) January, 2009
		Duy 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, Ha noi, Viet nam, pp. 328-339, 12, 2008, 978-3-540-89673-9., None, January, 2009
		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 , Špindlerův Mlýn, Czech Republic , pp. 267 - 278 , January, 2009, 978-3-540-95890-1 ., None, January, 2009
		Peter Baumgartner, Alexander Fuchs, Hans de Nivelle and Cesare Tinelli Computing finite models by reduction to function-free clause logic Journal of Applied Logic, pp. 58-74, March, 2009, 1570-8683., ?(?), (January, 2009)

2008

		Stefan Pohl and Alistair Moffat Term-frequency surrogates in text similarity computations Australasian Document Computing Symposium, Hobart, Australia, pp. 3-10, December, 2008., None, December, 2008
		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, Sydney, pp. 626-629, December, 9-12, 2008, 978-0-7695-3496-1., None, December, 2008
		Ansgar Fehnker Creating correct network protocols - phd defence oskar wibling Lecture, December, 2008
		Karl Michael Goeschka, Schahram Dustdar, Frank Leymann and Vladimir Tosic Proceedings of the 3rd workshop on middleware for service oriented computing (mw4soc 2008) December, 2008
		Vladimir Tosic Three common mistakes in modeling and analysis of qos of service-oriented systems Other Conference Presentation, December, 2008
		Guido Governatori and Antonino Rotolo An algorithm for business process compliance Jurix 2008, Florence, pp. 186-181, December, 2008, 978-1-58603-952-3., None, December, 2008
		Paul Bannerman and Liming Zhu Standardization as a business ecosystem enabler Workshop on Enabling Service Business Ecosystems, Sydney/Australia, pp. 298 - 303, Dec, 2008, 978-3-642-01246-4., None, December, 2008
		John S. Gero and Udo Kannengiesser An ontological account of donald schön's reflection in designing International Journal of Design Sciences and Technology, pp. 77-90, 2008., ?(?), (December, 2008)
		Guido Governatori, Subhasis Thakur and Duy Hoang Pham A compliance model of trust Jurix, Florence, pp. 118-127, 10-13 December, 2008, 978-1-58603-952-3., None, December, 2008
		Jacky Keung and Ross Jeffery Automated support for software cost estimation using web-cobra APSEC 2008 - Asia Pacific Software Engineering Conference, Beijing/China, December, 2008., None, December, 2008
		Xiwei Xu, Liming Zhu, Yan Liu and Mark Staples Resource-oriented architecture for business processes Asia-Pacific Software Engineering Conference, Beijing/China, pp. 395-402, 12, 2008, 978-0-7695-3446-6., None, December, 2008
		Paul Bannerman Risk and risk management in software projects: A reassessment Journal of Systems and Software, pp. 2118-2133, December, 2008., ?(?), (December, 2008)
		André Hergenhan and Gernot Heiser Operating systems technology for converged ECUs 6th Embedded Security in Cars Conference (escar), Hamburg, Germany, November, 2008
		Guido Governatori, Jörg Hoffmann, Shazia Sadiq and Ingo Weber Detecting regulatory compliance for business process models through semantic annotation Business Process Management, 1 September, 2008., None, November, 2008
		Peter Baumgartner, Alexander Fuchs and Cesare Tinelli Me(lia) - model evolution with linear integer arithmetic constraints LPAR 2008, Doha, Qatar, pp. 258-273, November, 2008., None, November, 2008
		Timothy Bourke and Arcot Sowmya Automatically transforming and relating Uppaal models of embedded systems Proceedings of the 8th International Conference on Embedded Software, Atlanta, Georgia USA, October, 2008
		Dhammika Elkaduwe, Gerwin Klein and Kevin Elphinstone Verified protection model of the seL4 microkernel Proceedings of Verified Software: Theories, Tools and Experiments 2008, Toronto, Canada, October, 2008
		Rafal Kolanski and Gerwin Klein Mapped separation logic Proceedings of Verified Software: Theories, Tools and Experiments 2008, Toronto, Canada, October, 2008
		Nick Bassiliades, Guido Governatori and Adrian Paschke Rule representation, interchange and reasoning on the web October, 2008
		Liming Zhu Beyond design-by-committee: How to push alternative ideas through open standards and open source Other Conference Presentation, October, 2008
		Guido Governatori, Duy Hoang Pham, Simon Raboczi, Andrew Newman and Subhasis Thakur On extending ruleml for modal defeasible logic RuleML 2008, Orlando, pp. 89-103, October, 2008., None, October, 2008
		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, Seoul, South Korea, pp. 216-221, October, 2008, 978-3-540-88386-9., None, October, 2008
		Andreas Bauer, Jan Juerjens and Yijun Yu Tools for traceable security verification BCS International Academic Conference 2008—Visions of Computer Science, Swindon, UK, pp. 367–378, September, 2008., None, September, 2008
		Vladimir Tosic Industrial standards for web services: Achieved results and challenges for the future Other Conference Presentation, September, 2008
		Guido Governatori Labelled modal tableaux Keynote or Plenary Address, September, 2008
		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 September, 2008
		Ngoc Bao 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), Munich/Germany, pp. 22-29, Sept, 2008., None, September, 2008
		Athanassios 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., None, September, 2008
		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, Sydney/Australia, June, 2008., September, 2008
		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, Beijing, China, pp. 15-24, September, 2008, 978-0-7695-3353-7., None, September, 2008
		Vladimir Tosic, Claudio Bartolini and Patrick C.K. Hung Management of service-oriented implementations of business processes: From quality of service to business value Other Conference Presentation, September, 2008
		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, Milan/Italy, pp. 407-418, September, 2008., None, September, 2008
		Yan Liu, Simon Thuong, Shiping Chen and Liming Zhu Composing adaptive web services on cots middleware IEEE International Conference on Web Services, September, 2008., None, September, 2008
		Vladimir Tosic, Jenny Liu and Liming Zhu On combining ws-policy4masc and asf to support business-driven autonomic service-oriented computing BPM 2008 Workshops: 1st International Workshop on QoS in Self-healing Web Services QSWS-08, Milan/Italy, pp. 419-424, September, 2008., None, September, 2008
		Vladimir Tosic and Udo Kannengiesser Improving business processes in the australian lending industry Abstract, September, 2008
		Liming Zhu, Mark Staples and Vladimir Tosic On creating industry-wide reference architectures Enterprise Computing Conference (EDOC), Munich/Germany, pp. 24-30, September, 2008., None, September, 2008
		Sebastian Maneth, Nikolay Mihaylov and Sherif Sakr Xml tree structure compression DEXA 2008 Workshop: Xantec 2008, Turin, Italy, pp. 243-247, September, 2008., None, September, 2008
		Xi Chen, Mark Staples and Paul Bannerman Analysis of cmmi specific practice dependencies European Software Process Improvement and Innovation (EuroSPI 2008), Dublin, Ireland, pp. 94-105, September, 2008., None, September, 2008
		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., None, September, 2008
		Ansgar Fehnker, Matthias Fruth and Annabelle McIver Graphical modelling for simulation and formalanalysis of wireless network protocols LNCS, September, 2008, 978-3-642-00866-5., ?(?), (September, 2008)
		David Cock Bitfields and tagged unions in C: verification through automatic generation Proceedings of the 5th International Verification Workshop, Sydney, Australia, August, 2008
		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, Montreal, Canada, August, 2008
		Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie and Gernot Heiser Pre-virtualization: Soft layering for virtual machines Proceedings of the 13th IEEE Asia-Pacific Computer Systems Architecture Conference, Hsinchu, Taiwan, August, 2008 Best Paper Award!
		Harvey Tuch Formal memory models for verifying C systems code, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2008
		Konrad Slind and Michael Norrish A brief overview of hol4 Theorem Proving in Higher Order Logics, 20th International Conference, Montréal, Canada, pp. 28-32, August, 2008., None, August, 2008
		Paul Bannerman Risk management in software projects: Is it good enough? Other Conference Presentation, August, 2008
		Peter Baumgartner, Alessandro Armando and Gilles Dowek Automated reasoning - 4th international conference, ijcar 2008 August, 2008
		Kai Engelhardt and Yoram Moses Single-bit messages are insufficient for data link over duplicating channels Information Processing Letters, pp. 235–239, August, 2008, 0020-0190., ?(?), (August, 2008)
		Bernhard Beckert and Gerwin Klein 5th international verification workshop – verify'08 August, 2008
		Guido Governatori and Antonino Rotolo Changing legal systems: Abrogation and annulment. part ii Normative Multi Agent Sytems Workshop (NorMAS), Luxembourg/Luxembourg, pp. 0-0, July 15-16, 2008., None, August, 2008
		Jens Teubner, Torsten Grust, Sebastian Maneth and Sherif Sakr Dependable cardinality forecasts for xquery Very Large Databases - VLDB, Auckland, NZ, pp. 463-477, August, 2008., None, August, 2008
		Sherif Sakr An experimental investigation of xml compression tools Technical Report , VLDB , August, 2008., August, 2008
		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, Prague, Czech Republic, July, 2008
		Willem de Bruijn and Herbert Bos PipesFS: Fast Linux I/O in the Unix tradition ACM Operating Systems Review, 42(5), 55–63, (July, 2008)
		Franz Baader, Andreas Bauer and Alwen Tiu Matching linear and non-linear trace patterns with regular policies 22nd International Workshop on Unification (UNIF), Linz/Austria, pp. 16-24, July, 2008., None, July, 2008
		Liming Zhu Application of the rest principle Other Conference Presentation, July, 2008
		Paul Brebner Rfid data management: Issues, solutions, and directions July, 2008
		Ralf Huuck, Gerwin Klein and Bastian Schlich Proceedings of the 3rd international workshop on systems software veri�cation (ssv 2008) July, 2008
		Duy Hoang Pham, Guido Governatori and Simon Raboczi Agents adapt to majority behaviours Other Conference Presentation, July, 2008
		Paul Bannerman Defining project success: A multi-level framework Project Management Institute Research Conference, Warsaw/Poland, pp. 13, July, 2008., None, July, 2008
		Udo Kannengiesser An ontological basis for design methods Undisciplined! Proceedings of the Design Research Society Conference 2008, Sheffield, United Kingdom, pp. 263/1-14, July, 2008, 978-1-84387-293-1., None, July, 2008
		Basem Suleiman, Vladimir Tosic and Eldar Aliev Non-functional property specifications for wright adl IEEE 8th International Conference on Computer and Information Technology (CIT2008), Sydney, Australia, pp. 766-771, July, 2008, 978-1-4244-2357-6., None, July, 2008
		Abdul Babar, Karl Cox, Vladimir Tosic, Steven Bleistein and June Verner Integrating b-scp and map to manage the evolution of strategic it requirements Information and Software Technology, pp. 815-831, July, 2008, doi:10.1016/j.infsof.2007.11.005., ?(?), (July, 2008)
		Liming Zhu, Thong Nguyen, Tan Dao and Yan Liu Model driven development for technology evaluation - recommendations Technical Report , DSTO, Sydney/Australia, 2008., June, 2008
		Liming Zhu, Thong Nguyen, Tan Doan and Yan Liu State of the art: Model driven development for technology evaluation Technical Report , DSTO, 2008., June, 2008
		Udo Kannengiesser Subsuming the bpm life cycle in an ontological framework of designing CIAO! 2008 and EOMAS 2008, Montpellier, France, pp. 31-45, June, 2008., None, June, 2008
		Mark Staples and Mahmood Niazi Systematic review of organizational motivations for adopting cmm-based spi Information and Software Technology, pp. 605-620, June, 2008., ?(?), (June, 2008)
		Vladimir Tosic and Patrick C. K. Hung Contract-based quality of service (qos) monitoring and control of xml web services Lecture, May, 2008
		Andreas Bauer and Jan Jürjens Security protocols, properties, and their monitoring 4th International Workshop on Software Engineering for Secure Systems, Leipzig/Germany, pp. 33-40, May, 2008, 978-1-60558-042-5., None, May, 2008
		Andreas Bauer and Sophie Pinchinat A topological perspective on diagnosis 9th International Workshop on Discrete Event Systems (WODES), Göteborg, Sweden, pp. 218-224, May, 2008., None, May, 2008
		Ming Huo, He Zhang and Ross Jeffery Detection of consistent patterns from process enactment data International Conference on Software Process, Leipzig/Germany, pp. 173-185, May, 2008, 978-3-540-79587-2., None, May, 2008
		He Zhang, Barbara Kitchenham and Dietmar Pfahl Reflections on 10 years of software process simulation modeling: A systematic review International Conference on Software Process, Leipzig/Germany, pp. 345-356, May, 2008, 978-3-540-79587-2., None, May, 2008
		Jacky Keung, Barbara Kitchenham and Ross Jeffery Analogy-x: Providing statistical inference to analogy based software cost estimation IEEE Transactions on Software Engineering, May, 2008., ?(?), (May, 2008)
		Paul Brebner, Liam O'Brien and Jon Gray Business transformation to soa: Aspects of the migration and performance and qos issues ICSE 2008, Proceedings of the 2nd international workshop on Systems development in SOA environments, Leipzig, pp. 35-40, May, 2008, 978-1-60558-029-6., None, May, 2008
		Paul Bannerman Smoothing innovation discontinuities International Engineering Management Conference, China, Beijing/China, pp. 5458-5462, May, 2008., None, May, 2008
		Paul Bannerman Capturing business benefits from process improvement: Four fallacies ICSE Business Impact of Process Improvement Workshop, Leipzig/Germany, pp. 1-8, May, 2008., None, May, 2008
		Paul Bannerman Macro-processes informing micro-processes: The case of software project performance International Conference on Software Process, Leipzig/Germany, pp. 12-23, May, 2008., None, May, 2008
		Paul Brebner, Liam O'Brien and Jon Gray Performance modeling for service oriented architectures 30th International Conference on Software Engineering, Leipzig/Germany, pp. 953-954 , May, 2008, 978-1-60558-079-1., None, May, 2008
		Vladimir Tosic Business value driven engineering and management of web services and their compositions Lecture, May, 2008
		Tom Ridge, Michael Norrish and Peter Sewell A rigorous approach to networking: Tcp, from implementation to protocol to service Formal Methods 2008, Turku, Finland, pp. 294–309, May, 2008., None, May, 2008
		He Zhang, Ross Jeffery and Liming Zhu Investigating test-and-fix processes of incremental development using hybrid process simulation 6th Workshop on Software Quality, Leipzig/Germany, pp. 23-28, May, 2008., None, May, 2008
		He Zhang, Ross Jeffery and Liming Zhu A hybrid model of test-and-fix process in incremental development International Conference on Software Process , Leipzig/Germany, pp. 334-344, May, 2008., None, May, 2008
		Liming Zhu, Mark Staples and Ross Jeffery Scaling up software architecture evaluation processes International Conference on Software Process , Leipzig/Germany, pp. 112-122, May, 2008., None, May, 2008
		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, Leipzig/Germany, pp. 41-46, May, 2008., None, May, 2008
		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), Leipzig, Germany, pp. 48-51, May, 2008, 978-1-60558-020-3., None, May, 2008
		Xiwei 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), Leipzig/Germany, pp. 65-68, May, 2008., None, May, 2008
		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, Glasgow, UK, April, 2008
		Gernot Heiser The role of virtualization in embedded systems 1st Workshop on Isolation and Integration in Embedded Systems, Glasgow, UK, April, 2008
		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), Salvador, Brazil, pp. 102-105, April, 2008, 978-1-4244-2191-6., None, April, 2008
		Laurene Vaughan, Markus Rittenbruch, Stephen Viller, Jeremy Yuille and Ian MacColl Spontaneous scenarious: An approach to user engagement ACM Conference on Human Factors in Computing Systems (CHI), Florence, Italy, April, 2008., None, April, 2008
		Abdul Babar, Karl Cox and Vladimir Tosic Evaluating three map and b-scp integration methods for requirements evolution situation 23rd Annual ACM Symposium on Applied Computing (SAC), Fortaleza/Brazil, pp. 650-655 , March, 2008, 978-1-59593-753-7., None, March, 2008
		Paul Bannerman Toward an integrated framework of software project threats Australian Software Engineering Conference, Perth/Australia, pp. 139-148, March, 2008., None, March, 2008
		Sherif Sakr Algebra-based xquery cardinality estimation International Journal of Web Information Systems, pp. 6-47, April, 2008., ?(?), (March, 2008)
		Paul Brebner, Liam Liam.OBrien@nicta.com.au and Jon Jon.Gray@nicta.com.au Performance modeling for e-government service oriented architectures (soas) ASWEC, Australia, pp. 130-138, March, 2008., None, March, 2008
		He Zhang, Jacky Keung, Barbara Kitchenham and Ross Jeffery Semi-quantitative modeling for managing software development processes IEEE Australian Software Engineering Conference, Perth/Australia, pp. 66-75, March, 2008., None, March, 2008
		Basem Suleiman Commercial-off-the-shelf software development framework The 19th Australian Software Enginerring Conference (ASWEC2008)., Perth, Australia, pp. 690-695, March, 2008., None, March, 2008
		Rafal Kolanski A logic for virtual memory Proceedings of the 3rd Workshop on Systems Software Verification, Sydney, Australia, February, 2008
		Harvey Tuch Structured types and separation logic Proceedings of the 3rd Workshop on Systems Software Verification, Sydney, Australia, February, 2008
		Guido Governatori and Antonino Rotolo A computational framework for institutional agency Artificial Intelligence and Law, pp. 25-52, February, 2008., ?(?), (February, 2008)
		Guido Governatori and Antonino Rotolo Bio logical agents: Norms, beliefs, intentions in defeasible logic Journal of Autonomous Agents and Multi Agent Systems, pp. 36-69, February, 2008., ?(?), (February, 2008)
		B. A. Kitchenham, Hiyam Al Khilidar, Muhammad Ali Babar, Mike Berry, Karl Cox, Jacky Keung, Felicia Kurniawati, Mark Staples, He Zhang and Liming Zhu Evaluating guidelines for empirical software engineering studies Empirical Software Engineering, pp. 97-121, February, 2008., ?(?), (February, 2008)
		Liming Zhu Lixi visible loans: reference architecture and implementation guide Standards Contribution, February, 2008
		Gernot Heiser Do microkernels suck? 9th Linux.conf.au, Melbourne, January, 2008
		Peter Baumgartner and Cesare Tinelli The model evolution calculus as a first-order dpll method Artificial Intelligence, pp. 591-632, January, 2008, 0004-3702., ?(?), (January, 2008)

2007

		Gernot Heiser Your system is secure? Prove it! USENIX ;login:, 32(6), 35–38, (December, 2007)
		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, 2007., None, December, 2007
		Abdul Babar and Vladimir Tosic Aligning the map requirements modelling with the b-method for formal software development 14th Asia-Pacific Software Engineering Conference (APSEC 2007), Nagoya, Japan, pp. 17-24, December, 2007, 0-7695-3057-5., None, December, 2007
		Vladimir Tosic, Basem Suleiman and Abdul Babar Specification of business value with and in software patterns 1st International Workshop on Software Patterns and Quality, Nagoya, Japan, pp. 49-50, December, 2007, 978-4-915256-69-1 C3040., None, December, 2007
		Basem Suleiman, Vladimir Tosic and Eldar Aliev Time-quality metric model for quality measurement of web-based systems Poster Presentation, December, 2007
		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 and Informatics, pp. 33-65, December, 2007., ?(?), (December, 2007)
		Michael Norrish A formal semantics for c++ Technical Report , NICTA, Canberra, 2008., November, 2007
		Karl Goeschka, Schahram Dustdar, Frank Leymann and Vladimir Tosic Proceedings of middleware for service oriented computing (mw4soc 2007) November, 2007
		Abdelkarim Erradi, Piyush Maheshwari and Vladimir Tosic Ws-policy based monitoring of composite web services 5th IEEE European Conference on Web Services (ECOWS\'07), Halle on Saale, Germany, pp. 99-108, November, 2007, 978-0-7695-3044-4., None, November, 2007
		Gregor Mcewan, Markus Rittenbruch and Tim Mansfield Understanding awareness in mixed presence collaboration. Australasian Computer-Human Interaction Conference (OzCHI), Adelaide, Australia, pp. 171-174, November, 2007., None, November, 2007
		Leonid Ryzhyk, Ihor Kuz and Gernot Heiser Formalising device driver interfaces Proceedings of the 4th Workshop on Programming Languages and Operating Systems, Stevenson, Washington, USA, October, 2007
		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, Salzburg, Austria, October, 2007
		Vladimir Tosic Impact of various execution environments on middleware for web services Other Conference Presentation, October, 2007
		Vladimir Tosic, Jenny Liu and Liming Zhu Towards business driven autonomic service-oriented computing Other Conference Presentation, October, 2007
		Vladimir Tosic, Karl Goeschka, Aad Moorsel and Raymond Wong Proceedings of middleware for web services (mws) 2007 October, 2007
		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), Boston/USA, pp. 74-89, Sept, 2007., None, October, 2007
		Liming Zhu Visible loan - a restful and pub-sub approach Other Conference Presentation, October, 2007
		Liming Zhu Future of embedded systems standards Other Conference Presentation, October, 2007
		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, Annapolis, MD, USA, pp. 157-169, October, 2007, 978-0-7695-2891-5., None, October, 2007
		John S Gero and Udo Kannengiesser A function-behavior-structure ontology of processes Artificial Intelligence for Engineering Design, Analysis and Manufacturing, pp. 379-391, October, 2007., ?(?), (October, 2007)
		John S Gero and Udo Kannengiesser Locating creativity in a framework of designing for innovation IFIP Working Conference on Computer Aided Innovation, Brighton, MI, pp. 57-66, October, 2007., None, October, 2007
		Luke Macpherson Performing under overload, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2007
		Mark Staples and Mahmood Niazi Experiences using systematic review guidelines Journal of Systems and Software , pp. 1425-1437, September, 2007., ?(?), (September, 2007)
		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, Regensburg, Germany, pp. 835-839, September, 2007, 978-0-7695-2932-5; ISSN: 1529-4188., None, September, 2007
		Michael Norrish and René Vestergaard Proof pearl: de bruijn terms really do work Theorem Proving in Higher Order Logics, 20th International Conference, Kaiserslautern, pp. 207-222, 2007., None, September, 2007
		Udo Kannengiesser Evaluation of bpmn tools International Workshop on the Management of Business Processes in Government, Brisbane, pp. 19-32, September, 2007., None, September, 2007
		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., None, September, 2007
		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), Potsdam, Germany, pp. 59-70, September, 2007., None, September, 2007
		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, 2008., None, September, 2007
		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), Kyoto, Japan, pp. 63-73, September, 2007., None, September, 2007
		Liming Zhu and Mark Staples Situational method quality Situational Method Engineering, Geneva, pp. 193-206, September, 2007., None, September, 2007
		Andrew Baumann Dynamic update for operating systems, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2007
		Paul Bannerman and Mark Staples Capability-based software engineering performance , August, 2007
		Yan Liu, Liming Zhu, Qing Wang, Ian Gorton and Shiping Chen 1st ieee international workshop on software engineering for adaptive software systems August, 2007
		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, Beijing/China, pp. 327 - 334, Aug, 2007., None, August, 2007
		John S Gero and Udo Kannengiesser An ontological model of emergent design in software engineering International Conference on Engineering Design, Paris, France, pp. 70:1-12, August, 2007., None, August, 2007
		Scott Brandt and Kevin Elphinstone Proceedings of the 3rd Workshop on Operating System Platforms for Embedded Real-Time Applications Pisa, Italy (July, 2007). NICTA.
		Kevin Elphinstone, David Greenaway and Sergio Ruocco Lazy scheduling and direct process switch — merit or myths? Proceedings of the 3rd Workshop on Operating System Platforms for Embedded Real-Time Applications, Pisa, Italy, July, 2007 Preliminary version
		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
		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, 41(4), 3–11, (July, 2007)
		Ihor Kuz and Yan Liu Extending the capabilities of component models for embedded systems Proceedings of the Third International Conference on the Quality of Software-Architectures (QoSA), Boston, MA, USA, July, 2007
		Jia Meng, Lawrence C. Paulson and Gerwin Klein A termination checker for Isabelle Hoare logic Proceedings of the 4th International Verification Workshop, Bremen, Germany, July, 2007
		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
		David C. Snowdon, Godfrey van der Linden, Stefan M. Petters and Gernot Heiser Accurate run-time prediction of performance degradation under frequency scaling Proceedings of the 3rd Workshop on Operating System Platforms for Embedded Real-Time Applications, Pisa, Italy, July, 2007
		Vladimir Tosic, Aad van Moorsel and Raymond Wong Special issue on middleware for web services (mws) International Journal of Business Process Integration and Management (IJBPIM), pp. 153-244 (editorial 153-155), September, 2007, 1741-8771 (online); 1741-8763 (print)., ?(?), (July, 2007)
		Vladimir Tosic Web services and lixi: A primer Lecture, July, 2007
		Peter Baumgartner, Ulrich Furbach and Bjoern Pelzer Hyper tableaux with equality CADE-21 – The 21st International Conference on Automated Deduction, Bremen/Germany, pp. 492-507, July, 2007, 3-540-73594-1., None, July, 2007
		Peter Baumgartner Logical engineering with instance-based methods Keynote or Plenary Address, July, 2007
		Vladimir Tosic, Abdelkarim Erradi and Piyush Maheshwari Ws-policy4masc - a ws-policy extension used in the masc middleware IEEE Services Computing Conference (SCC 2007), Salt Lake City, USA, pp. 458-465, July, 2007, 0-7695-2925-9., None, July, 2007
		Abdelkarim Erradi, Vladimir Tosic and Piyush Maheshwari Masc - .net-based middleware for adaptive composite web services IEEE International Conference on Web Services (ICWS 2007), Salt Lake City, USA, pp. 727-734, July, 2007, 0-7695-2924-0., None, July, 2007
		John S Gero and Udo Kannengiesser An ontology of situated design teams Artificial Intelligence for Engineering Design, Analysis and Manufacturing, pp. 295-308, July, 2007., ?(?), (July, 2007)
		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, Santa Clara, CA, USA, June, 2007
		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
		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
		John S Gero and Udo Kannengiesser Creative designing: An ontological view Design Creativity Workshop, Washington DC, pp. unnumbered, June, 2007., None, June, 2007
		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, San Diego, CA, USA, May, 2007
		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
		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, 80(5), 687–699, (May, 2007) Preprint
		Timothy Roscoe, Kevin Elphinstone and Gernot Heiser Hype and virtue Proceedings of the 11th Workshop on Hot Topics in Operating Systems, San Diego, CA, USA, May, 2007
		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, Honolulu, Hawai'i, pp. 148-150, May, 2007., None, May, 2007
		Liming Zhu Software architecture evaluation for framework-based systems, PhD Thesis, CSE at UNSW, 2007., 2007
		Paul Bannerman Software project risk in the public sector Australian Software Engineering Conference, Melbourne/Australia, pp. 389-398, April, 2007., None, April, 2007
		Ross Jeffery, Barbara Kitchenham and Colin Connaughton Misleading metrics and unsound analyses IEEE Software, pp. 66-72, April/May, 2007., ?(?), (April, 2007)
		Ihor Kuz and Stefan M. Petters Proceedings of the 1st International Workshop on Microkernels for Embedded Systems Sydney, Australia (March, 2007). NICTA.
		Peter Chubb, Matthew Chapman and Myrto Zehnder [para]virtualisation without pain 8th Linux.conf.au, Sydney, NSW, January, 2007
		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, Sydney, Australia, January, 2007
		Nicholas FitzRoy-Dale A declarative approach to extensible interface compilation Proceedings of the 1st International Workshop on Microkernels for Embedded Systems, Sydney, Australia, January, 2007
		Stefan M. Petters Execution-time profiles Technical Report , NICTA, January, 2007
		Mohit Singal and Stefan M. Petters Issues in analysing L4 for its WCET Proceedings of the 1st International Workshop on Microkernels for Embedded Systems, Sydney, Australia, January, 2007
		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, Nice, France, January, 2007
		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, Sydney, Australia, January, 2007

2006

		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
		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). None.
		Timothy Bourke and Arcot Sowmya A timing model for synchronous language implementations in Simulink Proceedings of the 6th International Conference on Embedded Software, Seoul, South Korea, October, 2006
		Geoffrey Lee and Charles Gray L4/Darwin: Evolving UNIX Conference for Unix, Linux and Open Source Professionals, Melbourne, Vic, Australia, October, 2006 Slides
		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
		Ansgar Fehnker and Bruce H. Krogh Hybrid system verification is not a sinecure - the electronic throttle control case study Int. J. Found. Comput. Sci., pp. 885-902, 2006., ?(?), (September, 2006)
		Kevin Elphinstone, Gerwin Klein and Rafal Kolanski Formalising a high-performance microkernel Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 06), Seattle, USA, August, 2006
		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, Bonn, Germany, August, 2006 Published in Lecture Notes in Computer Science, Springer-Verlag (Vol. 4346).
		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
		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, 2006., None, August, 2006
		Sergio Ruocco Real-Time Programming and L4 Microkernels Proceedings of the 2nd Workshop on Operating System Platforms for Embedded Real-Time Applications, Dresden, Germany, July, 2006
		Kevin Elphinstone and Scott Brandt Proceedings of the 2007 workshop on operating system platforms for embedded real-time applications Technical Report , NICTA, July, 2007., July, 2006
		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
		Insu Song and Guido Governatori Designing agent chips 5th International Conference on Autonomous Agents and Multi-Agent Systems, Hakodate, Hokkaido, Japan, pp. 1311-1313, May, 2006., None, May, 2006
		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 , Victor Harbor, South Australia, Australia, January, 2006
		Gernot Heiser, Volkmar Uhlig and Joshua LeVasseur Are virtual-machine monitors microkernels done right? ACM Operating Systems Review, 40(1), 95–99, (January, 2006)
		Rafal Kolanski and Gerwin Klein Formalising the L4 microkernel API Computing: The Australasian Theory Symposium (CATS 06), Hobart, Australia, January, 2006
		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
		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 , Victor Harbor, South Australia, Australia, January, 2006
		Paul Bannerman Risk factors in nsw government agency Technical Report , NSW Department of Commerce (on behalf of NSW Government), Sydney/Australia, January, 2006., January, 2006
		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, Venice, Italy, 2006

2005

		Gernot Heiser Secure embedded systems need microkernels USENIX ;login:, 30(6), 9–13, (December, 2005)
		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, Montego Bay, Jamaica, December, 2005
		Kevin Elphinstone, Gernot Heiser, Ralf Huuck, Stefan M. Petters and Sergio Ruocco L4cars 3rd Embedded Security in Cars Conference (escar), Cologne, Germany, November, 2005
		Andrew Baumann and Jonathan Appavoo Improving dynamic update for operating systems Proceedings of the 20th ACM Symposium on Operating Systems Principles, Work-in-Progress Session, Brighton, UK, October, 2005
		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
		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
		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, 20(5), 654–664, (September, 2005) See TR PA005043 for a preprint
		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
		Stefan M. Petters Deadline spanning: A graph based approach Embedded Real-Time Computing Systems and Applications (RTCSA 2005), Hong Kong, China, August, 2005
		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, Palma, Mallorca, Spain, July, 2005
		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, Palma, Mallorca, Spain, July, 2005
		Simon Winwood and Manuel Chakravarty Secure untrusted binaries — provably! 3rd International Workshop on Formal Aspect of Security and Trust, Newcastle upon Tyne, UK, July, 2005
		Harvey Tuch, Gerwin Klein and Gernot Heiser OS verification — now! Proceedings of the 10th Workshop on Hot Topics in Operating Systems, Santa Fe, NM, USA, June, 2005
		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, Anaheim, CA, USA, April, 2005
		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
		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, Singapore, April, 2005
		Matthew Chapman and Gernot Heiser Implementing transparent shared memory on clusters using virtual machines Proceedings of the 2005 USENIX Annual Technical Conference, Anaheim, CA, USA, April, 2005
		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, Anaheim, CA, USA, April, 2005 Best Student Paper Award!
		Ben Leslie, Carl van Schaik and Gernot Heiser Wombat: A portable user-mode Linux for embedded systems 6th Linux.conf.au, Canberra, April, 2005
		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, Newcastle, Australia, January, 2005
		Rafal Kolanski A formal model of the L4 micro-kernel API using the B method Technical Report Technical Report 05-00029-1, National ICT Australia, 2005

2004

		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
		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
		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, Boston, MA, USA, October, 2004
		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
		Harvey Tuch and Gerwin Klein Verifying the L4 virtual memory subsystem Proceedings of the NICTA workshop on OS verification 2004, Technical Report 0401005T-1, Sydney, Australia, October, 2004
		Kevin Elphinstone and Stefan Goetz Initial evaluation of a user-level device driver framework Proceedings of the 9th Asia-Pacific Computer Systems Architecture Conference, Beijing, China, September, 2004
		Gerwin Klein and Harvey Tuch Towards verified virtual memory in L4 TPHOLs Emerging Trends '04, Park City, Utah, USA, September, 2004
		Ian Wienand and Luke Macpherson Ipbench: A framework for distributed network benchmarking AUUG Winter Conference, Melbourne, Australia, September, 2004
		Ihor Kuz L4 user manual — API version X.2 June, 2004
		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
		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
		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
		Michael Norrish Complete integer decision procedures as derived rules in hol Theorem Proving in Higher Order Logics, Rome, pp. 71-86, September, 2003, 978-3-540-40664-8., None, January, 2004

2003

		Andreas Haeberlen and Kevin Elphinstone User-level management of kernel memory Proceedings of the 8th Asia-Pacific Computer Systems Architecture Conference, Aizu-Wakamatsu City, Japan, September, 2003
		Christan Szmajda and Gernot Heiser Generalised radix page table: A page table for modern architectures Proceedings of the 8th Asia-Pacific Computer Systems Architecture Conference, Aizu-Wakamatsu City, Japan, September, 2003
		Adam Wiggins, Harvey Tuch, Volkmar Uhlig and Gernot Heiser Implementation of fast address-space switching and TLB sharing on the StrongARM processor Proceedings of the 8th Asia-Pacific Computer Systems Architecture Conference, Aizu-Wakamatsu City, Japan, September, 2003
		Adam Wiggins, Simon Winwood, Harvey Tuch and Gernot Heiser Legba: Fast hardware support for fine-grained protection Proceedings of the 8th Asia-Pacific Computer Systems Architecture Conference, Aizu-Wakamatsu City, Japan, September, 2003
		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
		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

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

2008

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

2006

		Myrto Zehnder and Peter Chubb Virtualising PCI Gelato ICE, Singapore, October, 2006
		Shehjar Tikoo and Peter Chubb Improving NFS performance Gelato ICE conference, San Jose, CA, April, 2006

2005

Peter Chubb and Darren Williams Linux scalability — from the micro to the HUGE 6th Linux.conf.au, Canberra, ACT, April, 2005

2004

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

2003

		Peter Chubb Where's all the time going? Microstate accounting in Linux 2.5 AUUG Winter Conference, Melbourne, Australia, September, 2003
		Andreas Haeberlen and Kevin Elphinstone User-level management of kernel memory Proceedings of the 8th Asia-Pacific Computer Systems Architecture Conference, Aizu-Wakamatsu City, Japan, September, 2003
		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

		Peter Chubb Terabytes on a diet AUUG Winter Conference, Melbourne, Australia, September, 2002
		Shane Stephens and Gernot Heiser Fault tolerance and avoidance in biomedical systems Proceedings of the 10th SIGOPS European Workshop, St Emilion, France, September, 2002
		Peter Chubb YOU ARE LOST in a maze of BitKeeper repositories — all almost the same Australian Open Source Symposium, Sydney, Australia, July, 2002
		Simon Winwood, Yefim Shuf and Hubertus Franke Multiple page size support in the Linux kernel Ottawa Linux Symposium, Ottawa, Canada, June, 2002
		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
		Kingsley Cheung and Gernot Heiser A resource management framework for priority-based physical-memory allocation Proceedings of the 7th Asia-Pacific Computer Systems Architecture Conference, Monash University, Melbourne, Australia, January, 2002
		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

		Gernot Heiser Dealing with TLB tags 2nd Workshop on Microkernels and Microkernel-based Systems, Lake Louise, Alta, Canada, October, 2001
		Cristan Szmajda Calypso: A portable translation layer 2nd Workshop on Microkernels and Microkernel-based Systems, Lake Louise, Alta, Canada, October, 2001
		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, Schloss Elmau, Germany, May, 2001
		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
		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
		Mohit Aron, Yoonho Park, Trent Jaeger, Jochen Liedtke, Kevin Elphinstone and Luke Deller The SawMill framework for VM diversity Proceedings of the 6th Australasian Computer Systems Architecture Conference, Gold Coast, Australia, January, 2001
		Alan Au and Gernot Heiser Enhancing IA64 memory management 2nd Linux.conf.au, Sydney, Australia, January, 2001
		Antony Edwards and Gernot Heiser Components + Security = OS Extensibility Proceedings of the 6th Australasian Computer Systems Architecture Conference, Gold Coast, Australia, January, 2001
		Gernot Heiser Inside L4/MIPS: Anatomy of a high-performance microkernel University of NSW, Sydney 2052, Australia, January, 2001

2000

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

1999

		Luke Deller and Gernot Heiser Linking programs in a single address space Proceedings of the 1999 USENIX Annual Technical Conference, Monterey, Ca, USA, June, 1999
		Kevin Elphinstone Virtual memory in a 64-bit microkernel, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 1999
		Kevin Elphinstone, Gernot Heiser and Jochen Liedtke Page tables for 64-bit computer systems Proceedings of the 4th Australasian Computer Architecture Conference, Auckland, New Zealand, January, 1999

1998

		Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell and Jochen Liedtke The Mungi single-address-space operating system Software: Practice and Experience, 28(9), 901–928, (July, 1998)
		Jerry Vochteloo Design, implementation and performance of protection in the Mungi single-address-space operating system, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 1998
		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
		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, Perth, Australia, February, 1998

1997

		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
		Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell and Jochen Liedtke Implementation and performance of the Mungi single-address-space operating system Technical Report UNSW-CSE-TR-9704, University of NSW, June, 1997
		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, Cape Cod, MA, USA, May, 1997
		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

		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, Seattle, WA, USA, October, 1996
		Jinsong Ouyang and Gernot Heiser Libra: A library for reliable distributed applications International Conference on Parallel and Distributed Processing Techniques and Applications, Sunnyvale, CA, USA, August, 1996
		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, Cape May, NJ, USA, May, 1996

1995

Tim Wilkinson, Kevin Murray, Stephen Russell, Gernot Heiser and Jochen Liedtke Single address space operating systems Technical Report UNSW-CSE-TR-9504, University of NSW, November, 1995

1994

		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
		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, Christchurch, New Zealand, January, 1994

1993

		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, Asheville, NC, USA, December, 1993
		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
		Gernot Heiser, Kevin Elphinstone, Stephen Russell and Graham R. Hellestrand A distributed single address space system supporting persistence Technical Report UNSW-CSE-TR-9302, University of NSW, March, 1993

1992

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, Dourdan, France, September, 1992

Selected Undergraduate Student Theses

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

2011

		Alexandra Boulgakov Sunswift IV strategy for the 2011 World Solar Challenge, BE Thesis, School of Electrical Engineering, University of NSW, Sydney 2052, Australia, 2011
		Anna Lyons Efficient concurrency control for high-performance microkernels, BSc Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2011

2010

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

2009

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

2008

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

2007

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

2006

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

2005

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

2003

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

2002

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

2000

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

1999

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