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
Books and Theses
- 2000
[b2]Radu C. Calinescu:
Architecture-Independent Loop Parallelisation. Distinguished dissertations, Springer 2000, ISBN 978-1-4471-1197-9, pp. I-XVIII, 1-172- 1998
- [b1]Radu C. Calinescu:
Architecture-independent loop parallelisation. University of Oxford, UK, 1998
Journal Articles
- 2024
- [j42]John A. McDermid
, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy:
The Safety of Autonomy: A Systematic Approach. Computer 57(4): 16-25 (2024) - [j41]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) - [j40]Sinem Getir Yaman, Pedro Ribeiro, Charlie Burholt, Maddie Jones, Ana Cavalcanti, Radu Calinescu:
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. Sci. Comput. Program. 236: 103118 (2024) - [j39]Xinwei Fang, Sinem Getir Yaman, Radu Calinescu, Julie Wilson, Colin Paterson:
Predicting Nonfunctional Requirement Violations in Autonomous Systems. ACM Trans. Auton. Adapt. Syst. 19(1): 6:1-6:25 (2024) - [j38]Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez:
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components. IEEE Trans. Software Eng. 50(6): 1374-1395 (2024) - 2023
- [j37]Beverley A. Townsend, Katherine L. Plant, Victoria J. Hodge, Ol'tunde Ashaolu, Radu Calinescu:
Medical practitioner perspectives on AI in emergency triage. Frontiers Digit. Health 5 (2023) - [j36]Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou:
Probabilistic program performance analysis with confidence intervals. Inf. Softw. Technol. 156: 107143 (2023) - [j35]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) - [j34]Danny Weyns, Radu Calinescu, Raffaela Mirandola, Kenji Tei, Maribel Acosta, Amel Bennaceur, Nicolas Boltz, Tomás Bures, Javier Cámara, Ada Diaconescu, Gregor Engels, Simos Gerasimou, Ilias Gerostathopoulos, Sinem Getir Yaman, Vincenzo Grassi, Sebastian Hahner, Emmanuel Letier, Marin Litoiu, Lina Marsso, Angelika Musil, Juergen Musil, Genaína Nunes Rodrigues, Diego Perez-Palacin, Federico Quin, Patrizia Scandurra, Antonio Vallecillo, Andrea Zisman:
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. ACM SIGSOFT Softw. Eng. Notes 48(4): 20-36 (2023) - [j33]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) - [j32]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) - [j31]Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem:
Fast Parametric Model Checking With Applications to Software Performability Analysis. IEEE Trans. Software Eng. 49(10): 4707-4730 (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 A. 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) - 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) - 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) - 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) - 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) - 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) - 2013
- [j8]Radu Calinescu, Robert B. France, Carlo Ghezzi:
Editorial. Computing 95(3): 165-166 (2013) - 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) - 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) - 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) - 1996
- [j2]Radu Calinescu:
Bulk Synchronous Parallel Algorithms for Conservative Discrete Event Simulation. Parallel Algorithms Appl. 9(1-2): 15-38 (1996) - 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)
Conference and Workshop Papers
- 2024
- [c112]Daniel Bethell, Simos Gerasimou, Radu Calinescu:
Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction. AAAI 2024: 20939-20948 - [c111]Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu:
Code-Level Safety Verification for Automated Driving: A Case Study. FM (2) 2024: 356-372 - [c110]Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Analyzing and Debugging Normative Requirements via Satisfiability Checking. ICSE 2024: 214:1-214:12 - [c109]Gricel Vázquez, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu:
Robotics: A New Mission for FRET Requirements. NFM 2024: 359-376 - [c108]Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Normative Requirements Operationalization with Large Language Models. RE 2024: 129-141 - [c107]Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske:
Formal Synthesis of Uncertainty Reduction Controllers. SEAMS@ICSE 2024: 2-13 - [c106]Javier Cámara, Sebastian Hahner, Diego Perez-Palacin, Antonio Vallecillo, Maribel Acosta, Nelly Bencomo, Radu Calinescu, Simos Gerasimou:
Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems. SEAMS@ICSE 2024: 37-43 - 2023
- [c105]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 - [c104]Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti:
Specification and Validation of Normative Rules for Autonomous Agents. FASE 2023: 241-248 - [c103]Tianhao Zhang, Shenglin Wang, Nidhal Bouaynaya, Radu Calinescu, Lyudmila Mihaylova:
Out-of-distribution Object Detection through Bayesian Uncertainty Estimation. FUSION 2023: 1-8 - [c102]Radu Calinescu, Genaína Nunes Rodrigues:
Goal Controller Synthesis for Self-Adaptive Systems. FormaliSE 2023: 1-6 - [c101]Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Towards a Formal Framework for Normative Requirements Elicitation. ASE 2023: 1776-1780 - [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 - 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 - 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 - 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 - 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 - 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 - 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 - 2016
- [c48]Martyn Ellison, Radu Calinescu, Richard F. Paige:
Towards Platform Independent Database Modelling in Enterprise Systems. STAF Workshops 2016: 42-50 - [c47]Radu Calinescu, Kenneth Johnson, Colin Paterson:
FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. TACAS 2016: 540-546 - 2015
- [c46]Kenneth Johnson, Roopak Sinha, Radu Calinescu, Ji Ruan:
A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures. EUROMICRO-SEAA 2015: 159-166 - [c45]Radu Calinescu, Simos Gerasimou, Alec Banks:
Self-adaptive Software with Decentralised Control Loops. FASE 2015: 235-251 - [c44]Danny Weyns, Radu Calinescu:
Tele Assistance: A Self-Adaptive Service-Based System Exemplar. SEAMS@ICSE 2015: 88-92 - [c43]Simos Gerasimou, Giordano Tamburrelli, Radu Calinescu:
Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T). ASE 2015: 319-330 - 2014
- [c42]Roopak Sinha, Kenneth Johnson, Radu Calinescu:
A scalable approach for re-configuring evolving industrial control systems. ETFA 2014: 1-8 - [c41]Diego Perez-Palacin, Raffaela Mirandola, Radu Calinescu:
Synthesis of Adaptation Plans for Cloud Infrastructure with Hybrid Cost Models. EUROMICRO-SEAA 2014: 443-450 - [c40]Simos Gerasimou, Radu Calinescu, Alec Banks:
Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. SEAMS 2014: 115-124 - [c39]Gabriel Costa Silva, Louis M. Rose, Radu Calinescu:
A Qualitative Study of Model Transformation Development Approaches: Supporting Novice Developers. MD2P2@MoDELS 2014: 18-27 - [c38]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 - [c37]Kenneth Johnson, Radu Calinescu:
Efficient re-resolution of SMT specifications for evolving software architectures. QoSA 2014: 93-102 - [c36]Martyn Ellison, Radu Calinescu, Richard F. Paige:
Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment. UCC 2014: 976-979 - [c35]Radu Calinescu, Yasmin Rafiq, Kenneth Johnson, Mehmet Emin Bakir:
Adaptive model learning for continual verification of non-functional properties. ICPE 2014: 87-98 - 2013
- [c34]Kenneth Johnson, Radu Calinescu, Shinji Kikuchi:
An incremental verification framework for component-based software systems. CBSE 2013: 33-42 - [c33]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 - [c32]Gabriel Costa Silva, Louis M. Rose, Radu Calinescu:
A Systematic Review of Cloud Lock-In Solutions. CloudCom (2) 2013: 363-368 - [c31]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 - [c30]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 - [c29]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 - [c28]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 - [c27]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 - [c26]Radu Calinescu, Kenneth Johnson, Yasmin Rafiq:
Developing self-verifying service-based systems. ASE 2013: 734-737 - [c25]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 - [c24]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 - [c23]Diego Perez-Palacin, Radu Calinescu, José Merseguer:
log2cloud: log-based prediction of cost-performance trade-offs for cloud deployments. SAC 2013: 397-404 - [c22]Radu Calinescu, Yasmin Rafiq:
Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems. TASE 2013: 131-134 - 2012
- [c21]Radu Calinescu, Shinji Kikuchi, Kenneth Johnson:
Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems. Monterey Workshop 2012: 303-329 - 2011
- [c20]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 - [c19]Kenneth Johnson, Simon Reed, Radu Calinescu:
Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns. Haifa Verification Conference 2011: 145-159 - [c18]Radu Calinescu:
When the requirements for adaptation and high integrity meet. ASAS@ESEC/FSE 2011: 1-4 - [c17]Radu Calinescu, Kenneth Johnson, Yasmin Rafiq:
Using observation ageing to improve markovian model learning in QoS engineering. ICPE 2011: 505-510 - 2010
- [c16]Radu Calinescu, Shinji Kikuchi:
Formal Methods @ Runtime. Monterey Workshop 2010: 122-135 - 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 - 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 - 1997
- [c2]Radu Calinescu:
A BSP Approach to the Scheduling of Tightly-Nested Loops. IPPS 1997: 549-553 - 1996
- [c1]Radu Calinescu:
Bulk Synchronous Parallel Scheduling of Uniform Dags. Euro-Par, Vol. II 1996: 555-562
Parts in Books or Collections
- 2017
- [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 - 2013
- [p3]Radu Calinescu:
Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Software. Assurances for Self-Adaptive Systems 2013: 297-310 - 2011
- [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 - 2009
- [p1]Radu Calinescu:
General-Purpose Autonomic Computing. Autonomic Computing and Networking 2009: 3-30
Editorship
- 2021
- [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] - 2020
- [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] - 2019
- [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] - 2015
- [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] - 2012
- [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
- [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] - 2010
- [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] - 2009
- [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]
Informal and Other Publications
- 2024
- [i32]Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Analyzing and Debugging Normative Requirements via Satisfiability Checking. CoRR abs/2401.05673 (2024) - [i31]Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske:
Formal Synthesis of Uncertainty Reduction Controllers. CoRR abs/2401.17187 (2024) - [i30]Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Normative Requirements Operationalization with Large Language Models. CoRR abs/2404.12335 (2024) - [i29]Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie:
Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. CoRR abs/2405.18180 (2024) - [i28]Simon Burton, Radu Calinescu, Raffaela Mirandola:
Resilience and Antifragility of Autonomous Systems (Dagstuhl Seminar 24182). Dagstuhl Reports 14(4): 142-163 (2024) - 2023
- [i27]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) - [i26]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) - [i25]Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley A. Townsend:
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. CoRR abs/2307.03697 (2023) - [i24]Daniel Bethell, Simos Gerasimou, Radu Calinescu:
Robust Uncertainty Quantification using Conformalised Monte Carlo Prediction. CoRR abs/2308.09647 (2023) - [i23]Tianhao Zhang, Shenglin Wang, Nidhal Bouaynaya, Radu Calinescu, Lyudmila Mihaylova:
Out-of-distribution Object Detection through Bayesian Uncertainty Estimation. CoRR abs/2310.19119 (2023) - 2022
- [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
- [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
- [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) - 2019
- [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
- [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
- [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) - 2011
- [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)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
