Selected Publications

Full list can be found at Google Scholar 

(2077 citations, h-index = 24, i10-index = 78), 150+ publications

2025:

1. M. Spichkova, H. Lee, K. Iwan, M. Zwart, Y. Yoon and X. Qin. Agile Retrospectives: What went well? What didn't go well? What should we do? Proceedings of the  20th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2025), to appear

2. M. Spichkova. FocusE: A semantic extension of FocusST. 

2024:

3. S. Ravikumar, M. Hamilton, C. Thevathayan, M. Spichkova, K. Ali, G. Wijesinghe. Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks.  Proceedings of the  19th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2024), SCITEPRESS

4. C. S. Muzammel, M. Spichkova, J. Harland. Cultural influence on RE activities: An extended analysis of state of the art. 26th International Conference on Mobile Human-Computer Interaction (MobileHCI'24), ACM

5. H. Schmidt, P. Herrmann, M. Spichkova, J. Harland, I. Peake, E. Puka. Spatio-Temporal Analysis of Concurrent Networks. 21th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous'24)

2023:

6. Journal article:  M. Levy, E. C. Groen, K. Taveter, D. Amyot, E. Yu, L. Liu, I. Richardson, M. Spichkova, A. Jussli, S. Mosser. Sustaining human health: A requirements engineering perspective. Journal of Systems and Software. Vol. 204

7. M. Spichkova. Mobile user experience from the lens of project-based learning. 20th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous), Springer Nature, pages 461-472

8. C. S. Muzammel, M. Spichkova, J. Harland. Cultural influence on autonomous vehicles acceptance. 20th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous, AutoQuitous track), Springer nature, 

2022:

9. M. Spichkova. Teaching and learning Requirements Engineering concepts: Peer-review skills vs. problem solving skills. Proceedings of the 30th International Conference on Requirements Engineering (RE), IEEE

10. M. Alzahrani, A. L. Uitdenbogerd, M. Spichkova. Impact of animated objects on autistic and non-autistic users. Proceedings of the  44th International Conference on Software Engineering (ICSE). Software Engineering in Society (ICSE-SEIS), IEEE, 102-112

11. A. L. Uitdenbogerd, M. Spichkova, M. Alzahrani. Web-based Search: How Do Animated User Interface Elements Affect Autistic and Non-Autistic Users? Proceedings of the  17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2022), SCITEPRESS

12. N. Alzahrani, M. Spichkova, J. Harland. Application of property-based testing tools for metamorphic testing. Proceedings of the  17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2022), SCITEPRESS

13. M. Spichkova, J. van Zyl. Towards computer vision technologies: Semi-automated reading of automated utility meters. Proceedings of the  17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2022), SCITEPRESS

2021:

14. M. Spichkova, T. Asanoosy, J. Harland. Impact of Organisational Culture on the Requirement Engineering Activities. Proceedings of the 29th International Conference on Requirements Engineering (RE), IEEE

15. M. Spichkova, M. Simic. Analysis of drug consumption following extreme weather conditions. Proceedings of the 25th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES). Procedia Computer Science 192, 4820-4827

16. M. Alzahrani, A. L. Uitdenbogerd, M. Spichkova. Human-Computer Interaction: Influences on Autistic Users. Proceedings of the 25th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES). Procedia Computer Science 192, 4691-4700

17. J. Young, M. Spichkova, M.Simic. Project-based learning within eHealth, bioengineering and biomedical engineering application areas. Proceedings of the 25th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES). Procedia Computer Science 192, 4952-4961

2020:

18. Journal article:  T. Alsanoosy, M. Spichkova, J. Harland. Cultural Influence on Requirements Engineering Activities: A Systematic Literature Review and Analysis. Requirements Engineering, Springer Nature 

19. T. Alsanoosy, M. Spichkova, J. Harland.  Identification of Cultural Influences on Requirements Engineering Activities. Proceedings of the 42nd International Conference on Software Engineering (ICSE)

