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
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
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
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
Model-based trace-checking
Y Howard, S Gruner, A Gravell, C Ferreira, JC Augusto
arXiv preprint arXiv:1111.2825, 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
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
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
Abstract Conjunctive Partial Deduction using Regular Types and its Application to Model Checking
M Leuschel, S Gruner
LNCS 2372, 91-110, 2002
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
Mobile Agents implementing Local Computations in Graphs
B Derbel, M Mosbah, S Gruner
LNCS 5214, 99-114, 2008
Software Engineering Between Technics and Science: Recent Discussions about the Foundations and the Scientificness of a Rising Discipline
S Gruner
Journal for General Philosophy of Science 41 (1), 237-260, 2010
A New CSP Operator for Optional Parallelism
M Roggenbach, S Gruner, DG Kourie, T Strauss, BW Watson
Computer Science and Software Engineering, 2008 International Conference on …, 2008
The system can't perform the operation now. Try again later.
Articles 1–20