now163
- The rCOS Modeler: model-driven development and integrated verification support2009-03-09
- Decision Algorithms for Probabilistic Simulations2009-01-07
- Synthesis of Designs from Property Specifications2008-12-02
- 图灵奖获得者Amir Pnueli教授来访2008-12-02
- 图灵奖获得者C.A.R. Hoare教授来访2008-11-05
- A Pictorial Introduction to Separation Logic2008-11-05
- A Revival of Data Dependencies for Improving Data Quality2008-09-03
- From clear specifications to efficient implementations2008-08-26
- Efficient Policy Analysis for Administrative Role Based Access Control2008-08-26
- Imperative Programs on Numbers: Mechanization of Loop Invariant Generation and Loop Termination2008-07-08
- Perspectives in Probabilistic Verification2008-06-30
- Program Systems Institute of the Russian Academy of Sciences (PSI RAS). Short Introduction2008-06-06
- Efficient Query Answering over Ontologies2008-04-21
- Model-Based Validation of QoS Properties of Biomedical Sensor Netwroks2008-03-31
- Tool supported real-time system verification techniques based on abstraction/deduction and model checking2008-03-28
- Formal Model Driven Design2008-03-28
- Formalisation and Verification in a Type-theoretic Framework2007-12-11
- Programming with Transactional Memory2007-12-10
- A Pointer Logic for Object Diagrams2007-10-29
- An invitation to Quantum Information Theory2007-09-20