20. T. Alsanoosy, M. Spichkova, J. Harland.  Formal vs. Case-Study-Based Approaches for the Identification of Cultural Influences in Requirements Engineering. Proceedings of the Evaluation and Assessment in Software Engineering (EASE), 354-359, ACM

21. T. Alsanoosy, M. Spichkova, J. Harland.  Does our culture influence requirements engineering activities? Vietnamese practitioners' view. Proceedings of the 28th International Conference on Requirements Engineering (RE)

22. T. Alsanoosy, M. Spichkova, J. Harland.  A Framework for Identifying Cultural Influences on Requirements Engineering Activities. Proceedings of the PACIS'20

23. M. Spichkova, A. Vaish, D. Highet, I. Irfan, K. Kesley, P. Kumar. GoSecure: Securing projects with Go. Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, SciTePress (preprint: PDF)

24. M. Spichkova, J. van Zyl. Application of computer vision technologies for automated utility meters reading. Proceedings of the 15th International Conference on Software Technologies (preprint: PDF)

25. T. Alsanoosy, M. Spichkova, J. Harland.  Exploratory analysis of cultural influences on requirements engineering activities based on stakeholders' profile. Proceedings of the 24th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES)

26. M. Spichkova, B. Li, L. Porter, L. Mason, Ye Lyu, Yi Weng. VM2: Automated security configuration and testing of virtual machine images. Proceedings of the 24th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES)

27. L. George, Y. Guo, D. Stepanov, V. Peri, R. Elvitigala, M. Spichkova. Usage visualisation for the AWS services. Proceedings of the 24th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES)

28. Book Chapter: M. Spichkova, J. van Zyl, S. Sachdev, A. Bhardwaj, N. Desai. Comparison of Computer Vision Approaches in Application to the Electricity and Gas Meter Reading. Communications in Computer and Information Science series,  Evaluation of Novel Approaches to Software Engineering. Springer Nature, 303-318

2019:

29. Journal article: A. Alharthi, M. Spichkova, M. Hamilton. Sustainability requirements for eLearning systems: a systematic literature review and analysis. Requirements Engineering

30. M. Spichkova. Industry-Oriented Project-based Learning of Software Engineering. 24th International Conference on Engineering of Complex Computer Systems, IEEE

31. T. Alsanoosy, M. Spichkova, J. Harland. Cultural Influence on the Requirements Engineering Process: Australian Practitioners' View. Proceedings of the International Conference on Information Systems Development (ISD)

32. Book Chapter: A. Alharthi, T. Alsanoosy, M. Spichkova, M. Hamilton. Social Position and Gender Perspectives of eLearning Systems: A Study of Social Sustainability. Advances in Information Systems Development. Proceedings of the International Conference on Information Systems Development, 34, Springer, 2019

33. A. Zamansky, M. Spichkova. A Set-based Logical Language for Specification of Combinatorial Models. 15th Asia-Pacific Conferences on Conceptual Modelling (APCCM 2019 at ACSW), ACM 

34. P. Gaikwad, C. Jayakumar, E. Tilve, N. Bohra, W. Yu, M. Spichkova. Voice-activated solutions for agile retrospective sessions. Proceedings of the 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2019), Procedia Computer Science, vol. 159, pages 2414-2423 

35. T. Alsanoosy, M. Spichkova, J. Harland. The influence of power distance on requirements engineering activities. Proceedings of the 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2019), Procedia Computer Science, vol. 159, pages 2394-2403

36. R. Chugh, N. Chawla, R. Gracias, J. Padda, S. Li, M. Nguyen, M. Spichkova, N. Mantri. Automated gathering and analysis of cannabinoids  treatment data. Proceedings of the 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2019), Procedia Computer Science, vol. 159, pages 2570-2579

37. Book Chapter: M. Spichkova, M Simic. Towards Formal Specification of CAN Protocol. Innovation in Medicine and Healthcare Systems, and Multimedia, Springer, 469-478 

