Towards verified automotive software. - Jewgenij Botaschanjan; Leonid Kof; C. Kühnel; Maria Spichkova (ACM SIGSOFT Softw. Eng. Notes, 2005)

Towards Modularized Verification of Distributed Time-Triggered Systems. - Jewgenij Botaschanjan; Alexander Gruler; Alexander Harhurin; Leonid Kof; Maria Spichkova; David Trachtenherz (FM, 2006)

Service-Oriented Modeling of CoCoME with Focus and AutoFocus. - Manfred Broy; Jorge Fox; Florian Hölzl; Dagmar Koss; Marco Kuhrmann; Michael Meisinger; Birgit Penzenstadler; Sabine Rittmann; Bernhard Schätz; Maria Spichkova; Doris Wild (CoCoME, 2007)

Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle. - Maria Spichkova (2007)

Refinement-Based Verification of Interactive Real-Time Systems. - Maria Spichkova (Refine@FM, 2008)

On the correctness of upper layers of automotive systems. - Jewgenij Botaschanjan; Manfred Broy; Alexander Gruler; Alexander Harhurin; Steffen Knapp; Leonid Kof; Wolfgang J. Paul; Maria Spichkova (Formal Aspects Comput., 2008)

Architecture: Requirements + Decomposition + Refinement. - Maria Spichkova (Softwaretechnik-Trends, 2011)

Verified System Development with the AutoFocus Tool Chain - Maria Spichkova; Florian Hölzl; David Trachtenherz (WS-FMDS, 2012)

Do we Really Need to Write Documentation for a System? - CASE Tool Add-ons: Generator+Editor for a Precise Documentation. - Maria Spichkova; Xiuna Zhu; Dongyue Mou (MODELSWARD, 2013)

Stream Processing Components: Isabelle/HOL Formalisation and Case Studies. - Maria Spichkova (Arch. Formal Proofs, 2013)

Towards Logical Architecture and Formal Analysis of Dependencies between Services. - Maria Spichkova; Heinrich-Wilhelm Schmidt (APSCC, 2014)

Cyber-virtual Systems - Simulation, Validation & Visualization. - Jan Olaf Blech; Maria Spichkova; Ian D. Peake; Heinz W. Schmidt (ENASE, 2014)

Visualization, Simulation and Validation for Cyber-Virtual Systems. - Jan Olaf Blech; Maria Spichkova; Ian Peake; Heinz W. Schmidt (ENASE (Selected Papers), 2014)

Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. - Maria Spichkova; Jan Olaf Blech; Peter Herrmann; Heinz W. Schmidt (MoDeVVa@MoDELS, 2014)

Compositional Properties of Crypto-Based Components. - Maria Spichkova (Arch. Formal Proofs, 2014)

Formalisation and Analysis of Component Dependencies. - Maria Spichkova (Arch. Formal Proofs, 2014)

Towards Focus on Time. - Maria Spichkova (CoRR, 2014)

Human Factors of Formal Methods. - Maria Spichkova (CoRR, 2014)

Refinement-Based Specification: Requirements and Architecture. - Maria Spichkova (CoRR, 2014)

Towards system development methodologies: From software to cyber-physical domain. - Maria Spichkova; Alarico Campetelli (CoRR, 2014)

From abstract modelling to remote cyber-physical integration/interoperability testing. - Maria Spichkova; Heinz W. Schmidt; Ian D. Peake (CoRR, 2014)

Requirements Engineering Aspects of ELearning Systems. - Ahmed D. Alharthi; Maria Spichkova; Margaret Hamilton 001 (ASWEC (2), 2015)

Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud. - Huai Liu; Maria Spichkova; Heinz W. Schmidt; Timos K. Sellis; Matt Duckham (ASWEC (2), 2015)

Efficient Testing based on Logical Architecture. - Huai Liu; Maria Spichkova; Heinz W. Schmidt; Andreas Ulrich; Horst Sauer; Jan Wieghardt (ASWEC (2), 2015)

Towards Quality-Oriented Architecture: Integration in a Global Context. - Maria Spichkova; Huai Liu; Heinz W. Schmidt (ECSA Workshops, 2015)

Introduction to the SAGRA 2015 workshop. - Maria Spichkova; Heinz W. Schmidt; Catia Trubiani (ECSA Workshops, 2015)

