
Radu Calinescu
Radu C. Calinescu
Person information
- affiliation: University of York, Department of Computer Science, UK
- affiliation: Aston University, Birmingham, Departent of Computer Science, UK
- affiliation: University of Oxford, Computing Laboratory, UK
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [j17]Radu Calinescu, Felicita Di Giandomenico:
Special issue on resilient software and software-controlled systems. Computing 103(4): 533-534 (2021) - [c71]Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks:
Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. ICAART (2) 2021: 237-245 - [i15]Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem:
Fast Parametric Model Checking through Model Fragmentation. CoRR abs/2102.01490 (2021) - [i14]Richard Hawkins, Colin Paterson, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli:
Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS). CoRR abs/2102.01564 (2021) - [i13]Radu Calinescu, Naif Alasmari, Mario Gleirscher:
Maintaining driver attentiveness in shared-control autonomous driving. CoRR abs/2102.03298 (2021) - [i12]Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett:
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. CoRR abs/2103.01629 (2021) - [i11]Sara Mahdavi-Hezavehi, Danny Weyns, Paris Avgeriou, Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin:
Uncertainty in Self-Adaptive Systems: A Research Community Perspective. CoRR abs/2103.02717 (2021) - 2020
- [j16]Colin Paterson
, Radu Calinescu
:
Observation-Enhanced QoS Analysis of Component-Based Systems. IEEE Trans. Software Eng. 46(5): 526-548 (2020) - [c70]Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu, Ibrahim Habli:
Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. SafeAI@AAAI 2020: 23-30 - [c69]Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin, Danny Weyns
:
Understanding Uncertainty in Self-adaptive Systems. ACSOS 2020: 242-251 - [c68]Radu Calinescu
, Vittorio Cortellessa
, Ioannis Stefanakos
, Catia Trubiani
:
Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. FASE 2020: 357-377 - [c67]Mario Gleirscher, Radu Calinescu:
Safety Controller Synthesis for Collaborative Robots. ICECCS 2020: 83-92 - [c66]Simon Foster, Mario Gleirscher, Radu Calinescu:
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. ICECCS 2020: 113-118 - [c65]Xingyu Zhao
, Radu Calinescu, Simos Gerasimou, Valentin Robu
, David Flynn:
Interval Change-Point Detection for Runtime Probabilistic Model Checking. ASE 2020: 163-174 - [e8]Shinichi Honiden, Elisabetta Di Nitto, Radu Calinescu:
SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June - 3 July, 2020. ACM 2020, ISBN 978-1-4503-7962-5 [contents] - [i10]Simon Foster, Mario Gleirscher, Radu Calinescu:
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. CoRR abs/2006.09233 (2020) - [i9]Mario Gleirscher, Radu Calinescu:
Safety Controller Synthesis for Collaborative Robots. CoRR abs/2007.03340 (2020) - [i8]Mario Gleirscher, Nikita Johnson, Panayiotis Karachristou, Radu Calinescu, James Law, John A. Clark:
Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots. CoRR abs/2007.11099 (2020)
2010 – 2019
- 2019
- [c64]Radu Calinescu, Danny Weyns
, Simos Gerasimou, Ibrahim Habli:
Architecting Trustworthy Self-Adaptive Systems (Tutorial). ICSA Companion 2019: 3-4 - [c63]Radu Calinescu, Javier Cámara, Colin Paterson:
Socio-cyber-physical systems: models, opportunities, open challenges. SEsCPS@ICSE 2019: 2-6 - [c62]Simos Gerasimou, Nicholas Matragkas, Radu Calinescu:
Towards systematic engineering of collaborative heterogeneous robotic systems. RoSE@ICSE 2019: 25-28 - [c61]Colin Paterson, Radu Calinescu, Di Wang, Suresh Manandhar:
Using unstructured data to improve the continuous planning of critical processes involving humans. SEAMS@ICSE 2019: 25-31 - [c60]Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns
, Radu Calinescu, Schahram Dustdar
, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos
, Haiyan Zhao:
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 2019: 70-76 - [c59]Radu Calinescu:
Taming Service Uncertainty through Probabilistic Model Learning, Analysis and Synthesis. UCC Companion 2019: 163 - [e7]Radu Calinescu, Felicita Di Giandomenico:
Software Engineering for Resilient Systems - 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings. Lecture Notes in Computer Science 11732, Springer 2019, ISBN 978-3-030-30855-1 [contents] - [i7]Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli:
Perpetual Assurances for Self-Adaptive Systems. CoRR abs/1903.04771 (2019) - [i6]Rob Ashmore, Radu Calinescu, Colin Paterson:
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. CoRR abs/1905.04223 (2019) - [i5]Colin Paterson, Radu Calinescu:
Detection and Mitigation of Rare Subclasses in Neural Network Classifiers. CoRR abs/1911.12780 (2019) - 2018
- [j15]Simos Gerasimou
, Radu Calinescu, Giordano Tamburrelli:
Synthesis of probabilistic models for quality-of-service software engineering. Autom. Softw. Eng. 25(4): 785-831 (2018) - [j14]Martyn Ellison, Radu Calinescu, Richard F. Paige:
Evaluating cloud database migration options using workload models. J. Cloud Comput. 7: 6 (2018) - [j13]Radu Calinescu, Milan Ceska
, Simos Gerasimou
, Marta Kwiatkowska
, Nicola Paoletti
:
Efficient synthesis of robust models for stochastic systems. J. Syst. Softw. 143: 140-158 (2018) - [j12]Radu Calinescu, Milan Ceska
, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
:
Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. J. Syst. Softw. 145: 195 (2018) - [j11]Radu Calinescu
, Danny Weyns
, Simos Gerasimou
, Muhammad Usman Iftikhar
, Ibrahim Habli
, Tim Kelly
:
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Trans. Software Eng. 44(11): 1039-1069 (2018) - [c58]Naif Alasmari, Radu Calinescu:
Towards Multi-Objective Optimisation of Hadoop 2.x Application Deployment on Public Clouds. ES 2018: 134-137 - [c57]Radu Calinescu, Kenneth Johnson, Colin Paterson:
Efficient parametric model checking using domain-specific modelling patterns. ICSE (NIER) 2018: 61-64 - [c56]Radu Calinescu, Danny Weyns
, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly:
ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. ICSE 2018: 495 - [c55]Saud Yonbawi, Radu Calinescu:
Towards Self-Adaptive Systems with Hierarchical Decentralised Control. FAS*W@SASO/ICAC 2018: 14-16 - [i4]Colin Paterson, Radu Calinescu:
Observation-Enhanced QoS Analysis of Component-Based Systems. CoRR abs/1805.09614 (2018) - [i3]Radu Calinescu, Colin Paterson, Kenneth Johnson:
Efficient Parametric Model Checking Using Domain Knowledge. CoRR abs/1812.09952 (2018) - 2017
- [d1]Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns:
UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact). Dagstuhl Artifacts Ser. 3(1): 03:1-03:2 (2017) - [c54]George Mason, Radu Calinescu, Daniel Kudenko, Alec Banks:
Assured Reinforcement Learning with Formally Verified Abstract Policies. ICAART (2) 2017: 105-117 - [c53]Colin Paterson, Radu Calinescu:
Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. ICSA 2017: 121-130 - [c52]Radu Calinescu, Milan Ceska
, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
:
Designing Robust Software Systems through Parametric Markov Chain Synthesis. ICSA 2017: 131-140 - [c51]Radu Calinescu:
Software Quality Analysis with Observation-Enhanced Quantitative Verification (Tutorial). ICSA Workshops 2017: 192-195 - [c50]Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns
:
UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles. SEAMS@ICSE 2017: 83-89 - [c49]Carlos Eduardo da Silva
, Jose Diego Saraiva da Silva, Colin Paterson, Radu Calinescu:
Self-Adaptive Role-Based Access Control for Business Processes. SEAMS@ICSE 2017: 193-203 - [c48]Radu Calinescu, Milan Ceska
, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
:
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. QEST 2017: 304-308 - [p4]Radu Calinescu, Marco Autili
, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli:
Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems 2017: 337-373 - [i2]Radu Calinescu, Simos Gerasimou, Ibrahim Habli, M. Usman Iftikhar, Tim Kelly, Danny Weyns:
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. CoRR abs/1703.06350 (2017) - 2016
- [j10]Andrew R. Gallimore, A. Radu Aricescu, Michisuke Yuzaki
, Radu Calinescu:
A Computational Model for the AMPA Receptor Phosphorylation Master Switch Regulating Cerebellar Long-Term Depression. PLoS Comput. Biol. 12(1) (2016) - [j9]Radu Calinescu
, Carlo Ghezzi, Kenneth Johnson, Mauro Pezzè, Yasmin Rafiq, Giordano Tamburrelli:
Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems. IEEE Trans. Reliab. 65(1): 107-125 (2016) - [c47]Martyn Ellison, Radu Calinescu, Richard F. Paige:
Towards Platform Independent Database Modelling in Enterprise Systems. STAF Workshops 2016: 42-50 - [c46]Radu Calinescu, Kenneth Johnson, Colin Paterson:
FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. TACAS 2016: 540-546 - 2015
- [c45]Kenneth Johnson, Roopak Sinha
, Radu Calinescu, Ji Ruan:
A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures. EUROMICRO-SEAA 2015: 159-166 - [c44]Radu Calinescu, Simos Gerasimou, Alec Banks:
Self-adaptive Software with Decentralised Control Loops. FASE 2015: 235-251 - [c43]Danny Weyns
, Radu Calinescu:
Tele Assistance: A Self-Adaptive Service-Based System Exemplar. SEAMS@ICSE 2015: 88-92 - [c42]Simos Gerasimou, Giordano Tamburrelli, Radu Calinescu:
Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T). ASE 2015: 319-330 - [e6]Radu Calinescu, Bernhard Rumpe:
Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Lecture Notes in Computer Science 9276, Springer 2015, ISBN 978-3-319-22968-3 [contents] - [e5]Domenico Bianculli
, Radu Calinescu, Bernhard Rumpe
:
Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9509, Springer 2015, ISBN 978-3-662-49223-9 [contents] - 2014
- [c41]Roopak Sinha
, Kenneth Johnson, Radu Calinescu:
A scalable approach for re-configuring evolving industrial control systems. ETFA 2014: 1-8 - [c40]Diego Perez-Palacin, Raffaela Mirandola, Radu Calinescu:
Synthesis of Adaptation Plans for Cloud Infrastructure with Hybrid Cost Models. EUROMICRO-SEAA 2014: 443-450 - [c39]Simos Gerasimou, Radu Calinescu, Alec Banks:
Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. SEAMS 2014: 115-124 - [c38]Gabriel Costa Silva, Louis M. Rose, Radu Calinescu:
A Qualitative Study of Model Transformation Development Approaches: Supporting Novice Developers. MD2P2@MoDELS 2014: 18-27 - [c37]Gabriel Costa Silva, Louis M. Rose, Radu Calinescu:
Cloud DSL: A Language for Supporting Cloud Portability by Describing Cloud Entities. CloudMDE@MoDELS 2014: 36-45 - [c36]Kenneth Johnson, Radu Calinescu:
Efficient re-resolution of SMT specifications for evolving software architectures. QoSA 2014: 93-102 - [c35]Martyn Ellison, Radu Calinescu, Richard F. Paige:
Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment. UCC 2014: 976-979 - [c34]Radu Calinescu, Yasmin Rafiq, Kenneth Johnson, Mehmet Emin Bakir:
Adaptive model learning for continual verification of non-functional properties. ICPE 2014: 87-98 - 2013
- [j8]Radu Calinescu, Robert B. France, Carlo Ghezzi:
Editorial. Computing 95(3): 165-166 (2013) - [c33]Kenneth Johnson, Radu Calinescu, Shinji Kikuchi:
An incremental verification framework for component-based software systems. CBSE 2013: 33-42 - [c32]Kenneth Johnson, Yuanzhi Wang, Radu Calinescu, Ian Sommerville, Gordon D. Baxter, John V. Tucker:
Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service Provisioning. CloudCom (2) 2013: 144-151 - [c31]Gabriel Costa Silva, Louis M. Rose, Radu Calinescu:
A Systematic Review of Cloud Lock-In Solutions. CloudCom (2) 2013: 363-368 - [c30]Gabriel Costa Silva, Louis M. Rose, Radu Calinescu:
Towards a Model-Driven Solution to the Vendor Lock-In Problem in Cloud Computing. CloudCom (1) 2013: 711-716 - [c29]Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns
, Luciano Baresi
, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske
, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller
, Romain Rouvoy
, Cecília M. F. Rubira
, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura
, Norha M. Villegas
, Thomas Vogel
, Franco Zambonelli:
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 2013: 3-30 - [c28]Danny Weyns
, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske
, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli:
Perpetual Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2013: 31-63 - [c27]Radu Calinescu, Simos Gerasimou, Kenneth Johnson, Colin Paterson:
Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges. Software Engineering for Self-Adaptive Systems 2013: 223-248 - [c26]Thar Baker
, Omer F. Rana, Radu Calinescu, Rafael Tolosana-Calasanz
, José Ángel Bañares
:
Towards Autonomic Cloud Services Engineering via Intention Workflow Model. GECON 2013: 212-227 - [c25]Radu Calinescu, Kenneth Johnson, Yasmin Rafiq:
Developing self-verifying service-based systems. ASE 2013: 734-737 - [c24]Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov:
Continual Verification of Non-Functional Properties in Cloud-Based Systems. NiM-ALP@MoDELS 2013: 1-5 - [c23]Richard F. Paige, Radu Calinescu, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Dave Cliff:
Multimodel-Driven Software Engineering for Evolving Enterprise Systems. GEMOC+AMINO@MoDELS 2013: 23-32 - [c22]Diego Perez-Palacin, Radu Calinescu, José Merseguer:
log2cloud: log-based prediction of cost-performance trade-offs for cloud deployments. SAC 2013: 397-404 - [c21]Radu Calinescu, Yasmin Rafiq:
Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems. TASE 2013: 131-134 - [p3]Radu Calinescu:
Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Software. Assurances for Self-Adaptive Systems 2013: 297-310 - 2012
- [j7]Ian Sommerville, Dave Cliff
, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige:
Large-scale complex IT systems. Commun. ACM 55(7): 71-77 (2012) - [j6]Radu Calinescu, Carlo Ghezzi, Marta Z. Kwiatkowska, Raffaela Mirandola:
Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55(9): 69-77 (2012) - [c20]Radu Calinescu, Shinji Kikuchi, Kenneth Johnson:
Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems. Monterey Workshop 2012: 303-329 - [e4]Radu Calinescu, David Garlan:
Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7539, Springer 2012, ISBN 978-3-642-34058-1 [contents] - 2011
- [j5]Tianyi Zang, Radu Calinescu, Marta Z. Kwiatkowska:
Metamodel-driven SOA for collaborative e-science application. Comput. Syst. Sci. Eng. 26(3) (2011) - [j4]Radu Calinescu, Lars Grunske
, Marta Z. Kwiatkowska, Raffaela Mirandola, Giordano Tamburrelli:
Dynamic QoS Management and Optimization in Service-Based Systems. IEEE Trans. Software Eng. 37(3): 387-409 (2011) - [c19]Jim Davies
, Jeremy Gibbons
, Radu Calinescu, Charles Crichton
, Steve Harris
, Andrew Tsui:
Form Follows Function - Model-Driven Engineering for Clinical Trials. FHIES 2011: 21-38 - [c18]Kenneth Johnson, Simon Reed, Radu Calinescu:
Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns. Haifa Verification Conference 2011: 145-159 - [c17]Radu Calinescu, Kenneth Johnson, Yasmin Rafiq:
Using observation ageing to improve markovian model learning in QoS engineering. ICPE 2011: 505-510 - [p2]Tianyi Zang, Radu Calinescu, Marta Kwiatkowska:
OGSA-Based SOA for Collaborative Cancer Research: System Modeling and Generation. Guide to e-Science 2011: 479-505 - [e3]Radu Calinescu, Ethan K. Jackson:
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. Lecture Notes in Computer Science 6662, Springer 2011, ISBN 978-3-642-21291-8 [contents] - [i1]Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige:
Large-scale Complex IT Systems. CoRR abs/1109.3444 (2011) - 2010
- [c16]Radu Calinescu, Shinji Kikuchi:
Formal Methods @ Runtime. Monterey Workshop 2010: 122-135 - [e2]Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska:
15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4015-3 [contents]
2000 – 2009
- 2009
- [c15]Radu Calinescu, Marta Z. Kwiatkowska:
CADS*: Computer-Aided Development of Self-* Systems. FASE 2009: 421-424 - [c14]Radu Calinescu:
Resource-Definition Policies for Autonomic Computing. ICAS 2009: 111-116 - [c13]Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair
, Paul Grace
, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino
, Antonino Sabetta:
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS 2009: 154-161 - [c12]Radu Calinescu, Marta Z. Kwiatkowska:
Using quantitative analysis to implement autonomic IT systems. ICSE 2009: 100-110 - [c11]Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska
:
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. SAFECOMP 2009: 326-341 - [p1]Radu Calinescu:
General-Purpose Autonomic Computing. Autonomic Computing and Networking 2009: 3-30 - [e1]Radu Calinescu, Fidel Liberal, Mauricio Marín, Lourdes Peñalver Herrero, Carlos Turro, Manuela Popescu:
Fifth International Conference on Autonomic and Autonomous Systems, ICAS 2009, Valencia, Spain, 20-25 April 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3584-5 [contents] - 2008
- [c10]Tianyi Zang, Radu Calinescu, Steve Harris
, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons
, Jim Davies
, Peter Maccallum, Carlos Caldas:
WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. CCGRID 2008: 73-81 - [c9]Radu Calinescu:
Methodology for the model-driven development of self-managing systems. Conf. Computing Frontiers 2008: 115-116 - [c8]Tianyi Zang, Radu Calinescu, Steve Harris
, Andrew Tsui, Charles Crichton
, Marta Z. Kwiatkowska, Jeremy Gibbons
, Jim Davies
, James D. Brenton, Carlos Caldas:
Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. eScience 2008: 406-407 - [c7]Radu Calinescu:
Implementation of a Generic Autonomic Framework. ICAS 2008: 124-129 - [c6]Radu Calinescu, Marta Z. Kwiatkowska
:
Software Engineering Techniques for the Development of Systems of Systems. Monterey Workshop 2008: 59-82 - 2007
- [c5]Radu Calinescu:
Challenges and Best Practices in Policy-Based Autonomic Architectures. DASC 2007: 65-74 - [c4]Radu Calinescu:
Model-Driven Autonomic Architecture. ICAC 2007: 9 - [c3]Radu Calinescu, Steve Harris
, Jeremy Gibbons
, Jim Davies
, Igor Toujilov, Sylvia B. Nagl:
Model-driven architecture for cancer research. SEFM 2007: 59-68 - 2000
- [b2]Radu C. Calinescu:
Architecture-Independent Loop Parallelisation. Distinguished dissertations, Springer 2000, ISBN 978-1-4471-1197-9, pp. I-XVIII, 1-172
1990 – 1999
- 1998
- [b1]Radu C. Calinescu:
Architecture-independent loop parallelisation. University of Oxford, UK, 1998 - 1997
- [j3]Radu Calinescu, David J. Evans:
Bulk-synchronous Parallel Algorithms for Qr and Qz Matrix Factorisation. Parallel Algorithms Appl. 11(1-2): 97-112 (1997) - [c2]Radu Calinescu:
A BSP Approach to the Scheduling of Tightly-Nested Loops. IPPS 1997: 549-553 - 1996
- [j2]Radu Calinescu:
Bulk Synchronous Parallel Algorithms for Conservative Discrete Event Simulation. Parallel Algorithms Appl. 9(1-2): 15-38 (1996) - [c1]Radu Calinescu:
Bulk Synchronous Parallel Scheduling of Uniform Dags. Euro-Par, Vol. II 1996: 555-562 - 1994
- [j1]Radu Calinescu, David J. Evans:
A Parallel Simulation Model for Load Balancing in Clustered Distributed Systems. Parallel Comput. 20(1): 77-91 (1994)