Search results for: Radu Calinescu
Software: Practice and Experience > 52 > 10 > 2191 - 2225
Automated Software Engineering > 2018 > 25 > 4 > 785-831
Journal of Cloud Computing > 2018 > 7 > 1 > 1-18
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Dependability > 326-341
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Tools (Demos) and Program Analysis > 421-424
Lecture Notes in Computer Science > Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems > 122-135
Lecture Notes in Computer Science > Foundations of Computer Software. Future Trends and Techniques for Development > 59-82
Lecture Notes in Computer Science
IEEE Transactions on Reliability > 2016 > 65 > 1 > 107 - 125