• 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