Stefan Gruner

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 20

Top Topics

Linear Temporal Logic

Software Systems

Top Venues

South Afr. Comput. J.

Sci. Comput. Program.

Publications

Madoda Nxumalo, Nils Timm, Stefan Gruner
An evaluation of approaches to model checking real-time task schedulability analysis. Int. J. Softw. Tools Technol. Transf. 25 (1) (2023)
Jarrod Goschen, Anna Sergeevna Bosman, Stefan Gruner
Genetic Micro-Programs for Automated Software Testing with Large Path Coverage. CoRR (2023)
Jarrod Goschen, Anna S. Bosman, Stefan Gruner
Genetic Micro-Programs for Automated Software Testing with Large Path Coverage. CEC (2022)
Madoda Nxumalo, Nils Timm, Stefan Gruner
Spotlight Abstraction in Model Checking Real-Time Task Schedulability. SPIN (2021)
Nils Timm, Stefan Gruner, Madoda Nxumalo, Josua Botha
-induction and witness refinement with constraint generation. Sci. Comput. Program. 200 (2020)
Stefan Gruner
Invited Lecture: Notions of 'Theory' and their Practical Consequences in the Discipline of Software 'Engineering' (including Information Systems Design). South Afr. Comput. J. 32 (2) (2020)
Nils Timm, Stefan Gruner
Three-valued bounded model checking with cause-guided abstraction refinement. Sci. Comput. Program. 175 (2019)
Stefan Gruner
Letter to the Editor: SAICSIT Papers in the ACM-DL. South Afr. Comput. J. 31 (2) (2019)
Riccardo De Masellis, Valentin Goranko, Stefan Gruner, Nils Timm
Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems. EUMAS (2018)
Stefan Gruner, Andrew M. Gravell
On More or Less Appropriate Notions of 'Computation'. South Afr. Comput. J. 30 (1) (2018)
Johan van der Berg, Stefan Gruner
Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL. SOFL+MSVL (2018)
Nils Timm, Stefan Gruner, Matthias Harvey
Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking. SBMF (2018)
Nils Timm, Stefan Gruner
Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking. FTSCS (2018)
Nils Timm, Stefan Gruner, Prince Sibanda
Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. FSEN (2017)
Theunis J. Steyn, Stefan Gruner
A new optional parallelism operator in CSP for wireless sensor networks. SAICSIT (2017)
Stefan Gruner
SACLA '16 Report. South Afr. Comput. J. 28 (2) (2016)
Nils Timm, Stefan Gruner
Parameterised three-valued model checking. Sci. Comput. Program. 126 (2016)
Nils Timm, Stefan Gruner
Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction. FTSCS (2016)
Stefan Gruner
Heinz Zemanek's Almost Forgotten Contributions to the Early Philosophy of Informatics. ACIS (2016)
Nils Timm, Stefan Gruner, Matthias Harvey
A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems. SBMF (2016)
Nils Timm, Stefan Gruner
Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking. SBMF (2015)
Stefan Gruner, Apurva Kumar, Tom Maibaum
Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge. FTSCS (2015)
Nils Timm, Stefan Gruner, Prince Sibanda
Parallel SAT-Based Parameterised Three-Valued Model Checking. SPIN (2015)
Segen Tewelde, Stefan Gruner, Martin S. Olivier
Notions of Hypothesis in Digital Forensics. IFIP Int. Conf. Digital Forensics (2015)
Nils Timm, Stefan Gruner
Parameterisation of Three-Valued Abstractions. SBMF (2014)
Gregory Bosman, Stefan Gruner
Log File Analysis with Context-Free Grammars. IFIP Int. Conf. Digital Forensics (2013)
Craig Edwards, Stefan Gruner
A new tool for URDAD to Java EE EJB transformations. SAICSIT (2013)
Martin S. Olivier, Stefan Gruner
On the Scientific Maturity of Digital Forensics Research. IFIP Int. Conf. Digital Forensics (2013)
Melusi Malinga, Stefan Gruner, Agnes Koschmider
Quality and usability of mashup tools: criteria and evaluation. SAICSIT (2013)
Stefan Gruner
Eric Winsberg: Science in the Age of Computer Simulation - The University of Chicago Press, Chicago, IL, 2010, 168 pp., $ 24.00 (paper), ISBN: 978-0-226-90204-3. Minds Mach. 23 (2) (2013)
Stefan Gruner, Bernhard Rumpe
FormSERA workshop on formal methods in software engineering rigorous and agile approaches: 2nd of june 2012 at ICSE'2012 in Zürich (CH). ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Mushtaq Ahmad, Stefan Gruner, Muhammad Tanvir Afzal
Computational Analysis of Medieval Manuscripts: A New Tool for Analysis and Mapping of Medieval Documents to Modern Orthography. J. Univers. Comput. Sci. 18 (20) (2012)
Mushtaq Ahmad, Nazim Rahman, Stefan Gruner
A phonetic approach to handling spelling variations in medieval documents. SAICSIT (2011)
Stefan Gruner
Editorial: special section on formal plus agile methods. ACM SIGSOFT Softw. Eng. Notes 36 (4) (2011)
Fritz Solms, Craig Edwards, Alexander Paar, Stefan Gruner
A domain-specific language for URDAD based requirements elicitation. SAICSIT (2011)
Stefan Gruner
Problems for a Philosophy of Software Engineering. Minds Mach. 21 (2) (2011)
Alexander Paar, Stefan Gruner
Static typing with value space-based subtyping. SAICSIT (2011)
Fritz Solms, Stefan Gruner, Cuen Edwards
URDAD as a Quality-Driven Analysis and Design Process. SoMeT (2011)
Yvonne Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto
Model-Based Trace-Checking CoRR (2011)
Antonio Cerone, Stefan Gruner
Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008. Softw. Syst. Model. 10 (2) (2011)
Andrew M. Gravell, Yvonne Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner
Concurrent Development of Model and Implementation CoRR (2011)
Peter Mülders, Stefan Gruner, Xuan Thang Nguyen
Model-driven design plus artificial intelligence for wireless sensor networks software development. SESENA@ICSE (2011)
Stefan Gruner, Johan Van Zyl
Software testing in small IT companies: a (not only) South African problem. South Afr. Comput. J. 47 (2011)
Kurt Geihs, Stefan Gruner, Kay Römer
Report about 1st ICSE workshop on software engineering for sensor network applications (SESENA 2010). ACM SIGSOFT Softw. Eng. Notes 35 (5) (2010)
Stefan Gruner
Mobile agent systems and cellular automata. Auton. Agents Multi Agent Syst. 20 (2) (2010)
Stefan Gruner
Towards a Generic Design for General-purpose Sensor Network Nodes - Position Paper. ENASE (2010)
Stefan Gruner
FM+AM'09: workshop on formal methods and agile methods - Editorial preface and foreword. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Kurt Geihs, Stefan Gruner, Kay Römer
SESENA 2010: Workshop on Software Engineering for Sensor Network Applications. ICSE (2) (2010)
Stefan Gruner, Theunis J. Steyn
Deadlock-freeness of hexagonal systolic arrays. Inf. Process. Lett. 110 (14-15) (2010)
Stefan Gruner
Communications: recent topic trends at the annual SAICSIT symposium. South Afr. Comput. J. 44 (2009)
Stefan Gruner
Graph Transformation Model of a Triangulated Network of Mobile Units. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Stefan Gruner
Letter to the editor: 40 years after Garmisch. South Afr. Comput. J. 40 (2008)
Stefan Gruner
Letter: CS, IS, history, and the unity of science. South Afr. Comput. J. 42 (2008)
Bilel Derbel, Mohamed Mosbah, Stefan Gruner
Mobile Agents Implementing Local Computations in Graphs. ICGT (2008)
Stefan Gruner
Birthday of Derrick G. Kourie. South Afr. Comput. J. 41 (2008)
Stefan Gruner
From use cases to test cases via meta model-based reasoning. Innov. Syst. Softw. Eng. 4 (3) (2008)
Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson
A New CSP Operator for Optional Parallelism. CSSE (2) (2008)
Benjamin Burkard, Georg Vogeler, Stefan Gruner
Informatics for Historians: Tools for Medieval Document XML Markup, and their Impact on the History-Sciences. J. Univers. Comput. Sci. 14 (2) (2008)
Stefan Gruner
Comments on 'How Would You Know If You Synthesized A Thinking Thing'. Minds Mach. 18 (1) (2008)
Stefan Gruner
Letter to the editor: What is Informatics? South Afr. Comput. J. 39 (2007)
Riaan Klopper, Stefan Gruner, Derrick G. Kourie
Assessment of a framework to compare software development methodologies. SAICSIT (2007)
Stefan Gruner
How big is your IT department? South Afr. Comput. J. 38 (2007)
Georg Vogeler, Stefan Gruner, Benjamin Burkard
New specialist tools for medieval document XML markup. SAC (2007)
Mandy Northover, Alan Northover, Stefan Gruner, Derrick G. Kourie, Andrew Boake
Agile software development: a contemporary philosophical perspective. SAICSIT (2007)
Sasa Subotic, Judith Bishop, Stefan Gruner
Aspect-Oriented Programming for a distributed framework. South Afr. Comput. J. 37 (2006)
Stefan Gruner, Sung Shin
Editorial message. SAC (2006)
Stefan Gruner, Alessandra Cavarra, Sung Shin
Editorial message: special track on software engineering: methods, practices, and tools. SAC (2005)
Stefan Gruner
Bericht zum SAC-SE-05 Software Engineering Track beim 20. ACM-SAC Symposium "Applied Computing", Santa Fe, Neumexiko (USA), März 2005. Softwaretechnik-Trends 25 (2) (2005)
Stefan Gruner, Stuart Naven
Tool support for plagiarism detection in text documents. SAC (2005)
Stefan Gruner
Report on SAC-SE-2005 : communication. South Afr. Comput. J. 34 (2005)
Ibrahim K. El-Far, Chia-Chu Chiang, Stefan Gruner, Markus Montigel, Herbert H. Thompson
Editorial message: special track on software engineering: applications, practices, and tools. SAC (2004)
Stefan Gruner
YASEVITCH? (Yet Another Software Event Vigorously Inclined Towards Cloudy Heights). South Afr. Comput. J. 32 (2004)
Stefan Gruner
Bericht zum 19. ACM-SAC Symposium "Applied Computing" vom 14. bis 17. März 2004 in Nicosia, Zypern. Softwaretechnik-Trends 24 (2) (2004)
Herbert H. Thompson, Chia-Chu Chiang, Ibrahim K. El-Far, Stefan Gruner, Markus Montigel, James A. Whittaker
Special Issue on Software Engineering: Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003. Inf. Softw. Technol. 46 (5) (2004)
Herbert H. Thompson, Chia-Chu Chiang, Ibrahim K. El-Far, Stefan Gruner, Markus Montigel, James A. Whittaker
Software Engineering Track Editorial. SAC (2003)
Juan Carlos Augusto, Yvonne Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel
Model-Based Approaches for Validating Business Critical Systems. STEP (2003)
Stefan Gruner
Abstract Partial Deduction Challenged. LOPSTR (2002)
Michael Leuschel, Stefan Gruner
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. LOPSTR (2001)
Michel Bauderon, Stefan Gruner, Yves Métivier, Mohamed Mosbah, Afif Sellami
Visualization of Distributed Algorithms Based on Graph Relabelling Systems. Electron. Notes Theor. Comput. Sci. 50 (3) (2001)
Yves Métivier, Mohamed Mosbah, Pierre-André Wacrenier, Stefan Gruner
A Distributed Algorithm for Computing a Spanning Tree in Anonymous Tprime Graph. OPODIS (2001)
Stefan Gruner, Murat Kurt
Diagrammatic Control of Diagrammatic Structure Generation. Diagrams (2000)
Stefan Gruner, Murat Kurt, Gabriele Taentzer
A Visual Modeling Technique for Controlling Graph Transformation. ICALP Satellite Workshops (2000)
Stefan Gruner
A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Data Modeling. AGTIVE (1999)
Stefan Gruner, Manfred Nagl, Andy Schürr
Integration Tools Supporting Development Processes. Requirements Targeting Software and Systems Engineering (1997)