Publications

Google Scholar (1154 citations, h-index = 20, i10-index = 38), 120 publications

2020:

  1. T. Alsanoosy, M. Spichkova, J. Harland. Identification of Cultural Influences on Requirements Engineering Activities. Proceedings of the 42nd International Conference on Software Engineering (ICSE), to appear
  2. 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
  3. T. Alsanoosy, M. Spichkova, J. Harland. A Framework for Identifying Cultural Influences on Requirements Engineering Activities. Proceedings of the PACIS'20, to appear
  4. 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, to appear
  5. M. Spichkova, J. van Zyl. Application of computer vision technologies for automated utility meters reading. Proceedings of the 15th International Conference on Software Technologies, to appear

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, Springer, 469-478
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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:

  1. 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
  2. Journal article: A. Alharthi, M. Spichkova, M. Hamilton. Sustainability requirements for eLearning systems: a systematic literature review and analysis. Requirements Engineering
  3. A. Alharthi, M. Spichkova, M. Hamilton. SuSoftPro: Profiling for Sustainability Software. 26th IEEE International Requirements Engineering Conference (RE'18), IEEE
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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.
  13. 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
  14. M. Spichkova. Automated analysis of the impact of weather conditions on medicine consumption. 25th Australasian Software Engineering Conference, 166-170
  15. A. Abdullah, H. Schmidt, M. Spichkova, H. Liu. Monitoring Informed Testing for IoT. 25th Australasian Software Engineering Conference, 91-95

2017:

  1. 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
  2. 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
  3. 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
  4. C. Thevathayan, M. Spichkova, M. Hamilton. Combining Agile Practices with Incremental Visual Tasks. 19th Australasian Computing Education Conference (ACE 2017), ACM, pages 103-112
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. M. Spichkova. (Auto) Focus approaches and their applications: A systematic review, CoRR, 1711.08123
  11. 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:

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. M. Spichkova. "Boring formal methods" or "Sherlock Holmes deduction methods"? Software Technologies: Applications and Foundations (STAF), Springer, pages 242-252
  12. P. Vo, M. Spichkova. Model-based generation of natural language specifications. Software Technologies: Applications and Foundations (STAF), Springer, pages 221-231
  13. 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
  14. M. Spichkova. Applied Logic in Engineering, Technical Report, CoRR, 1602.05170
  15. M. Spichkova, J. Harland, A. Alharthi. Online Support System for Transnational Education. International Conference on Engineering Education and Research (ICEER), Western Sydney University
  16. 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
  17. A. Alharthi, M. Spichkova. Individual and Social Requirements Aspects of Sustainable eLearning Systems. International Conference on Engineering Education and Research (ICEER), Western Sydney University
  18. M. Spichkova. Spatio-temporal features of FocusST, Technical Report, CoRR, 1610.07884
  19. 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:

  1. 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
  2. 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
  3. 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
  4. Book Chapter: M. Spichkova, M. Simic. Towards Formal Modelling of Autonomous Systems. Intelligent Interactive Multimedia Systems and Services, Springer, pp. 279-288, ISBN: 9783319198309
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. A. Alharthi, M. Spichkova, M. Hamilton. Requirements Engineering Aspects of ELearning Systems. 24th Australasian Software Engineering Conference (ASWEC), ACM, pages 132-133
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. M. Spichkova, H. Schmidt. HOFM 2015 Summary, [PDF]. SEFM Proceedings, LNCS, vol. 9509

2014:

  1. 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
  2. M. Spichkova, H. Schmidt. Towards Logical Architecture and Formal Analysis of Dependencies Between Services. Asia-Pacific Services Computing Conference (APSCC 2014), slides in pdf
  3. 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
  4. Journal article: M. Spichkova. Formalisation and Analysis of Component Dependencies. In Archive of Formal Proofs, ISSN 2150-914x
  5. Journal article: M. Spichkova. Compositional Properties of Crypto-Based Components. In Archive of Formal Proofs, ISSN 2150-914x
  6. 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:

  1. Journal article: M. Spichkova. Stream Processing Components: Isabelle/HOL Formalisation and Case Studies. In Archive of Formal Proofs, ISSN 2150-914x
  2. 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
  3. 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)
  4. [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
  5. [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
  6. M. Spichkova, A. Campetelli, K. Lochmann (Eds.). Seminar: Embedded Systems. Technical Report TUM-I124, 119 pages, Technische Universität München

2012:

  1. 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)
  2. M. Spichkova. Towards Focus on Time. In 12th International Workshop on Automated Verification of Critical Systems (AVoCS)
  3. M. Spichkova. Human Factors of Formal Methods. In IADIS Interfaces and Human Computer Interaction 2012 (IHCI)
  4. 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
  5. M. Spichkova. Component Composition: Formal Specification and Verification of Cryptographic Properties. Technical Report TUM-I1336, 61 pages, Technische Universität München
  6. M. Spichkova (Ed.). Seminar: Human Factors in Software Engineering. Technical Report TUM-I1216, 61 pages, Technische Universität München

2011:

  1. Journal article: M. Spichkova. Architecture: Requirements + Decomposition + Refinement. In Softwaretechnik-Trends, 2011, Vol. 31, No. 4
  2. M. Spichkova. Refinement-Based Specification: Requirements and Architecture. In Proceedings of Software Engineering 2011 (SE) , Karlsruher Institut für Technologie
  3. M. Spichkova. User Guide for the FOCUS representation in LaTeX. Technical Report TUM-I1119, 15 pages, Technische Universität München
  4. M. Spichkova. Focus on processes. Technical Report TUM-I1115, 36 pages, Technische Universität München
  5. [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:

  1. [alphab. order] F. Hölzl, M. Spichkova, D. Trachtenherz. AutoFocus Tool Chain. Technical Report TUM-I1021, 12 pages, Technische Universität München
  2. [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
  3. M. Spichkova. From Semiformal Requirements To Formal Specification, [PDF]. Technical Report TUM-I1019, 32 pages, Technische Universität München
  4. M. Spichkova. Architecture: Methodology of Decomposition. Technical Report TUM-I1018, 65 pages, Technische Universität München
  5. M. Spichkova. Architecture: Methodology Of Decomposition. Specification Of The Cruise Control System. Case Study. Internal Technical Report published at Robert Bosch GmbH, 98 pages
  6. M. Spichkova. Verisoft XT Automotive Application: Semiformal Specification For Cruise Control System. Internal Technical Report published at Robert Bosch GmbH, 43 pages

2009:

  1. 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
  2. [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:

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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:

  1. 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
  2. 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
  3. M. Spichkova. Specification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle. PhD thesis, TU München, 2007

2006:

  1. [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
  2. [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
  3. 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
  4. [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:

[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