38. Book Chapter: M. Simic, M. Spichkova, Reza N. Jazar. New CAN Bus Line Coding Scheme. Innovation in Medicine and Healthcare Systems, and Multimedia, Springer, 435-445

39. M. Spichkova, J. van Zyl, S. Sachdev, A. Bhardwaj, N. Desai. Easy Mobile Meter Reading for Non-smart Meters: Comparison of AWS Rekognition and Google Cloud Vision Approaches. Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, SciTePress, 179-188 

40. M. Spichkova, H. Schmidt. Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects. Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, SciTePress, 563-569 

41. H. Schmidt, M. Spichkova. Towards Readability Aspects of Probabilistic Mode Automata. Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, SciTePress, 555-562

42. K. Koga, M. Spichkova, N. Mantri. Towards Automated Management and Analysis of Heterogeneous Data within Cannabinoids Domain. Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, SciTePress, 539-546

43. Book Chapter: T. Alsanoosy, M. Spichkova, J. Harland. A Detailed Analysis of the Influence of Saudi Arabian Culture on the Requirement Engineering Process. Communications in Computer and Information Science series,  Evaluation of Novel Approaches to Software Engineering. Springer Nature, 240-260

2018: 

44. Journal article:  O. Jones, M. Spichkova, M. Spencer. Chirality-2: Development of a Multilevel Mobile Gaming App To Support the Teaching of Introductory Undergraduate-Level Organic Chemistry. Journal of Chemical Education

45. A. Alharthi, M. Spichkova, M. Hamilton. SuSoftPro: Profiling for Sustainability Software. 26th IEEE International Requirements Engineering Conference (RE'18), IEEE 

46.  A. Alharthi, M. Spichkova, M. Hamilton, T. Alsanoosy. Gender-Based Perspectives of eLearning Systems: An Empirical Study of Social Sustainability. 27th International Conference on Information Systems Development (ISD2018), pages 1-12

47. M. Spichkova, J. Bartlett, R. Howard, A. Seddon, X. Zhao, Y. Jiang. SMI: Stack Management Interface. 23rd International Conference on Engineering of Complex Computer Systems, IEEE 

48. T. Alsanoosy, M. Spichkova, J. Harland. Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice. 23rd International Conference on Engineering of Complex Computer Systems, IEEE

49. Book Chapter: M. Spichkova. Model-based Analysis of Temporal Properties, Volume 866 of the Communications in Computer and Information Science series, pages 208-223. Springer Nature 

50. Book Chapter: C. Sun, J. Zhang, C. Liu, B. King, Y. Zhang, M. Galle, M. Spichkova, M.Simic. Towards Software Development For Social Robotics Systems. Series on Smart Innovation, Systems and Technologies. Intelligent Interactive Multimedia Systems and Services 2018, pages 151-160

51. T. Alsanoosy, M. Spichkova, J. Harland. Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), SciTePress, pages 159-168

52. A. Zamansky, M. Spichkova, G. Rodriguez-Navas, P. Herrmann,  J. Blech. Towards Classification of Lightweight Formal Methods. 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), SciTePress, pages 305-313

53. M. Spichkova, R. Bhat. FocusST Solution for Analysis of Cryptographic Properties. 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), SciTePress, pages 320-327

54.  A. Christianto, P. Chen, O. Walawedura, A. Vuong, J. Feng, M. Spichkova, M.Simic. Enhancing the User Experience With Vertical Transportation Solutions. 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Elsevier, Procedia Computer Science, pages 2075 - 2084.

55.  A. Alharthi, M. Spichkova, M. Hamilton. Towards Tool-support for Sustainability Profiling. Proceedings of the 7th International Workshop on Requirements Engineering for Sustainable Systems (RE4SuSy), pages 1-8

56. M. Spichkova. Automated analysis of the impact of weather conditions on medicine consumption. 25th Australasian Software Engineering Conference, 166-170

57. A. Abdullah, H. Schmidt, M. Spichkova, H. Liu. Monitoring Informed Testing for IoT. 25th Australasian Software Engineering Conference, 91-95 

