NICTA Managing Complexity theme: Formal Methods activities - NICTA Managing Complexity theme: Formal Methods activities Seminars

Last updated by tbourke at Sun Mar 1 00:05:01 2009 GMT+1100

Fri Nov 30 2007	Engineering Organic Computing Applications—Design, Analysis, Safety	Wolfgang Reif
Mon Nov 5 2007	Static Analysis for Low Level C-Code	John Regehr
Fri Oct 19 2007	Trustworthy and Reliable Software Intensive Systems	Prof. Wolfgang Reif
Fri Sep 28 2007	Applying Model Checking to Microcontroller Assembly Code	Bastian Schlich
Thu Sep 20 2007	Probabilistic Failure Mode and Effect Analysis	Kirsten Winter
Fri Aug 10 2007	Characterising Testing Preorders for Probabilistic Processes	Rob van Glabbeek
Mon Apr 24 2006	Model-based runtime analysis of distributed reactive systems	Andreas Bauer
Thu Apr 20 2006	Protocol analysis via probabilistic model checking with PRISM	Prof. Marta Kwiatkowska
Fri Apr 7 2006	mCRL2 and Visualization of State Spaces	Bas Ploeger
Mon Feb 6 2006	Correct, Efficient MP TLB Virtualization	Ernie Cohen
Fri Sep 23 2005	Abstract Quantum Mechanics (joint work with Bob Coecke)	Prof. Samson Abramsky
Fri Sep 16 2005	Operating guidelines - an approach to the service-oriented architecture	Karsten Schmidt
Thu Aug 18 2005	Using a Reachability Algorithm to Check CTL	Kairong Qian
Wed Jun 15 2005	The Search for Satisfaction	Prof. Toby Walsh
Mon Mar 21 2005	Foundations of XML Processing	Sebastian Maneth
Thu Jan 27 2005	Language-level Support for Diagrammatic Reasoning	Duraid Madina
Thu Dec 2 2004	Refining Abstractions of Hybrid Systems Using Counterexample Fragments	Ansgar Fehnker
Tue Nov 30 2004	Proof Nets for Unit-free Multiplicative-Additive Linear Logic	Rob van Glabbeek
Thu Nov 25 2004	Semantical Investigations into BAN-like Logics	Mads Dam
Tue Nov 23 2004	First-order mu-calculus as a framework for program verification	Mads Dam
Thu Nov 18 2004	Software Security Related Research at SICS and KTH	Mads Dam
Thu Nov 11 2004	Predicting the Performance of Component-based Applications: A Quantitative Approach	Jenny Liu
Wed Oct 6 2004	Noninfluence = Noninterference + Nonleakage	David von Oheimb
Thu Sep 23 2004	Models of Concurrency	Robert van Glabbeek
Thu Sep 23 2004	How to Verify Dynamic Properties of Information Systems	Neil Evans
Thu Sep 16 2004	Mobile Resource Guarantees	Prof. Donald Sannella
Wed Sep 8 2004	The HOL theorem-proving system	Micheal Norrish
Mon Sep 6 2004	Overview of the Coq proof assistant	Nicolas Magaud
Thu Sep 2 2004	pWCET: a probabilistic worst-case execution time technique and L4	Stefan M. Petters
Fri Aug 6 2004	Formal analysis of cryptographic protocols in a simple timed setting	Fabio Martinelli
Thu Jul 8 2004	UML 2.0 specification of a QoS oriented transport protocol	Ernesto Exposito

Archived Seminars