Radu Calinescu

No bio available. Add one in Open Library.

Books by Radu Calinescu (50 max)

+ shelf+ list

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

2015

Radu Calinescu, Bernhard Rumpe

+ shelf+ list

Large-Scale Complex IT Systems. Development, Operation and Management 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

2012

Radu Calinescu, David Garlan

+ shelf+ list

Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

2016

Domenico Bianculli, Radu Calinescu, Bernhard Rumpe

+ shelf+ list

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

2011

Radu Calinescu

+ shelf+ list

Foundations of Computer Software Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers

2011

Radu Calinescu, Ethan Jackson

+ shelf+ list

Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

2019

Radu Calinescu, Felicita Di Giandomenico