Integration Tools Supporting Development Processes. - Stefan Gruner; Manfred Nagl; Andy Schürr (Requirements Targeting Software and Systems Engineering, 1997)

Eine schematische und grammatische Korrespondenzmethode zur Spezifikation konsistent verteilter Datenmodelle. - Stefan Gruner (Shaker, 1999)

A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Data Modeling. - Stefan Gruner (AGTIVE, 1999)

Diagrammatic Control of Diagrammatic Structure Generation. - Stefan Gruner; Murat Kurt (Diagrams, 2000)

A Visual Modeling Technique for Controlling Graph Transformation. - Stefan Gruner; Murat Kurt; Gabriele Taentzer (ICALP Satellite Workshops, 2000)

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. - Michael Leuschel; Stefan Gruner (LOPSTR, 2001)

A Distributed Algorithm for Computing a Spanning Tree in Anonymous Tprime Graph. - Yves Métivier; Mohamed Mosbah 001; Pierre-André Wacrenier; Stefan Gruner (OPODIS, 2001)

Visualization of Distributed Algorithms Based on Graph Relabelling Systems. - Michel Bauderon; Stefan Gruner; Yves Métivier; Mohamed Mosbah 001; Afif Sellami (GT-VMT@ICALP, 2001)

Abstract Partial Deduction Challenged. - Stefan Gruner (LOPSTR, 2002)

Software Engineering Track Editorial. - Herbert H. Thompson; Chia-Chu Chiang; Ibrahim K. El-Far; Stefan Gruner; Markus Montigel; James A. Whittaker (SAC, 2003)

Model-Based Approaches for Validating Business Critical Systems. - Juan Carlos Augusto; Yvonne Howard; Andrew M. Gravell; Carla Ferreira 001; Stefan Gruner; Michael Leuschel (STEP, 2003)

Editorial message: special track on software engineering: applications, practices, and tools. - Ibrahim K. El-Far; Chia-Chu Chiang; Stefan Gruner; Markus Montigel; Herbert H. Thompson (SAC, 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., 2004)

YASEVITCH? (Yet Another Software Event Vigorously Inclined Towards Cloudy Heights). - Stefan Gruner (South Afr. Comput. J., 2004)

Bericht zum 19. ACM-SAC Symposium "Applied Computing" vom 14. bis 17. März 2004 in Nicosia, Zypern. - Stefan Gruner (Softwaretechnik-Trends, 2004)

Editorial message: special track on software engineering: methods, practices, and tools. - Stefan Gruner; Alessandra Cavarra; Sung Shin (SAC, 2005)

Tool support for plagiarism detection in text documents. - Stefan Gruner; Stuart Naven (SAC, 2005)

Report on SAC-SE-2005 : communication. - Stefan Gruner (South Afr. Comput. J., 2005)

Bericht zum SAC-SE-05 Software Engineering Track beim 20. ACM-SAC Symposium "Applied Computing", Santa Fe, Neumexiko (USA), März 2005. - Stefan Gruner (Softwaretechnik-Trends, 2005)

Editorial message. - Stefan Gruner; Sung Shin (SAC, 2006)

Aspect-Oriented Programming for a distributed framework. - Sasa Subotic; Judith Bishop; Stefan Gruner (South Afr. Comput. J., 2006)

New specialist tools for medieval document XML markup. - Georg Vogeler; Stefan Gruner; Benjamin Burkard (SAC, 2007)

Assessment of a framework to compare software development methodologies. - Riaan Klopper; Stefan Gruner; Derrick G. Kourie (SAICSIT, 2007)

Agile software development: a contemporary philosophical perspective. - Mandy Northover; Alan Northover; Stefan Gruner; Derrick G. Kourie; Andrew Boake (SAICSIT, 2007)

How big is your IT department? - Stefan Gruner (South Afr. Comput. J., 2007)

Letter to the editor: What is Informatics? - Stefan Gruner (South Afr. Comput. J., 2007)

A New CSP Operator for Optional Parallelism. - Stefan Gruner; Derrick G. Kourie; Markus Roggenbach; Tinus Strauss; Bruce W. Watson (CSSE (2), 2008)

