Search results for: Volker Stolz
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Demonstrations > 455-458
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 6 > 1234-1267
Lecture Notes in Computer Science > Runtime Verification > Core Runtime Verification Papers > 176-187
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 1. Invited Papers > 62-80
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 387-401
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia > 339-353
Science China Information Sciences > 2014 > 57 > 12 > 1-17
Journal of Logic and Algebraic Programming > 2012 > 81 > 3 > 331-354
Frontiers of Computer Science > 2012 > 6 > 1 > 17-39
Science of Computer Programming > 2010 > 75 > 10 > 879-897
Innovations in Systems and Software Engineering > 2010 > 6 > 1-2 > 13-20