Stefan Gruner
Stefan Gruner
ORCID: 0000-0001-6008-6123
Verified email at - Homepage
Cited by
Cited by
Tool Support for Plagiarism Detection in Text Documents
S Gruner, S Naven
Proceedings SAC'05: Symposium on Applied Computing, 776-781, 2005
Visualisation of Distributed Algorithms based on Graph Relabelling Systems
M Bauderon, S Gruner, Y Métivier, M Mosbah, A Sellami
ENTCS 50 (3), 227-237, 2001
Towards a Philosophy of Software Development: 40 Years after the Birth of Software Engineering
M Northover, DG Kourie, A Boake, S Gruner, A Northover
Journal for General Philosophy of Science 39 (1), 85-113, 2008
Assessment of a Framework to Compare Software Development Methodologies
R Klopper, S Gruner, DG Kourie
Proceedings SAICSIT'07: ACM International Conference Proceeding Series 226 …, 2007
Problems for a Philosophy of Software Engineering
S Gruner
Minds and Machines 21 (2), 275-299, 2011
Informatics for Historians: Tools for Medieval Document XML Markup, and their Impact on the History Sciences
B Burkard, G Vogeler, S Gruner
Journal of Universal Computer Science 14 (2), 193-210, 2008
Model-based trace-checking
Y Howard, S Gruner, A Gravell, C Ferreira, JC Augusto
arXiv preprint arXiv:1111.2825, 2011
A New Tool for the Simulation and Visualisation of Distributed Algorithms
M Bauderon, S Gruner, M Mosbah
Dagstuhl Seminar 00411 on Semi-Formal and Formal Specification Techniques …, 2000
Abstract Conjunctive Partial Deduction using Regular Types and its Application to Model Checking
M Leuschel, S Gruner
LNCS 2372, 91-110, 2002
Extending CSP Prover by Deadlock Analysis: Towards the Verification of Systolic Arrays
Y Isobe, M Roggenbach, S Gruner
Proceedings FOSE 2005: 12th Japanese Workshop on Foundations of Software …, 2005
Software Testing in Small IT Companies - a (not only) South African Problem
S Gruner, J van Zyl
South African Computer Journal 47, 7-32, 2011
Mobile Agent Systems and Cellular Automata
S Gruner
Autonomous Agents and Multi-Agent Systems 20 (2), 198-233, 2010
Agile Software Development: A Contemporary Philosophical Perspective
M Northover, A Northover, S Gruner, DG Kourie, A Boake
Proceedings SAICSIT'07: ACM International Conference Proceeding Series 226 …, 2007
A Distributed Algorithm for Computing a Spanning Tree in Anonymous T-Prime Graphs
Y Metivier, M Mosbah, P Wacrenier, S Gruner
Proceedings OPODIS'2001: 5th International Conference on Principles of …, 2001
Graph Transformation based Integration Tools: Application to Chemical Process Engineering
K Cremer, S Gruner, M Nagl
Handbook of graph grammars and computing by graph transformation 2, 369-394, 1999
On the Scientific Maturity of Digital Forensics Research
M Olivier, S Gruner
Advances in Digital Forensics IX: IFIP Advances in Information and …, 2013
Aspect-Oriented Programming for a Distributed Framework
S Subotic, J Bishop, S Gruner
South African Computer Journal 37, 81-89, 2006
Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge
S Gruner, A Kumar, T Maibaum
Fourth International Workshop on Formal Techniques for Safety-Critical …, 2016
Mobile Agents implementing Local Computations in Graphs
B Derbel, M Mosbah, S Gruner
LNCS 5214, 99-114, 2008
Model-Based Approaches for Validating Business Critical Systems
JC Augusto, Y Howard, A Gravell, C Ferreira, S Gruner, M Leuschel
Proceedings STEP'04: 11th Annual International Workshop on Software …, 2004
The system can't perform the operation now. Try again later.
Articles 1–20