Radu Calinescu

Javier Cámara

Fast Parametric Model Checking.

[BibT_eX]

[DOI]

CoRR, 2022

Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components.

[BibT_eX]

[DOI]

Misael Alpizar Santana

Gricel Vázquez

CoRR, 2022

Towards Scalable Multi-robot Systems by Partitioning the Task Domain.

[BibT_eX]

[DOI]

Proceedings of the Towards Autonomous Robotic Systems - 23rd Annual Conference, 2022

Safety Controller Synthesis for a Mobile Manufacturing Cobot.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

PRESTO: Predicting System-level Disruptions through Parametric Model Checking.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

Side-channel Attacks and Countermeasures in Cloud Services and Infrastructures.

[BibT_eX]

[DOI]

Abdullah Albalawi

Vassilios G. Vassilakis

Proceedings of the 2022 IEEE/IFIP Network Operations and Management Symposium, 2022

Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Decision Technologies, 2022

Protecting Shared Virtualized Environments against Cache Side-channel Attacks.

[BibT_eX]

[DOI]

Abdullah Albalawi

Vassilios G. Vassilakis

Proceedings of the 8th International Conference on Information Systems Security and Privacy, 2022

Mitigating Risk in Neural Network Classifiers.

[BibT_eX]

[DOI]

Misael Alpizar Santana

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes.

[BibT_eX]

[DOI]

Naif Alasmari

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

Risk-aware Real-time Object Detection.

[BibT_eX]

[DOI]

Misael Alpizar Santana

Proceedings of the 18th European Dependable Computing Conference, 2022

2021

Efficient Parametric Model Checking Using Domain Knowledge.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

Special Issue on software engineering for trustworthy cyber-physical systems.

[BibT_eX]

[DOI]

Tomás Bures

Danny Weyns

J. Syst. Softw., 2021

A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics.

[BibT_eX]

[DOI]

Frontiers Robotics AI, 2021

RiskStructures: A design algebra for risk-aware machines.

[BibT_eX]

[DOI]

Jim Woodcock

Formal Aspects Comput., 2021

High-Availability Clusters A Taxonomy, Review, and Future Directions.

[BibT_eX]

[DOI]

Premathas Somasekaram

Rajkumar Buyya

CoRR, 2021

Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS).

[BibT_eX]

[DOI]

CoRR, 2021

Special issue on resilient software and software-controlled systems.

[BibT_eX]

[DOI]

Felicita Di Giandomenico

Computing, 2021

Towards a Bayesian prognostic framework for high-availability clusters.

[BibT_eX]

[DOI]

Premathas Somasekaram

Proceedings of the UCC '21: 2021 IEEE/ACM 14th International Conference on Utility and Cloud Computing, Leicester, United Kingdom, December 6 - 9, 2021, 2021

Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams.

[BibT_eX]

[DOI]

Gricel Vázquez

Javier Cámara

Proceedings of the Towards Autonomous Robotic Systems - 22nd Annual Conference, 2021

Maintaining driver attentiveness in shared-control autonomous driving.

[BibT_eX]

[DOI]

Naif Alasmari

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

RoboMAX: Robotic Mission Adaptation eXemplars.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2021

Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis.

[BibT_eX]

[DOI]

Ioannis Stefanakos

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Model-Driven Simulation-Based Analysis for Multi-Robot Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Fast Parametric Model Checking through Model Fragmentation.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - 13th International Conference, 2021

Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

Probabilistic Program Performance Analysis.

[BibT_eX]

[DOI]

Ioannis Stefanakos

Proceedings of the 47th Euromicro Conference on Software Engineering and Advanced Applications, 2021

Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers.

[BibT_eX]

[DOI]

Chiara Picardi

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

Six Software Engineering Principles for Smarter Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

Memory Deduplication as a Protective Factor in Virtualized Systems.

[BibT_eX]

[DOI]

Abdullah Albalawi

Vassilios G. Vassilakis

Proceedings of the Applied Cryptography and Network Security Workshops, 2021

2020

Observation-Enhanced QoS Analysis of Component-Based Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

Uncertainty in Self-adaptive Systems: A Research Community Perspective.

[BibT_eX]

[DOI]

Sara Mahdavi-Hezavehi

ACM Trans. Auton. Adapt. Syst., 2020

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots.

[BibT_eX]