2017:

58. Journal article: I. Yusuf, I. Thomas, M. Spichkova, H. Schmidt. Chiminey: Connecting Scientists to HPC, Cloud and Big Data. Big Data Research, Volume 8, pages 39–49, Elsevier 

59. Book Chapter: M. Spichkova, A. Zamansky. AHR: Human-Centred Aspects of Test Design. Series on Communications in Computer and Information Science, Springer, pages 111-128  

60. Book Chapter: M. Spichkova, H. Schmidt, I. Thomas, I. Yusuf, S. Androulakis and G. Meyer. Towards Modelling and Implementation of Reliability and Usability Features for Research-Oriented Cloud Computing Platforms. Series on Communications in Computer and Information Science, Springer, pages 158-178   

61. C. Thevathayan, M. Spichkova, M. Hamilton. Combining Agile Practices with Incremental Visual Tasks. 19th Australasian Computing Education Conference (ACE 2017), ACM, pages 103-112 

62. N. Alzahrani, M. Spichkova, J. Blech. From Temporal Models to Property-based Testing. 12th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pages 241-246

63. M. Spichkova, M. Simic. Autonomous Systems Research Embedded in Teaching. Intelligent Interactive Multimedia Systems and Services 2017. Series on Smart Innovation, Systems and Technologies, Volume 76, pages 268-277, Springer  

64. M. Spichkova, M. Simic. Human-centred analysis of the dependencies within sets of proofs. Proc. of the 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems   

65. L. Clunne-Kiely, B. Idicula, L. Payne, E. Ronggowarsito, M. Spichkova, M. Simic, H. Schmidt. Modelling and Implementation of Humanoid Robot Behaviour. Proc. of the 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems 

66. M. Spichkova, H. Schmidt, C. Trubiani. Role of women in Software Architecture: An attempt at a systematic literature review. Proc. of the 11th European Conference on Software Architecture (ECSA 2017), ACM 

67. M. Spichkova. (Auto) Focus approaches and their applications: A systematic review, CoRR, 1711.08123

68. A. Alharthi, M. Spichkova.  Green Architecture for Sustainable eLearning Systems. Proc. of the 3rd Workshop on Sustainable Architecture: Global Collaboration, Requirements, Analysis (SAGRA 2017), ACM 

2016: 

69. Book Chapter: M. Spichkova, M. Simic, H. Schmidt. From Automotive to Autonomous: Time-Triggered Operating Systems. Intelligent Interactive Multimedia Systems and Services 2016,  Springer, pages 347-359, ISBN: 978-3-319-39344-5   

70. Journal article:  M. Spichkova, M. Simic, H. Schmidt, J. Cheng, X. Dong, Y. Gui, Liang, P. Ling, Z. Yin. Formal models for intelligent speed validation and adaptation. Procedia Computer Science, vol.96, Elsevier, pages 1609-1618   

71. Journal article:  M. Spichkova, M. Hamilton. Dynamic Decision Making System for Public Transport Routes. International Journal of System Dynamics Applications (IJSDA), 5 (3), pages 47-70   

72. M. Spichkova, A. Zamansky. A Human-Centred Framework for Supporting Model-Based Testing. 28th International Conference on Advanced Information System Engineering (CAiSE), Forum, CEUR, pages 105-112 

73. M. Laali, H. Liu, M. Hamilton, M. Spichkova, H. Schmidt. Test Case Prioritization Using Online Fault Detection Information. 21st International Conference on Reliable Software Technologies (RST), Springer, LNCS, ISBN 978-3-319-39082-6, pages 78-93 

74. Best Paper Award:  M. Spichkova, A. Zamansky. A Human-Centred Framework for Combinatorial Test Design. 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), ISBN 978-989-758-189-2, pages 228-233 

75. M. Spichkova, A. Zamansky, E. Farchi. A visual logical language for system modelling in combinatorial test design. Cognitive Aspects of Information Systems Engineering at 28th International Conference on Advanced Information System Engineering (CAiSE). Volume 249 of Series Lecture Notes in Business Information Processing, ISBN 978-3-319-39564-7, Springer, pages 116-121

