STEFAN GRUNER's Private Homepage

Quo facto quando orientur controversiae, non magis disputatione opus erit inter duos philosophos quam inter duos computistas. Sufficiet enim calamos in manus sumere, sedereque ad abacos et sibi mutuo (accito si placet amico) dicere: "c a l c u l e m u s !"
- Gottfried Wilhelm Leibniz, 1646-1716

[most recent update: 09/09/09]

Stefan Gruner: Publications

Gruner: Mobile Agent Systems and Cellular Automata. [Online version is published. Printed version with Volume and Issue number to appear:] Journal for Autonomous Agents and Multi-Agent Systems (JAAMAS), Springer-Verlag.
Jivan/Gruner: Tool Support for More Precise Use Case Specifications. Proc. WUP/ISS'09 Warm-Up Workshop for ACM/IEEE ICSE 2010, pp.29-32, Capetown-Strand (ZA), April 2009. ACM-ISBN: 978-1-60558-565-9.
Gruner: CS, IS, History, and the Unity of Science. South-African Computer Journal / Suid Afrikaanse Rekenaar Tydskrif 42, pp.95-96, Rekenaar Vereniging van Suid Afrika, Sabinet Publ., Dec 2008. [Note: non-refereed Letter to the Editor]
Gruner (guest-ed.): Festschrift at the Occasion of the 60th Birthday of Derrick G. Kourie: Revised Papers. South-African Computer Journal / Suid Afrikaanse Rekenaar Tydskrif 41, Rekenaar Vereniging van Suid Afrika, Sabinet Publ., Dec 2008.
Gruner: New Book by Judith Bishop. Innovate Magazine (ISSN 1814-443X), Issue 3, p.106, Pretoria, January 2009. [Note: non-refereed book review]
Gruner: Current Trends in Informatics - An International Book Review. Innovate Magazine (ISSN 1814-443X), Issue 3, pp. 104-105, Pretoria, January 2009. [Note: non-refereed book review]
Gruner: Role Model for Young Researchers - Markus Roggenbach visited UP's Computer Science Department. Innovate Magazine (ISSN 1814-443X), Issue 3, pp. 48-49, Pretoria, January 2009. [Note: non-refereed popular feature]
Gruner: Innovation in Ethics follows Innovation in Technology. Innovate Magazine (ISSN 1814-443X), Issue 3, pp. 16-23, Pretoria, January 2009. [Note: non-refereed popular feature]
Kourie/Strauss/Gruner/Roggenbach/Watson: A New CSP Operator for Optional Parallelism. CSSE'08 Conference on Computer Science and Software Engineering, Vol. 2, pp. 788-791, Wuhan (China). Published by IEEE, December 2008.
Cerone/Gruner (Eds.): SEFM 2008 Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods. Capetown (ZA), November 2008. Information to be updated as soon as possible ==> A special issue of the journal SoSyM is in preparation, with selected publications (revised post- proceedings) from that conference.
Gruner: From Use-Cases to Test-Cases via Meta-Model-based Reasoning. ICFEM-affiliated Workshop UML+FM'08 on the Unified Modeling Language and Formal Methods, Kitakyushu (JP). Published in Innovations in Systems and Software Engineering: A NASA Journal, Vol.4 No.3, pp.223-231, Springer-Verlag, October 2008.
Gruner: New Ethics of Technology - A Discourse in Germany in the 1990s. Paper presented to the Annual Conference of the Philosophical Society of Southern Africa, Pretoria, 16-18 January 2008. Published at UPSpace by the Philosophical Society of Southern Africa (PSSA), October 2008.
Northover/Kourie/Boake/Gruner/Northover: Towards a Philosophy of Software Development: 40 Years after the Birth of Software Engineering. DOI: 10.1007/s10838-008-9068-7, Journal for General Philosophy of Science / Zeitschrift für allgemeine Wissenschaftstheorie 39/1, pp. 85-113, Springer Verlag, October 2008.
Derbel/Mosbah/Gruner: Mobile Agents implementing Local Computations in Graphs. Proc. ICGT'08: 4th International Conference on Graph Transformation, Leicester (GB). LNCS 5214, pp.99-114, Springer Verlag, Berlin (D), September 2008.
Gruner: Graph Transformation Model of a Triangulated Network of Mobile Units. GT-VMT-08 International Workshop on Graph Transformation and Visual Modeling Techniques, pp.319-331, Budapest (H), 29-30 March 2008. Revised Version [Post-Proceedings] in EC-EASST 10, ISSN:1863-2122, July 2008.
Gruner: 40 Years after Garmisch. South-African Computer Journal / Suid Afrikaanse Rekenaar Tydskrif 40, pp.95-96, Rekenaar Vereniging van Suid Afrika, Sabinet Publ., June 2008. [Note: Non-Refereed Opinion-Letter, about the state of affairs 40 Years after the NATO Science Conference 1968 at which Software Engineering was brought into existence]
Gruner/Watson (Eds.): From Operations Research to Software Engineering and Beyond: Colloquium and Festschrift at the Occasion of the 60th Birthday of Derrick Kourie. Technical Report: Universiteit van Pretoria (ZA), June 2008.
Gruner: Musings about Text Redundancy and Text Compression [Note: Non-Reviewed Preliminary Version]. In Gruner/Watson (Eds.): Colloquium and Festschrift at the Occasion of the 60th Birthday of Derrick Kourie. Technical Report, Pretoria (ZA), June 2008.
Gruner: Comments on 'How Would You Know If You Synthesized A Thinking Thing'. Minds and Machines 18/1, pp. 107-120, Springer-Verlag, 2008. ISSN: 0924-6495.
Burkard/Vogeler/Gruner: Informatics for Historians: Tools for Medieval Document XML Markup, and their Impact on the History Sciences. Journal of Universal Computer Science 14/2, pp.193-210, 2008. ISSN: 0948-9968.
Gruner: What is Informatics? South-African Computer Journal / Suid Afrikaanse Rekenaar Tydskrif 39, pp.54-55, Rekenaar Vereniging van Suid Afrika, Sabinet Publ., December 2007. [Note: Non-Refereed Opinion-Letter]
Klopper/Gruner/Kourie: Assessment of a Framework to Compare Software Development Methodologies. Proc. SAICSIT'07, pp.56-65, Eastern Cape (ZA). ACM International Conference Proceeding Series Vol. 226, October 2007.
Northover/Northover/Gruner/Kourie/Boake: Agile Software Development: A Contemporary Philosophical Perspective. Proc. SAICSIT'07, Eastern Cape (ZA). ACM International Conference Proceeding Series Vol. 226, October 2007.
Northover/Northover/Gruner/Kourie/Boake: Extreme Programming: A Kuhnian Revolution? ICCS'07 15th International Workshop on Conceptual Structures, pp.199-204, Sheffield (GB), July 2007. Springer Verlag, ISBN: 978-1-84628-990-3.
Gruner: How Big is your IT Department? South-African Computer Journal / Suid Afrikaanse Rekenaar Tydskrif 38, pp.62-63, Rekenaar Vereniging van Suid Afrika, Sabinet Publ., June 2007. [Note: Non-Refereed Opinion-Letter, about the notorious Eating-our-Seedcorn Problem]
Gruner: The Path to Innovation. Last Word Column: Innovate Magazine, Issue 2, p.96, Pretoria, June 2007. [Note: Non-Refereed Opinion-Column, about Feyerabendianism in Software Engineering]
Vogeler/Gruner/Burkard: New Specialist Tools for Medieval Document XML Markup. Document Engineering Track, Proc. SAC'07 Annual ACM Symposium on Applied Computing, Vol.1, pp.594-599, Seoul (KR), March 2007. Also reported in Innovate Magazine, Issue 2, pp.40-41, Pretoria, June 2007.
Subotic/Bishop/Gruner: Aspect-Oriented Programming for a Distributed Framework. South African Computer Journal / Suid Afrikaanse Rekenaar Tydskrif 37, pp.81-89, Rekenaar Vereniging van Suid Afrika, Sabinet Publ., December 2006.
Gruner: Mobile Agent Systems and Cellular Automata. LABRI Research Report 1400-06, Universite Bordeaux I, April 2006.
Gruner/Shin (Eds.): Editorial Message: Sound Solutions for the 21st Century. SAC'06 Annual ACM Symposium on Applied Computing, pp.1711-1712, Dijon (F), 2006.
Shin/Gruner (Guest-Eds.): Special Issue on Software Engineering and Software Dependability. Journal of Information Science and Engineering 22/2, Taiwan, 2006.
Isobe/Roggenbach/Gruner: Extending CSP Prover by Deadlock Analysis: Towards the Verification of Systolic Arrays. Proceedings of the FOSE 2005 12th Japanese Workshop on Foundations of Software Engineering, (JP), November 2005.
Gruner/Naven: Tool Support for Plagiarism Detection in Text Documents. Document Engineering Track of the SAC'05 Annual ACM Symposium on Applied Computing, Vol.1, pp.776-781, Santa Fe (USA), March 2005.
Cavarra/Gruner/Shin (Eds.): Editorial Message: Special Track on Software Engineering: Methods, Practices, and Tools. SAC'05 Annual ACM Symposium on Applied Computing, Vol.2, pp.1454-1455, Santa Fe (USA), 2005. Also reported in: Gruner, Report on the SAC'2005 SW Engineering Track. Software Engineering Notes 30/3, p.7, ACM SIGSOFT, New York (USA), 2005. [Note: one paper in this track of ours, namely "Marshaling and unmarshaling Models using the Entity-Relationship Model", appeared at Rank 5 of the ACM Digital Library's "Download Top Ten" in October 2006: see Communications of the ACM 50/1, January 2007.]
Gruner (Guest-Ed.): Studia Informatica Universalis 3/3, Editions Suger, Collection Informatique, Paris (F), 2004.
Gruner: YASEVITCH? South-African Computer Journal / Suid Afrikaanse Rekenaar Tydskrif 32, pp.1-2, Rekenaar Vereniging van Suid Afrika, Sabinet Publ., 2004. [Note: Non-Refereed Guest-Editorial]
Chiang/El-Far/Gruner/Montigel/Thompson (Eds.): Editorial Message: Special Track on Software Engineering: Applications, Practices and Tools. SAC'04 Annual ACM Symposium on Applied Computing, Vol.2, pp.1511-1512, Nicosia (CY), March 2004. Reported in German language in: Gruner, Bericht zum 19. ACM-SAC Symposium `Applied Computing' vom 14. bis 17. März 2004 in Nicosia, Zypern. Softwaretechnik-Trends 24/2, pp.82-83, Gesellschaft für Informatik, Bonn (D) Mai 2004. Also reported in: Gruner, Report about the Track `Software Engineering: Applications, Practices and Tools' at the SAC'2004 19th Annual ACM Symposium on Applied Computing. Software Engineering Notes 29/3, pp.3-4, ACM SIGSOFT, New York (USA), 2004.
Chiang/El-Far/Gruner/Montigel/Thompson/Whittaker (Eds.): Special Issue on Software Engineering: Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003. Information and Software Technology 46/5, Elsevier (NL), 2004.
Augusto/Howard/Ferreira/Gravell/Gruner: Concurrent Development of Model and Implementation. ICSSEA'03: 16th International Conference on Software and Systems Engineering and their Applications. Paris (F), December 2003.
Metivier/Mosbah/Wacrenier/Gruner: A Distributed Algorithm for Computing a Spanning Tree in Anonymous T-Prime Graphs. OPODIS'2001 Symposium on Principles of Distributed Systems, Manzanillo (MEX), Post-published in Special Issue Vol.2 HS.2 of Studia Informatica Universalis, pp.141-158, Paris (F), 2003.
Augusto/Howard/Gravell/Ferreira/Gruner/Leuschel: Model-Based Approaches for Validating Business Critical Systems. 11th Annual Internat. Workshop on Softw. Techn. and Eng. Pract., pp.225-233, Amsterdam (NL), IEEE Press, 2003/2004.
Augusto/Ferreira/Gravell/Gruner/Howard: Model-Based Trace Checking. Proceedings SoftTest UK Testing Research II Workshop on Software Testing. Technical Report: York Computer Science Yellow Report Series, York (GB), 2003.
Gruner: Abstract Partial Deduction Challenged. LNCS 2664, pp.258-259, Springer Verlag, Heidelberg (D) 2003.
Leuschel/Gruner/Lo-Presti (Eds.): Proceedings of the 3rd Workshop on Automated Verification of Critical Systems: AVoCS'03. Technical Report: DSSE-TR-2003-2, University of Southampton (GB), 2003.
Thompson/Chiang/El-Far/Gruner/Montigel/Whittaker (Eds.): Editorial Message: Special Track on Software Engineering: Applications, Practices and Tools. SAC'03 Annual ACM Symposium on Applied Computing, pp.1076-1077, Melbourne (USA) 2003. Reported in: Software Engineering Notes 28/2, pp.8-9, ACM Press, 2003. Also reported in German language in: Gruner, Bericht über das SAC'03 18th Annual ACM Symposium on Applied Computing, vom 9. bis 12. März 2003 in Melbourne, Florida, USA. Softwaretechnik-Trends 32/2, pp.56-58, Gesellschaft für Informatik, Bonn (D) 2003.
Leuschel/Gruner: Abstract Conjunctive Partial Deduction using Regular Types and its Application to Model Checking. LNCS 2372, pp.91-110, Springer Verlag, Heidelberg (D) 2002.
Bauderon/Gruner/Metivier/Mosbah/Sellami: Visualization of Distributed Algorithms based on Labelled Graph Rewriting Systems. ENTCS 50/3, pp.227-237, Elsevier (NL) 2001
Bauderon/Gruner/Mosbah: ViSiDiA: a Tool for Visualising and Simulating Distributed Algorithms. Premieres Journees Francophones des Modeles Formels de l'Interaction, Toulouse (F) 2001.
Bauderon/Gruner/Mosbah: A New Tool for the Simulation and Visualisation of Distributed Algorithms. Dagstuhl Seminar 00411 on Semi-Formal and Formal Specification Techniques for Software Systems, p.2, Schloß Dagstuhl (D) 2000.
Gruner/Kurt: Diagrammatic Control of Diagrammatic Structure Generation. LNAI 1889, pp.422-436, Springer Verlag, Heidelberg (D) 2000.
Gruner/Kurt/Taentzer: A Visual Modeling Technique for Controlling Graph Transformations. ICALP'2000 Satellite Workshop on Graph Transformation and Visual Modeling Techniques. Proceedings in Informatics 8, Carleton Scientific, Waterloo (CDN) 2000.
Gruner: Meta Typing is Compatible to the Typed SPO Approach. GRATRA 2000 Joint Appligraph/Getgrats Workshop on Graph Transformation Systems. Technical Report: 2000-2, pp.50-58, Fachbereich Informatik, Technische Universität Berlin (D), 2000.
Gruner: A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Data Modeling. LNCS 1779, Springer Verlag, Heidelberg (D) 2000.
Gruner: Eine schematische und grammatische Korrespondenzmethode zur Spezifikation konsistent verteilter Datenmodelle. Reihe Informatik, Shaker-Verlag, Aachen (D) 1999. Accepted as Doctoral Dissertation, RWTH Aachen (D) 1999, as reported in: Informatik Forschung und Entwicklung, Praxis der Informationsverarbeitung und Kommunikation, Softwaretechnik-Trends, and Wirtschaftsinformatik, 1999/2000.
Cremer/Gruner/Nagl: Graph Transformation based Tools for Chemical Process Engineering. In Ehrig et al. (Eds.): Handbook of Graph Grammars and Computing by Graph Transformation Vol.2, World Scientific, Singapur 1999.
Gruner/Nagl/Sauer/Schürr: Inkrementelle Integrationswerkzeuge für arbeitsteilige Entwicklungsprozesse. Part II, Chapter 3.2 in Nagl/Westfechtel (Eds.), Integration von Entwicklungssystemen in Ingenieuranwendungen, Springer Verlag, Heidelberg (D) 1998/99.
Gruner: Why should Chemo-Engineers be interested in Graph Grammars? TAGT'98: 6th international Workshop on Theory and Application of Graph Transformation. Pre-Proceedings, Technical Report TR-RI-98-201, pp.72-79, Fachbereich Mathematik & Informatik, Universit�t-GH Paderborn, Paderborn (D) 1998.
Gruner/Nagl/Schürr: Integration Tools supporting Development Processes. LNCS 1526, Springer Verlag, Heidelberg (D) 1998.
Gruner: Werkzeugspezifikation mit Schemakorrespondenzen. Softwaretechnik-Trends, 17/3, pp.39-42, Gesellschaft für Informatik, Bonn (D) 1997.
Gruner: On the Benefits of Deforestation: A Quantitative Analysis. Edition Wissenschaft, Reihe Informatik, Vol.15, Tectum-Verlag, Marburg (D) 1996/97. Published as Micro-Fiche after being accepted as Diplomarbeit / Diploma-Scriptie / M.Sc. Thesis, Universiteit van Amsterdam (NL) 1995.
In my early times, I have also written some more Technical Reports (in the "Gelbe Reihe" / "Yellow Series", Informatik, RWTH Aachen), and even more earlier also some juvenile articles for our pupils' magazine "SKETCH" at grammar school, and then somewhat later also for the political grassroot magazine "telegraph" (which does not exist any more). Moreover, there were some occasional reader's letters to some local newspapers, and recently I have also written some online Book Reviews for Amazon.COM as well as Amazon.CO.UK and Amazon.DE

Professional Activities

Information to be updated as soon as possible ==> Technical Reviewer for the forthcoming Handbook of Technology Management, to be published by John Wiley & Sons, Inc., [publication date yet unknown.]
Member of the Workshop Selection Committee to the ICSE 2010 International Conference on Software Engineering, Capetown (ZA), May 2010.
Programme Chair of the FM+AM'09 International Workshop on Formal Methods and Agile Methods, Rio de Janeiro (BRA), December 2009.
Reviewer for theICFEM'09 International Conference on Formal Engineering Methods, Rio de Janeiro (BRA), December 2009.
Programme Committee Member to SEFM-2009: 7th IEEE Conference on Software Engineering and Formal Methods, Hanoi (VTN), November 2009.
Programme Committee Member of the SAICSIT'09 South-African Symposium on Computer Science and Information Technology, Riverside (ZA), October 2009.
Member of the M.Sc. Examination Committee to Theodore Koopman, Universiteit van Pretoria (ZA), September 2008.
Project Reviewer for de Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO), August 2009.
Member of the M.Sc. Examination Committee to Wikus Coetser, Universiteit van Pretoria (ZA), August 2009.
Participation at Intellectual and Moral Leadership - What is a University for?: 10th Anniversary Symposium of the St. Augustine College, Johannesburg (ZA), July 2009.
Member of the Ph.D. Examination Committee to Salman Khan, Universiteit van Pretoria (ZA), July 2009.
Programme Committee Member of the SACLA'09 Symposium of the South African Computing Lecturers Association, Mpekweni (ZA), July 2009.
Participation at the Emeritation Ceremony for Manfred Nagl, Fachgruppe Informatik, RWTH Aachen (D), June 2009.
External Examiner to the Universiteit van Johannesburg (ZA), June 2009.
Participation at a CSSA SIGIST Seminar on Agile Software Testing, Johannesburg (ZA), May 2009.
Acting manager of the Distributed Systems Research Group at the Department of Computer Science, Universiteit van Pretoria (ZA), January - June 2009.
Contributing Editor to Innovate Issue 03:2009, ISSN 1814-443X, January 2009.
External Ph.D. Examiner to Sheela Abbas, Universite de Bordeaux (F), December 2008.
Member of the M.Sc. Examination Committee to Mario Poggiolini, Universiteit van Pretoria (ZA), December 2008.
Member of the M.Sc. Examination Committee to Mandy Northover, Universiteit van Pretoria (ZA), December 2008.
Programme Co-Chair to SEFM-2008: 6th IEEE Conference on Software Engineering and Formal Methods, Capetown (ZA), November 2008.
Reviewer for a Special Track on Service Engineering for Next Generation Networks and Converged Telecom and Web 2.0 Services at ISoLA'08, Porto Sani, Hellas/Greece (GR), October 2008.
Invited Panelist to the panel discussion at the UML+FM'08 ICFEM-affiliated Workshop on the Unified Modeling Language and Formal Methods, Kitakyushu (JP), October 2008.
Programme Committee Member of the SAICSIT'08 South-African Symposium on Computer Science and Information Technology, Wilderness Beach (ZA), October 2008.
Reviewer for the South African Journal of Industrial Engineering, September 2008.
Programme Committee Member of the GCM-08 Workshop on Graph Computation Models, Leicester (GB), September 2008.
Reviewer for the ICGT'08 4th International Conference on Graph Transformation, Leicester (GB), September 2008.
Co-Organiser of the Fest-Colloquium at the Occasion of the 60th Birthday of Derrick Kourie, Windy Brow (ZA), June 2008.
Member of the M.Sc. Examination Committee to Bernardt Duvenhage, Universiteit van Pretoria (ZA), June 2008.
Guest-Speaker at the Philosophy Seminar of UNISA, Pretoria (ZA), June 2008.
Reviewer for Software Practice and Experience, Wiley Publishers, April 2008.
Research Visit, together with Derrick Kourie, to the Department of Computer Science at the University of Swansea (GB), March 2008.
Participation at the BCS Grand Challenges 6 Workshop on Dependable Systems Evolution, London (GB), March 2008.
Technical Reviewer for Van Schaik Publishers, Book: 3d edition of Information Technology Research by Martin Olivier, 2008.
Participation at the Annual Conference of the Philosophical Society of Southern Africa, Pretoria (ZA), January 2008, with a presentation about New Ethics of Technology: A Discourse in Germany in the 1990s.
Member of the M.Sc. Examination Committee to Johan(nes) Delport, Universiteit van Pretoria (ZA), December 2007.
External Examiner to the Universiteit van Johannesburg (ZA), November 2007.
Co-Organization of and Participation at the ESPRESSO/FASTAR Seminar on Software Engineering and Finite Automata: Fort Schanskop (ZA), October 2007.
Technical Reviewer for O'Reilly Publishers, Book: C# 3.0 Design Patterns by Judith Bishop, October 2007.
Programme Committee Member of and Session Chair at the SAICSIT'07 South-African Symposium on Computer Science and Information Technology, Sunshine Coast (ZA), October 2007.
Reviewer to the SATNAC'07: 10th Southern African Telecommunication Networks and Applications Conference, Mauritius (ZA), September 2007.
Reviewer to the ESORICS'07: 12th European Symposium On Research In Computer Security, Dresden (D), September 2007.
External Referee of the Ph.D. Exam Committee to Brahim Hamid, Universit� Bordeaux (F), June 2007.
Co-Supervision of MSc-Students Riaan Klopper, Mandy Northover: Universiteit van Pretoria (ZA), 2007--.
Member of the M.Sc. Examination Committee to David Fick, Universiteit van Pretoria (ZA), February 2007.
Reviewer for the SAC-SE-07 Track on Softw. Eng., ACM-SAC Annual Symposium on Applied Computing, Seoul (Korea), 2007
Comments on Draft of Magisterarbeit (M.A. Thesis) by Martin Gruner, Augsburg (D), 2007.
Comments on Draft of M.Sc. Thesis by May Chan, Pretoria (ZA), 2007.
Comments on Draft of M.Sc. Thesis by Johnny Lo, Pretoria (ZA), 2006.
Participation at the ESPRESSO/FASTAR Seminar on Software Engineering and Finite Automata, Maropeng (ZA), November 2006.
Programme Committee Member of the DOA'06, 8th Internat. Symp. on Distributed Objects and Applic., Montpellier (F), 2006.
Programme Committee Member of and Participation at the SAICSIT'06 South-African Symposium on Computer Science and Information Technology, Somerset West (ZA), October 2006.
Programme Committee Member of the GMC Workshop on Graph Computation Models, Natal (Brazil), 2006.
Co-Chair of the SAC-SE-06 Track on Softw. Eng., ACM-SAC Annual Symposium on Applied Computing, Dijon (F), 2006.
Research Visit to the LABRI Informatics Laboratories at the University of Bordeaux (F), March-May 2006.
Reviewer for a Special Issue of JISE 22/2, 2005/2006.
Reviewer for the South African Computer Journal / Suid Afrikaanse Rekenaar Tydskrif, 2005.
Reviewer for the FM'05 13th FME Symposium on Formal Methods, Newcastle (GB), 2005.
Chair of the ACM SAC'05 Track on Software Engineering, Santa Fe (USA), 2005.
Co-Organiser of the weekly research seminars, Swansea (GB), 2004-2005.
External Referee and Member of the Ph.D. Exam Committee to Afif Sellami, Universit� Bordeaux (F), November/December 2004.
Reviewer for the AVoCS'04 Workshop on Automated Verification of Critical Systems, London (GB), September 2004.
Comments on Draft of M.Sc. Thesis by Mike Dacey, Swansea (GB), 2004.
Co-Chair of the ACM SAC'04 Track on Software Engineering, Nicosia (CY), 2004.
Reviewer for a Special Issue of Software Testing Verification and Reliability, 2003/2004.
Participation at the TFMm 2003 Workshop on Teaching Formal Methods, Brookes University Oxford (GB), December 2003.
Reviewer for the ICFEM'03 5th International Conference on Formal Engineering Methods, Singapore, 2003.
Reviewer for the LOPSTR'03 International Symposium on Logic Based Program Synthesis and Transformation, Uppsala (S), 2003.
Reviewer for the MFCS 2003 28th Internat. Symp. on Math. Foundations of Comp. Sc., Bratislava/Preßburg (Slovakia), 2003.
Reviewer for the FM 2003 12th International FME Symposium on Formal Methods, Pisa (I), 2003.
Reviewer for the VVEIS'03 1st International Workshop on Verification and Validation of Enterprise Information Systems, Angers (F), 2003.
Co-Organiser of the AVoCS'03 Workshop on Automated Verification of Critical Systems, Southampton (GB), 2003.
Co-Chair of the ACM SAC'03 Track on Software Engineering, Florida (USA), 2003.
Reviewer for the ACM SAC'03 Track on Coordination Models, Languages and Applications, Florida (USA), 2003.
Reviewer for a Special Issue of Theory and Practice of Logic Programming, Vol.2, Iss.4-5, 2002/2003
Reviewer for the VCL'02 3rd International Workshop on Verification and Computational Logic, (USA), 2002.
Reviewer for the LOPSTR'02 International Workshop on Logic Based Program Development and Transformation, Madrid (E), 2002.
Reviewer for the ICFEM'02 4th International Conference on Formal Engineering Methods, Schanghai (PRC), 2002.
Comments on Draft of Generic Modelling with Graph Rewriting Systems, Doctoral Diss. by Manfred Münch, RWTH Aachen (D), 2002.
Reviewer for the FDL'02 Forum on Specification and Design Languages, Marseille (F), 2002
Reviewer for the ICLP 2002 International Conference on Logic Programming, Copenhagen (DK), 2002.
Reviewer for the FME 2002 Symposium on Formal Methods, Copenhagen (DK), 2002
Member of the Webmaster Team of Formal Methods Europe, 2001-2002.
Reviewer for the LOBSTR 2001 11th Internat. Workshop on Logic-Based Program Synth. and Transform., Paphos (CY), 2001.
Reviewer for the SOFSEM 2001 28th Annual Conf. on Current Trends in Theory and Pract. of Informatics, Piestany (SLO), 2001.
Reviewer for the 6th FMICS Workshop on Formal Methods for Industrial Critical Systems, Paris (F), 2001.
Reviewer for the 21st FORTE/PSTV Conference on Formal Techniques for Networked and Distributed Systems, Cheju (KR), 2001.
Reviewer for the 3rd PPDP Conference on Principles and Practice of Declarative Programming, 2001
Ph.D. Referee and External Examiner of Marlene Ross, Faculteit der Natuur- en Landbouwetenskappe, Universiteit van Pretoria (ZA), 2001.
Comments on Draft of Diplomarbeit (M.Sc. Thesis) by Thorsten Schultzke, Technische Universität Berlin (D), 2000/2001.
Reviewer for the JSFT'2000 Journ�es Scientifiques Franco-Tunisiennes, Monastir (TUN), Oct. 2000.
Early Member of the new EASST (European Association for Software Science and Technology), Berlin (D), 2000.
Supervision of Diplomarbeit (M.Sc. Thesis) by Murat Kurt, Technische Universität Berlin (D), 2000.
Comments on Draft of GENGED: Visual Definition of Visual Languages, Doctoral Diss. by Roswitha Bardohl, Technische Universität Berlin (D), 1999/2000.
Member of the Daily Etaps Newsletter Group at the ETAPS 2000 Conferences, Berlin (D), 2000.
Reviewer for the GRATRA 2000 Workshop on Graph Transformation, Berlin (D), 2000.
Reviewer for the AGTIVE'99 Workshop on Graph Transformation, Kerkrade (NL), 1999.
Reviewer for the TAGT'98 Workshop on of Graph Transformation, Paderborn (D), 1998.
Reviewer for the Modellierung'98 German Workshop on Modelling, Münster (D), 1998.
Participation at the European School on Graph Transformation, Bremen (D), March 1998.
Comments on Draft of CORBA: Kommunikation und Management, Venia Legendi / Habilitation Diss. by Claudia Linnhoff-Popien, RWTH Aachen (D), 1997/1998.
What I did not explicitly enumerate in this list are the presentations of papers at those conferences and workshops which are mentioned in the Publications section above. Of course I have done much more in my life, but those non-scientific activities does not belong onto this more or less "professional" website. Moreover, I did not mention the usual academic activities such as the supervision of undergraduate seminar students, undergraduate project students, courses, lectures, etc. As far as I remember I also did the odd one or another paper review for my colleague M.Roggenbach, but I don't know any more for which workshop or symposium that was.

Professional Membership

Formal Methods Europe (FME): ordinary membership
European Association for Programming Languages (EAPLS): ordinary membership
European Association for Software Science and Technology (EASST): ordinary membership

Academic Degrees

MSc: Dipl.-Inform. (Germany), 1996
PhD: Dr. rer. nat. (Germany), 1999
Currently I am studying towards another MSc-equivalent degree, M.A., in Philosophy, whereby I have recently passed my intermediate exams, half way between the lower and the upper section of the curriculum. I need this degree as an entry requirement for a second PhD in Philosophy which I would like to achieve one day in the future - possibly as a pensioner, after my retirement from the daily professional routines :)

Grants and Funding Acknowledgements

MSc studies: generously funded by my parents, with additional donations thereafter too :)
PhD studies: funded by the DFG (Deutsche Forschungsgemeinschaft) within the scheme of a Graduiertenkolleg.
AVoCS 2003 : FME (Formal Methods Europe) responded positively to my application for financial support of that workshop.
RDP 2007/09: NRF support grant for 3-year small-scale project on UML and Formal Logic.
NRF/Roy-Soc: bi-national (British/South-African) support grant for a project on CSP protocol verification through automated theorem proving, 2007, in cooperation with the University of Swansea.
FME grant for a project on Formal Specifications, 2007.
NRF grant for a project on Visualization of Distributed Algorithms, in cooperation with LABRI Bordeaux, 2007.
FME grant in support of the Invited Speaker of our SEFM'08 Conference in Capetown (ZA), 2008.
NRF/BMBF bi-national (German/South-African) support grant for a project on Model-Driven Software Development for Wireless Sensor Networks, 2009, in cooperation with the University of Kassel.

Literature Links: Informatics and related Subjects
ACL | ACM | AICA | ALP | ASL | BCS | Bibliography on Philosophy and Ethics of Technics and Technology | CCC | CiteSeer NEC | Collection of Computer Science Bibliographies (Karlsruhe) | Computational Intelligence | Computer Science Quotations | CRA | CSSA | DBLP Computer Science Bibliography (Trier) | DBWorld | EAPLS | EATCS | EASST | EACSL | EDAA | ECS Library | ERCIM | Ergebnisse der Mathematik und ihrer Grenzgebiete | FME | GI | IACR | IADIS | IARIA | IEEE | IEE, IIE, IET | IFIP | Informatik | Informatik und Praxis | Informationstechnik | INSTICC | ISCA | Lecture Notes in Applied and Computational Mechanics | Lecture Notes in Artificial Intelligence | Lecture Notes in Bioinformatics | Lecture Notes in Business Information Processing | Lecture Notes in Computational Science and Engineering | Lecture Notes in Computer Science | Lecture Notes in Control and Information Sciences | Lecture Notes in Electrical Engineering | Lecture Notes in Informatics | Lecture Notes in Logic | Lecture Notes in Mathematics | Lecture Notes in Physics | Lecture Notes in Statistics | Leitfäden der angewandten Informatik | Leitfäden der Informatik | Leitfäden und Monographien der Informatik | Mathematische Grundlagen der Informatik | NJSZT: John von Neumann Society | Royal Society Archives | SAICSIT | SCIgen | SEWorld | SIAM | Studies in Logic and the Foundations of Mathematics | VDE | VDI | WES: World Enformatika Society | Wirtschaftsinformatik

My Erdös Numbers

4, via: Y. Metivier > E. Sopena > T. Luczak > P. Erdös.
5, via: M. Roggenbach > T. Mossakowski > G. Strecker > M. Erne > P. Erdös.
5, via: G. Taentzer > H. Ehrig > V. Trnkova > Z. Hedrlin > P. Erdös.
Please let me know in case you know a shorter path for me than the ones shown here. Thanks!

How to contact me

STEP 1: - Send your own eMail-Address via SMS to cell phone number +27-78-339.4281

STEP 2: - Await my reply, via eMail, to the eMail-Address you provided.

[This Page is hosted, with Applicability of German Law, in the Federal Republic of Germany]