Stefan Gruner
Stefan Gruner
ORCID: 0000-0001-6008-6123
Verified email at cs.up.ac.za - Homepage
TitleCited byYear
Tool Support for Plagiarism Detection in Text Documents
S Gruner, S Naven
Proceedings SAC'05: Symposium on Applied Computing, 776-781, 2005
542005
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
302007
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
28*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
232008
Model-based trace-checking
Y Howard, S Gruner, A Gravell, C Ferreira, JC Augusto
arXiv preprint arXiv:1111.2825, 2011
182011
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
172005
Abstract Conjunctive Partial Deduction using Regular Types and its Application to Model Checking
M Leuschel, S Gruner
LNCS 2372, 91-110, 2002
172002
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
152008
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
152000
Problems for a Philosophy of Software Engineering
S Gruner
Minds and Machines 21 (2), 275-299, 2011
142011
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
132007
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
132001
Mobile Agent Systems and Cellular Automata
S Gruner
Autonomous Agents and Multi-Agent Systems 20 (2), 198-233, 2010
122010
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
12*1999
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
112011
On the Scientific Maturity of Digital Forensics Research
M Olivier, S Gruner
Advances in Digital Forensics IX: IFIP Advances in Information and …, 2013
102013
Mobile Agents implementing Local Computations in Graphs
B Derbel, M Mosbah, S Gruner
LNCS 5214, 99-114, 2008
92008
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
8*2008
Notions of 'Hypothesis' in Digital Forensics
S Tewelde, S Gruner, M Olivier
11th Annual IFIP WG 11.9 International Conference on Digital Forensics …, 2015
72015
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
72010
The system can't perform the operation now. Try again later.
Articles 1–20