76. M. Spichkova, H. Schmidt, I. Thomas, I. Yusuf, S. Androulakis, G. Meyer. Managing Usability and Reliability Aspects in Cloud Computing (preprint version in pdf). 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), ISBN 978-989-758-189-2, pages 288-295 

77. M. Spichkova, A. Zamansky. Teaching Formal Methods for Software Engineering. 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), ISBN 978-989-758-189-2, pages 370-376 

78. A. Zamansky, G. Rodriguez-Navas, M. Adams, M. Spichkova. Formal Methods in Collaborative Projects. 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), ISBN 978-989-758-189-2, pages 396-402  

79. M. Spichkova. "Boring formal methods" or "Sherlock Holmes deduction methods"? Software Technologies: Applications and Foundations (STAF), Springer, pages 242-252 

80. P. Vo, M. Spichkova. Model-based generation of natural language specifications. Software Technologies: Applications and Foundations (STAF), Springer, pages 221-231 

81. N. Alzahrani, M. Spichkova, J. Blech. Spatio-Temporal Models for Formal Analysis and Property-Based Testing. Software Technologies: Applications and Foundations (STAF), Springer, pages 196-206 

82. M. Spichkova. Applied Logic in Engineering, Technical Report, CoRR, 1602.05170

83. M. Spichkova, J. Harland, A. Alharthi. Online Support System for Transnational Education. International Conference on Engineering Education and Research (ICEER), Western Sydney University

84. M. Simic, M. Spichkova, H. Schmidt and I. Peake. Enhancing Learning Experience by Collaborative Industrial Projects. International Conference on Engineering Education and Research (ICEER), Western Sydney University  

85. A. Alharthi, M. Spichkova. Individual and Social Requirements Aspects of Sustainable eLearning Systems. International Conference on Engineering Education and Research (ICEER), Western Sydney University

86. M. Spichkova. Spatio-temporal features of FocusST, Technical Report, CoRR, 1610.07884

87. A. Alharthi, M. Spichkova, M. Hamilton. Sustainability Profiling of Long-living Software Systems. 4th International Workshop on Quantitative Approaches to Software Quality (QuASoQ), CEUR, pages 41-48 

2015:

88. I. Yusuf, I. Thomas, M. Spichkova, S. Androulakis, G. Meyer, D. Drumm, G. Opletal, S. Russo, A. Buckle, H. Schmidt. Chiminey: Reliable Computing and Data Management Platform in the Cloud. 37th International Conference on Software Engineering (ICSE), pages 677-680 

89. Journal article:  M. Spichkova, M. Simic, H. Schmidt. Formal model for intelligent route planning. Procedia Computer Science, Elsevier BV, Netherlands, vol. 60, pp. 1299-1308 ISSN: 1877-0509 

90. Journal article: M. Spichkova, H. Schmidt. Formal-Based Framework For Analysis Of Logical Architecture. International Journal of Services Computing (IJSC), 3(3), pages 1-15  

91. Book Chapter: M. Spichkova, M. Simic. Towards Formal Modelling of Autonomous Systems. Intelligent Interactive Multimedia Systems and Services, Springer, pp. 279-288, ISBN: 9783319198309 

92. Book Chapter: J. Blech, M. Spichkova, I. Peake, H. Schmidt. Visualization, Simulation and Validation for Cyber-Virtual Systems. Series on Communications in Computer and Information Science, Springer, vol. 551, pp. 140-154. ISBN 978-3-319-27217-7, 978-3-319-27218-4 

93. Book chapter: M. Spichkova, M. Hamilton. Sustainable Transport System: Transport On-Demand, [PDF]. In Using Decision Support Systems for Transportation Planning Efficiency, Ed.: E. Ocalir-Akunal. IGI Global, pages 259-287

94. M. Spichkova, H. Schmidt. Requirements Engineering Aspects of a Geographically Distributed Architecture. 10th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), IEEE, pages 276-281 

