EDBT 2026 Demo / reviewers in the wild / expert
Kristopher Welsh
dblp:17/6889 · also Kris Welsh
· DBLP profile ↗
10ranked-venue papers
6as first author
2since 2021 · last 2024
0000-0001-6335-9561ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 7 · 6 first-authorArtificial intelligence and machine learning · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Requirements engineering and software design · 100% |
Topics — the 2 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Requirements engineering and software design › requirements engineering
requirements monitoring |
0.1 | 1 | 2011 | Towards requirements aware systems: Run-time resolution of design-time assumptions · ASE 2011 |
Requirements engineering and software design › software architecture
self-adaptive systems |
0.0 | 1 | 2011 | Towards requirements aware systems: Run-time resolution of design-time assumptions · ASE 2011 |
Methods — techniques the papers use, named apart from their topics
runtime monitoring · 0.1goal modeling · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | A Cyclic Hyper-parameter Selection Approach for Reinforcement Learning-based UAV Path PlanningabstractUnmanned Aerial Vehicles (UAVs) offer new ways to fulfil a variety of urban transportation and service solutions. The ability to successfully plan and re-plan paths across a complex urban environment remains an unsolved significant problem. New Q-learning approaches have potential to address this problem, however they must first learn complex environment spaces. A traditional challenge within this field is the selection of suitable learning hyper-parameters that assist a Q-learning algorithm in achieving an optimal learning policy. It is known that testing and evaluating multiple hyper-parameter combinations is computationally expensive. Thus, this paper proposes a new method for hyper-parameter self-tuning, cyclically assigning hyper-parameters within a single learning process, eliminating the need to experimentally seek optimal hyper-parameter value combinations. Evaluation of the captured results show, training with cyclical hyper-parameter exploration instead of fixed values, achieves improved path generation, while reducing the cumulative learning time required. Although the focus of this approach is centred around a Multi Q-table Path Planning solution, this work presents a practical tool applicable to Reinforcement Learning techniques generally. Michael R. Jones, Soufiene Djahel, Kristopher Welsh |
CCNC | 3 |
| 2022 | MQTPP - Towards Multiple Q-Table based Path Planning in UAV EnvironmentsabstractThis paper introduces an original multi destination path planning approach for Unmanned Aerial Vehicles (UAVs) named MQTPP (Multi Q-Table Path Planning). MQTPP aims to reduce the computational burden of cyclical/continuous path planning through a Q-learning planning process whilst overcoming the fixed path origin problem. The preliminary performance evaluation results indicate that MQTPP performs well for longer paths, and allows for more efficient re-planning should mission objectives or environmental topography change. Michael R. Jones, Soufiene Djahel, Kristopher Welsh |
CCNC | 3 |
| 2017 | Doctor Rostering in Compliance with the New UK Junior Doctor Contract
Anna Lavygina, Kristopher Welsh, Alan Crispin |
COCOA (2) | 2 |
| 2012 | Self-Explanation in Adaptive Systems
Nelly Bencomo, Kristopher Welsh, Peter Sawyer, Jon Whittle 0001 |
ICECCS | 2 |
| 2012 | Run-time model evaluation for requirements model-driven self-adaptationabstractA self-adaptive system adjusts its configuration to tolerate changes in its operating environment. To date, requirements modeling methodologies for self-adaptive systems have necessitated analysis of all potential system configurations, and the circumstances under which each is to be adopted. We argue that, by explicitly capturing and modelling uncertainty in the operating environment, and by verifying and analysing this model at runtime, it is possible for a system to adapt to tolerate some conditions that were not fully considered at design time. We showcase in this paper our tools and research results. Kristopher Welsh, Nelly Bencomo |
RE | 1 |
| 2011 | Towards requirements aware systems: Run-time resolution of design-time assumptionsabstractIn earlier work we proposed the idea of requirements-aware systems that could introspect about the extent to which their goals were being satisfied at runtime. When combined with requirements monitoring and self adaptive capabilities, requirements awareness should help optimize goal satisfaction even in the presence of changing run-time context. In this paper we describe initial progress towards the realization of requirements-aware systems with REAssuRE. REAssuRE focuses on explicit representation of assumptions made at design time. When such assumptions are shown not to hold, REAssuRE can trigger system adaptations to alternative goal realization strategies. Kristopher Welsh, Peter Sawyer, Nelly Bencomo |
ASE | 1 |
| 2011 | Run-time resolution of uncertaintyabstractRequirements awareness should help optimize requirements satisfaction when factors that were uncertain at design time are resolved at runtime. We use the notion of claims to model assumptions that cannot be verified with confidence at design time. By monitoring claims at runtime, their veracity can be tested. If falsified, the effect of claim negation can be propagated to the system's goal model and an alternative means of goal realization selected automatically, allowing the dynamic adaptation of the system to the prevailing environmental context. Kristopher Welsh, Peter Sawyer, Nelly Bencomo |
RE | 1 |
| 2010 | Understanding the Scope of Uncertainty in Dynamically Adaptive Systems
Kristopher Welsh, Peter Sawyer |
REFSQ | 1 |
| 2009 | Requirements Tracing to Support Change in Dynamically Adaptive Systems
Kristopher Welsh, Peter Sawyer |
REFSQ | 1 |
| 2008 | When to Adapt? Identification of Problem Domains for Adaptive Systems
Kristopher Welsh, Peter Sawyer |
REFSQ | 1 |