- 2008-08-26From clear specifications to efficient implementations
- 2008-08-26Efficient Policy Analysis for Administrative Role Based Access Control
- 2008-07-08Imperative Programs on Numbers: Mechanization of Loop Invariant Generation and Loop Termination
- 2008-06-30Perspectives in Probabilistic Verification
- 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