


Остановите войну!
for scientists:


default search action
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
- 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]