Stefan Gruner

	2011
52		Alexander Paar, Stefan Gruner: Static typing with value space-based subtyping. SAICSIT Conf. 2011: 177-186
51		Fritz Solms, Craig Edwards, Alexander Paar, Stefan Gruner: A domain-specific language for URDAD based requirements elicitation. SAICSIT Conf. 2011: 224-230
50		Mushtaq Ahmad, Nazim Rahman, Stefan Gruner: A phonetic approach to handling spelling variations in medieval documents. SAICSIT Conf. 2011: 263-266
49		Fritz Solms, Stefan Gruner, Cuen Edwards: URDAD as a Quality-Driven Analysis and Design Process. SoMeT 2011: 141-158
48		Stefan Gruner: Editorial: special section on formal plus agile methods. ACM SIGSOFT Software Engineering Notes 36(4): 26 (2011)
47		Y. Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto: Model-Based Trace-Checking CoRR abs/1111.2825: (2011)
46		Andrew M. Gravell, Y. Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner: Concurrent Development of Model and Implementation CoRR abs/1111.2826: (2011)
45		Stefan Gruner: Problems for a Philosophy of Software Engineering. Minds and Machines 21(2): 275-299 (2011)
44		Antonio Cerone, Stefan Gruner: Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008. Software and System Modeling 10(2): 143-145 (2011)
43		Stefan Gruner, Johan Van Zyl: Software testing in small IT companies: a (not only) South African problem. South African Computer Journal 47: 7-32 (2011)
	2010
42		Stefan Gruner, Bernhard Rumpe: FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy) GI 2010
41		Stefan Gruner: Towards a Generic Design for General-purpose Sensor Network Nodes - Position Paper. ENASE 2010: 259-264
40		Kurt Geihs, Stefan Gruner, Kay Römer: SESENA 2010: Workshop on Software Engineering for Sensor Network Applications. ICSE (2) 2010: 443-444
39		Kurt Geihs, Stefan Gruner, Kay Römer: Report about 1st ICSE workshop on software engineering for sensor network applications (SESENA 2010). ACM SIGSOFT Software Engineering Notes 35(5): 34-37 (2010)
38		Stefan Gruner: Mobile agent systems and cellular automata. Autonomous Agents and Multi-Agent Systems 20(2): 198-233 (2010)
37		Stefan Gruner: FM+AM'09: workshop on formal methods and agile methods - Editorial preface and foreword. ISSE 6(1-2): 135-136 (2010)
36		Stefan Gruner, T. J. Steyn: Deadlock-freeness of hexagonal systolic arrays. Inf. Process. Lett. 110(14-15): 539-543 (2010)
	2009
35		Stefan Gruner: Communications: recent topic trends at the annual SAICSIT symposium. South African Computer Journal 44: 92-93 (2009)
	2008
34		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
33		Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson: A New CSP Operator for Optional Parallelism. CSSE (2) 2008: 788-791
32		Bilel Derbel, Mohamed Mosbah, Stefan Gruner: Mobile Agents Implementing Local Computations in Graphs. ICGT 2008: 99-114
31		Stefan Gruner: Graph Transformation Model of a Triangulated Network of Mobile Units. ECEASST 10: (2008)
30		Stefan Gruner: From use cases to test cases via meta model-based reasoning. ISSE 4(3): 223-231 (2008)
29		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)
28		Stefan Gruner: Comments on 'How Would You Know If You Synthesized A Thinking Thing'. Minds and Machines 18(1): 107-120 (2008)
27		Stefan Gruner: Letter to the editor: 40 years after Garmisch. South African Computer Journal 40: 95-96 (2008)
26		Stefan Gruner: Festschrift at the Occasion of the 60th Birthday of Derrick G. Kourie. South African Computer Journal 41: 1 (2008)
25		Stefan Gruner: Letter: CS, IS, history, and the unity of science. South African Computer Journal 42: 95-96 (2008)
	2007
