- 2009-04-20Modular Concurrency Verification
- 2009-04-14Specifying programs with propositions and with congruences
- 2009-03-09The rCOS Modeler: model-driven development and integrated verification support
- 2009-01-07Decision Algorithms for Probabilistic Simulations
- 2008-12-02Synthesis of Designs from Property Specifications
- 2008-11-05A Pictorial Introduction to Separation Logic
- 2008-09-03A Revival of Data Dependencies for Improving Data Quality
- 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