RESEARCH GROUP FOR SYSTEM SPECIFICATIONS AND FORMAL METHODS: PAPERS

SSFM RESEARCH GROUP FOR SYSTEM SPECIFICATIONS AND FORMAL METHODS Department of Computer Science University of Pretoria ssfm@cs.up.ac.za RECENT PAPERS Gruner\Kroeze\On the Shortage of Engineering in recent Information Systems Research|Proceedings ACIS'2014: 25th Austral-Asian Conference on Information Systems, Paper #270, 2014| Timm\Gruner\Parameterisation of Three-Valued Abstractions|Proceedings SBMF'2014: 17th Brasilian Symposium on Formal Methods, 2014| Timm\Spotlight Abstraction with Shade Clustering - Automatic Verification of Parameterised Systems|Proceedings TASE'2014: 8th international Symposium on Theoretical Aspects of Software Engineering, 2014| Gruner\On the Historical Semantics of the Notion of Software Architecture|TD: The Journal for Transdisciplinary Research in Southern Africa 10/1, pp. 37-66, Sabinet, 2014| Bosman\Gruner\Log File Analysis with Context-Free Grammars|Advances in Digital Forensics IX: IFIP Advances in Information and Communication Technology 410, pp. 145-152, Springer-Verlag, 2013| Olivier\Gruner\On the Scientific Maturity of Digital Forensics Research|Advances in Digital Forensics IX: IFIP Advances in Information and Communication Technology 410, pp. 33-49, Springer-Verlag, 2013| Gruner\Abstraction, Refinement, Enrichment|Formal Aspects of Computing: Essays dedicated to Derrick Kourie on the occasion of his 65th Birthday, pp. 13-43, Shaker Verlag: Reihe Informatik, 2013| Malinga\Gruner\Koschmider\Quality and Usability of Mashup Tools: Criteria and Evaluation|Proceedings SAICSIT'13: South African Institute for Computer Scientists and Information Technologists Conference, pp. 154-159, ACM Digital Library, 2013| Edwards\Gruner\A New Tool for URDAD to Java EE EJB Transformations|Proceedings SAICSIT'13: South African Institute for Computer Scientists and Information Technologists Conference, pp. 144-153, ACM Digital Library, 2013| Gruner\Eric Winsberg: Science in the Age of Computer Simulation|Book Review: Minds and Machines 23/2, pp. 251-254, Springer-Verlag, 2013| Ahmad\Gruner\Afzal\Computational Analysis of Medieval Manuscripts: A New Tool for Analysis and Mapping of Medieval Documents to Modern Orthography|Journal of Universal Computer Science 18/20, pp. 2750-2770, 2012| Gruner\Book Review: Science Transformed? Debating Claims of an Epochal Break|Innovate 7, p. 139, 2012| Solms\Edwards\Paar\Gruner\A Domain-specific Language for URDAD-based Requirements Elicitation|Proceedings SAICSIT'11: South African Institute of Computer Scientists and Information Technologists Conference, pp. 224-230, ACM Digital Library, 2011| Paar\Gruner\Static Typing with Value-Space-based Subtyping|Proceeding SAICSIT'11: South African Institute of Computer Scientists and Information Technologists Conference, pp. 177-186, ACM Digital Library, 2011| Gruner\van-Zyl\Software Testing in Small IT Companies - a (not only) South African Problem|South African Computer Journal 47, pp. 7-32, Sabinet, 2011| Solms\Gruner\Edwards\URDAD as a Quality-Driven Analysis and Design Process|Proceedings SOMET'11: Frontiers in Artificial Intelligence and Applications 231, pp. 141-158, IOS Press, 2011| Gruner\Watson\Model-based Passive Testing of Safety-critical Components|Chapter 16 of Model-Based Testing for Embedded Systems, pp. 453-483, CRC Press, 2011| Mülders\Gruner\Thang\Model-Driven Design plus Artificial Intelligence for Wireless Sensor Networks Software Development|Proceeding SESENA'11: 2nd Workshop on Software Engineering for Sensor Network Applications, pp. 63-64, ACM Press, 2011| Gruner\Problems for a Philosophy of Software Engineering|Minds and Machines 21/2, pp. 275-299, Springer-Verlag, 2011| Gruner\Towards a Generic Design for General-Purpose Sensor Network Nodes|Proceedings ENASE: 5th International Conference on Evaluation of Novel Approaches to Software Engineering, pp. 259-264, SciTePress, 2010| Gruner\Software Engineering Between Technics and Science: Recent Discussions about the Foundations and the Scientificness of a Rising Discipline|Journal for General Philosophy of Science 41/1, pp. 237-260, Springer-Verlag, 2010| Gruner\Steyn\Deadlock-Freeness of Hexagonal Systolic Arrays|Information Processing Letters 110/{14+15}, pp. 539-543, Elsevier, 2010| Gruner\Mobile Agent Systems and Cellular Automata|Autonomous Agents and Multi-Agent Systems 20/2, 198-233, Springer-Verlag, 2010| [Further papers are listed here]