Search results for: Mirco Tribastone
Performance Evaluation > 2017 > 109 > C > 52-76
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Applications of Formal Approaches to Service-Oriented Computing > 191-205
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2016 > 35 > 8 > 1358 - 1371
Annals of Operations Research > 2017 > 252 > 1 > 101-120
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Scalable Analysis of Scalable Systems > 1-17
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Quantitative Analysis Techniques for Service-Oriented Computing > 486-505
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Invited Talks > 21-36
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing > 51-65
IEEE Transactions on Automatic Control > 2016 > 61 > 4 > 1099 - 1104
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Applications of Formal Approaches to Service-Oriented Computing > 170-190
Operations Research Proceedings > Operations Research Proceedings 2010 > I.6 Quantitative Models for Performance and Dependability (QMPD) > 169-174