Home

  Publications

  Industry/Research Projects

  Activities

Teaching/Supervision

YourSoftware

Publications

Google Scholar (1065 citations, h-index = 20, i10-index = 34), 120 publications

    2019:
     
  1. Journal article:  T. Alsanoosy, M. Spichkova, J. Harland. Cultural Influence on Requirements Engineering Activities: A Systematic Literature Review and Analysis. Requirements Engineering, Springer Nature
     
  2. M. Spichkova. Industry-Oriented Project-based Learning of Software Engineering. 24th International Conference on Engineering of Complex Computer Systems, IEEE (to appear)
     
  3. 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 (ISD2019), to appear
     
  4. 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
     
  5. 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
     
  6. 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
     
  7. 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
     
  8. 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
     
  9. Book Chapter: M. Spichkova, M Simic. Towards Formal Specification of CAN Protocol. Innovation in Medicine and Healthcare Systems, and Multimedia, 469-478
     
  10. 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 
     
  11. 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
     
  12. 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
     
  13. 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
     
  14. Book Chapter: T. Alsanoosy, M. Spichkova, J. Harland. A Detailed Analysis of the Influence of Saudi Arabian Culture on the Requirement Engineering ProcessCommunications in Computer and Information Science series,  Evaluation of Novel Approaches to Software Engineering. Springer Nature, 240-260
     
  15. 2018:
     
  16. 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
     
  17. Journal article:  A. Alharthi, M. Spichkova, M. Hamilton. Sustainability requirements for eLearning systems: a systematic literature review and analysis. Requirements Engineering
     
  18. A. Alharthi, M. Spichkova, M. Hamilton. SuSoftPro: Profiling for Sustainability Software. 26th IEEE International Requirements Engineering Conference (RE'18), IEEE 
     
  19.  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
     
  20. 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
     
  21. 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
     
  22. 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 
     
  23. Book Chapter: C. Sun, J. Zhang, C. Liu, B. King, Y. Zhang, M. Galle, M. Spichkova, M.Simic. Towards Software Development For Social Robotics SystemsSeries on Smart Innovation, Systems and Technologies. Intelligent Interactive Multimedia Systems and Services 2018, pages 151-160
      
  24. T. Alsanoosy, M. Spichkova, J. Harland. Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), SciTePress, pages 159-168
      
  25. A. Zamansky, M. Spichkova, G. Rodriguez-Navas, P. Herrmann,  J. Blech. Towards Classification of Lightweight Formal Methods13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), SciTePress, pages 305-313
      
  26. M. Spichkova, R. Bhat. FocusST Solution for Analysis of Cryptographic Properties13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), SciTePress, pages 320-327
      
  27.  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.
       
  28.  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
       
  29. M. Spichkova. Automated analysis of the impact of weather conditions on medicine consumption. 25th Australasian Software Engineering Conference, 166-170
       
  30. A. Abdullah, H. Schmidt, M. Spichkova, H. Liu. Monitoring Informed Testing for IoT. 25th Australasian Software Engineering Conference, 91-95
        
  31. 2017:
     
  32. Journal article: I. Yusuf, I. Thomas, M. Spichkova, H. Schmidt. Chiminey: Connecting Scientists to HPC, Cloud and Big DataBig Data Research, Volume 8, pages 39–49, Elsevier 
     
  33. 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  
     
  34. 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   
     
  35. C. Thevathayan, M. Spichkova, M. Hamilton. Combining Agile Practices with Incremental Visual Tasks19th Australasian Computing Education Conference (ACE 2017), ACM, pages 103-112 
     
  36. 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
     
  37. M. Spichkova, M. Simic. Autonomous Systems Research Embedded in TeachingIntelligent Interactive Multimedia Systems and Services 2017. Series on Smart Innovation, Systems and Technologies, Volume 76, pages 268-277, Springer  
     
  38. 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   
     
  39. 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 
     
  40. 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 
     
  41. M. Spichkova(Auto) Focus approaches and their applications: A systematic review, CoRR, 1711.08123
      
  42. 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
     
     
  43. 2016:
     
  44. Book Chapter: M. Spichkova, M. Simic, H. Schmidt. From Automotive to Autonomous: Time-Triggered Operating SystemsIntelligent Interactive Multimedia Systems and Services 2016,  Springer, pages 347-359, ISBN: 978-3-319-39344-5   
     
  45. 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 adaptationProcedia Computer Science, vol.96, Elsevier, pages 1609-1618   
     
  46. 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   
      
  47. M. Spichkova, A. Zamansky. A Human-Centred Framework for Supporting Model-Based Testing28th International Conference on Advanced Information System Engineering (CAiSE), Forum, CEUR, pages 105-112 
     
  48. M. Laali, H. Liu, M. Hamilton, M. Spichkova, H. Schmidt. Test Case Prioritization Using Online Fault Detection Information21st International Conference on Reliable Software Technologies (RST), Springer, LNCS, ISBN 978-3-319-39082-6, pages 78-93 
     
  49. Best Paper Award:  M. Spichkova, A. Zamansky. A Human-Centred Framework for Combinatorial Test Design11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), ISBN 978-989-758-189-2, pages 228-233 
     
  50. M. Spichkova, A. Zamansky, E. Farchi. A visual logical language for system modelling in combinatorial test designCognitive 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
     
  51. 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 
     
  52. M. Spichkova, A. Zamansky. Teaching Formal Methods for Software Engineering11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), ISBN 978-989-758-189-2, pages 370-376 
      
  53. A. Zamansky, G. Rodriguez-Navas, M. Adams, M. SpichkovaFormal 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 
     
  54. M. Spichkova. "Boring formal methods" or "Sherlock Holmes deduction methods"? Software Technologies: Applications and Foundations (STAF), Springer, pages 242-252 
     
  55. P. Vo, M. Spichkova. Model-based generation of natural language specificationsSoftware Technologies: Applications and Foundations (STAF), Springer, pages 221-231 
     
  56. N. Alzahrani, M. Spichkova, J. Blech. Spatio-Temporal Models for Formal Analysis and Property-Based TestingSoftware Technologies: Applications and Foundations (STAF), Springer, pages 196-206 
     
  57. M. SpichkovaApplied Logic in Engineering, Technical Report, CoRR, 1602.05170
      
  58. M. Spichkova, J. Harland, A. Alharthi. Online Support System for Transnational Education. International Conference on Engineering Education and Research (ICEER), Western Sydney University
      
  59. 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
      
  60. A. Alharthi, M. Spichkova. Individual and Social Requirements Aspects of Sustainable eLearning Systems. International Conference on Engineering Education and Research (ICEER), Western Sydney University
     
  61. M. SpichkovaSpatio-temporal features of FocusST, Technical Report, CoRR, 1610.07884
     
  62. 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 
     
  63. 2015:
     
  64. 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 Cloud37th International Conference on Software Engineering (ICSE), pages 677-680 
     
  65. Journal article:  M. Spichkova, M. Simic, H. Schmidt. Formal model for intelligent route planningProcedia Computer Science, Elsevier BV, Netherlands, vol. 60, pp. 1299-1308 ISSN: 1877-0509 
     
  66. Journal article: M. Spichkova, H. Schmidt. Formal-Based Framework For Analysis Of Logical ArchitectureInternational Journal of Services Computing (IJSC), 3(3), pages 1-15  
     
  67. Book Chapter: M. Spichkova, M. Simic. Towards Formal Modelling of Autonomous SystemsIntelligent Interactive Multimedia Systems and Services, Springer, pp. 279-288, ISBN: 9783319198309 
     
  68. Book Chapter: J. Blech, M. Spichkova, I. Peake, H. Schmidt. Visualization, Simulation and Validation for Cyber-Virtual SystemsSeries on Communications in Computer and Information ScienceSpringer, vol. 551, pp. 140-154. ISBN 978-3-319-27217-7, 978-3-319-27218-4 

  69. 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
      
  70. M. Spichkova, H. Schmidt. Requirements Engineering Aspects of a Geographically Distributed Architecture10th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), IEEE, pages 276-281
     
  71. H. Liu, M. Spichkova, H. Schmidt, T. Sellis, M. Duckham. Spatio-temporal architecture-based framework for testing services in the cloud24th Australasian Software Engineering Conference (ASWEC), ACM, pages 18-22
      
  72. H. Liu, M. Spichkova, H. Schmidt, A. Ulrich, H. Sauer, J. Wieghardt. Efficient testing based on logical architecture24th Australasian Software Engineering Conference (ASWEC), ACM, pages 49-53
      
  73. A. Alharthi, M. Spichkova, M. Hamilton. Requirements Engineering Aspects of ELearning Systems24th Australasian Software Engineering Conference (ASWEC), ACM, pages 132-133
      
  74. 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 Implementation21st IEEE International Conference on Parallel and Distributed Systems (ICPADS), IEEE, pages 396-404
     
  75. M. Spichkova, A. Zamansky and E. Farchi. Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems21st IEEE International Conference on Parallel and Distributed Systems (ICPADS), pages 847 - 851
      
  76. M. Spichkova, H. Schmidt. Reconciling a component and process view7th International Workshop on Modelling in Software Engineering (MiSE) at ICSE 2015, ACM, pages 1-6
       
  77. M. Spichkova, H. Liu, M. Laali, H. Schmidt, Human Factors in Software Reliability EngineeringWorkshop on Applications of Human Error Research to Improve Software Engineering at ICSE 2015
       
  78. M. Spichkova, H. Liu, H. Schmidt. Towards Quality-oriented architecture: Integration in a global contextProceedings of the 9th European Conference on Software Architecture (ECSA), ACM, Article No. 64 
       
  79. M. Spichkova, H. Schmidt, R. Nekvi, N. Madhavji. Structuring Diverse Regulatory Requirements for Global Product DevelopmentRequirements Engineering and Law workshop at RE 2015, IEEE, 57-60
      
  80. M. Spichkova, H. Schmidt. HOFM 2015 Summary, [PDF]SEFM Proceedings, LNCS, vol. 9509 
      
  81. 2014:
     
  82. Book chapter: M. SpichkovaDesign 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
       
  83. M. Spichkova, H. Schmidt. Towards Logical Architecture and Formal Analysis of Dependencies Between Services. Asia-Pacific Services Computing Conference (APSCC 2014)slides in pdf
      
  84. M. Spichkova, J. Blech, P. Herrmann, H. Schmidt. Modeling Spatial Aspects of Safety-Critical Systems with FocusST11th Model-Driven Engineering, Verification, and Validation (MoDeVVa 2014) at MODELS 2014
      
  85. Journal article: M. SpichkovaFormalisation and Analysis of Component Dependencies. In Archive of Formal Proofs, ISSN 2150-914x

  86. Journal article: M. SpichkovaCompositional Properties of Crypto-Based Components. In Archive of Formal Proofs, ISSN 2150-914x
      
  87. 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)
     
  88. 2013:
     
  89. Journal article: M. SpichkovaStream Processing Components: Isabelle/HOL Formalisation and Case Studies. In Archive of Formal Proofs, ISSN 2150-914x
     
  90. 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
     
  91. 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)
     
  92. [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
     
  93. [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
     
  94. M. Spichkova, A. Campetelli, K. Lochmann (Eds.). Seminar: Embedded SystemsTechnical Report TUM-I124, 119 pages, Technische Universität München
     
  95. 2012:
     
  96. 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)
     
  97. M. SpichkovaTowards Focus on Time. In 12th International Workshop on Automated Verification of Critical Systems (AVoCS)
     
  98. M. SpichkovaHuman Factors of Formal Methods. In IADIS Interfaces and Human Computer Interaction 2012 (IHCI)
     
  99. 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   
     
  100. M. SpichkovaComponent Composition: Formal Specification and Verification of Cryptographic PropertiesTechnical Report TUM-I1336, 61 pages, Technische Universität München
     
  101. M. Spichkova (Ed.). Seminar: Human Factors in Software EngineeringTechnical Report TUM-I1216, 61 pages, Technische Universität München
     
  102. 2011:
     
  103. Journal article: M. SpichkovaArchitecture: Requirements + Decomposition + Refinement. In Softwaretechnik-Trends, 2011, Vol. 31, No. 4
      
  104. M. SpichkovaRefinement-Based Specification: Requirements and Architecture. In Proceedings of Software Engineering 2011 (SE) , Karlsruher Institut für Technologie
       
  105. M. SpichkovaUser Guide for the FOCUS representation in LaTeX. Technical Report TUM-I1119, 15 pages, Technische Universität München
     
  106. M. SpichkovaFocus on processesTechnical Report TUM-I1115, 36 pages, Technische Universität München
     
  107. [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 StudyTechnical Report TUM-I1103, 81 pages, Technische Universität München
     
  108. 2010:
     
  109. [alphab. order] F. Hölzl, M. Spichkova, D. Trachtenherz. AutoFocus Tool ChainTechnical Report TUM-I1021, 12 pages, Technische Universität München
     
  110. [alphab. order] F. Hölzl, M. Spichkova, D. Trachtenherz. Safety-Critical System Development MethodologyTechnical Report TUM-I1020, 12 pages, Technische Universität München
     
  111. M. SpichkovaFrom Semiformal Requirements To Formal Specification[PDF]Technical Report TUM-I1019, 32 pages, Technische Universität München
     
  112. M. SpichkovaArchitecture: Methodology of DecompositionTechnical Report TUM-I1018, 65 pages, Technische Universität München
     
  113. M. Spichkova. Architecture: Methodology Of Decomposition. Specification Of The Cruise Control System. Case Study. Internal Technical Report published at Robert Bosch GmbH, 98 pages 
     
  114. M. Spichkova. Verisoft XT Automotive Application: Semiformal Specification For Cruise Control System. Internal Technical Report published at Robert Bosch GmbH, 43 pages 
     
  115. 2009:
     
  116. M. SpichkovaRefinement-Based Specification and Verification (Short Version)Dagstuh Research Seminar on Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl Castle, Germany
     
  117. [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 SoftwareTechnical Report I0902, 84 pages, Technische Universität München
     
  118. 2008:
     
  119. Journal article: [alphab. order] J. Botaschanjan, M. Broy, A. Gruler, A. Harhurin, S. Knapp, L. Kof, W. Paul, M. SpichkovaOn the Correctness of Upper Layers of Automotive SystemsFormal Aspects of Computing, 20(6), pp. 637-662
     
  120. Book: M. SpichkovaSpecification and Seamless Verification of Embedded Real-Time Systems: FOCUS on IsabelleVdm Verlag Dr. Müller, 2008, ISBN-10: 3836494523, ISBN-13: 978-3836494526  
     
  121. M. SpichkovaFocus on Isabelle: From Specification to VerificationTheorem Proving in Higher-Order Logics (TPHOLs 2008), Eds.: Otmane Ait Mohamed, César Muñoz, Sofiène Tahar, Concordia University 
     
  122. M. SpichkovaRefinement-based verification of interactive real-time Systems. In Proceedings of the REFINE 2008 -- International Refinement Workshop, ENTCS, Volume 214, pp. 131-157
     
  123. M. Spichkova, J. Jürjens. Formal Specification of Cryptographic Protocols and Their Composition PropertiesTechnical Report I0823, 50 pages, Technische Universität München
     
  124. 2007:
     
  125. Book chapter: [alphab. order] C. Kühnel, M. SpichkovaSoftware Fault-Tolerant Communication for Distributed Embedded SystemsEds.: 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
     
  126. 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
     
  127. M. SpichkovaSpecification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle. PhD thesis, TU München, 2007
     
  128. 2006:
     
  129. [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
     
  130. [alphab. order] C. Kühnel, M. SpichkovaUpcoming 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
     
  131. M. SpichkovaFlexRay: Verification of the FOCUS Specification in Isabelle/HOL. A Case Study. Technical Report TUM-I0602, 26 pages, Technische Universität München
     
  132. [alphab. order] C. Kühnel, M. SpichkovaFlexRay und FTCom: Formale Spezifikation in FOCUSTechnical Report I0601, 33 pages, Technische Universität München
     
  133. 2005:
     
  134. [alphab. order] J. Botaschanjan, L. Kof, C. Kühnel, M. SpichkovaTowards Verified Automotive SoftwareACM SIGSOFT Software Engineering Notes 30(4), Proceedings of the 2nd International ICSE workshop on Software, pp. 1-6, ACM Press 
     
  135. 2003:
     
  136. M. Spichkova. A coalgebraic view at data flow systems. Master's thesis, TU Dresden