Stefan Gruner

Stefan Gruner: Eric Winsberg: Science in the Age of Computer Simulation - The University of Chicago Press, Chicago, IL, 2010, 168 pp., $ 24.00 (paper), ISBN: 978-0-226-90204-3. Minds and Machines 23(2): 251-254 (2013)

Mushtaq Ahmad, Stefan Gruner, Muhammad Tanvir Afzal: Computational Analysis of Medieval Manuscripts: A New Tool for Analysis and Mapping of Medieval Documents to Modern Orthography. J. UCS 18(20): 2750-2770 (2012)

Stefan Gruner, Bernhard Rumpe: FormSERA workshop on formal methods in software engineering rigorous and agile approaches: 2nd of june 2012 at ICSE'2012 in Zürich (CH). ACM SIGSOFT Software Engineering Notes 37(6): 28-30 (2012)

Stefan Gruner: Problems for a Philosophy of Software Engineering. Minds and Machines 21(2): 275-299 (2011)

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)

Stefan Gruner: Editorial: special section on formal plus agile methods. ACM SIGSOFT Software Engineering Notes 36(4): 26 (2011)

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)

Alexander Paar, Stefan Gruner: Static typing with value space-based subtyping. SAICSIT Conf. 2011: 177-186

Fritz Solms, Craig Edwards, Alexander Paar, Stefan Gruner: A domain-specific language for URDAD based requirements elicitation. SAICSIT Conf. 2011: 224-230

Mushtaq Ahmad, Nazim Rahman, Stefan Gruner: A phonetic approach to handling spelling variations in medieval documents. SAICSIT Conf. 2011: 263-266

Fritz Solms, Stefan Gruner, Cuen Edwards: URDAD as a Quality-Driven Analysis and Design Process. SoMeT 2011: 141-158

Y. Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto: Model-Based Trace-Checking. CoRR abs/1111.2825 (2011)

Andrew M. Gravell, Y. Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner: Concurrent Development of Model and Implementation. CoRR abs/1111.2826 (2011)

Stefan Gruner: Mobile agent systems and cellular automata. Autonomous Agents and Multi-Agent Systems 20(2): 198-233 (2010)

Stefan Gruner, T. J. Steyn: Deadlock-freeness of hexagonal systolic arrays. Inf. Process. Lett. 110(14-15): 539-543 (2010)

Stefan Gruner: FM+AM'09: workshop on formal methods and agile methods - Editorial preface and foreword. ISSE 6(1-2): 135-136 (2010)

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)

Stefan Gruner: Towards a Generic Design for General-purpose Sensor Network Nodes - Position Paper. ENASE 2010: 259-264

Kurt Geihs, Stefan Gruner, Kay Römer: SESENA 2010: Workshop on Software Engineering for Sensor Network Applications. ICSE (2) 2010: 443-444

Stefan Gruner, Bernhard Rumpe (Eds.): FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy). LNI 179, GI 2010, isbn 978-3-88579-273-4

Stefan Gruner: Communications: recent topic trends at the annual SAICSIT symposium. South African Computer Journal 44: 92-93 (2009)

Stefan Gruner: Graph Transformation Model of a Triangulated Network of Mobile Units. ECEASST 10 (2008)

Stefan Gruner: From use cases to test cases via meta model-based reasoning. ISSE 4(3): 223-231 (2008)

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)

Stefan Gruner: Comments on 'How Would You Know If You Synthesized A Thinking Thing'. Minds and Machines 18(1): 107-120 (2008)

Stefan Gruner: Letter to the editor: 40 years after Garmisch. South African Computer Journal 40: 95-96 (2008)

Stefan Gruner: Festschrift at the Occasion of the 60^th Birthday of Derrick G. Kourie. South African Computer Journal 41: 1 (2008)

Stefan Gruner: Letter: CS, IS, history, and the unity of science. South African Computer Journal 42: 95-96 (2008)

Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson: A New CSP Operator for Optional Parallelism. CSSE (2) 2008: 788-791

Bilel Derbel, Mohamed Mosbah, Stefan Gruner: Mobile Agents Implementing Local Computations in Graphs. ICGT 2008: 99-114

Antonio Cerone, Stefan Gruner (Eds.): Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008. IEEE Computer Society 2008, isbn 978-0-7695-3437-4

Stefan Gruner: How big is your IT department? South African Computer Journal 38: 62-63 (2007)

Stefan Gruner: Letter to the editor: What is Informatics? South African Computer Journal 39: 54-55 (2007)

Georg Vogeler, Stefan Gruner, Benjamin Burkard: New specialist tools for medieval document XML markup. SAC 2007: 594-599

Riaan Klopper, Stefan Gruner, Derrick G. Kourie: Assessment of a framework to compare software development methodologies. SAICSIT Conf. 2007: 56-65

Mandy Northover, Alan Northover, Stefan Gruner, Derrick G. Kourie, Andrew Boake: Agile software development: a contemporary philosophical perspective. SAICSIT Conf. 2007: 106-115

Sasa Subotic, Judith Bishop, Stefan Gruner: Aspect-Oriented Programming for a distributed framework. South African Computer Journal 37: 81-89 (2006)

Stefan Gruner, Sung Shin: Editorial message. SAC 2006: 1711-1712

Stefan Gruner: Report on SAC-SE-2005 : communication. South African Computer Journal 34: 85-86 (2005)

Stefan Gruner: Bericht zum SAC-SE-05 Software Engineering Track beim 20. ACM-SAC Symposium "Applied Computing", Santa Fe, Neumexiko (USA), März 2005. Softwaretechnik-Trends 25(2) (2005)

Stefan Gruner, Stuart Naven: Tool support for plagiarism detection in text documents. SAC 2005: 776-781

Stefan Gruner, Alessandra Cavarra, Sung Shin: Editorial message: special track on software engineering: methods, practices, and tools. SAC 2005: 1454-1455

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)

Stefan Gruner: YASEVITCH? (Yet Another Software Event Vigorously Inclined Towards Cloudy Heights). South African Computer Journal 32: 1-2 (2004)

Stefan Gruner: Bericht zum 19. ACM-SAC Symposium "Applied Computing" vom 14. bis 17. März 2004 in Nicosia, Zypern. Softwaretechnik-Trends 24(2) (2004)

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

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

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

Stefan Gruner: Abstract Partial Deduction Challenged. LOPSTR 2002: 258-259

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)

Michael Leuschel, Stefan Gruner: Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. LOPSTR 2001: 91-110

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

Stefan Gruner, Murat Kurt: Diagrammatic Control of Diagrammatic Structure Generation. Diagrams 2000: 422-436

Stefan Gruner, Murat Kurt, Gabriele Taentzer: A Visual Modeling Technique for Controlling Graph Transformation. ICALP Satellite Workshops 2000: 435-442

Stefan Gruner: Eine schematische und grammatische Korrespondenzmethode zur Spezifikation konsistent verteilter Datenmodelle. Berichte aus der Informatik, Shaker 1999, isbn 978-3-8265-6573-1, pp. 1-220

Stefan Gruner: A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Data Modeling. AGTIVE 1999: 247-254

Stefan Gruner, Manfred Nagl, Andy Schürr: Integration Tools Supporting Development Processes. Requirements Targeting Software and Systems Engineering 1997: 235-256