- 2010-04-22Internet-based Control Systems Design and Application
- 2010-04-19Challenges, Approaches and Benefits of Standardisation for Safety in Railway
- 2010-04-12CAP UNIFICATION : A Tool for Crypto Protocol Analysis
- 2010-03-26Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
- 2010-03-08Scope Logic及其设计动机
- 2009-12-30Ensemble Engineering/Cyber-Physical systems
- 2009-11-30On-the-Fly Model Checking of Security Protocols
- 2009-11-27Logic, Graphs and Parameterized Complexity
- 2009-11-17Three years of research at the MSR-INRIA Joint Centre
- 2009-11-16Model-based tool-chain for the design and analysis of embedded hybrid systems
- 2009-10-27Embedded Systems Design —- Scientific Challenges and Work Directions
- 2009-10-15Unifying Theories of Data Flow
- 2009-09-10Formal Security Proofs for Cryptographic Algorithms and Their Implementations
- 2009-09-01Certification of code-based cryptographic proofs
- 2009-07-27Testing Finitary Probabilistic Processes
- 2009-07-16A Graph-Based Operational Semantics of Object Oriented Programs
- 2009-06-17The Future of Computer Science
- 2009-06-12On Several Untypical Information Retrieval and Web Search Paradigms
- 2009-05-11A resource-aware picalculus
- 2009-04-23Introduction to AIST/CVS & Tree Automata for Non-Linear Arithmetic