95. H. Liu, M. Spichkova, H. Schmidt, T. Sellis, M. Duckham. Spatio-temporal architecture-based framework for testing services in the cloud. 24th Australasian Software Engineering Conference (ASWEC), ACM, pages 18-22  

96. H. Liu, M. Spichkova, H. Schmidt, A. Ulrich, H. Sauer, J. Wieghardt. Efficient testing based on logical architecture. 24th Australasian Software Engineering Conference (ASWEC), ACM, pages 49-53  

97. A. Alharthi, M. Spichkova, M. Hamilton. Requirements Engineering Aspects of ELearning Systems. 24th Australasian Software Engineering Conference (ASWEC), ACM, pages 132-133

98. M. Spichkova, I. Thomas, H. Schmidt, I. Yusuf, S. Androulakis, G. Meyer, D.W. Drumm, G. Opletal, S.P. Russo, A. Buckle. Scalable and Fault-Tolerant Cloud Computations: Modelling and Implementation. 21st IEEE International Conference on Parallel and Distributed Systems (ICPADS), IEEE, pages 396-404

99. M. Spichkova, A. Zamansky and E. Farchi. Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. 21st IEEE International Conference on Parallel and Distributed Systems (ICPADS), pages 847 - 851

100. M. Spichkova, H. Schmidt. Reconciling a component and process view. 7th International Workshop on Modelling in Software Engineering (MiSE) at ICSE 2015, ACM, pages 1-6

101. M. Spichkova, H. Liu, M. Laali, H. Schmidt, Human Factors in Software Reliability Engineering. Workshop on Applications of Human Error Research to Improve Software Engineering at ICSE 2015

102. M. Spichkova, H. Liu, H. Schmidt. Towards Quality-oriented architecture: Integration in a global context. Proceedings of the 9th European Conference on Software Architecture (ECSA), ACM, Article No. 64 

103. M. Spichkova, H. Schmidt, R. Nekvi, N. Madhavji. Structuring Diverse Regulatory Requirements for Global Product Development. Requirements Engineering and Law workshop at RE 2015, IEEE, 57-60

104. M. Spichkova, H. Schmidt. HOFM 2015 Summary, [PDF]. SEFM Proceedings, LNCS, vol. 9509 

2014:

105. Book chapter: M. Spichkova. Design of formal languages and interfaces: “Formal” does not mean “unreadable”, [PDF]. In Emerging Research and Trends in Interactivity and the Human-Computer Interface, Eds.: K. Blashki, P. Isaías. IGI Global, ISBN13: 9781466646230, ISBN10: 1466646233 

106. M. Spichkova, H. Schmidt. Towards Logical Architecture and Formal Analysis of Dependencies Between Services. Asia-Pacific Services Computing Conference (APSCC 2014), slides in pdf

107. M. Spichkova, J. Blech, P. Herrmann, H. Schmidt. Modeling Spatial Aspects of Safety-Critical Systems with FocusST. 11th Model-Driven Engineering, Verification, and Validation (MoDeVVa 2014) at MODELS 2014

108. Journal article: M. Spichkova. Formalisation and Analysis of Component Dependencies. In Archive of Formal Proofs, ISSN 2150-914x

109. Journal article: M. Spichkova. Compositional Properties of Crypto-Based Components. In Archive of Formal Proofs, ISSN 2150-914x

110. Best paper nomination: J. Blech, M. Spichkova, I. Peake, H. Schmidt. Cyber-Virtual Systems: Simulation, Validation & Visualization. 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2014)

2013: 

111. Journal article: M. Spichkova. Stream Processing Components: Isabelle/HOL Formalisation and Case Studies. In Archive of Formal Proofs, ISSN 2150-914x

112. M. Spichkova, H. Schmidt, I. Peake. From abstract modelling to remote cyber-physical integration/interoperability testing. In Improving Systems and Software Engineering Conference (iSSEC) 2013 incorporating SEPG(SM) Asia-Pacific Conference

