• 2010-10-25Turning Temporal Logic on its Head with Time Reversal
• 2010-09-15An introduction to the model verifier ‘verds’
• 2010-09-14Emergence and adaptability in complex systems
• 2010-09-14Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs
• 2010-06-17A Model of Cooperative Threads
• 2010-06-04Reverse Engineering With Grammatical and Visual Suppor
• 2010-05-24Creating a science base to support new directions in computer science
• 2010-05-12Improving Software Quality with Parfait
• 2010-05-11Grammar Inference Technology Applications in Software Engineering
• 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