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 |