Home | People | Research Projects | Publications | Techreports | Tools | Vacancies | Seminars
This is now an inactive research group it's members have moved on. You can find them at their new research groups:
Related Links

DSSE:2010 Academic Year Seminars

Jeremy Morse
Wednesday 29th June 2011
Context-Bounded Model Checking of LTL Properties for ANSI-C Software
Sam Staton (University of Cambridge)
Wednesday 22nd June 2011
State Passing Style
Thiago Carvalho de Sousa
Wednesday 15th June 2011
A Proposal for Extending UML-B to Support a Conceptual Model
Ross J Horne
Wednesday 25th May 2011
Programming Languages for a Read-Write Web of Data
Andrzej Murawski (University of Leicester)
Wednesday 11th May 2011
Game semantics for good general references
Tristan Aubrey-Jones
Wednesday 23rd March 2011
Partitioning data for shared nothing data parallelism
Dr Pawel Sobocinski
Wednesday 16th March 2011
Representations of Petri net interactions
Richard Banach (University of Manchester)
Wednesday 9th March 2011
Formal Control System Design across the Continuous/Discrete Modeling Interface: A Simple Train Stopping Application
Prakash Panangaden (McGill University)
Wednesday 2nd March 2011
Epistemic Strategies and Games on Concurrent Processes
Dr Julian Rathke
Wednesday 16th February 2011
The Lax Braided Structure of Streaming I/O
Neville Grech
Wednesday 9th February 2011
Preemptive type checking in dynamically typed programs
Daniel Kröning (University of Oxford)
Wednesday 2nd February 2011
Model Checking Unbounded Threads
Shahram Esmaeilsabzali
Wednesday 26th January 2011
Prescriptive Semantics for Big-Step Modelling Languages
Andrew Edmunds
Wednesday 19th January 2011
Extending Event-B to Generate Code for Multi-tasking Programs
Dirk Pattinson (Imperial College London)
Wednesday 15th December 2010
Fun with Henry
Bartek Klin (University of Cambridge)
Wednesday 8th December 2010
SOS, modal logic and compositionality
Mu Yang
Wednesday 1st December 2010
Incentives to Cooperation in Anonymity Networks: A Game-Theoretic Formulation
Renato A Silva
Wednesday 24th November 2010
Decomposition in Event-B
Ralf Lämmel (University of Koblenz)
Wednesday 17th November 2010
Grammar-based Testing Revisited
GR "Dr Giorgios" Economopoulos
Wednesday 10th November 2010
Extending code generators by transforming generated code
Dr Bernd Fischer
Wednesday 3rd November 2010
Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking
Maria Grazia Vigliotti (Imperial College London)
Wednesday 27th October 2010
From Systems to Components: Constructive Methods for Product-Form Solutions
Prof Vladimiro Sassone
Wednesday 20th October 2010
Trust in Anonymity Networks
Prof Michael J Butler
Wednesday 13th October 2010
Welcome to DSSE
© School of Electronics and Computer Science of the University of Southampton