Radu Calinescu

According to our database1, Radu Calinescu authored at least 79 papers between 1994 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158].
Journal of Systems and Software, 2018

Efficient synthesis of robust models for stochastic systems.
Journal of Systems and Software, 2018

Evaluating cloud database migration options using workload models.
J. Cloud Computing, 2018

Observation-Enhanced QoS Analysis of Component-Based Systems.
CoRR, 2018

Synthesis of probabilistic models for quality-of-service software engineering.
Autom. Softw. Eng., 2018

ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases.
Proceedings of the 40th International Conference on Software Engineering, 2018

Efficient parametric model checking using domain-specific modelling patterns.
Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

2017
UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact).
DARTS, 2017

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases.
CoRR, 2017

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Self-Adaptive Role-Based Access Control for Business Processes.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Designing Robust Software Systems through Parametric Markov Chain Synthesis.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Software Quality Analysis with Observation-Enhanced Quantitative Verification (Tutorial).
Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

Assured Reinforcement Learning with Formally Verified Abstract Policies.
Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

Synthesis and Verification of Self-aware Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

2016
Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems.
IEEE Trans. Reliability, 2016

A Computational Model for the AMPA Receptor Phosphorylation Master Switch Regulating Cerebellar Long-Term Depression.
PLoS Computational Biology, 2016

FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Towards Platform Independent Database Modelling in Enterprise Systems.
Proceedings of the Software Technologies: Applications and Foundations, 2016

2015
Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Tele Assistance: A Self-Adaptive Service-Based System Exemplar.
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

Self-adaptive Software with Decentralised Control Loops.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014
Adaptive model learning for continual verification of non-functional properties.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014

Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment.
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Efficient re-resolution of SMT specifications for evolving software architectures.
Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

A Qualitative Study of Model Transformation Development Approaches: Supporting Novice Developers.
Proceedings of the 1st International Workshop on Model-Driven Development Processes and Practices co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Cloud DSL: A Language for Supporting Cloud Portability by Describing Cloud Entities.
Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration.
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Synthesis of Adaptation Plans for Cloud Infrastructure with Hybrid Cost Models.
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

A scalable approach for re-configuring evolving industrial control systems.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Software.
Proceedings of the Assurances for Self-Adaptive Systems, 2013

Editorial.
Computing, 2013

Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

log2cloud: log-based prediction of cost-performance trade-offs for cloud deployments.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Multimodel-Driven Software Engineering for Evolving Enterprise Systems.
Proceedings of the Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29, 2013

Continual Verification of Non-Functional Properties in Cloud-Based Systems.
Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, 2013

Developing self-verifying service-based systems.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Towards Autonomic Cloud Services Engineering via Intention Workflow Model.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2013

Perpetual Assurances for Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013


Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

A Systematic Review of Cloud Lock-In Solutions.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

Towards a Model-Driven Solution to the Vendor Lock-In Problem in Cloud Computing.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service Provisioning.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

An incremental verification framework for component-based software systems.
Proceedings of the CBSE'13, 2013

2012
Large-scale complex IT systems.
Commun. ACM, 2012

Self-adaptive software needs quantitative verification at runtime.
Commun. ACM, 2012

Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

2011
Dynamic QoS Management and Optimization in Service-Based Systems.
IEEE Trans. Software Eng., 2011

Metamodel-driven SOA for collaborative e-science application.
Comput. Syst. Sci. Eng., 2011

Large-scale Complex IT Systems
CoRR, 2011

Using observation ageing to improve markovian model learning in QoS engineering.
Proceedings of the ICPE'11, 2011

Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns.
Proceedings of the Hardware and Software: Verification and Testing, 2011

Form Follows Function - Model-Driven Engineering for Clinical Trials.
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

2010
Formal Methods @ Runtime.
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

2009
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control.
Proceedings of the Computer Safety, 2009

Using quantitative analysis to implement autonomic IT systems.
Proceedings of the 31st International Conference on Software Engineering, 2009

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Resource-Definition Policies for Autonomic Computing.
Proceedings of the Fifth International Conference on Autonomic and Autonomous Systems, 2009

CADS*: Computer-Aided Development of Self-* Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

General-Purpose Autonomic Computing.
Proceedings of the Autonomic Computing and Networking, 2009

2008
Software Engineering Techniques for the Development of Systems of Systems.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

Implementation of a Generic Autonomic Framework.
Proceedings of the Fourth International Conference on Autonomic and Autonomous Systems, 2008

Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research.
Proceedings of the Fourth International Conference on e-Science, 2008

Methodology for the model-driven development of self-managing systems.
Proceedings of the 5th Conference on Computing Frontiers, 2008

WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research.
Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008

2007
Model-driven architecture for cancer research.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Model-Driven Autonomic Architecture.
Proceedings of the Fourth International Conference on Autonomic Computing (ICAC'07), 2007

Challenges and Best Practices in Policy-Based Autonomic Architectures.
Proceedings of the Third IEEE International Symposium on Dependable, 2007

2000
Architecture-Independent Loop Parallelisation.
Distinguished dissertations, Springer, ISBN: 978-1-4471-1197-9, 2000

1998
Architecture-independent loop parallelisation.
PhD thesis, 1998

1997
Bulk-synchronous Parallel Algorithms for Qr and Qz Matrix Factorisation.
Parallel Algorithms Appl., 1997

A BSP Approach to the Scheduling of Tightly-Nested Loops.
Proceedings of the 11th International Parallel Processing Symposium (IPPS '97), 1997

1996
Bulk Synchronous Parallel Algorithms for Conservative Discrete Event Simulation.
Parallel Algorithms Appl., 1996

Bulk Synchronous Parallel Scheduling of Uniform Dags.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

1994
A Parallel Simulation Model for Load Balancing in Clustered Distributed Systems.
Parallel Computing, 1994


  Loading...