| 2008 |
| 25 | | Antonio Cerone,
Stefan Gruner:
Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008
IEEE Computer Society 2008 |
| 24 | EE | Stefan Gruner,
Derrick G. Kourie,
Markus Roggenbach,
Tinus Strauss,
Bruce W. Watson:
A New CSP Operator for Optional Parallelism.
CSSE (2) 2008: 788-791 |
| 23 | EE | Bilel Derbel,
Mohamed Mosbah,
Stefan Gruner:
Mobile Agents Implementing Local Computations in Graphs.
ICGT 2008: 99-114 |
| 22 | EE | Stefan Gruner:
Graph Transformation Model of a Triangulated Network of Mobile Units.
ECEASST 10: (2008) |
| 21 | | Benjamin Burkard,
Georg Vogeler,
Stefan Gruner:
Informatics for Historians: Tools for Medieval Document XML Markup, and their Impact on the History-Sciences.
J. UCS 14(2): 193-210 (2008) |
| 2007 |
| 20 | EE | Georg Vogeler,
Stefan Gruner,
Benjamin Burkard:
New specialist tools for medieval document XML markup.
SAC 2007: 594-599 |
| 19 | EE | Mandy Northover,
Alan Northover,
Stefan Gruner,
Derrick G. Kourie,
Andrew Boake:
Agile software development: a contemporary philosophical perspective.
SAICSIT Conf. 2007: 106-115 |
| 18 | EE | Riaan Klopper,
Stefan Gruner,
Derrick G. Kourie:
Assessment of a framework to compare software development methodologies.
SAICSIT Conf. 2007: 56-65 |
| 2006 |
| 17 | EE | Stefan Gruner,
Sung Shin:
Editorial message.
SAC 2006: 1711-1712 |
| 2005 |
| 16 | EE | Stefan Gruner,
Alessandra Cavarra,
Sung Shin:
Editorial message: special track on software engineering: methods, practices, and tools.
SAC 2005: 1454-1455 |
| 15 | EE | Stefan Gruner,
Stuart Naven:
Tool support for plagiarism detection in text documents.
SAC 2005: 776-781 |
| 14 | | Stefan Gruner:
Report on SAC-SE-2005 : communication.
South African Computer Journal 34: 85-86 (2005) |
| 2004 |
| 13 | EE | Ibrahim K. El-Far,
Chia-Chu Chiang,
Stefan Gruner,
Markus Montigel,
Herbert H. Thompson:
Editorial message: special track on software engineering: applications, practices, and tools.
SAC 2004: 1511-1512 |
| 12 | EE | Herbert H. Thompson,
Chia-Chu Chiang,
Ibrahim K. El-Far,
Stefan Gruner,
Markus Montigel,
James A. Whittaker:
Special Issue on Software Engineering: Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003.
Information & Software Technology 46(5): 279-280 (2004) |
| 11 | | Stefan Gruner:
YASEVITCH? (Yet Another Software Event Vigorously Inclined Towards Cloudy Heights).
South African Computer Journal 32: 1-2 (2004) |
| 2003 |
| 10 | | Herbert H. Thompson,
Chia-Chu Chiang,
Ibrahim K. El-Far,
Stefan Gruner,
Markus Montigel,
James A. Whittaker:
Software Engineering Track Editorial.
SAC 2003: 1076-1077 |
| 9 | EE | Juan Carlos Augusto,
Y. Howard,
Andrew M. Gravell,
Carla Ferreira,
Stefan Gruner,
Michael Leuschel:
Model-Based Approaches for Validating Business Critical Systems.
STEP 2003: 225-233 |
| 2002 |
| 8 | EE | Stefan Gruner:
Abstract Partial Deduction Challenged.
LOPSTR 2002: 258-259 |
| 2001 |
| 7 | EE | Michael Leuschel,
Stefan Gruner:
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking.
LOPSTR 2001: 91-110 |
| 6 | | Yves Métivier,
Mohamed Mosbah,
Pierre-André Wacrenier,
Stefan Gruner:
A Distributed Algorithm for Computing a Spanning Tree in Anonymous Tprime Graph.
OPODIS 2001: 141-158 |
| 5 | EE | Michel Bauderon,
Stefan Gruner,
Yves Métivier,
Mohamed Mosbah,
Afif Sellami:
Visualization of Distributed Algorithms Based on Graph Relabelling Systems.
Electr. Notes Theor. Comput. Sci. 50(3): (2001) |
| 2000 |
| 4 | EE | Stefan Gruner,
Murat Kurt:
Diagrammatic Control of Diagrammatic Structure Generation.
Diagrams 2000: 422-436 |
| 3 | | Stefan Gruner,
Murat Kurt,
Gabriele Taentzer:
A Visual Modeling Technique for Controlling Graph Transformation.
ICALP Satellite Workshops 2000: 435-442 |
| 1999 |
| 2 | EE | Stefan Gruner:
A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Data Modeling.
AGTIVE 1999: 247-254 |
| 1997 |
| 1 | | Stefan Gruner,
Manfred Nagl,
Andy Schürr:
Integration Tools Supporting Development Processes.
Requirements Targeting Software and Systems Engineering 1997: 235-256 |