Mobile Agents Implementing Local Computations in Graphs. - Bilel Derbel; Mohamed Mosbah 001; Stefan Gruner (ICGT, 2008)

Graph Transformation Model of a Triangulated Network of Mobile Units. - Stefan Gruner (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

From use cases to test cases via meta model-based reasoning. - Stefan Gruner (Innov. Syst. Softw. Eng., 2008)

Informatics for Historians: Tools for Medieval Document XML Markup, and their Impact on the History-Sciences. - Benjamin Burkard; Georg Vogeler; Stefan Gruner (J. Univers. Comput. Sci., 2008)

Comments on 'How Would You Know If You Synthesized A Thinking Thing'. - Stefan Gruner (Minds Mach., 2008)

Letter to the editor: 40 years after Garmisch. - Stefan Gruner (South Afr. Comput. J., 2008)

Festschrift at the Occasion of the 60th Birthday of Derrick G. Kourie. - Stefan Gruner (South Afr. Comput. J., 2008)

Letter: CS, IS, history, and the unity of science. - Stefan Gruner (South Afr. Comput. J., 2008)

Communications: recent topic trends at the annual SAICSIT symposium. - Stefan Gruner (South Afr. Comput. J., 2009)

Towards a Generic Design for General-purpose Sensor Network Nodes - Position Paper. - Stefan Gruner (ENASE, 2010)

SESENA 2010: Workshop on Software Engineering for Sensor Network Applications. - Kurt Geihs; Stefan Gruner; Kay Römer (ICSE (2), 2010)

Mobile agent systems and cellular automata. - Stefan Gruner (Auton. Agents Multi Agent Syst., 2010)

Deadlock-freeness of hexagonal systolic arrays. - Stefan Gruner; Theunis J. Steyn (Inf. Process. Lett., 2010)

FM+AM'09: workshop on formal methods and agile methods - Editorial preface and foreword. - Stefan Gruner (Innov. Syst. Softw. Eng., 2010)

Report about 1st ICSE workshop on software engineering for sensor network applications (SESENA 2010). - Kurt Geihs; Stefan Gruner; Kay Römer (ACM SIGSOFT Softw. Eng. Notes, 2010)

Model-Based Passive Testing of Safety-Critical Components. - Stefan Gruner; Bruce W. Watson (Model-Based Testing for Embedded Systems, 2011)

Model-driven design plus artificial intelligence for wireless sensor networks software development. - Peter Mülders; Stefan Gruner; Xuan Thang Nguyen (SESENA@ICSE, 2011)

A phonetic approach to handling spelling variations in medieval documents. - Mushtaq Ahmad; Nazim Rahman; Stefan Gruner (SAICSIT, 2011)

Static typing with value space-based subtyping. - Alexander Paar; Stefan Gruner (SAICSIT, 2011)

A domain-specific language for URDAD based requirements elicitation. - Fritz Solms; Craig Edwards; Alexander Paar; Stefan Gruner (SAICSIT, 2011)

URDAD as a Quality-Driven Analysis and Design Process. - Fritz Solms; Stefan Gruner; Cuen Edwards (SoMeT, 2011)

Model-Based Trace-Checking - Yvonne Howard; Stefan Gruner; Andrew M. Gravell; Carla Ferreira 001; Juan Carlos Augusto (CoRR, 2011)

Concurrent Development of Model and Implementation - Andrew M. Gravell; Yvonne Howard; Juan Carlos Augusto; Carla Ferreira 001; Stefan Gruner (CoRR, 2011)

Problems for a Philosophy of Software Engineering. - Stefan Gruner (Minds Mach., 2011)

Software testing in small IT companies: a (not only) South African problem. - Stefan Gruner; Johan Van Zyl (South Afr. Comput. J., 2011)

Editorial: special section on formal plus agile methods. - Stefan Gruner (ACM SIGSOFT Softw. Eng. Notes, 2011)

Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008. - Antonio Cerone; Stefan Gruner (Softw. Syst. Model., 2011)

Computational Analysis of Medieval Manuscripts: A New Tool for Analysis and Mapping of Medieval Documents to Modern Orthography. - Mushtaq Ahmad; Stefan Gruner; Muhammad Tanvir Afzal (J. Univers. Comput. Sci., 2012)

FormSERA workshop on formal methods in software engineering rigorous and agile approaches: 2nd of june 2012 at ICSE'2012 in Zürich (CH). - Stefan Gruner; Bernhard Rumpe (ACM SIGSOFT Softw. Eng. Notes, 2012)

Log File Analysis with Context-Free Grammars. - Gregory Bosman; Stefan Gruner (IFIP Int. Conf. Digital Forensics, 2013)

On the Scientific Maturity of Digital Forensics Research. - Martin S. Olivier; Stefan Gruner (IFIP Int. Conf. Digital Forensics, 2013)

A new tool for URDAD to Java EE EJB transformations. - Craig Edwards; Stefan Gruner (SAICSIT, 2013)

Quality and usability of mashup tools: criteria and evaluation. - Melusi Malinga; Stefan Gruner; Agnes Koschmider (SAICSIT, 2013)

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. - Stefan Gruner (Minds Mach., 2013)

Parameterisation of Three-Valued Abstractions. - Nils Timm; Stefan Gruner (SBMF, 2014)

Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge. - Stefan Gruner; Apurva Kumar; Tom Maibaum (FTSCS, 2015)

Notions of Hypothesis in Digital Forensics. - Segen Tewelde; Stefan Gruner; Martin S. Olivier (IFIP Int. Conf. Digital Forensics, 2015)

Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking. - Nils Timm; Stefan Gruner (SBMF, 2015)

Parallel SAT-Based Parameterised Three-Valued Model Checking. - Nils Timm; Stefan Gruner; Prince Sibanda (SPIN, 2015)

Heinz Zemanek's Almost Forgotten Contributions to the Early Philosophy of Informatics. - Stefan Gruner (ACIS, 2016)

Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction. - Nils Timm; Stefan Gruner (FTSCS, 2016)

A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems. - Nils Timm; Stefan Gruner; Matthias Harvey (SBMF, 2016)

SACLA '16 Report. - Stefan Gruner (South Afr. Comput. J., 2016)

Parameterised three-valued model checking. - Nils Timm; Stefan Gruner (Sci. Comput. Program., 2016)

Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. - Nils Timm; Stefan Gruner; Prince Sibanda (FSEN, 2017)

A new optional parallelism operator in CSP for wireless sensor networks. - Theunis J. Steyn; Stefan Gruner (SAICSIT, 2017)

Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems. - Riccardo De Masellis; Valentin Goranko; Stefan Gruner; Nils Timm (EUMAS, 2018)

Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking. - Nils Timm; Stefan Gruner (FTSCS, 2018)

Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking. - Nils Timm; Stefan Gruner; Matthias Harvey (SBMF, 2018)

Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL. - Johan van der Berg; Stefan Gruner (SOFL+MSVL, 2018)

On More or Less Appropriate Notions of 'Computation'. - Stefan Gruner; Andrew M. Gravell (South Afr. Comput. J., 2018)

Letter to the Editor: SAICSIT Papers in the ACM-DL. - Stefan Gruner (South Afr. Comput. J., 2019)

Three-valued bounded model checking with cause-guided abstraction refinement. - Nils Timm; Stefan Gruner (Sci. Comput. Program., 2019)

Invited Lecture: Notions of 'Theory' and their Practical Consequences in the Discipline of Software 'Engineering' (including Information Systems Design). - Stefan Gruner (South Afr. Comput. J., 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., 2020)

On the Construction of Engineering Handbooks - with an Illustration from the Railway Safety Domain - Stefan Gruner; Apurva Kumar; Tom Maibaum; Markus Roggenbach (Springer, 2020)

Spotlight Abstraction in Model Checking Real-Time Task Schedulability. - Madoda Nxumalo; Nils Timm; Stefan Gruner (SPIN, 2021)

Genetic Micro-Programs for Automated Software Testing with Large Path Coverage. - Jarrod Goschen; Anna S. Bosman; Stefan Gruner (CEC, 2022)

An evaluation of approaches to model checking real-time task schedulability analysis. - Madoda Nxumalo; Nils Timm; Stefan Gruner (Int. J. Softw. Tools Technol. Transf., 2023)