Search results for: Romina Spalazzese
IEEE Software > 2017 > 34 > 1 > 46 - 53
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Connector Synthesis > 148-190
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 236-250
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 251-262
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 206-220
Lecture Notes in Computer Science > Quality of Software Architectures. Models and Architectures > Architecture and Components / Reasoning about Components > 86-102
Journal of Systems and Software > 2016 > 111 > C > 185-199