• Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs2010-09-14
• A Model of Cooperative Threads2010-06-17
• Reverse Engineering With Grammatical and Visual Suppor2010-06-04
• Creating a science base to support new directions in computer science2010-05-24
• Improving Software Quality with Parfait2010-05-12
• Grammar Inference Technology Applications in Software Engineering2010-05-11
• Internet-based Control Systems Design and Application2010-04-22
• Challenges, Approaches and Benefits of Standardisation for Safety in Railway2010-04-19
• CAP UNIFICATION : A Tool for Crypto Protocol Analysis2010-04-12
• Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction2010-03-26
• Scope Logic及其设计动机2010-03-08
• Ensemble Engineering/Cyber-Physical systems2009-12-30
• On-the-Fly Model Checking of Security Protocols2009-11-30
• Logic, Graphs and Parameterized Complexity2009-11-27
• Three years of research at the MSR-INRIA Joint Centre2009-11-17
• Model-based tool-chain for the design and analysis of embedded hybrid systems2009-11-16
• Embedded Systems Design —- Scientific Challenges and Work Directions2009-10-27
• Unifying Theories of Data Flow2009-10-15
• Formal Security Proofs for Cryptographic Algorithms and Their Implementations2009-09-10
• Certification of code-based cryptographic proofs2009-09-01