Stefan Gruner

dblp:67/5283 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
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 Coverage
abstract
Ongoing 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
CEC3
2021 Spotlight Abstraction in Model Checking Real-Time Task Schedulability
Madoda Nxumalo, Nils Timm, Stefan Gruner
SPIN3
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
EUMAS3
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 Forensics2
2015 Parallel SAT-Based Parameterised Three-Valued Model Checking
Nils Timm, Stefan Gruner, Prince Sibanda
SPIN2
2013 Log File Analysis with Context-Free Grammars
Gregory Bosman, Stefan Gruner
IFIP Int. Conf. Digital Forensics2
2013 On the Scientific Maturity of Digital Forensics Research
Martin S. Olivier, Stefan Gruner
IFIP Int. Conf. Digital Forensics2
2011 URDAD as a Quality-Driven Analysis and Design Process
abstract
URDAD, 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
SoMeT2
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
ENASE1
2010 SESENA 2010: Workshop on Software Engineering for Sensor Network Applications
abstract
This 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
ICGT3
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
OPODIS4
2000 Diagrammatic Control of Diagrammatic Structure Generation
Stefan Gruner
Diagrams1