Search Results - Calinescu, Radu

Architecture-independent loop parallelisation / by Calinescu, Radu C., 1968-

Large-scale complex IT systems : development, operation and management, 17th Monterey workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers /

Other Authors: “…Calinescu, Radu…”
Full Text (via Springer)

Software engineering and formal methods : 19th International Conference, SEFM 2021, Virtual event, December 6-10, 2021, Proceedings /

Other Authors: “…Calinescu, Radu C., 1968-…”
Full Text (via Springer)

Software engineering and formal methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Other Authors: “…Calinescu, Radu C., 1968-…”
Full Text (via Springer)

Software engineering and formal methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers /

Other Authors: “…Calinescu, Radu C., 1968-…”
Full Text (via Springer)

Software engineering for resilient systems : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings /

Other Authors: “…Calinescu, Radu C., 1968-…”
Full Text (via Springer)

Foundations of computer software modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selec...

Other Authors: “…Calinescu, Radu C., 1968-…”
Full Text (via Springer)