Requirements Engineering Aspects of a Geographically Distributed Architecture. - Maria Spichkova; Heinz W. Schmidt (ENASE, 2015)

Scalable and Fault-Tolerant Cloud Computations: Modelling and Implementation. - Maria Spichkova; Ian E. Thomas; Heinz W. Schmidt; Iman I. Yusuf; Daniel W. Drumm; Steve G. Androulakis; George Opletal; Salvy P. Russo (ICPADS, 2015)

Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. - Maria Spichkova; Anna Zamansky; Eitan Farchi (ICPADS, 2015)

Reconciling a Component and Process View. - Maria Spichkova; Heinz W. Schmidt (MiSE@ICSE, 2015)

Chiminey: Reliable Computing and Data Management Platform in the Cloud. - Iman I. Yusuf; Ian E. Thomas; Maria Spichkova; Steve G. Androulakis; Grischa R. Meyer; Daniel W. Drumm; George Opletal; Salvy P. Russo; Ashley M. Buckle; Heinz W. Schmidt (ICSE (2), 2015)

Formal Model for Intelligent Route Planning. - Maria Spichkova; Milan Simic; Heinz W. Schmidt (KES, 2015)

Structuring diverse regulatory requirements for global product development. - Maria Spichkova; Heinz W. Schmidt; Md. Rashed Iqbal Nekvi; Nazim H. Madhavji (RELAW, 2015)

Model-based Hazard and Impact Analysis. - Sonila Dobi; Mario Gleirscher; Maria Spichkova; Peter Struss (CoRR, 2015)

Human Factors in Software Reliability Engineering. - Maria Spichkova; Huai Liu; Mohsen Laali; Heinz W. Schmidt (CoRR, 2015)

Test Case Prioritization Using Online Fault Detection Information. - Mohsen Laali; Huai Liu; Margaret Hamilton 001; Maria Spichkova; Heinz W. Schmidt (Ada-Europe, 2016)

Sustainability Profiling of Long-living Software Systems. - Ahmed D. Alharthi; Maria Spichkova; Margaret Hamilton 001 (QuASoQ/TDA@APSEC, 2016)

A Human-Centred Framework for Supporting Agile Model-Based Testing. - Maria Spichkova; Anna Zamansky (CAiSE Forum, 2016)

A Visual Logical Language for System Modelling in Combinatorial Test Design. - Maria Spichkova; Anna Zamansky; Eitan Farchi (CAiSE Workshops, 2016)

Managing Usability and Reliability Aspects in Cloud Computing. - Maria Spichkova; Heinz W. Schmidt; Ian E. Thomas; Iman I. Yusuf; Steve G. Androulakis; Grischa R. Meyer (ENASE, 2016)

Towards Modelling and Implementation of Reliability and Usability Features for Research-Oriented Cloud Computing Platforms. - Maria Spichkova; Heinz W. Schmidt; Iman I. Yusuf; Ian E. Thomas; Steve G. Androulakis; Grischa R. Meyer (ENASE (Selected Papers), 2016)

A Human-centred Framework for Combinatorial Test Design. - Maria Spichkova; Anna Zamansky (ENASE, 2016)

Teaching of Formal Methods for Software Engineering. - Maria Spichkova; Anna Zamansky (ENASE, 2016)

AHR: Human-Centred Aspects of Test Design. - Maria Spichkova; Anna Zamansky (ENASE (Selected Papers), 2016)

Formal Methods in Collaborative Projects. - Anna Zamansky; Guillermo Rodríguez-Navas; Mark Adams; Maria Spichkova (ENASE, 2016)

From Automotive to Autonomous: Time-Triggered Operating Systems. - Maria Spichkova; Milan Simic; Heinz W. Schmidt (IIMSS, 2016)

Formal Models for Intelligent Speed Validation and Adaptation. - Maria Spichkova; Milan Simic; Heinrich-Wilhelm Schmidt; Jian Cheng; Xuening Dong; Yuxi Gui; Yin Liang; Peng Ling; Zixiong Yin (KES, 2016)

Spatio-Temporal Models for Formal Analysis and Property-Based Testing. - Nasser Alzahrani; Maria Spichkova; Jan Olaf Blech (STAF Workshops, 2016)

