- 2007-09-17Modeling and Design of Embedded Systems
- 2007-08-20An Introduction to Core-sets and Discrete Frechet Distance
- 2007-08-15Controller Synthesis for Real-Time Systems
- 2007-07-26On the limitations of finite state models as sources of tests for access control and authentication
- 2007-06-27Compositional Verification of Timed Systems
- 2007-06-26Modelling and Refinement of Component-based Software Systems: A Coalgebraic Perspective
- 2007-06-12CTL/ACTL Model Update: The Model Explosion Problem and Counterexample Guided Update
- 2007-06-04A process calculus for Specifying Service Level Agreements and Resource Allocation
- 2007-05-30Latent Tree Models and Statistical Foundation for Traditional Chinese Medicine
- 2007-05-21Implementation of Distributed Loop Scheduling Schemes on the TeraGrid
- 2007-04-26Building Certified System Software: Are We Close?
- 2007-03-22Semantics of BPEL4WS-like Fault and Compensation Handling
- 2007-03-20Abductive Reasoning with Logic Programs with Negation