Följ
Stefan Gruner
Stefan Gruner
ORCID: 0000-0001-6008-6123
Verifierad e-postadress på cs.up.ac.za - Startsida
Titel
Citeras av
Citeras av
År
Tool Support for Plagiarism Detection in Text Documents
S Gruner, S Naven
Proceedings SAC'05: Symposium on Applied Computing, 776-781, 2005
712005
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
452007
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
372008
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
33*2001
Problems for a Philosophy of Software Engineering
S Gruner
Minds and Machines 21 (2), 275-299, 2011
282011
Model-Based Trace-Checking
Y Howard, S Gruner, A Gravell, C Ferreira, JC Augusto
Proceedings SoftTest UK Testing Research II Workshop on Software Testing, 2003
26*2003
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
242008
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
212005
Abstract Conjunctive Partial Deduction using Regular Types and its Application to Model Checking
M Leuschel, S Gruner
LNCS 2372, 91-110, 2002
192002
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
172011
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
172007
Modelling Ad Hoc On-Demand Distance Vector (AODV) Protocol with Timed Automata. Technical Report DSSE-TR-2003-2
S Chiyangwa, M Kwiatkowska, M Leuschel, S Gruner, SL Presti
3rd Workshop on Automated Verification of Critical Systems, 2003
162003
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
16*2000
Mobile Agent Systems and Cellular Automata
S Gruner
Autonomous Agents and Multi-Agent Systems 20 (2), 198-233, 2010
152010
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
13*1999
On the Scientific Maturity of Digital Forensics Research
M Olivier, S Gruner
Advances in Digital Forensics IX: IFIP Advances in Information and …, 2013
122013
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
122001
Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-Agent Systems
R de Masellis, V Goranko, S Gruner, N Timm
EUMAS`2018: 16th European Conference on Multi-Agent Systems, 30-47, 2019
102019
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
102016
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
10*2008
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20