"Boring Formal Methods" or "Sherlock Holmes Deduction Methods"? - Maria Spichkova (STAF Workshops, 2016)

Model-Based Generation of Natural Language Specifications. - Phan Thu Nhat Vo; Maria Spichkova (STAF Workshops, 2016)

Applied Logic in Engineering. - Maria Spichkova (CoRR, 2016)

Spatio-temporal features of FocusST. - Maria Spichkova (CoRR, 2016)

Dynamic Decision Making System for Public Transport Routes. - Maria Spichkova; Margaret Hamilton 001 (Int. J. Syst. Dyn. Appl., 2016)

Combining Agile Practices with Incremental Visual Tasks. - Charles Thevathayan; Maria Spichkova; Margaret Hamilton 001 (ACE, 2017)

Green architecture for sustainable eLearning systems. - Ahmed D. Alharthi; Maria Spichkova (ECSA (Companion), 2017)

Role of women in software architecture: an attempt at a systematic literature review. - Maria Spichkova; Heinz W. Schmidt; Catia Trubiani (ECSA (Companion), 2017)

From Temporal Models to Property-based Testing. - Nasser Alzahrani; Maria Spichkova; Jan Olaf Blech (ENASE, 2017)

Autonomous Systems Research Embedded in Teaching. - Maria Spichkova; Milan Simic (IIMSS, 2017)

Modelling and Implementation of Humanoid Robot Behaviour. - Leroy Clunne-Kiely; Bijin Idicula; Luke Payne; Enrico Ronggowarsito; Maria Spichkova; Milan Simic; Heinrich-Wilhelm Schmidt (KES, 2017)

Human-centred analysis of the dependencies within sets of proofs. - Maria Spichkova; Milan Simic (KES, 2017)

Chiminey: Connecting Scientists to HPC, Cloud and Big Data. - Iman I. Yusuf; Ian E. Thomas; Maria Spichkova; Heinz W. Schmidt (Big Data Res., 2017)

Individual and Social Requirement Aspects of Sustainable eLearning Systems. - Ahmed D. Alharthi; Maria Spichkova (CoRR, 2017)

(Auto)Focus approaches and their applications: A systematic review. - Maria Spichkova (CoRR, 2017)

Software Engineering Solutions To Support Vertical Transportation. - Alber J. Christianto; Peng Chen; Osheen Walawedura; Annie Vuong; Jun Feng; Dong Wang; Maria Spichkova (CoRR, 2017)

Towards Software Development For Social Robotics Systems. - Chong Sun; Jiongyan Zhang; Cong Liu; Barry Chew Bao King; Yuwei Zhang; Matthew Galle; Maria Spichkova (CoRR, 2017)

Monitoring Informed Testing for IoT. - Ahmed Abdullah; Heinz W. Schmidt; Maria Spichkova; Huai Liu (ASWEC, 2018)

Automated Analysis of the Impact of Weather Conditions on Medicine Consumption. - Maria Spichkova (ASWEC, 2018)

Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (ENASE, 2018)

A Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (ENASE (Selected Papers), 2018)

FocusST Solution for Analysis of Cryptographic Properties. - Maria Spichkova; Radhika Bhat (ENASE, 2018)

Towards Classification of Lightweight Formal Methods. - Anna Zamansky; Maria Spichkova; Guillermo Rodríguez-Navas; Peter Herrmann; Jan Olaf Blech (ENASE, 2018)

Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (ICECCS, 2018)

SMI: Stack Management Interface. - Maria Spichkova; Jesse Bartlett; Ryan Howard; Adrian Seddon; Xing Zhao; Yuanqing Jiang (ICECCS, 2018)

Software Development for Autonomous and Social Robotics Systems. - Chong Sun; Jiongyan Zhang; Cong Liu; Barry Chew Bao King; Yuwei Zhang; Matthew Galle; Maria Spichkova; Milan Simic (IIMSS, 2018)

Social Position and Gender Perspectives of eLearning Systems: A Study of Social Sustainability. - Ahmed D. Alharthi; Tawfeeq Alsanoosy; Maria Spichkova; Margaret Hamilton 001 (ISD (Selected Papers), 2018)