113. M. Spichkova, X. Zhu and D. Mou. Do we really need to write documentation for a system? In International Conference on Model-Driven Engineering and Software Development (MODELSWARD)

114. [alphab. order TUM-EMIC] V. Bauer, M. Broy, M. Irlbeck, C. Leuxner, M. Spichkova, M. Dahlweid, T. Santen. Survey of Modeling and Engineering Aspects of Self-Adapting & Self-Optimizing Systems, [PDF]. Technical Report TUM-I1324, 45 pages, Technische Universität München

115. [alphab. order] S. Dobi, M. Gleirscher, M. Spichkova, P. Struss. Model-based Hazard and Impact Analysis, [PDF]. Technical Report TUM-I1333, 74 pages, Technische Universität München

116. M. Spichkova, A. Campetelli, K. Lochmann (Eds.). Seminar: Embedded Systems. Technical Report TUM-I124, 119 pages, Technische Universität München

2012:

117. M. Spichkova, A. Campetelli Towards system development methodologies: From software to cyber-physical domain. In First International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)

118. M. Spichkova. Towards Focus on Time. In 12th International Workshop on Automated Verification of Critical Systems (AVoCS)

119. M. Spichkova. Human Factors of Formal Methods. In IADIS Interfaces and Human Computer Interaction 2012 (IHCI)

120. M. Spichkova, F. Hölzl, D. Trachtenherz. Verified System Development with the AutoFocus Tool Chain. In Formal Methods in the Development of Software.  EPTCS 86, pages 17–24   

121. M. Spichkova. Component Composition: Formal Specification and Verification of Cryptographic Properties. Technical Report TUM-I1336, 61 pages, Technische Universität München

122. M. Spichkova (Ed.). Seminar: Human Factors in Software Engineering. Technical Report TUM-I1216, 61 pages, Technische Universität München

2011:

123. Journal article: M. Spichkova. Architecture: Requirements + Decomposition + Refinement. In Softwaretechnik-Trends, 2011, Vol. 31, No. 4

124. M. Spichkova. Refinement-Based Specification: Requirements and Architecture. In Proceedings of Software Engineering 2011 (SE) , Karlsruher Institut für Technologie

125. M. Spichkova. User Guide for the FOCUS representation in LaTeX. Technical Report TUM-I1119, 15 pages, Technische Universität München

126. M. Spichkova. Focus on processes. Technical Report TUM-I1115, 36 pages, Technische Universität München

127. [alphab. order] M. Feilkas, F. Hölzl, C. Pfaller, S. Rittmann, B. Schätz, W. Schwitzer, W. Sitou, M. Spichkova, D. Trachtenherz. A Refined Top-Down Methodology for the Development of Automotive Software Systems - The KeylessEntry System Case Study. Technical Report TUM-I1103, 81 pages, Technische Universität München

2010:

128. [alphab. order] F. Hölzl, M. Spichkova, D. Trachtenherz. AutoFocus Tool Chain. Technical Report TUM-I1021, 12 pages, Technische Universität München

129. [alphab. order] F. Hölzl, M. Spichkova, D. Trachtenherz. Safety-Critical System Development Methodology. Technical Report TUM-I1020, 12 pages, Technische Universität München

130. M. Spichkova. From Semiformal Requirements To Formal Specification, [PDF]. Technical Report TUM-I1019, 32 pages, Technische Universität München

131. M. Spichkova. Architecture: Methodology of Decomposition. Technical Report TUM-I1018, 65 pages, Technische Universität München

132. M. Spichkova. Architecture: Methodology Of Decomposition. Specification Of The Cruise Control System. Case Study. Internal Technical Report published at Robert Bosch GmbH, 98 pages 

133. M. Spichkova. Verisoft XT Automotive Application: Semiformal Specification For Cruise Control System. Internal Technical Report published at Robert Bosch GmbH, 43 pages 

2009:

134. M. Spichkova. Refinement-Based Specification and Verification (Short Version). Dagstuh Research Seminar on Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl Castle, Germany

