Search results for: Dimitra Giannakopoulou
Journal of Internet Services and Applications > 2018 > 9 > 1 > 1-3
Systems Engineering > 19 > 6 > 461 - 476
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Sytems — FORTE 2002 > 308-326
Comprehensive Psychiatry > 2016 > 70 > C > 32-40
Physiology & Behavior > 2016 > 164 > PA > 284-291
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Synthesis and Adaptation > 94-108
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Learning Techniques for Software Verification and Validation > 640-642
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Assume-Guarantee Reasoning > 292-307
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Modules and Compositional Verification > 331-346
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Connector Synthesis > 191-216
Lecture Notes in Computer Science > Computer Aided Verification > Session 10. Compositional Reasoning > 527-542
Lecture Notes in Computer Science > Computer Aided Verification > Session 3: Abstraction/Refinement > 135-148
Lecture Notes in Computer Science
IEEE Transactions on Human-Machine Systems > 2016 > 46 > 2 > 267 - 278
International Journal on Software Tools for Technology Transfer > 2016 > 18 > 2 > 227-243