Stefan Gruner

According to our database1, Stefan Gruner authored at least 85 papers between 1997 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
An evaluation of approaches to model checking real-time task schedulability analysis.
Int. J. Softw. Tools Technol. Transf., February, 2023

2022
Genetic Micro-Programs for Automated Software Testing with Large Path Coverage.
Proceedings of the IEEE Congress on Evolutionary Computation, 2022

2021
Spotlight Abstraction in Model Checking Real-Time Task Schedulability.
Proceedings of the Model Checking Software - 27th International Symposium, 2021

2020
On the Construction of Engineering Handbooks - with an Illustration from the Railway Safety Domain
Springer Briefs in Computer Science, Springer, ISBN: 978-3-030-44647-5, 2020

Model checking safety and liveness via <i>k</i>-induction and witness refinement with constraint generation.
Sci. Comput. Program., 2020

2019
Three-valued bounded model checking with cause-guided abstraction refinement.
Sci. Comput. Program., 2019

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

2018
On More or Less Appropriate Notions of 'Computation'.
South Afr. Comput. J., 2018

Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking.
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems.
Proceedings of the Multi-Agent Systems - 16th European Conference, 2018

2017
A new optional parallelism operator in CSP for wireless sensor networks.
Proceedings of the South African Institute of Computer Scientists and Information Technologists, 2017

Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2016
Parameterised three-valued model checking.
Sci. Comput. Program., 2016

SACLA '16 Report.
South Afr. Comput. J., 2016

A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems.
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

Heinz Zemanek's Almost Forgotten Contributions to the Early Philosophy of Informatics.
Proceedings of the Australasian Conference on Information Systems, 2016

2015
Parallel SAT-Based Parameterised Three-Valued Model Checking.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking.
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Notions of Hypothesis in Digital Forensics.
Proceedings of the Advances in Digital Forensics XI, 2015

Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2014
Parameterisation of Three-Valued Abstractions.
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

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.
Minds Mach., 2013

Quality and usability of mashup tools: criteria and evaluation.
Proceedings of the 2013 South African Institute for Computer Scientists and Information Technologists, 2013

A new tool for URDAD to Java EE EJB transformations.
Proceedings of the 2013 South African Institute for Computer Scientists and Information Technologists, 2013

On the Scientific Maturity of Digital Forensics Research.
Proceedings of the Advances in Digital Forensics IX, 2013

Log File Analysis with Context-Free Grammars.
Proceedings of the Advances in Digital Forensics IX, 2013

2012
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, 2012

Computational Analysis of Medieval Manuscripts: A New Tool for Analysis and Mapping of Medieval Documents to Modern Orthography.
J. Univers. Comput. Sci., 2012

2011
Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008.
Softw. Syst. Model., 2011

Editorial: special section on formal plus agile methods.
ACM SIGSOFT Softw. Eng. Notes, 2011

Software testing in small IT companies: a (not only) South African problem.
South Afr. Comput. J., 2011

Problems for a Philosophy of Software Engineering.
Minds Mach., 2011

Concurrent Development of Model and Implementation
CoRR, 2011

Model-Based Trace-Checking
CoRR, 2011

URDAD as a Quality-Driven Analysis and Design Process.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2011

A domain-specific language for URDAD based requirements elicitation.
Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011

Static typing with value space-based subtyping.
Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011

A phonetic approach to handling spelling variations in medieval documents.
Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011

Model-driven design plus artificial intelligence for wireless sensor networks software development.
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, 2011

Model-Based Passive Testing of Safety-Critical Components.
Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010
Report about 1st ICSE workshop on software engineering for sensor network applications (SESENA 2010).
ACM SIGSOFT Softw. Eng. Notes, 2010

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

Deadlock-freeness of hexagonal systolic arrays.
Inf. Process. Lett., 2010

Mobile agent systems and cellular automata.
Auton. Agents Multi Agent Syst., 2010

SESENA 2010: Workshop on Software Engineering for Sensor Network Applications.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Towards a Generic Design for General-purpose Sensor Network Nodes - Position Paper.
Proceedings of the ENASE 2010, 2010

2009
Communications: recent topic trends at the annual SAICSIT symposium.
South Afr. Comput. J., 2009

2008
Letter: CS, IS, history, and the unity of science.
South Afr. Comput. J., 2008

Festschrift at the Occasion of the 60<sup>th</sup> Birthday of Derrick G. Kourie.
South Afr. Comput. J., 2008

Letter to the editor: 40 years after Garmisch.
South Afr. Comput. J., 2008

Comments on 'How Would You Know If You Synthesized A Thinking Thing'.
Minds Mach., 2008

Informatics for Historians: Tools for Medieval Document XML Markup, and their Impact on the History-Sciences.
J. Univers. Comput. Sci., 2008

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

Graph Transformation Model of a Triangulated Network of Mobile Units.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Mobile Agents Implementing Local Computations in Graphs.
Proceedings of the Graph Transformations, 4th International Conference, 2008

A New CSP Operator for Optional Parallelism.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
Letter to the editor: What is Informatics?
South Afr. Comput. J., 2007

How big is your IT department?
South Afr. Comput. J., 2007

Agile software development: a contemporary philosophical perspective.
Proceedings of the 2007 Annual Conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, 2007

Assessment of a framework to compare software development methodologies.
Proceedings of the 2007 Annual Conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, 2007

New specialist tools for medieval document XML markup.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2006
Aspect-Oriented Programming for a distributed framework.
South Afr. Comput. J., 2006

Editorial message.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

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

Report on SAC-SE-2005 : communication.
South Afr. Comput. J., 2005

Tool support for plagiarism detection in text documents.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Editorial message: special track on software engineering: methods, practices, and tools.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

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

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

Special Issue on Software Engineering: Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003.
Inf. Softw. Technol., 2004

Editorial message: special track on software engineering: applications, practices, and tools.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

2003
Model-Based Approaches for Validating Business Critical Systems.
Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

Software Engineering Track Editorial.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

2002
Abstract Partial Deduction Challenged.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

2001
Visualization of Distributed Algorithms Based on Graph Relabelling Systems.
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

A Distributed Algorithm for Computing a Spanning Tree in Anonymous Tprime Graph.
Proceedings of the Procedings of the 5th International Conference on Principles of Distributed Systems. OPODIS 2001, 2001

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking.
Proceedings of the Logic Based Program Synthesis and Transformation, 2001

2000
A Visual Modeling Technique for Controlling Graph Transformation.
Proceedings of the ICALP Workshops 2000, 2000

Diagrammatic Control of Diagrammatic Structure Generation.
Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

1999
A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Data Modeling.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

Eine schematische und grammatische Korrespondenzmethode zur Spezifikation konsistent verteilter Datenmodelle.
Berichte aus der Informatik, Shaker, ISBN: 978-3-8265-6573-1, 1999

1997
Integration Tools Supporting Development Processes.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997


  Loading...