135. [alphab. order] M. Feilkas, A. Fleischmann, F. Hölzl, C. Pfaller, K. Scheidemann, M. Spichkova, D. Trachtenherz. A Top-Down Methodology for the Development of Automotive Software. Technical Report I0902, 84 pages, Technische Universität München 

2008:

136. Journal article: [alphab. order] J. Botaschanjan, M. Broy, A. Gruler, A. Harhurin, S. Knapp, L. Kof, W. Paul, M. Spichkova. On the Correctness of Upper Layers of Automotive Systems. Formal Aspects of Computing, 20(6), pp. 637-662

137. Book: M. Spichkova. Specification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle. Vdm Verlag Dr. Müller, 2008, ISBN-10: 3836494523, ISBN-13: 978-3836494526  

138. M. Spichkova. Focus on Isabelle: From Specification to Verification. Theorem Proving in Higher-Order Logics (TPHOLs 2008), Eds.: Otmane Ait Mohamed, César Muñoz, Sofiène Tahar, Concordia University 

139. M. Spichkova. Refinement-based verification of interactive real-time Systems. In Proceedings of the REFINE 2008 -- International Refinement Workshop, ENTCS, Volume 214, pp. 131-157

140. M. Spichkova, J. Jürjens. Formal Specification of Cryptographic Protocols and Their Composition Properties. Technical Report I0823, 50 pages, Technische Universität München

2007:

141. Book chapter: [alphab. order] C. Kühnel, M. Spichkova. Software Fault-Tolerant Communication for Distributed Embedded Systems. Eds.: P. Pelliccione, H. Muccini, N. Guelfi, A. Romanovsky. In Software Engineering of Fault Tolerant Systems (Series: Software Engineering and Knowledge Engineering), volume 19, pp. 175-198, World Scientific Publishing

142. Book chapter: [alphab. order] M. Broy, J. Fox, F. Hölzl, D. Koss, M. Kuhrmann, M. Meisinger, B. Penzenstadler, S. Rittmann, B. Schätz, M. Spichkova, D. Wild. Service-Oriented Modeling CoCoME with Focus/AutoFocus. In The Common Component Modeling Example. Comparing Software Component Models. A. Rausch, R. Reussner, R. Mirandola, F. Plášil (Eds.). Volume 5153, pp. 177-206, Springer

143. M. Spichkova. Specification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle. PhD thesis, TU München, 2007 

2006:

144. [alphab. order] J. Botaschanjan, A. Gruler, A. Harhurin, L. Kof, M. Spichkova, D. Trachtenherz. Towards Modularized Verification of Distributed Time-Triggered Systems. Eds.: Jayadev Misra, Tobias Nipkow, and Emil Sekerinski. In Proceedings of the Formal Methods 2006, volume 4085 of LNCS, pp. 163-178, Springer

145. [alphab. order] C. Kühnel, M. Spichkova. Upcoming Automotive Standards For Fault Tolerant Communication: FlexRay and OSEKtime FTCom. In Proceedings of the EFTS 2006 International Workshop on Engineering of Fault Tolerant Systems, 12 pages, Universite du Luxembourg, CSC: Computer Science and Communication

146. M. Spichkova. FlexRay: Verification of the FOCUS Specification in Isabelle/HOL. A Case Study. Technical Report TUM-I0602, 26 pages, Technische Universität München

147. [alphab. order] C. Kühnel, M. Spichkova. FlexRay und FTCom: Formale Spezifikation in FOCUS. Technical Report I0601, 33 pages, Technische Universität München

2005: 

148. [alphab. order] J. Botaschanjan, L. Kof, C. Kühnel, M. Spichkova. Towards Verified Automotive Software. ACM SIGSOFT Software Engineering Notes 30(4), Proceedings of the 2nd International ICSE workshop on Software, pp. 1-6, ACM Press 

2003:

M. Spichkova. A coalgebraic view at data flow systems. Master's thesis, TU Dresden