Third-party funded and formal research projects
Projects at NICTA
- Verification Tools and Automation
Objectives: VTA is an activity of the Trustworthy Systems project. The overall aim of the Trustworthy Systems umbrella project is unprecedented security, safety, reliability and efficiency for software systems. The specific aim of the VTA activity is to develop verification tools and methods for supporting that.
Status: Project completed (2013-2015); my involvement was in 2013 only. - Provably Correct Business Rules and Processes
Collaboration between NICTA and NSW Land & Property Information.
Objectives: To develop a formally based methodology for the modelling and automatic analysis of business rules and processes.
Status: Project finished (2011-2012). - AI for the Smart Grid
Collaboration between NICTA and EnergyAustralia.
Objectives: To develop tools and techniques for the automatic management of next-generation electricity networks.
Status: Project completed (2010). - Constraint Programming Platform
Collaboration between the different NICTA labs across Australia.
Objectives: The Constraint Programming Platform project is developing G12, a software platform for solving large-scale industrial combinatorial optimisation problems.
Status: Project completed (2006-2010); I joined the project in 2009 (and still maintain parts of it). - SAIL - Situation Awareness by Inference and Logic
Collaboration between NICTA and the Australian Defence Science and Technology Organisation (DSTO).
Objectives: Logic-based techniques for information fusion in the context of situation awareness problems.
Status: Project completed (2007-2008).
Projects at TU-München
- SPES_XT
Collaboration between TU-München and 21 partners; among them Fraunhofer IESE, Daimler, Airbus, etc.
Objectives: Innovation alliance for Embedded Systems, Software Plattform Embedded Systems 2020
Project funded by the German Federal Ministry of Education and Research (BMB+F).
Status: Project completed; I was leading the subproject on meta-modelling between 2013-2014. - BASE.XT
Collaboration between TU-München and BMW Group.
Objectives: Model-based software development process for automotive systems.
Status: Project completed (2005-2008); my involvement ended in 2007. - HGIG 2005 - HONDA German Initiation Grant
Collaboration between TU-München and HONDA Research & Development Europe.
Objectives: Evaluation of formal specification and verification methods for automotive software.
Status: Project completed (2005). - AutoMoDe - Automotive Model-based Development
Joint project with TU-München, BMW Group, Validas AG, ETAS GmbH, and Robert Bosch GmbH.
Objectives: Model-based design and development of embedded automotive systems.
Project funded by the German Federal Ministry of Education and Research (BMB+F).
Status: Project completed (2003-2006). - Compilation of Functional Programming Languages Using GCC - Tail Calls
Collaboration between TU-München and Microsoft Research, Cambridge, UK.
Objectives: Increasing the efficiency of functional programs via tail call optimisations in the GNU Compiler Collection (GCC).
Project partly funded by the German Academic Exchange Service (DAAD).
Status: Project completed (2002-2003).
Further research activities
Appointments
- Adjunct research fellow at the School of Computer Science of The Australian National University (07/2009-11/2013)
- Adjunct researcher at National ICT Australia (NICTA), Canberra, Managing Complexity theme, for the e-government initiative (11/2008-07/2009)
- Adjunct researcher at National ICT Australia (NICTA), Canberra, Managing Complexity theme, in the SAIL project (11/2007-07/2008)
Selected talks
- Invited lectures, Winter School, European Master's and PhD Program on Computational Logic (EMCL/EPCL): Introduction to formal systems verification, Fakultät für Informatik, TU Dresden (12/2012) [some of the slides]
- Invited talk: Runtime verification for the masses, Institut für Informatik, TU München (05/2012)
- Invited talk: An introduction to Android security, Canberra branch of the Australian Information Security Association (AISA) (08/2011)
- Invited tutorial: The Theory and Practice of SALT, 3rd NASA Formal Methods Symposium (NFM'11), Pasadena, CA (04/2011)
- Invited talk: Monitorability of ω-regular languages, Dagstuhl seminar 10451 on Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (11/2010)
- Invited talk: Runtime verification of LTL and TLTL, TU Dortmund/Fraunhofer Institute for Software & Systems Engineering (ISST) (04/2010)
- Invited talk: Runtime verification of LTL and TLTL, Swinburne University of Technology, Melbourne (01/2010)
- Invited lectures: Logic and Complexity Theory, Logic Summer School, The Australian National University (5 lectures, 12/2009) [slides]
- Invited talk: Security protocols, properties, and their monitoring, Victoria University, Melbourne (05/2008) [slides]
- Invited talk: Runtime reflection in a nutshell, Dagstuhl seminar 07011 on Runtime Verification (01/2007)
- Invited talk: Modelling with a grain of SALT, Dagstuhl seminar 06351 on Methods for Modelling Software Systems (08/2006)
- Invited talk: Runtime Reflection: An approach for the model-based runtime analysis of distributed reactive systems, University of Edinburgh, LFCS Seminar Series (06/2006)
- Invited talk: Model-based deployment of automotive software, Center for Hybrid and Embedded Software Systems (CHESS) seminar series, University of California, Berkeley (06/2004)
Events
- RV'19: Runtime Verification, 19th International Conference on (PC member)
- RV'18: Runtime Verification, 18th International Conference on (PC member)
- RV'17: Runtime Verification, 17th International Conference on (PC member)
- RV'16: Runtime Verification, 16th International Conference on (PC member)
- RV'15: Runtime Verification, 15th International Conference on (PC member)
- RV'13: Runtime Verification, 13th International Conference on (PC member)
- WOSIS'13: Security in Information Systems, satellite of ICEIS'13 (PC member)
- SESS'12: Software Engineering for Secure Systems, satellite of ESORICS'12 (PC member)
- WOSIS'12: Security in Information Systems, satellite of ICEIS'12 (PC member)
- DX'11: Principles of Diagnosis (PC member)
- FMSPLE'11: Formal Methods and Analysis in Software Product Line Engineering, satellite of SPLC'11 (PC member)
- VVPS'11: Verification and Validation for Planning and Scheduling Systems, satellite of ICAPS'11 (PC member)
- WOSIS'11: Security in Information Systems, satellite of ICEIS'11 (PC member)
- IJCAI'11: Artificial Intelligence, Twenty-second International Joint Conference on (PC member)
- SESS'11: Software Engineering for Secure Systems, satellite of ICSE'11 (PC member)
- SEES'10: Software Engineering for Embedded Systems, satellite of APSEC'10 (PC member)
- FACS'10: Formal Aspects of Component Software (PC member)
- DX'10: Principles of Diagnosis (PC member)
- SESS'10: Software Engineering for Secure Systems, satellite of ICSE'10 (PC member)
- ACVIT'09: Advances in Computer Vision and Information Technology, Second IEEE Conference on (PC member SE track)
- ALICS'08: Applications of Logic in Computer Security, satellite of LPAR'08 (PC member)