VLDB 2026 Research / reviewers in the wild / expert
Stefan Gruner
dblp:67/5283
· DBLP profile ↗
21ranked-venue papers
4as first author
3since 2021 · last 2023
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 11 · 1 first-author · 2 since 2021Artificial intelligence and machine learning · 4 · 2 first-author · 1 since 2021Security and privacy · 3Databases, data management, data science and information retrieval · 2 · 1 first-authorTheory of computation · 2 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | An evaluation of approaches to model checking real-time task schedulability analysis
Madoda Nxumalo, Nils Timm, Stefan Gruner |
Int. J. Softw. Tools Technol. Transf. | 3 |
| 2022 | Genetic Micro-Programs for Automated Software Testing with Large Path CoverageabstractOngoing progress in computational intelligence (CI) has led to an increased desire to apply CI techniques for the pur-pose of improving software engineering processes, particularly software testing. Existing state-of-the-art automated software testing techniques focus on utilising search algorithms to discover input values that achieve high execution path coverage. These algorithms are trained on the same code that they intend to test, requiring instrumentation and lengthy search times to test each software component. This paper outlines a novel genetic programming framework, where the evolved solutions are not input values, but micro-programs that can repeatedly generate input values to efficiently explore a software component's input parameter domain. We also argue that our approach can be generalised such as to be applied to many different software systems, and is thus not specific to merely the particular software component on which it was trained. Jarrod Goschen, Anna S. Bosman, Stefan Gruner |
CEC | 3 |
| 2021 | Spotlight Abstraction in Model Checking Real-Time Task Schedulability
Madoda Nxumalo, Nils Timm, Stefan Gruner |
SPIN | 3 |
| 2020 | Model checking safety and liveness via k-induction and witness refinement with constraint generation
Nils Timm, Stefan Gruner, Madoda Nxumalo, Josua Botha |
Sci. Comput. Program. | 2 |
| 2019 | Three-valued bounded model checking with cause-guided abstraction refinement
Nils Timm, Stefan Gruner |
Sci. Comput. Program. | 2 |
| 2018 | Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems
Riccardo De Masellis, Valentin Goranko, Stefan Gruner, Nils Timm |
EUMAS | 3 |
| 2016 | Parameterised three-valued model checking
Nils Timm, Stefan Gruner |
Sci. Comput. Program. | 2 |
| 2015 | Notions of Hypothesis in Digital Forensics
Segen Tewelde, Stefan Gruner, Martin S. Olivier |
IFIP Int. Conf. Digital Forensics | 2 |
| 2015 | Parallel SAT-Based Parameterised Three-Valued Model Checking
Nils Timm, Stefan Gruner, Prince Sibanda |
SPIN | 2 |
| 2013 | Log File Analysis with Context-Free Grammars
Gregory Bosman, Stefan Gruner |
IFIP Int. Conf. Digital Forensics | 2 |
| 2013 | On the Scientific Maturity of Digital Forensics Research
Martin S. Olivier, Stefan Gruner |
IFIP Int. Conf. Digital Forensics | 2 |
| 2011 | URDAD as a Quality-Driven Analysis and Design ProcessabstractURDAD, the Use-Case, Responsibility Driven Analysis and Design is a service-oriented methodology used by requirements engineers to produce the Computation Independent Models (CIMs) of the Model Driven Architecture (MDA) with sufficient detail and precision that they can be used directly as Platform Independent Models (PIMs). The analysis and design process is supported by a metamodel specifying the modeling semantics and a concrete grammar used to capture URDAD models. In this paper we identify quality criteria for the resultant requirements specification and for the process itself. For each quality criterion we identify a set of quality drivers and show how quality drivers are embedded within the URDAD methodology. Fritz Solms, Stefan Gruner, Cuen Edwards |
SoMeT | 2 |
| 2011 | Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008
Antonio Cerone, Stefan Gruner |
Softw. Syst. Model. | 2 |
| 2010 | Towards a Generic Design for General-purpose Sensor Network Nodes - Position Paper
Stefan Gruner |
ENASE | 1 |
| 2010 | SESENA 2010: Workshop on Software Engineering for Sensor Network ApplicationsabstractThis editorial preface describes the aims and motivation as well as some details of the reviewing process of SESENA 2010, the First International Workshop on Software Engineering for Sensor Network Applications, which took place under the umbrella of ICSE 2010, the 32rd ACM/IEEE International Conference on Software Engineering, in Cape Town, South Africa, May 2010. See also our workshop's website at http://www.sesena.info/ Kurt Geihs, Stefan Gruner, Kay Römer |
ICSE (2) | 2 |
| 2010 | Mobile agent systems and cellular automata
Stefan Gruner |
Auton. Agents Multi Agent Syst. | 1 |
| 2010 | Deadlock-freeness of hexagonal systolic arrays
Stefan Gruner, Theunis J. Steyn |
Inf. Process. Lett. | 1 |
| 2008 | Mobile Agents Implementing Local Computations in Graphs
Bilel Derbel, Mohamed Mosbah 0001, Stefan Gruner |
ICGT | 3 |
| 2004 | Special Issue on Software Engineering: Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003
Herbert H. Thompson, Chia-Chu Chiang, Ibrahim K. El-Far, Stefan Gruner, Markus Montigel, James A. Whittaker |
Inf. Softw. Technol. | 4 |
| 2001 | A Distributed Algorithm for Computing a Spanning Tree in Anonymous Tprime Graph
Yves Métivier, Mohamed Mosbah 0001, Pierre-André Wacrenier, Stefan Gruner |
OPODIS | 4 |
| 2000 | Diagrammatic Control of Diagrammatic Structure Generation
Stefan Gruner |
Diagrams | 1 |