Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRadu 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
- 2024
[j35]Shenglin Wang, Jingqiong Zhang
, Peng Wang, James Law, Radu Calinescu, Lyudmila Mihaylova:
A deep learning-enhanced Digital Twin framework for improving safety and reliability in human-robot collaborative manufacturing. Robotics Comput. Integr. Manuf. 85: 102608 (2024)- 2023
- [j34]Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou:
Probabilistic program performance analysis with confidence intervals. Inf. Softw. Technol. 156: 107143 (2023) - [j33]Eric Bernd Gil, Genaína Nunes Rodrigues, Patrizio Pelliccione, Radu Calinescu:
Mission specification and decomposition for multi-robot systems. Robotics Auton. Syst. 163: 104386 (2023) - [j32]James Harbin, Simos Gerasimou, Nicholas Drivalos Matragkas, Thanos Zolotas, Radu Calinescu, Misael Alpizar Santana:
Model-driven design space exploration for multi-robot systems in simulation. Softw. Syst. Model. 22(5): 1665-1688 (2023) - [j31]Claudio Menghi, Christos Tsigkanos, Mehrnoosh Askarpour, Patrizio Pelliccione, Gricel Vázquez, Radu Calinescu, Sergio García:
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. IEEE Trans. Software Eng. 49(4): 2741-2760 (2023) - [c104]Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu:
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. CAV (1) 2023: 289-303 - [c103]Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti:
Specification and Validation of Normative Rules for Autonomous Agents. FASE 2023: 241-248 - [c102]Tianhao Zhang, Shenglin Wang, Nidhal Bouaynaya, Radu Calinescu, Lyudmila Mihaylova:
Out-of-distribution Object Detection through Bayesian Uncertainty Estimation. FUSION 2023: 1-8 - [c101]Radu Calinescu, Genaína Nunes Rodrigues:
Goal Controller Synthesis for Self-Adaptive Systems. FormaliSE 2023: 1-6 - [c100]Katie J. Parnell, Siobhan Merriman, Sinem Getir Yaman, Katherine L. Plant, Radu Calinescu:
Resilient strategies for socially compliant autonomous assistive dressing robots. TAS 2023: 16:1-16:9 - [i26]Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu:
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study. CoRR abs/2302.04634 (2023) - [i25]Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn:
Bayesian Learning for the Robust Verification of Autonomous Robots. CoRR abs/2303.08476 (2023) - [i24]Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley Townsend:
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. CoRR abs/2307.03697 (2023) - [i23]Daniel Bethell, Simos Gerasimou, Radu Calinescu:
Robust Uncertainty Quantification using Conformalised Monte Carlo Prediction. CoRR abs/2308.09647 (2023) - 2022
- [j30]Rob Ashmore, Radu Calinescu, Colin Paterson:
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. ACM Comput. Surv. 54(5): 111:1-111:39 (2022) - [j29]Premathas Somasekaram, Radu Calinescu, Rajkumar Buyya:
High-availability clusters: A taxonomy, survey, and future directions. J. Syst. Softw. 187: 111208 (2022) - [j28]Naif Alasmari, Radu Calinescu, Colin Paterson, Raffaela Mirandola:
Quantitative verification with adaptive uncertainty reduction. J. Syst. Softw. 188: 111275 (2022) - [j27]Beverley Townsend, Colin Paterson, T. T. Arvind, Gabriel Nemirovsky, Radu Calinescu, Ana Cavalcanti, Ibrahim Habli, Alan Thomas:
From Pluralistic Normative Principles to Autonomous-Agent Rules. Minds Mach. 32(4): 683-715 (2022) - [j26]Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law:
Verified synthesis of optimal safety controllers for human-robot collaboration. Sci. Comput. Program. 218: 102809 (2022) - [j25]Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl:
The uncertainty interaction problem in self-adaptive systems. Softw. Syst. Model. 21(4): 1277-1294 (2022) - [j24]Premathas Somasekaram, Radu Calinescu:
Predicting locally manageable resource failures of high availability clusters. Softw. Pract. Exp. 52(10): 2191-2225 (2022) - [c99]Misael Alpizar Santana, Radu Calinescu, Colin Paterson:
Risk-aware Real-time Object Detection. EDCC 2022: 105-108 - [c98]Misael Alpizar Santana, Radu Calinescu, Colin Paterson:
Mitigating Risk in Neural Network Classifiers. SEAA 2022: 370-373 - [c97]Naif Alasmari, Radu Calinescu:
Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes. SEAA 2022: 414-417 - [c96]Abdullah Albalawi, Vassilios G. Vassilakis, Radu Calinescu:
Protecting Shared Virtualized Environments against Cache Side-channel Attacks. ICISSP 2022: 507-514 - [c95]Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks:
Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability. KES-IDT 2022: 87-97 - [c94]Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo:
Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. MoDELS 2022: 24-30 - [c93]Abdullah Albalawi, Vassilios G. Vassilakis, Radu Calinescu:
Side-channel Attacks and Countermeasures in Cloud Services and Infrastructures. NOMS 2022: 1-4 - [c92]Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson:
PRESTO: Predicting System-level Disruptions through Parametric Model Checking. SEAMS 2022: 91-97 - [c91]Ioannis Stefanakos, Radu Calinescu, James A. Douthwaite, Jonathan M. Aitken, James Law:
Safety Controller Synthesis for a Mobile Manufacturing Cobot. SEFM 2022: 271-287 - [c90]Brendan Devlin-Hill, Radu Calinescu, Javier Cámara, Ipek Caliskanelli:
Towards Scalable Multi-robot Systems by Partitioning the Task Domain. TAROS 2022: 282-292 - [c89]Gricel Vázquez, Radu Calinescu, Javier Cámara:
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. FMAS/ASYDE@SEFM 2022: 156-174 - [c88]Jordan Hamilton, Ioannis Stefanakos, Radu Calinescu, Javier Cámara:
Towards Adaptive Planning of Assistive-care Robot Tasks. FMAS/ASYDE@SEFM 2022: 175-183 - [i22]Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez:
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. CoRR abs/2202.03360 (2022) - [i21]Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson:
PRESTO: Predicting System-level Disruptions through Parametric Model Checking. CoRR abs/2205.03628 (2022) - [i20]Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem:
Fast Parametric Model Checking. CoRR abs/2208.12723 (2022) - [i19]Danny Weyns, Paris Avergriou, Radu Calinescu, Sara Mahdavi-Hezavehi, Raffaela Mirandola, Diego Perez-Palacin:
Specification Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems. CoRR abs/2211.17218 (2022) - 2021
- [j23]Radu Calinescu, Felicita Di Giandomenico:
Special issue on resilient software and software-controlled systems. Computing 103(4): 533-534 (2021) - [j22]Mario Gleirscher, Radu Calinescu, Jim Woodcock:
RiskStructures: A design algebra for risk-aware machines. Formal Aspects Comput. 33(4-5): 763-802 (2021) - [j21]James A. Douthwaite, Benjamin Lesage, Mario Gleirscher, Radu Calinescu, Jonathan M. Aitken, Rob Alexander, James Law:
A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. Frontiers Robotics AI 8: 758099 (2021) - [j20]Tomás Bures, Radu Calinescu, Danny Weyns:
Special Issue on software engineering for trustworthy cyber-physical systems. J. Syst. Softw. 178: 110972 (2021) - [j19]Radu Calinescu, Colin Paterson, Kenneth Johnson:
Efficient Parametric Model Checking Using Domain Knowledge. IEEE Trans. Software Eng. 47(6): 1114-1133 (2021) - [c87]Abdullah Albalawi, Vassilios G. Vassilakis, Radu Calinescu:
Memory Deduplication as a Protective Factor in Virtualized Systems. ACNS Workshops 2021: 301-317 - [c86]Danny Weyns, Tomás Bures, Radu Calinescu, Barnaby Craggs, John S. Fitzgerald, David Garlan, Bashar Nuseibeh, Liliana Pasquale, Awais Rashid, Ivan Ruchkin, Bradley R. Schmerl:
Six Software Engineering Principles for Smarter Cyber-Physical Systems. ACSOS-C 2021: 198-203 - [c85]Colin Paterson, Radu Calinescu, Chiara Picardi:
Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers. AITest 2021: 9-16 - [c84]Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou:
Probabilistic Program Performance Analysis. SEAA 2021: 148-157 - [c83]Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks:
Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems. ICAART (Revised Selected Papers) 2021: 158-180 - [c82]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 - [c81]Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem:
Fast Parametric Model Checking through Model Fragmentation. ICSE 2021: 835-846 - [c80]Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang:
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. ASE 2021: 842-853 - [c79]Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks:
Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios. KES 2021: 1061-1070 - [c78]Ioannis Stefanakos, Simos Gerasimou, Radu Calinescu:
Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis. MoDELS (Companion) 2021: 249-253 - [c77]James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas, Radu Calinescu:
Model-Driven Simulation-Based Analysis for Multi-Robot Systems. MoDELS 2021: 331-341 - [c76]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. SAFECOMP 2021: 3-17 - [c75]Radu Calinescu, Naif Alasmari, Mario Gleirscher:
Maintaining driver attentiveness in shared-control autonomous driving. SEAMS@ICSE 2021: 90-96 - [c74]Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio García, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues:
RoboMAX: Robotic Mission Adaptation eXemplars. SEAMS@ICSE 2021: 245-251 - [c73]Gricel Vázquez, Radu Calinescu, Javier Cámara:
Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams. TAROS 2021: 354-359 - [c72]Premathas Somasekaram, Radu Calinescu:
Towards a Bayesian prognostic framework for high-availability clusters. UCC Companion 2021: 17:1-17:8 - [e9]Radu Calinescu, Corina S. Pasareanu:
Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings. Lecture Notes in Computer Science 13085, Springer 2021, ISBN 978-3-030-92123-1 [contents] - [i18]Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem:
Fast Parametric Model Checking through Model Fragmentation. CoRR abs/2102.01490 (2021) - [i17]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) - [i16]Radu Calinescu, Naif Alasmari, Mario Gleirscher:
Maintaining driver attentiveness in shared-control autonomous driving. CoRR abs/2102.03298 (2021) - [i15]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) - [i14]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) - [i13]Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law:
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. CoRR abs/2106.06604 (2021) - [i12]Naif Alasmari, Radu Calinescu, Colin Paterson, Raffaela Mirandola:
Quantitative Verification with Adaptive Uncertainty Reduction. CoRR abs/2109.02984 (2021) - [i11]Premathas Somasekaram, Radu Calinescu, Rajkumar Buyya:
High-Availability Clusters A Taxonomy, Review, and Future Directions. CoRR abs/2109.15139 (2021) - 2020
- [j18]Sara Mahdavi-Hezavehi, Danny Weyns, Paris Avgeriou, Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin:
Uncertainty in Self-adaptive Systems: A Research Community Perspective. ACM Trans. Auton. Adapt. Syst. 15(4): 10:1-10:36 (2020) - [j17]Colin Paterson, Radu Calinescu:
Observation-Enhanced QoS Analysis of Component-Based Systems. IEEE Trans. Software Eng. 46(5): 526-548 (2020) - [c71]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 - [c70]Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin, Danny Weyns:
Understanding Uncertainty in Self-adaptive Systems. ACSOS 2020: 242-251 - [c69]Radu Calinescu, Vittorio Cortellessa, Ioannis Stefanakos, Catia Trubiani:
Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. FASE 2020: 357-377 - [c68]Mario Gleirscher, Radu Calinescu:
Safety Controller Synthesis for Collaborative Robots. ICECCS 2020: 83-92 - [c67]Simon Foster, Mario Gleirscher, Radu Calinescu:
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. ICECCS 2020: 113-118 - [c66]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
- [c65]Radu Calinescu, Danny Weyns, Simos Gerasimou, Ibrahim Habli:
Architecting Trustworthy Self-Adaptive Systems (Tutorial). ICSA Companion 2019: 3-4 - [c64]Radu Calinescu, Javier Cámara, Colin Paterson:
Socio-cyber-physical systems: models, opportunities, open challenges. SEsCPS@ICSE 2019: 2-6 - [c63]Simos Gerasimou, Nicholas Matragkas, Radu Calinescu:
Towards systematic engineering of collaborative heterogeneous robotic systems. RoSE@ICSE 2019: 25-28 - [c62]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 - [c61]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 - [c60]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
- [j16]Simos Gerasimou, Radu Calinescu, Giordano Tamburrelli:
Synthesis of probabilistic models for quality-of-service software engineering. Autom. Softw. Eng. 25(4): 785-831 (2018) - [j15]Martyn Ellison, Radu Calinescu, Richard F. Paige:
Evaluating cloud database migration options using workload models. J. Cloud Comput. 7: 6 (2018) - [j14]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) - [j13]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) - [j12]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) - [c59]Naif Alasmari, Radu Calinescu:
Towards Multi-Objective Optimisation of Hadoop 2.x Application Deployment on Public Clouds. ES 2018: 134-137 - [c58]Radu Calinescu, Kenneth Johnson, Colin Paterson:
Efficient parametric model checking using domain-specific modelling patterns. ICSE (NIER) 2018: 61-64 - [c57]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 - [c56]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
- [j11]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) - [c55]George Mason, Radu Calinescu, Daniel Kudenko, Alec Banks:
Assured Reinforcement Learning with Formally Verified Abstract Policies. ICAART (2) 2017: 105-117 - [c54]Colin Paterson, Radu Calinescu:
Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. ICSA 2017: 121-130 - [c53]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Designing Robust Software Systems through Parametric Markov Chain Synthesis. ICSA 2017: 131-140 - [c52]Radu Calinescu:
Software Quality Analysis with Observation-Enhanced Quantitative Verification (Tutorial). ICSA Workshops 2017: 192-195 - [c51]Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns:
UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles. SEAMS@ICSE 2017: 83-89 - [c50]Carlos Eduardo da Silva, José Diego Saraiva da Silva, Colin Paterson, Radu Calinescu:
Self-Adaptive Role-Based Access Control for Business Processes. SEAMS@ICSE 2017: 193-203 - [c49]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) - [c48]Martyn Ellison, Radu Calinescu, Richard F. Paige:
Towards Platform Independent Database Modelling in Enterprise Systems. STAF Workshops 2016: 42-50 - [c47]