[DOI]

Nikita Johnson

Panayiotis Karachristou

James Law

John A. Clark

CoRR, 2020

Interval Change-Point Detection for Runtime Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Safety Controller Synthesis for Collaborative Robots.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles.

[BibT_eX]

[DOI]

Simon Foster

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

Understanding Uncertainty in Self-adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Artificial Intelligence Safety, 2020

2019

Detection and Mitigation of Rare Subclasses in Neural Network Classifiers.

[BibT_eX]

[DOI]

CoRR, 2019

Taming Service Uncertainty through Probabilistic Model Learning, Analysis and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, 2019

Using unstructured data to improve the continuous planning of critical processes involving humans.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Towards systematic engineering of collaborative heterogeneous robotic systems.

[BibT_eX]

[DOI]

Nicholas Matragkas

Proceedings of the 2nd International Workshop on Robotics Software Engineering, 2019

Socio-cyber-physical systems: models, opportunities, open challenges.

[BibT_eX]

[DOI]

Javier Cámara

Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2019

Modelling and analysing resilient cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Architecting Trustworthy Self-Adaptive Systems (Tutorial).

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Architecture Companion, 2019

2018

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases.

[BibT_eX]

[DOI]

Danny Weyns

Muhammad Usman Iftikhar

Ibrahim Habli

Tim Kelly

IEEE Trans. Software Eng., 2018

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

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Efficient synthesis of robust models for stochastic systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Evaluating cloud database migration options using workload models.

[BibT_eX]

[DOI]

Martyn Ellison

J. Cloud Comput., 2018

Synthesis of probabilistic models for quality-of-service software engineering.

[BibT_eX]

[DOI]

Giordano Tamburrelli

Autom. Softw. Eng., 2018

Towards Self-Adaptive Systems with Hierarchical Decentralised Control.

[BibT_eX]

[DOI]

Saud Yonbawi

Proceedings of the 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2018

ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

Efficient parametric model checking using domain-specific modelling patterns.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

Towards Multi-Objective Optimisation of Hadoop 2.x Application Deployment on Public Clouds.

[BibT_eX]

[DOI]

Naif Alasmari

José Diego Saraiva da Silva

Proceedings of the Sixth International Conference on Enterprise Systems, 2018

2017

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

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2017

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Self-Adaptive Role-Based Access Control for Business Processes.

[BibT_eX]

[DOI]

Carlos Eduardo da Silva

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Designing Robust Software Systems through Parametric Markov Chain Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Software Quality Analysis with Observation-Enhanced Quantitative Verification (Tutorial).

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

Assured Reinforcement Learning with Formally Verified Abstract Policies.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

Synthesis and Verification of Self-aware Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

2016

Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2016

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

[BibT_eX]

[DOI]

PLoS Comput. Biol., 2016

FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Towards Platform Independent Database Modelling in Enterprise Systems.

[BibT_eX]

[DOI]

Martyn Ellison

Proceedings of the Software Technologies: Applications and Foundations, 2016

2015

Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T).

[BibT_eX]

[DOI]

Giordano Tamburrelli

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Tele Assistance: A Self-Adaptive Service-Based System Exemplar.

[BibT_eX]

[DOI]

Danny Weyns

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.

[BibT_eX]

[DOI]

Alec Banks

Proceedings of the Fundamental Approaches to Software Engineering, 2015

A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures.

[BibT_eX]

[DOI]

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014

Adaptive model learning for continual verification of non-functional properties.

[BibT_eX]

[DOI]

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014

Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment.

[BibT_eX]

[DOI]

Martyn Ellison

Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Efficient re-resolution of SMT specifications for evolving software architectures.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Alec Banks

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.

[BibT_eX]

[DOI]

Diego Perez-Palacin

Raffaela Mirandola

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

A scalable approach for re-configuring evolving industrial control systems.

[BibT_eX]

[DOI]

Roopak Sinha

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Software.

[BibT_eX]

[DOI]

Proceedings of the Assurances for Self-Adaptive Systems, 2013

Editorial.

[BibT_eX]

[DOI]

Robert B. France

Carlo Ghezzi

Computing, 2013

Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems.

[BibT_eX]

[DOI]

Yasmin Rafiq

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.

[BibT_eX]

[DOI]

Diego Perez-Palacin

