• 2008-06-06Program Systems Institute of the Russian Academy of Sciences (PSI RAS). Short Introduction
• 2008-04-21Efficient Query Answering over Ontologies
• 2008-03-31Model-Based Validation of QoS Properties of Biomedical Sensor Netwroks
• 2008-03-28Tool supported real-time system verification techniques based on abstraction/deduction and model checking
• 2008-03-28Formal Model Driven Design
• 2007-12-11Formalisation and Verification in a Type-theoretic Framework
• 2007-12-10Programming with Transactional Memory
• 2007-10-29A Pointer Logic for Object Diagrams
• 2007-09-20An invitation to Quantum Information Theory
• 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?