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 ( 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003 )
- Non-NICTA publications by the UNSW OS group ( 2009, 2008, 2006, 2005, 2004, 2003, 2002 )
- Postgraduate theses
- Selected undergraduate student theses
Our Best Papers
|
|
|
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 |
|
|
|
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., 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
|
|
|
David Greenaway, June Andronick and Gerwin Klein Bridging the gap: Automatic verified abstraction of C 3rd International Conference on Interactive Theorem Proving, Princeton, New Jersey, August, 2012 |
|
|
|
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, June, 2012, DOI: 10.1002/smr.516.,, , June, 2012 |
|
|
|
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, June, 2012, DOI: 10.1002/smr.480.,, , June, 2012 |
|
|
|
Juan Li, He (Jason) Zhang, Liming Zhu, Ross Jeffery, Qing Wang and Mingshu Li Preliminary results of a systematic review on requirements evolution 16th International Conference on Evaluation & Assessment in Software Engineering (EASE 2012), Ciudad Real/Spain, pp. 10, May, 2012., May, 2012 |
|
|
|
Dana Kusumo, Mark Staples, Liming Zhu, He (Jason) Zhang and Ross Jeffery Risks of off-the-shelf-based software acquisition and development: A systematic mapping study and a survey International Conference on Evaluation and Assessment in Software Engineering (EASE) (EASE), Ciudad Real/Spain, May, 2012., May, 2012 |
|
|
|
Wan Fokkink, Rob van Glabbeek and Paulien de Wind Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity Information and Computation, pp. 59-85, May, 2012, ISSN: 0890-5401.,, , May, 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 |
|
|
|
Michael von Tessin The clustered multikernel: An approach to formal verification of multiprocessor OS kernels Proceedings of the 2nd Workshop on Systems for Future Multi-core Architectures, Bern, Switzerland, April, 2012 |
|
|
|
Matthew Fernandez, Gerwin Klein and Ihor Kuz Microkernel verification down to assembly Poster Presentation, April, 2012 |
|
|
|
Bela Stantic, Paolo Terenziani, Guido Governatori, Alessio Bottrighi and Abdul Sattar An implicit approach to deal with periodically-repeated medical data Artificial Intelligence in Medicine, April, 2012, 10.1016/j.artmed.2012.03.002.,, , April, 2012 |
|
|
|
Matthew Sladescu and Alan Fekete Event aware elasticity control for cloud applications Technical Report , The University of Sydney, Sydney, Australia, April, 2012, 1833-9646-5809., April, 2012 |
|
|
|
Paul Brebner A performance modeling “blending” approach for early life-cycle risk mitigation ACM/SPEC International Conference on Performance Engineering, Boston, USA, April, 2012., April, 2012 |
|
|
|
Sadeka Islam, Kevin Lee, Alan Fekete and Anna Liu How a consumer can measure elasticity for cloud platforms ACM/SPEC International Conference on Performance Engineering, Boston, USA, pp. 12, April, 2012., April, 2012 |
|
|
|
Liang Zhao, Sherif Sakr, Alan Fekete, Hiroshi Wada and Anna Liu Application-managed database replication on virtualized cloud environments Proceedings of the Data Management in the Cloud Workshop (DMC\'12), ICDE Workshops, Washington DC, USA, pp. 8, April, 2012., April, 2012 |
|
|
|
Andreas Bauer, Jan-Christoph Kuster and Gil Vegliach Runtime verification meets android security NASA Formal Methods Symposium (NFM\'12), Norfolk, Virginia/USA, pp. 174-180, April, 2012., April, 2012 |
|
|
|
Zheng Li, Liam O'Brien and He Zhang Circumstantial-evidence-based effort judgment for web service composition based SOA implementations International Journal of Space-Based and Situated Computing, pp. 31-44, April, 2012, 2044-4893.,, , April, 2012 |
|
|
|
Gerwin Klein Interactive proof: Applications to semantics IOS Press, Tools for Analysis and Verification of Software Safety and Security, pp. 41, April, 2012, April, 2012 |
|
|
|
Gernot Heiser, Toby Murray and Gerwin Klein It's time for trustworthy systems IEEE: Security and Privacy, 2012(2), 67–70, March, 2012 |
|
|
|
Zheng Li, He Zhang and Liam O'Brien Towards interdisciplinary approach to SOA implementations Springer-Verlag, Communications in Computer and Information Science , pp. 185-202, March, 2012, 1865-0929, March, 2012 |
|
|
|
Junjie Wang, Juan Li, Qing Wang, He (Jason) Zhang and Haitao Wang A simulation approach for impact analysis of requirement volatility considering dependency change International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ), Essen, Germany, pp. 10, March, 2012., March, 2012 |
|
|
|
Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann and Wee Lum Tan Automated analysis of AODV using UPPAAL 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012), Tallinn, Estonia, pp. 173-187, March, 2012, ISSN: 0302-9743., March, 2012 |
|
|
|
Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann and Wee Lum Tan A process algebra for wireless mesh networks FST&TCS, Tallinn, Estonia, pp. 295-315, March, 2012, ISSN: 0302-9743., March, 2012 |
|
|
|
Geoff Sutcliffe, Stephan Schulz, Koen Claessen and Peter Baumgartner The TPTP typed first-order form and arithmetic The 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-18), Merida, Venezuela, pp. 406-419, March, 2012, http://dx.doi.org/10.1007/978-3-642-28717-6_32., March, 2012 |
|
|
|
Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke-Uffmann On distributability of petri nets (extended abstract) 15th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Tallinn, Estonia, pp. 331–345, March, 2012, ISSN: 0302-9743., March, 2012 |
|
|
|
Johnson Fong, Brian Lam, Ricky Robinson and Jadwiga Indulska Defeasible preferences for intelligible pervasive applications to enhance eldercare IEEE International Conference on Pervasive Computing and Communications (PerCom\'12) - Context Modeling and Reasoning Workshop, Lugano/Switzerland, pp. 578-583, March, 2012, ISBN 978-1-4673-0906-6., March, 2012 |
|
|
|
Sherif Sakr and Mohammad Alomari A decade of database conferences: A look inside the program committees Scientometrics, pp. 12, February, 2012.,, , February, 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 |
|
|
|
Stefan M Petters, Kevin Elphinstone and Gernot Heiser Trustworthy real-time systems Springer, Advances in Real-Time Systems, pp. 191-206, January, 2012, 978-3-642-24348-6, January, 2012 |
|
|
|
Remco Dijkman, Marcello La Rosa and Hajo Reijers Managing large collections of business process models - current techniques and challenges Computers in Industry, pp. 91-97, January, 2012, 0166-3615.,, , January, 2012 |
|
|
|
Jan Mendling, Laura Sanchez-Gonzalez, Felix Garcia and Marcello La Rosa Thresholds for error probability measures of business process models Software and Systems Modelling, pp. 1188-1197, January, 2012, 10.1016/j.jss.2012.01.017.,, , 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., 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., January, 2012 |
|
|
|
Timothy Bourke, Matthias Daum, Gerwin Klein and Rafal Kolanski Challenges and experiences in managing large-scale proofs Conferences on Intelligent Computer Mathematics (CICM) / Mathematical Knowledge Management, 2012 The final publication is available at www.springerlink.com |
2011
|
|
|
Sherif Sakr, Sameh Elnikety and He Yuxiong G-SPARQL: A hybrid engine for querying large attributed graphs Technical Report , Microsoft Research, USA, December, 2011, 1833-9646-5537., December, 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., 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/ Austria, pp. 63-72, December, 2011., 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 USA, pp. 298-312, November, 2011, http://dx.doi.org/10.1007/978-3-642-24908-2_30., 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, pp. (paper 22), November, 2011, 9781742102399 ., 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., 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., 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., 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 |
|
|
|
Sherif Sakr and Ghazi Al-Naymat An efficient features-based processing technique for supergraph queries Fourteenth International Database Engineering & Applications Symposium (IDEAS\'10), Montreal Canada, pp. 10, August, 2010., 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., 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., 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., 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., 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., 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., 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, Banff/Canada, pp. 10, September, 2011., 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, pp. 265-274, September, 2011., 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 Singapore, pp. 4, September, 2011., 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 |
|
|
|
Sherif Sakr, Ahmed Awad, Emilian Pascalau and Mathias Weske BPModelMasher: Manage your process variants effectively The 9th International Conference on Business Process Management (BPM 2011), Clermont-Ferrand, France, pp. 5, August, 2011., August, 2011 |
|
|
|
Kees M. van Hee, Marcello La Rosa, Zheng Liu and Natalia Sidorova Discovering characteristics of stochastic collections of process models International Conference in Business Process Management (BPM), Clermont-Ferrand/France, pp. 298-312, August, 2011, 10.1007/978-3-642-23059-2_23., August, 2011 |
|
|
|
Reina Uba, Marlon Dumas, Luciano Garcia-Banuelos and Marcello La Rosa Clone detection in repositories of business process models International Conference in Business Process Management (BPM), Clermont-Ferrand/France, pp. 248-264, August, 2011, 10.1007/978-3-642-23059-2_20., August, 2011 |
|
|
|
Simone Scannapieco, Guido Governatori, Francesco Olivieri and Matteo Cristani Designing for compliance: Norms and goals RuleML 2011, Ft Lauderdale USA, August, 2011., August, 2011 |
|
|
|
Michael Norrish Mechanised computability theory International Conference on Interactive Theorem Proving, Nijmegen, The Netherlands, pp. 297–311, August, 2011, 10.1007/978-3-642-22863-6_22., 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., 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 |
|
|
|
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 |
|
|
|
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., 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/Spain, pp. 364-382, July, 2011., 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., 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., 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., 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., 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 ., 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., 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 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., 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,Pennsylvania, USA, pp. 131-136, June, 2011., 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., 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., 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., 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., 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., 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 |
|
|
|
Marlon Dumas, Marcello La Rosa, Raul Maesalu, Jan Mendling, Hajo Reijers and Nataliia Semenenko Understanding business process models: The costs and bene? Ts of structuredness International Conference on Advanced Information Systems Engineering (CaiSE), Gda?sk, Poland, pp. 1-15, May, 2011., 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., 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., 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., 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., 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, Honolulu / USA, pp. 10, May, 2011., 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., 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., 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., 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., 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., 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., 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., 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., 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 |
|
|
|
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), Biopolis, Singapore, pp. 253-260, March, 2011, 10.1109/WAINA.2011.106/ 978-1-61284-829-7 ., 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., 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., 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 |
|
|
|
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., 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., 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., 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., 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., 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., 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., 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., 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., 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., 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., 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., 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., 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) Association for Computing Machinery (ACM) Press, November, 2010, 978-1-4503-0452-8, 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., 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., 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., 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., November, 2010 |
|
|
|
Vladimir Tosic, Rasangi Pumudu Karunaratne and Qinghua Lu Specification of context for management of service-oriented systems with WS-Policy4MASC IGI Global, Service Intelligence and Service Science: Evolutionary Technologies and Challenges, Hershey/USA, pp. 172-200, November, 2010, 9781615208197; 1615208194; 9781615208203, 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 |
|
|
|
Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz and Leonid Ryzhyk The road to trustworthy systems Proceedings of the 5th ACM Workshop on Scalable Trusted Computing, Chicago, IL, USA, October, 2010 Invited paper |
|
|
|
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., 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., 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., 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., 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., October, 2010 |
|
|
|
Aqueo Kamada, Guido Governatori and Shazia Sadiq Transformation of SBVR compliant business rules to executable FCL rules The 24th International Conference on Legal Knowledge and Information Systems, Washington, USA, pp. 151-159, October, 2010., October, 2010 |
|
|
|
Ho-Pun Lam and Guido Governatori On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic The 24th International Conference on Legal Knowledge and Information Systems, Washington, USA, pp. 119-127, October, 2010., October, 2010 |
|
|
|
Guido Governatori and Antonino Rotolo Norm compliance in business process modeling The 24th International Conference on Legal Knowledge and Information Systems, Washington, USA, pp. 194-209, October , 2010., October, 2010 |
|
|
|
Guido Governatori, Francesco Olivieri, Simone Scannapieco and Matteo Cristani Superiority based revision of defeasible theories The 24th International Conference on Legal Knowledge and Information Systems, Washington, USA, pp. 104-118, October, 2010., 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 The 24th International Conference on Legal Knowledge and Information Systems, Washington, USA, pp. 223-237, October, 2010., 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., October, 2010 |
|
|
|
Karl Michael Goeschka, Hye-young Paik and Vladimir Tosic Engineering middleware for service-oriented computing: Editorial note IGI Global, International Journal of Systems and Service-Oriented Engineering (IJSSOE), pp. i-vi, July-September, 2010, ISSN: 1947-3052; EISSN: 1947-3060, October, 2010 |
|
|
|
Insu Song, Guido Governatori and Joachim Diederich Layered argumentation for fuzzy automation controllers Cybernetics and Intelligent Systems (CIS), 2010 IEEE Conference on, Singapore, pp. 189-194, September, 2010., September, 2010 |
|
|
|
Guido Governatori Law, logic and business processes 3rd International Workshop on Requirement Engineering and law, Sydney, pp. 1-10, September, 2010., September, 2010 |
|
|
|
Franck Cassez The complexity of codiagnosability for discrete event and timed systems 8th International Symposium on Automated Technology for Verification and Analysis (ATVA), Singapore, pp. 15, September, 2010., September, 2010 |
|
|
|
William Billingsley, Cindy Gallois, Andrew Smith, Timothy Marks, Fernando Bernal and Marcus Watson Towards a diagnostic toolbox for medical communicaton 1st IFIP-IMIA International e-Health Joint Conference, Brisbane, Australia, pp. 169-176, September, 2010., 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., 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 ., August, 2010 |
|
|
|
Andreas Bauer and Patrik Haslum LTL goal specifications revisited European Conference on Artificial Intelligence, Lisbon/Portugal, August, 2010., 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., 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., 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., 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., 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., 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., 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 ., July, 2010 |
|
|
|
Paul Bannerman Structuring risk into projects Project Management Institute (PMI) Research Conference 2010, Washington/USA, pp. 27, July, 2010., 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., 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., 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., June, 2010 |
|
|
|
William Billingsley, Cindy Gallois, Andrew Smith and Marcus Watson A system to make machine analysis of communication available and accessible to communications researchers and non-technologists. International Conference on Language and Social Psychology, Brisbane, Australia, June, 2010., June, 2010 |
|
|
|
Franck Cassez, Ron Van Der Meyden and Chenyi Zhang The complexity of synchronous notions of information flow security 13th International Conference on Foundations of Software Science and Computation Structures, Paphos, Cyprus, pp. 282-296, March, 2010., 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., June, 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., 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., 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., April, 2010 |
|
|
|
Guido Governatori and Antonino Rotolo On the complexity of temporal defeasible logic 13 International Workshop on Non-Monotonic Reasoning, Toronto, May, 2010., 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., 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., 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 ., April, 2010 |
|
|
|
William Billingsley, Cindy Gallois, Andrew Smith and Marcus Watson COMLEX: Visualizing communication for research and saving lives Poster Presentation, April, 2010 |
|
|
|
William Billingsley, Cindy Gallois, Andrew Smith and Marcus Watson COMLEX: Visualizing communication for research and saving lives ACM Conference on Human Factors in Computing Systems (CHI) 2010, Work-In-Progress (Poster+6 page extended abstract) stream, Altanta, USA, pp. 6, April, 2010., 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., 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., April, 2010 |
|
|
|
Peter Baumgartner and Evgenij Thorstensen Instance based methods - an overview Künstliche Intelligenz, pp. 35-42, 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 |
|
|
|
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., 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., 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., March, 2010 |
|
|
|
Gerwin Klein, Thomas Sewell and Simon Winwood Refinement in the formal verification of seL4 Springer, Design and Verification of Microprocessor Systems for High-Assurance Applications, pp. 323-339, March, 2010, 978-1-4419-1538-2, 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 Springer, Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever, pp. 322-341, February, 2010, 364211511X, February, 2010 |
|
|
|
Engelhardt Kai and Ralf Huuck Smaller abstraction for ACTL* without next Springer, Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever, pp. 250-259, February, 2010, 364211511X, 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 |
|
|
|
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., 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 |
|
|
|
Peter Chubb and Yang Song Interrupts considered harmful 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 IOS Press, 2009, 978-1-60750-082-7, 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., December, 2009 |
|
|
|
Franck Cassez A note on fault diagnosis algorithms 48th IEEE Conference on Decision and Control, Shanghai, China, December, 2009., 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., November, 2009 |
|
|
|
Vladimir Tosic 2009 13th enterprise distributed object computing conference workshops, EDOCW: Proceedings of the IEEE EDOC 2009 workshops and short papers IEEE Computer Society, September, 2009, 978-1-4244-5564-5, 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., 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., 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., 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., 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., November, 2009 |
|
|
|
Ansgar Fehnker Formal methods in the wireless network domain First Workshop on Formal Methods for Wireless Systems , Toronto, August, 2008., 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., 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 |
|
|
|
Franck Cassez and Stavros Tripakis Fault diagnosis of timed systems ISTE Ltd. – John Wiley & Sons, Ltd., Communicating Embedded Systems, pp. 120–151, November, 2009, 9781848211438, October, 2009 |
|
|
|
Franck Cassez and Nicolas Markey Control of timed systems ISTE Ltd. – John Wiley & Sons, Ltd., Communicating Embedded Systems, pp. 83–120, November, 2009, 9781848211438, October, 2009 |
|
|
|
Gilles Benattar, Franck Cassez, Didier Lime and Olivir Henri Roux Synthesis of non-interferent timed systems Proc. of the 7th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS\'09), Budapest, Hungary, pp. 28-42, September, 2009., October, 2009 |
|
|
|
Franck Cassez, Jérémy Dubreil and Hervé Marchand Dynamic observers for the synthesis of opaque systems 7th International Symposium on Automated Technology for Verification and Analysis (ATVA\'09), Macau SAR, China, pp. 352–367, October, 2009., October, 2009 |
|
|
|
Franck Cassez, Jérémy Dubreil and Hervé Marchand Dynamic observers for the synthesis of opaque systems Technical Report , IRISA, Rennes, France, May, 2009., October, 2009 |
|
|
|
Franck Cassez How to install PHAVer on mac OS x Technical Report , NICTA, Sydney, Australia, March, 2009., 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., 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., 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., 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., September, 2009 |
|
|
|
Yan Liu, Xin Liang, Lingzhi Xu, Mark Staples and Mark Staples Using architecture integration patterns to composing enterprise mashups WICSA 2009., 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)., 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., 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., August, 2009 |
|
|
|
Guido Governatori and Renato Iannella Modelling and reasoning languages for social networks policies EDOC 2009, Auckland, September., 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., 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., 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., 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., 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., 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 |
|
|
|
Franck Cassez The dark side of timed opacity. Proc. of the 3rd International Conference on Information Security and Assurance (ISA\'09), Seoul/Korea, pp. 21–30, June, 2009., 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 |
|
|
|
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 |
|
|
|
Franck Cassez, Jan J. Jessen, Kim G. Larsen, Jean-François Raskin and Pierre-Alain Reynier Automatic synthesis of robust and optimal controllers - an industrial case study. Proc. of the 12th International Conference on Hybrid Systems: Computation and Control (HSCC\'09), San Francisco, CA, USA, pp. 90–104, April, 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., 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., 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., 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., 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., 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., 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 |
|
|
|
Aditya Ghose, Guido Governatori and Ramakoti Sadananda Agent computing and multi-agent systems Springer, September, 2009, 978-3-642-01638-7, 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., 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 |
|
|
|
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., April, 2009 |
|
|
|
Guido Governatori and Shazia Sadiq The journey to business process compliance IGI, Handbook of Research on Business Process Modeling, 2009, April, 2009 |
|
|
|
Ansgar Fehnker, Stefan Edelkamp, Victor Schuppan, Dragan Bosnaki, Anton Wijs and Husain Aljazzar Survey on directed model checking MoChart 2008, 2009., 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 ., 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., April, 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 |
|
|
|
Guido Governatori and Antonino Rotolo How do agents comply with norms? Other Conference Presentation, 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., 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., 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., 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., January, 2009 |
|
|
|
Shiping Chen, Yan Liu, Liming Zhu and Ian Gorton Proceeding of 2nd IEEE international workshop on software engineering for adaptive software systems IEEE, Proceedings of the 2008 IEEE Congress on Services Part II, Beijing/China, pp. 5, Dec, 2008, 978-0-7695-3313-1, January, 2009 |
|
|
|
Ning Wang, Xin Ye, Liming Zhu and Shaobo Ji Proceeding of workshop on intelligent e-government (IEG 2008) IEEE, Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, Sydney/Australia, pp. xxxviii, Dec, 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., 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 ., 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 M. Petters, Martin Lawitzky, Ryan Heffernan and Kevin Elphinstone Fitting an EDF based scheduling approach to componentised real(-time) systems Proceedings of the 29th IEEE Real-Time Systems Symposium, Barcelona, Spain, December, 2008 |
|
|
|
Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo and Leendert van der Torre Time and defeasibility in FIPA ACL semantics 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT Workshops 2008, Sydney, pp. 634-637, December, 9-12, 2008, 978-0-7695-3496-1., 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., December, 2008 |
|
|
|
Ansgar Fehnker Creating correct network protocols 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) ACM, December, 2008, 978-1-60558-368-6, 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., 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., 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., 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., 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., 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., 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., 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 Springer, October, 2008, 978-3-540-88807-9, 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., 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., 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., 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 IEEE-CS, September, 2008, 978-0-7695-3720-7 (proceedings of all EDOC 2008 workshops), 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., 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., 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., 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., 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., 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., 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., 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., 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., 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., 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! |
|
|
|
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., 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 Springer, August, 2008, 3-540-71069-8, 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 CEUR Workshop Proceedings, August, 2008, 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., 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., 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., July, 2008 |
|
|
|
Liming Zhu Application of the REST principle Other Conference Presentation, July, 2008 |
|
|
|
Paul Brebner RFID data management: Issues, solutions, and directions CRC Press, The Internet of Things: From RFID to the Next-Generation Pervasive Networked Systems, pp. 81-106, February, 2008, 9781420052817, July, 2008 |
|
|
|
Ralf Huuck, Gerwin Klein and Bastian Schlich Proceedings of the 3rd international workshop on systems software veri? Cation (SSV 2008) Elsevier, July, 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., 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., 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 |
|
|
|
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., 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., 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., 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., 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., May, 2008 |
|
|
|
Paul Bannerman Smoothing innovation discontinuities International Engineering Management Conference, China, Beijing/China, pp. 5458-5462, May, 2008., 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., 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., 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., 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., 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., 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., 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., 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., 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., 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., 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., 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., March, 2008 |
|
|
|
Paul Bannerman Toward an integrated framework of software project threats Australian Software Engineering Conference, Perth/Australia, pp. 139-148, March, 2008., 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., 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., 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? 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., 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., 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., 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 |
|
|
|
Timothy Peter Bourke and Arcot Sowmya Tool support for verifying trace inclusion with uppaal Technical Report , Uni. of NSW, Computer Science and Engineering, Sydney, 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) ACM Press, ACM/IFIP/USENIX International Middleware Conference, California, USA, November, 2007, 978-1-59593-928-9, 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., November, 2007 |
|
|
|
Dhammika Elkaduwe, Gerwin Klein and Kevin Elphinstone Verified protection model of the seL4 microkernel Technical Report NRL-1474, NICTA, October, 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 IEEE-CS, Middleware for Web Services (MWS) 2007, Maryland, USA, October, 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., 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., October, 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., 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., 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., 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., 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., 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., September, 2007 |
|
|
|
Liming Zhu and Mark Staples Situational method quality Situational Method Engineering, Geneva, pp. 193-206, September, 2007., September, 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 IEEE, Aug, 2007, 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., 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., 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., 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., 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 |
|
|
|
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., May, 2007 |
|
|
|
Paul Bannerman Software project risk in the public sector Australian Software Engineering Conference, Melbourne/Australia, pp. 389-398, April, 2007., 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). |
|
|
|
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 |
|
|
|
Peter Chubb The gpt and superpages Gelato ICE, Singapore, October, 2006 Fuzzy Penguin Award! |
|
|
|
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., 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., 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 |
|
|
|
Peter Chubb Which filesystem? Gelato ICE, Brazil, October, 2005 |
|
|
|
Gernot Heiser, Volkmar Uhlig and Joshua LeVasseur Are virtual-machine monitors microkernels done right? Technical Report PA005103, NICTA, 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 |
|
|
|
Ben Leslie, Peter Chubb, Nicholas FitzRoy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yueting (Rita) Shen, Kevin Elphinstone and Gernot Heiser User-level device drivers: Achieved performance Technical Report PA005043, NICTA, July, 2005 |
|
|
|
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., 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 Bugs: getting them stomped! Gelato ICE, Brazil, October, 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 |
|
|
|
Daniel Potts, Simon Winwood and Gernot Heiser L4 reference manual: Alpha 21x64 University of NSW, Sydney 2052, Australia, 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
|
|
|
Kevin Elphinstone Scheduling stuff October, 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, Gernot Heiser and Jochen Liedtke L4 reference manual: MIPS R4x00, version 1.11, kernel version 79 University of NSW, Sydney 2052, Australia, May, 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 |
|
|
|
Trent Jaeger, Kevin Elphinstone, Jochen Liedtke, Vsevolod Panteleenko and Yoonho Park Flexible access control using IPC redirection Proceedings of the 7th Workshop on Hot Topics in Operating Systems, Rio Rico, AZ, USA, March, 1999 |
|
|
|
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
|
|
|
Kevin Elphinstone, Gernot Heiser and Jochen Liedtke Page tables for 64-bit computer systems Technical Report UNSW-CSE-TR-9804, School of Computer Science and Engineering, August, 1998 |
|
|
|
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 University of NSW, Sydney 2052, Australia, December, 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, Fondy Lam and Stephen Russell Resource management in the Mungi single-address-space operating system Technical Report UNSW-CSE-TR-9705, University of NSW, August, 1997 |
|
|
|
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 |
|
|
|
Jochen Liedtke and Kevin Elphinstone Guarded page tables on MIPS R4600 or an exercise in architecture-dependent micro optimization ACM Operating Systems Review, 30(1), 4–15, January, 1996 |
1995
|
|
|
Jochen Liedtke and Kevin Elphinstone Guarded page tables on MIPS R4600 or an exercise in architecture-dependent micro optimization Technical Report UNSW-CSE-TR-9503, School of Computer Science and Engineering, November, 1995 |
|
|
|
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 |
|
|
|
Jinsong Ouyang and Gernot Heiser Checkpointing and recovery for distributed shared memory applications Proceedings of the 4th IEEE International Workshop on Object Orientation in Operating Systems, Lund, Sweden, August, 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 Jerry Vochteloo Mungi: A distributed single address-space operating system Technical Report UNSW-CSE-TR-9314, 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 |
Post-graduate Student Theses
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 |
|
|
|
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 |
|
|
|
Nicholas FitzRoy-Dale Architecture optimisation, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2011 |
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 |
|
|
|
David C. Snowdon OS-Level power management, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 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 |
2009
|
|
|
Joshua LeVasseur Device-driver reuse via virtual machines, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2009 |
|
|
|
Matthew Chapman vNUMA: Virtual shared-memory multiprocessors, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2009 |
2008
|
|
|
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 |
|
|
|
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 |
2007
|
|
|
Luke Macpherson Performing under overload, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2007 |
|
|
|
Andrew Baumann Dynamic update for operating systems, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2007 |
|
|
|
Liming Zhu Software architecture evaluation for framework-based systems, PhD Thesis, CSE at UNSW, 2007., 2007 |
2005
|
|
|
Volkmar Uhlig Scalability of microkernel-based systems, PhD Thesis, University of Karlsruhe, Karlsruhe, Germany, 2005 |
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 |
1998
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 |