Selected Publications

Full list can be found at Google Scholar 

(1869 citations, h-index = 23, i10-index = 67), 140+ publications

2023:

1. 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

2. 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), to appear

3. 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), to appear

2022:

4. 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

5. 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

6. 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

7. 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

8. 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:

9. 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

10. 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

11. 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

12. 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:

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

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

15. 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

16. 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)

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

18. 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)

19. 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)

20. 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)

21. 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)

22. 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)

2019:

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

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

25. 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)

26. 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

27. 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 

28. 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 

29. 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

30. 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

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

32. 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

33. 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 

34. 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 

35. 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

36. 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

37. 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: 

38. 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

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

40.  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

41. 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 

42. 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

43. 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 

44. 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

45. 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

46. 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

47. 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

48.  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.

49.  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

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

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

2017:

52. 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 

53. 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  

54. 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   

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

56. 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

57. 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  

58. 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   

59. 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 

60. 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 

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

62. 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: 

63. 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   

64. 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   

65. 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   

66. 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 

67. 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 

68. 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 

69. 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

70. 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 

71. 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 

72. 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  

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

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

75. 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 

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

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

78. 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  

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

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

81. 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:

82. 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 

83. 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 

84. 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  

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

86. 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 

87. 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

88. 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 

89. 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  

90. 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  

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

92. 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

93. 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

94. 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

95. 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

96. 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 

97. 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

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

2014:

99. 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 

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

101. 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

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

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

104. 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: 

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

106. 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

107. 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)

108. [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

109. [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

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

2012:

111. 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)

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

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

114. 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   

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

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

2011:

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

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

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

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

121. [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:

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

123. [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

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

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

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

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

2009:

128. 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

129. [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:

130. 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

131. 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  

132. 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 

133. 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

134. 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:

135. 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

136. 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

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

2006:

138. [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

139. [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

140. 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

141. [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: 

142. [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