24		Georg Vogeler, Stefan Gruner, Benjamin Burkard: New specialist tools for medieval document XML markup. SAC 2007: 594-599
23		Mandy Northover, Alan Northover, Stefan Gruner, Derrick G. Kourie, Andrew Boake: Agile software development: a contemporary philosophical perspective. SAICSIT Conf. 2007: 106-115
22		Riaan Klopper, Stefan Gruner, Derrick G. Kourie: Assessment of a framework to compare software development methodologies. SAICSIT Conf. 2007: 56-65
21		Stefan Gruner: How big is your IT department? South African Computer Journal 38: 62-63 (2007)
20		Stefan Gruner: Letter to the editor: What is Informatics? South African Computer Journal 39: 54-55 (2007)
	2006
19		Stefan Gruner, Sung Shin: Editorial message. SAC 2006: 1711-1712
18		Sasa Subotic, Judith Bishop, Stefan Gruner: Aspect-Oriented Programming for a distributed framework. South African Computer Journal 37: 81-89 (2006)
	2005
17		Stefan Gruner, Alessandra Cavarra, Sung Shin: Editorial message: special track on software engineering: methods, practices, and tools. SAC 2005: 1454-1455
16		Stefan Gruner, Stuart Naven: Tool support for plagiarism detection in text documents. SAC 2005: 776-781
15		Stefan Gruner: Report on SAC-SE-2005 : communication. South African Computer Journal 34: 85-86 (2005)
	2004
14		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
13		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)
12		Stefan Gruner: YASEVITCH? (Yet Another Software Event Vigorously Inclined Towards Cloudy Heights). South African Computer Journal 32: 1-2 (2004)
	2003
11		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
10		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
9		Stefan Gruner: Abstract Partial Deduction Challenged. LOPSTR 2002: 258-259
	2001
8		Michael Leuschel, Stefan Gruner: Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. LOPSTR 2001: 91-110
7		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
6		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): 227-237 (2001)
	2000
5		Stefan Gruner, Murat Kurt: Diagrammatic Control of Diagrammatic Structure Generation. Diagrams 2000: 422-436
4		Stefan Gruner, Murat Kurt, Gabriele Taentzer: A Visual Modeling Technique for Controlling Graph Transformation. ICALP Satellite Workshops 2000: 435-442
	1999
3		Stefan Gruner: Eine schematische und grammatische Korrespondenzmethode zur Spezifikation konsistent verteilter Datenmodelle. Shaker 1999: 1-220
2		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

Coauthor Index

1	Mushtaq Ahmad	[50]
2	Juan Carlos Augusto	[10] [46] [47]
3	Michel Bauderon	[6]
4	Judith Bishop (Judith Mary Bishop, Judy M. Bishop)	[18]
5	Andrew Boake	[23]
6	Benjamin Burkard	[24] [29]
7	Alessandra Cavarra	[17]
8	Antonio Cerone	[34] [44]
9	Chia-Chu Chiang	[11] [13] [14]
10	Bilel Derbel	[32]
11	Craig Edwards	[51]
12	Cuen Edwards	[49]
13	Ibrahim K. El-Far	[11] [13] [14]
14	Carla Ferreira	[10] [46] [47]
15	Kurt Geihs	[39] [40]
16	Andrew M. Gravell	[10] [46] [47]
17	Y. Howard	[10] [46] [47]
18	Riaan Klopper	[22]
19	Derrick G. Kourie	[22] [23] [33]
20	Murat Kurt	[4] [5]
21	Michael Leuschel	[8] [10]
22	Yves Métivier	[6] [7]
23	Markus Montigel	[11] [13] [14]
24	Mohamed Mosbah	[6] [7] [32]
25	Manfred Nagl	[1]
26	Stuart Naven	[16]
27	Alan Northover	[23]
28	Mandy Northover	[23]
29	Alexander Paar	[51] [52]
30	Nazim Rahman	[50]
31	Markus Roggenbach	[33]
32	Kay Römer	[39] [40]
33	Bernhard Rumpe	[42]
34	Andy Schürr	[1]
35	Afif Sellami	[6]
36	Sung Shin	[17] [19]
37	Fritz Solms	[49] [51]
38	T. J. Steyn	[36]
39	Tinus Strauss	[33]
40	Sasa Subotic	[18]
41	Gabriele Taentzer	[4]
42	Herbert H. Thompson	[11] [13] [14]
43	Georg Vogeler	[24] [29]
44	Pierre-André Wacrenier	[7]
45	Bruce W. Watson	[33]
46	James A. Whittaker	[11] [13]
47	Johan Van Zyl	[43]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page