Gender-Based Perspectives of eLearning Systems: An Empirical Study of Social Sustainability. - Ahmed D. Alharthi; Maria Spichkova; Margaret Hamilton 001; Tawfeeq Alsanoosy (ISD, 2018)

Enhancing the user experience with vertical transportation solutions. - Alber J. Christianto; Peng Chen; Osheen Walawedura; Annie Vuong; Jun Feng; Dong Wang; Maria Spichkova; Milan Simic (KES, 2018)

SuSoftPro: Sustainability Profiling for Software. - Ahmed D. Alharthi; Maria Spichkova; Margaret Hamilton 001 (RE, 2018)

Towards Tool-Support for Sustainability Profiling. - Ahmed D. Alharthi; Maria Spichkova; Margaret Hamilton 001 (RE4SuSy@RE, 2018)

Formal specification of the FlexRay protocol using FocusST. - Maria Spichkova (CoRR, 2018)

Formal FocusST Specification of CAN. - Maria Spichkova (CoRR, 2018)

A Set-based Logical Language for Specification of Combinatorial Models. - Anna Zamansky; Maria Spichkova (ACSW, 2019)

Towards Automated Management and Analysis of Heterogeneous Data within Cannabinoids Domain. - Kenji Koga; Maria Spichkova; Nitin Mantri (ENASE, 2019)

Towards Readability Aspects of Probabilistic Mode Automata. - Heinz W. Schmidt; Maria Spichkova (ENASE, 2019)

Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects. - Maria Spichkova; Heinz W. Schmidt (ENASE, 2019)

Easy Mobile Meter Reading for Non-smart Meters: Comparison of AWS Rekognition and Google Cloud Vision Approaches. - Maria Spichkova; Johan Van Zyl; Siddharth Sachdev; Ashish Bhardwaj; Nirav Desai (ENASE, 2019)

Comparison of Computer Vision Approaches in Application to the Electricity and Gas Meter Reading. - Maria Spichkova; Johan Van Zyl; Siddharth Sachdev; Ashish Bhardwaj; Nirav Desai (ENASE (Selected Papers), 2019)

Industry-Oriented Project-Based Learning of Software Engineering. - Maria Spichkova (ICECCS, 2019)

Cultural Influence on Requirements Engineering Activities: Australian Practitioners' View. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (ISD, 2019)

The influence of power distance on requirements engineering activities. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (KES, 2019)

Automated gathering and analysis of cannabinoids treatment data. - Rachita Chugh; Nidhi Chawla; Rochelle Maria Gracias; Jitender Singh Padda; Songyan Li; Minh Tuan Nguyen; Maria Spichkova; Nitin Mantri (KES, 2019)

Voice-activated solutions for agile retrospective sessions. - Purwa Kishor Gaikwad; Chris Theodore Jayakumar; Eashan Tilve; Niraj Bohra; Wenfei Yu; Maria Spichkova (KES, 2019)

Sustainability requirements for eLearning systems: a systematic literature review and analysis. - Ahmed D. Alharthi; Maria Spichkova; Margaret Hamilton 001 (Requir. Eng., 2019)

Formal vs. Case-Study-Based Approaches for the Identification of Cultural Influences in Requirements Engineering. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (EASE, 2020)

GoSecure: Securing Projects with Go. - Maria Spichkova; Achal Vaish; David C. Highet; Isthi Irfan; Kendrick Kesley; Priyanga D. Kumar (ENASE, 2020)

Identification of cultural influences on requirements engineering activities. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (ICSE (Companion Volume), 2020)

Application of Computer Vision Technologies for Automated Utility Meters Reading. - Maria Spichkova; Johan Van Zyl (ICSOFT, 2020)

Exploratory analysis of cultural influences on requirements engineering activities based on stakeholders' profile. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (KES, 2020)

Usage visualisation for the AWS services. - Lettisia Catherine George; Yanan Guo; Denis Stepanov; Vikas Kumar Reddy Peri; Roshan Lakmal Elvitigala; Maria Spichkova (KES, 2020)

VM2: Automated security configuration and testing of virtual machine images. - Maria Spichkova; Biao Li; Lachlan Porter; Luke Mason; Ye Lyu; Yi Weng (KES, 2020)

A Framework for Identifying Cultural Influences on Requirements Engineering Activities. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (PACIS, 2020)

