RTG Reading Group
Recent Changes - Search:

Projects

-- Forum





PmWiki

pmwiki.org

edit SideBar

2006-07Work

2006-07 Presentation Schedule

Nov 10 Oleg - Component Modeling in BIP (paper) (slides )
Nov 3 Louise - CBMC (pdf)
Sep 29 Baohua - Using Extended Program Dependence Subgraphs as Signatures of Metamorphic Malicious Programs
Sep 22 Arvind - Composition using Deferred Deadlines
Sep 15 Gursharan - Scheduling for Reconfigurable System
 Madhukar/Sebastian - Codegen and Resource VM for Pic
Aug 31 Baohua Wu - Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking (pdf)
Aug 24 Nikhil Dinesh - A Deontic Logic for Checking an Implementation's Conformance to Regulation
Aug 17 Sebastian Fischmeister - Compositionality and Real-Time Interfaces with the Real Time Calculus (pdf)
 Nikhil Dinesh - A Deontic Logic for Checking an Implementation's Conformance to Regulation
Aug 10 Arvind Easwaran - An Interface Algebra for Real-Time Components (pdf)
Aug 4 Dave Arney - Testing Real-Time Constraints in a Process Algebraic Setting (pdf)
 Michael May - Security in Assisted Living
Jul 21 Dave Arney - Assume-Guarantee Reasoning with ioco (pdf)
Jul 14 Dave Arney - Compositional Testing with IOCO (pdf)
Edit - History - Print - Recent Changes - Search
Page last modified on September 05, 2008, at 02:08 PM