Search results for: Massimo Tivoli
Journal of Software: Evolution and Process > 34 > 10 > n/a - n/a
Concurrency and Computation: Practice and Experience > 33 > 6 > n/a - n/a
Journal of Internet Services and Applications > 2018 > 9 > 1 > 1-3
Software & Systems Modeling > 2019 > 18 > 1 > 7-10
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Connector Synthesis > 148-190
Lecture Notes in Computer Science > Architecting Systems with Trustworthy Components > Articles by Participants > 193-215
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 278-292
Lecture Notes in Computer Science > Radical Innovations of Software and Systems Engineering in the Future > 184-197
Lecture Notes in Computer Science > Software Engineering for Self-Adaptive Systems > Part 1: Research Roadmap > 1-26
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Markov Chains and Real-Time Systems > 185-200
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2006 Workshop Reader > Software Engineering > 72-86
Lecture Notes in Computer Science > Component-Based Software Engineering > Tools and Building Framework > 84-99
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Applications of Formal Approaches to Service-Oriented Computing > 206-220
Journal of Internet Services and Applications > 2016 > 7 > 1 > 1-4