RTG Reading Group
Recent Changes - Search:

Projects

-- Forum





PmWiki

pmwiki.org

edit SideBar

2007-08Work

2007-2008 Presentation Archives:

2007-08 Presentation Schedule

  • April 20 - Sebastian presenting "Networks on Chip" [pdf]
  • May 4 - Michael presenting "Secure Attribute-Based Systems" [pdf]
  • June 15 - Nikhil presenting "On the Decision Problem for Two-Variable First-Order Logic" [pdf]
  • June 30 - Sebastian presenting "Optimal TDMA Time Slot and Cycle length allocation" [pdf]
  • July 13 - Madhukhar presenting "Interface-based design of real-time systems with fixed priority scheduling" [pdf]
  • July 20 - Moonzoo presenting "Formal Specification & Verification of USP Flash Translation Layer"
  • August 3 - Louise presenting "Formal Verification of Human-Automation Interaction" [pdf]
  • Sept 28 - Anduo presenting "Timing Tolerances in Safety-Critical Software"[pdf]
  • Oct 5 - Louise presenting "Bisimulation equivalence and the Sigref tool" [pdf]
  • Oct 12 - Andrew presenting "State Restoration in Real Time Systems" [pdf]
  • Nov 2 - Nikhil presenting "Logic-based Regulatory Conformance Checking"[pdf]
  • Nov 9 - Vivien presenting "A theory of timed automata"[ps]
  • Dec 7 - JangYeol Kim presenting "Software V&V Methods for Safety-grade Programmable Logic Controller" [pdf]
  • Dec 14 - Sebastian presenting "Model-Driven Design for Embedded Systems with MARTE" [link]

January-February 2007 Suggestions

  • Arvind - Real-Time Interfaces for Composing Real-Time Systems [pdf]
  • Sebastian - A general model for recurring real-time tasks [pdf]
  • Insup - Concolic Testing of Sequential and Concurrent Program [pdf]
  • Oleg - Efficient Trace Monitoring [pdf]
  • Louise - Synergy: A New Algorithm for Property Checking [pdf]
  • Nikhil - Counterexample Guided Abstraction Refinement [pdf]

March-April 2007 Suggestions:

  • Oleg - A Metric for Labelled Markov Processes
  • Oleg - Linear and Branching Metrics for Quantitative Transition Systems [pdf]
  • Oleg - Simulation-Based Graph Similarity [pdf]
  • Madhukar - Temporal Logic Verification Using Simulation [pdf]
  • Louise - Testing, Optimization and Games [pdf]

June-July 2007 Suggestions:

  • Oleg - A framework for modular analysis and exploration of heterogeneous embedded systems [pdf]
  • Insup - Holistic Schedulability for DISTRIBUTED Hard REAL-TIME SYSTEMS [pdf]
  • Madhukar - An Interface Algebra for Real-Time Components [pdf]
  • Louise - Adaptive Model Checking [pdf]
Edit - History - Print - Recent Changes - Search
Page last modified on September 05, 2008, at 02:12 PM