|
2012-05-28: Best Paper Award — EASE 2012
|
Liming Zhu, Ross Jeffery & Jason Zhang won the Best
Paper Award @ the 17th International Conference on
Evaluation & Assessment in Software Engineering
(EASE 2012). This paper, An Initial Evaluation of
Requirements Dependency Types in Change Propagation
Analysis is the result of ongoing collaboration with the
Chinese Academy of Science and improves the understanding
of systems dependency in change propagation.
|
|
2012-04-17: Associate Editor @ the Journal of Research and
Practice in Information Technology
|
|
Guido Governatori has been made Associate Editor of the
Journal of Research and Practice in Information
Technology. The Journal has a dual emphasis and contains
articles that are of interest both to practicing information
technology professionals and to university and industry
researchers. In particular, it encourages papers that
report on activities that have successfully connected
fundamental and applied research with practical application.
|
|
2012-04-02: Program Committee co-chair @ VEE 2013
|
|
Gernot Heiser has accepted the position of PC co-chair @
the 9th Annual Conference on Virtual Execution
Environments (VEE 2013) to be
held in Houston, Texas, USA.
|
|
2012-03-30: SSRG awarded Australia-China Mission Grant
|
|
Liming Zhu, Ross Jeffery, Quanqing Xu & Anna Liu have
been awarded the Australia-China Group Mission Grant from
the Dept of Industry & Innovation, Science, Research
& Tertiary Education. This will be used to promote
research and technology collaborations with the Institute
of Software Chinese Academy of Science (ISCAS) and Peking
University, to build dependable systems and demonstrate
NICTA technologies to companies in China.
|
|
2011-12-14: C verification
tool released.
|
|
We have released one of the main C verification tools in
the L4.verified
project under a BSD license. The C-to-Isabelle parser
reads C99 files into the theorem prover Isabelle/HOL and
provides the basis for their formal verification.
|