José Merseguer

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Multimodel-Driven Software Engineering for Evolving Enterprise Systems.

[BibT_eX]

[DOI]

Nicholas Drivalos Matragkas

Dimitrios S. Kolovos

Dave Cliff

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.

[BibT_eX]

[DOI]

Stanimir N. Pehlivanov

Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, 2013

Developing self-verifying service-based systems.

[BibT_eX]

[DOI]

Yasmin Rafiq

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Towards Autonomic Cloud Services Engineering via Intention Workflow Model.

[BibT_eX]

[DOI]

Thar Baker

Omer F. Rana

Rafael Tolosana-Calasanz

José Ángel Bañares

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2013

Perpetual Assurances for Self-Adaptive Systems.

[BibT_eX]

[DOI]

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

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

A Systematic Review of Cloud Lock-In Solutions.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

An incremental verification framework for component-based software systems.

[BibT_eX]

[DOI]

Shinji Kikuchi

Proceedings of the CBSE'13, 2013

2012

Large-scale complex IT systems.

[BibT_eX]

[DOI]

Commun. ACM, 2012

Self-adaptive software needs quantitative verification at runtime.

[BibT_eX]

[DOI]

Commun. ACM, 2012

Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems.

[BibT_eX]

[DOI]

Shinji Kikuchi

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

2011

OGSA-Based SOA for Collaborative Cancer Research: System Modeling and Generation.

[BibT_eX]

[DOI]

Tianyi Zang

Marta Kwiatkowska

Proceedings of the Guide to e-Science, Next Generation Scientific Research and Discovery, 2011

Dynamic QoS Management and Optimization in Service-Based Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2011

Metamodel-driven SOA for collaborative e-science application.

[BibT_eX]

Tianyi Zang

Comput. Syst. Sci. Eng., 2011

Using observation ageing to improve markovian model learning in QoS engineering.

[BibT_eX]

[DOI]

Yasmin Rafiq

Proceedings of the ICPE'11, 2011

When the requirements for adaptation and high integrity meet.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, 2011

Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns.

[BibT_eX]

[DOI]

Simon Reed

Proceedings of the Hardware and Software: Verification and Testing, 2011

Form Follows Function - Model-Driven Engineering for Clinical Trials.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

2010

Formal Methods @ Runtime.

[BibT_eX]

[DOI]

Shinji Kikuchi

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.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2009

Using quantitative analysis to implement autonomic IT systems.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Resource-Definition Policies for Autonomic Computing.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Autonomic and Autonomous Systems, 2009

CADS*: Computer-Aided Development of Self-* Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2009

General-Purpose Autonomic Computing.

[BibT_eX]

[DOI]

Proceedings of the Autonomic Computing and Networking, 2009

2008

Software Engineering Techniques for the Development of Systems of Systems.

[BibT_eX]

[DOI]

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

Implementation of a Generic Autonomic Framework.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Autonomic and Autonomous Systems, 2008

Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on e-Science, 2008

Methodology for the model-driven development of self-managing systems.

[BibT_eX]

[DOI]

Proceedings of the 5th Conference on Computing Frontiers, 2008

WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008

2007

Model-driven architecture for cancer research.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Model-Driven Autonomic Architecture.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Autonomic Computing (ICAC'07), 2007

Challenges and Best Practices in Policy-Based Autonomic Architectures.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Symposium on Dependable, 2007

2000

Architecture-Independent Loop Parallelisation.

[BibT_eX]

[DOI]

Radu C. Calinescu

Distinguished dissertations, Springer, ISBN: 978-1-4471-1197-9, 2000

1998

Architecture-independent loop parallelisation.

[BibT_eX]

[DOI]

Radu C. Calinescu

PhD thesis, 1998

1997

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

[BibT_eX]

[DOI]

David J. Evans

Parallel Algorithms Appl., 1997

A BSP Approach to the Scheduling of Tightly-Nested Loops.

[BibT_eX]

[DOI]

Proceedings of the 11th International Parallel Processing Symposium (IPPS '97), 1997

1996

Bulk Synchronous Parallel Algorithms for Conservative Discrete Event Simulation.

[BibT_eX]

[DOI]

Parallel Algorithms Appl., 1996

Bulk Synchronous Parallel Scheduling of Uniform Dags.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1994

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

[BibT_eX]

[DOI]