SSFM
RESEARCH GROUP FOR SYSTEM SPECIFICATIONS AND FORMAL METHODS
Department of Computer Science
University of Pretoria
ssfm@cs.up.ac.zaEDITORIAL CONTRIBUTIONS
Kuchen\Gruner\Koschmider\Merwe\ECIS 15 ISD||
Gruner\Haxthausen\Maibaum\Roggenbach\FM-RAIL-BOK Organizers' Message|LNCS 8368, p. XI, Springer-Verlag, 2014|
Gruner\Haxthausen\Maibaum\Roggenbach\Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems: FM-RAIL-BOK Workshop 2013|DTU Compute-Technical Report-2013 20, Technical University of Denmark, Kgs. Lyngby, 2013|
Gruner\Watson\Formal Aspects of Computing: Essays dedicated to Derrick Kourie on the occasion of his 65th Birthday|Shaker-Verlag, 2013|
Gruner\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, pp. 28-30, 2012|
Gnesi\Gruner\Plat\Rumpe\Proceedings FormSERA 2012 Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches|IEEE 2012|
Gruner\Editorial: Special Section on Formal plus Agile Methods|ACM SIGSOFT Software Engineering Notes 36/4, p. 26, 2011|
Cerone\Gruner\Special Section on Software Engineering and Formal Methods: Extended Versions of Contributions Presented at SEFM 2008|Software and Systems Modelling 10/2, pp. 143-252, Springer-Verlag 2011|
Gruner\Rumpe\Proceedings FM+AM'2010: 2nd International Workshop on Formal Methods and Agile Methods|Lecture Notes in Informatics 179, ISBN 978-3-88579-273-4, GI Publ. 2010|
Geihs\Gruner\Römer\Report about the 1st ICSE Workshop on Software Engineering for Sensor Network Applications: SESENA'2010|Software Engineering Notes 35/5, pp.34-37, ACM Press 2010|
Geihs\Gruner\Römer\SESENA 2010 Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications: Editorial Preface|ACM Press 2010|
Gruner\FM+AM�09 Workshop on Formal Methods and Agile Methods, Brasil, December 2009: Editorial Preface and Foreword|Innovations in Systems and Software Engineering, Springer-Verlag 2010|
Gruner\Festschrift at the Occasion of the 60th Birthday of Derrick G. Kourie: Revised Papers|South-African Computer Journal (Suid Afrikaanse Rekenaar Tydskrif) 41, Sabinet Publ. 2008|
Cerone\Gruner\SEFM'08 Proceedings of the 6th IEEE International Conference on Software Engineering and Formal Methods|IEEE 2008|
Gruner\Watson\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 2008|
Gruner\Shin\Sound Solutions for the 21st Century|Software Engineering Track to the SAC'06 Annual ACM Symposium on Applied Computing, ACM 2006|
Shin\Gruner\Special Issue on Software Engineering and Software Dependability|Journal of Information Science and Engineering 22/2, 2006|
Cavarra\Gruner\Shin\Special Track on Software Engineering: Methods, Practices, and Tools|SAC'05 Annual ACM Symposium on Applied Computing, ACM 2005|
Leuschel\Gruner\Lo-Presti\Proceedings of the 3rd Workshop on Automated Verification of Critical Systems: AVoCS'03|Technical Report DSSE-TR-2003-2, University of Southampton, 2003|
[Further editorials are listed here]