Does our culture influence requirements engineering activities? Vietnamese practitioners' view. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (RE, 2020)

Cultural influence on requirements engineering activities: a systematic literature review and analysis. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (Requir. Eng., 2020)

Human-Computer Interaction: Influences on Autistic Users. - Mona Alzahrani; Alexandra L. Uitdenbogerd; Maria Spichkova (KES, 2021)

Analysis of pharmacy drug consumption following extreme weather conditions. - Maria Spichkova; Milan Simic (KES, 2021)

Project-based learning within eHealth, bioengineering and biomedical engineering application areas. - Jeffery Young; Maria Spichkova; Milan Simic (KES, 2021)

Impact of Organisational Culture on the Requirement Engineering Activities. - Maria Spichkova; Tawfeeq Alsanoosy; James Harland (RE, 2021)

Application of Property-based Testing Tools for Metamorphic Testing. - Nasser Alzahrani; Maria Spichkova; James Harland (ENASE, 2022)

Web-based Search: How Do Animated User Interface Elements Affect Autistic and Non-autistic Users? - Alexandra L. Uitdenbogerd; Maria Spichkova; Mona Alzahrani (ENASE, 2022)

Impact of animated objects on autistic and non-autistic users. - Mona Alzahrani; Alexandra L. Uitdenbogerd; Maria Spichkova (ICSE-SEIS, 2022)

Teaching and learning Requirements Engineering concepts: Peer-review skills vs. problem solving skills. - Maria Spichkova (RE, 2022)

Towards computer vision technologies: Semi-automated reading of automated utility meters. - Maria Spichkova; Johan Van Zyl (CoRR, 2022)

Cultural Influence on Autonomous Vehicles Acceptance. - Chowdhury Shahriar Muzammel; Maria Spichkova; James Harland (MobiQuitous (2), 2023)

Mobile User Experience from the Lens of Project-Based Learning. - Maria Spichkova (MobiQuitous (2), 2023)

Posters Track. - Maria Spichkova; Jan Carlson (MoDELS (Companion), 2023)

Sustaining human health: A requirements engineering perspective. - Meira Levy; Eduard C. Groen; Kuldar Taveter; Daniel Amyot; Eric Yu 001; Lin Liu 001; Ita Richardson; Maria Spichkova; Alexandra Jussli; Sébastien Mosser 001 (J. Syst. Softw., 2023)

Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks. - Shruthi Ravikumar; Margaret Hamilton 001; Charles Thevathayan; Maria Spichkova; Kashif Ali; Gayan Wijesinghe (ENASE, 2024)

Cultural influence on RE activities: An extended analysis of state of the art. - Chowdhury Shahriar Muzammel; Maria Spichkova; James Harland (MobileHCI (Companion), 2024)

Spatio-Temporal Analysis of Concurrent Networks. - Heinz W. Schmidt; Peter Herrmann; Maria Spichkova; James Harland; Ian Peake; Ergys Puka (CoRR, 2024)

Agile Retrospectives: What Went Well? What Didn't Go Well? What Should We Do? - Maria Spichkova; Hina Lee; Kevin Iwan; Madeleine Zwart; Yuwon Yoon; Xiaohan Qin (ENASE, 2025)

FocusE: A semantic extension of FocusST. - Maria Spichkova (CoRR, 2025)

Analysis of cost-efficiency of serverless approaches. - Nakhat Syeda; Harsh Shah; Rajvinder Singh; Suraj Jaju; Sumedha Kumar; Gourav Chhabra; Maria Spichkova (CoRR, 2025)

Agile and Student-Centred Teaching of Agile/Scrum Concepts. - Maria Spichkova (CoRR, 2025)

Advanced approach for Agile/Scrum Process: RetroAI++. - Maria Spichkova; Kevin Iwan; Madeleine Zwart; Hina Lee; Yuwon Yoon; Xiaohan Qin (CoRR, 2025)

Cultural Impact on Requirements Engineering Activities: Bangladeshi Practitioners' View. - Chowdhury Shahriar Muzammel; Maria Spichkova; James Harland (CoRR, 2025)

Towards Using Personas in Requirements Engineering: What Has Been Changed Recently? - Chowdhury Shahriar Muzammel; Maria Spichkova; James Harland (CoRR, 2025)