Maria Spichkova

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 112

Top Venues

CoRR

ENASE

KES

ENASE (Selected Papers)

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Maria Spichkova, Jan Carlson
Posters Track. MoDELS (Companion) (2023)
Meira Levy, Eduard C. Groen, Kuldar Taveter, Daniel Amyot, Eric Yu, Lin Liu, Ita Richardson, Maria Spichkova, Alexandra Jussli, Sébastien Mosser
Sustaining human health: A requirements engineering perspective. J. Syst. Softw. 204 (2023)
Alexandra L. Uitdenbogerd, Maria Spichkova, Mona Alzahrani
Web-based Search: How Do Animated User Interface Elements Affect Autistic and Non-Autistic Users? CoRR (2022)
Nasser Alzahrani, Maria Spichkova, James Harland
Application of property-based testing tools for metamorphic testing. CoRR (2022)
Maria Spichkova, Johan Van Zyl
Towards computer vision technologies: Semi-automated reading of automated utility meters. CoRR (2022)
Nasser Alzahrani, Maria Spichkova, James Harland
Application of Property-based Testing Tools for Metamorphic Testing. ENASE (2022)
Maria Spichkova
Teaching and learning Requirements Engineering concepts: Peer-review skills vs. problem solving skills. RE (2022)
Alexandra L. Uitdenbogerd, Maria Spichkova, Mona Alzahrani
Web-based Search: How Do Animated User Interface Elements Affect Autistic and Non-autistic Users? ENASE (2022)
Mona Alzahrani, Alexandra L. Uitdenbogerd, Maria Spichkova
Impact of animated objects on autistic and non-autistic users. ICSE-SEIS (2022)
Jeffery Young, Maria Spichkova, Milan Simic
Project-based learning within eHealth, bioengineering and biomedical engineering application areas. KES (2021)
Maria Spichkova, Milan Simic
Analysis of pharmacy drug consumption following extreme weather conditions. KES (2021)
Mona Alzahrani, Alexandra L. Uitdenbogerd, Maria Spichkova
Human-Computer Interaction: Influences on Autistic Users. KES (2021)
Maria Spichkova, Tawfeeq Alsanoosy, James Harland
Impact of Organisational Culture on the Requirement Engineering Activities. RE (2021)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Exploratory analysis of cultural influences on requirements engineering activities based on stakeholders' profile. KES (2020)
Maria Spichkova, Johan Van Zyl
Application of Computer Vision Technologies for Automated Utility Meters Reading. ICSOFT (2020)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Cultural influence on requirements engineering activities: a systematic literature review and analysis. Requir. Eng. 25 (3) (2020)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Identification of cultural influences on requirements engineering activities. ICSE (Companion Volume) (2020)
Lettisia Catherine George, Yanan Guo, Denis Stepanov, Vikas Kumar Reddy Peri, Roshan Lakmal Elvitigala, Maria Spichkova
Usage visualisation for the AWS services. KES (2020)
Maria Spichkova, Achal Vaish, David C. Highet, Isthi Irfan, Kendrick Kesley, Priyanga D. Kumar
GoSecure: Securing Projects with Go. ENASE (2020)
Maria Spichkova, Biao Li, Lachlan Porter, Luke Mason, Ye Lyu, Yi Weng
VM2: Automated security configuration and testing of virtual machine images. KES (2020)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
A Framework for Identifying Cultural Influences on Requirements Engineering Activities. PACIS (2020)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Does our culture influence requirements engineering activities? Vietnamese practitioners' view. RE (2020)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Formal vs. Case-Study-Based Approaches for the Identification of Cultural Influences in Requirements Engineering. EASE (2020)
Maria Spichkova
Industry-Oriented Project-Based Learning of Software Engineering. ICECCS (2019)
Purwa Kishor Gaikwad, Chris Theodore Jayakumar, Eashan Tilve, Niraj Bohra, Wenfei Yu, Maria Spichkova
Voice-activated solutions for agile retrospective sessions. KES (2019)
Maria Spichkova, Johan Van Zyl, Siddharth Sachdev, Ashish Bhardwaj, Nirav Desai
Easy Mobile Meter Reading for Non-smart Meters: Comparison of AWS Rekognition and Google Cloud Vision Approaches. ENASE (2019)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
The influence of power distance on requirements engineering activities. KES (2019)
Heinz W. Schmidt, Maria Spichkova
Towards Readability Aspects of Probabilistic Mode Automata. ENASE (2019)
Anna Zamansky, Maria Spichkova
A Set-based Logical Language for Specification of Combinatorial Models. ACSW (2019)
Maria Spichkova, Heinz W. Schmidt
Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects. ENASE (2019)
Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton
Sustainability requirements for eLearning systems: a systematic literature review and analysis. Requir. Eng. 24 (4) (2019)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Cultural Influence on Requirements Engineering Activities: Australian Practitioners' View. ISD (2019)
Maria Spichkova, Johan Van Zyl, Siddharth Sachdev, Ashish Bhardwaj, Nirav Desai
Comparison of Computer Vision Approaches in Application to the Electricity and Gas Meter Reading. ENASE (Selected Papers) (2019)
Kenji Koga, Maria Spichkova, Nitin Mantri
Towards Automated Management and Analysis of Heterogeneous Data Within Cannabinoids Domain. CoRR (2019)
Maria Spichkova, Heinz W. Schmidt
Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects. CoRR (2019)
Kenji Koga, Maria Spichkova, Nitin Mantri
Towards Automated Management and Analysis of Heterogeneous Data within Cannabinoids Domain. ENASE (2019)
Rachita Chugh, Nidhi Chawla, Rochelle Maria Gracias, Jitender Singh Padda, Songyan Li, Minh Tuan Nguyen, Maria Spichkova, Nitin Mantri
Automated gathering and analysis of cannabinoids treatment data. KES (2019)
Maria Spichkova, Johan Van Zyl, Siddharth Sachdev, Ashish Bhardwaj, Nirav Desai
Easy Mobile Meter Reading for Non-Smart Meters: Comparison of AWS Rekognition and Google Cloud Vision Approaches. CoRR (2019)
Heinz W. Schmidt, Maria Spichkova
Towards Readability Aspects of Probabilistic Mode Automata. CoRR (2019)
Maria Spichkova
Automated Analysis of the Impact of Weather Conditions on Medicine Consumption. ASWEC (2018)
Ahmed Abdullah, Heinz W. Schmidt, Maria Spichkova, Huai Liu
Monitoring Informed Testing for IoT. ASWEC (2018)
Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton
Towards Tool-Support for Sustainability Profiling. RE4SuSy@RE (2018)
Maria Spichkova, Jesse Bartlett, Ryan Howard, Adrian Seddon, Xing Zhao, Yuanqing Jiang
SMI: Stack Management Interface. ICECCS (2018)
Chong Sun, Jiongyan Zhang, Cong Liu, Barry Chew Bao King, Yuwei Zhang, Matthew Galle, Maria Spichkova, Milan Simic
Software Development for Autonomous and Social Robotics Systems. IIMSS (2018)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. CoRR (2018)
Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech
Towards Classification of Lightweight Formal Methods. CoRR (2018)
Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton, Tawfeeq Alsanoosy
Gender-Based Perspectives of eLearning Systems: An Empirical Study of Social Sustainability. ISD (2018)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. ENASE (2018)
Alber J. Christianto, Peng Chen, Osheen Walawedura, Annie Vuong, Jun Feng, Dong Wang, Maria Spichkova, Milan Simic
Enhancing the user experience with vertical transportation solutions. KES (2018)
Maria Spichkova
Formal specification of the FlexRay protocol using FocusST. CoRR (2018)
Maria Spichkova, Radhika Bhat
FocusST Solution for Analysis of Cryptographic Properties. ENASE (2018)
Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton
SuSoftPro: Sustainability Profiling for Software. RE (2018)
Ahmed Abdullah, Heinz W. Schmidt, Maria Spichkova, Huai Liu
Monitoring Informed Testing for IoT. CoRR (2018)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice. ICECCS (2018)
Maria Spichkova, Radhika Bhat
FocusST Solution for Analysis of Cryptographic Properties. CoRR (2018)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
A Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process. ENASE (Selected Papers) (2018)
Ahmed D. Alharthi, Tawfeeq Alsanoosy, Maria Spichkova, Margaret Hamilton
Social Position and Gender Perspectives of eLearning Systems: A Study of Social Sustainability. ISD (Selected Papers) (2018)
Maria Spichkova
Formal FocusST Specification of CAN. CoRR (2018)
Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech
Towards Classification of Lightweight Formal Methods. ENASE (2018)
Charles Thevathayan, Maria Spichkova, Margaret Hamilton
Combining Agile Practices with Incremental Visual Tasks. ACE (2017)
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
From Temporal Models to Property-based Testing. ENASE (2017)
Alber J. Christianto, Peng Chen, Osheen Walawedura, Annie Vuong, Jun Feng, Dong Wang, Maria Spichkova
Software Engineering Solutions To Support Vertical Transportation. CoRR (2017)
Maria Spichkova
(Auto)Focus approaches and their applications: A systematic review. CoRR (2017)
Ahmed D. Alharthi, Maria Spichkova
Individual and Social Requirement Aspects of Sustainable eLearning Systems. CoRR (2017)
Ahmed D. Alharthi, Maria Spichkova
Green architecture for sustainable eLearning systems. ECSA (Companion) (2017)
Leroy Clunne-Kiely, Bijin Idicula, Luke Payne, Enrico Ronggowarsito, Maria Spichkova, Milan Simic, Heinrich-Wilhelm Schmidt
Modelling and Implementation of Humanoid Robot Behaviour. KES (2017)
Maria Spichkova, Milan Simic
Human-centred analysis of the dependencies within sets of proofs. KES (2017)
Maria Spichkova, Heinz W. Schmidt, Catia Trubiani
Role of women in software architecture: an attempt at a systematic literature review. ECSA (Companion) (2017)
Maria Spichkova, Milan Simic
Autonomous Systems Research Embedded in Teaching. IIMSS (2017)
Chong Sun, Jiongyan Zhang, Cong Liu, Barry Chew Bao King, Yuwei Zhang, Matthew Galle, Maria Spichkova
Towards Software Development For Social Robotics Systems. CoRR (2017)
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
From Temporal Models to Property-Based Testing. CoRR (2017)
Iman I. Yusuf, Ian E. Thomas, Maria Spichkova, Heinz W. Schmidt
Chiminey: Connecting Scientists to HPC, Cloud and Big Data. Big Data Res. 8 (2017)
Phan Thu Nhat Vo, Maria Spichkova
Model-Based Generation of Natural Language Specifications. STAF Workshops (2016)
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
Spatio-Temporal Models for Formal Analysis and Property-Based Testing. STAF Workshops (2016)
Maria Spichkova, Margaret Hamilton
Dynamic Decision Making System for Public Transport Routes. Int. J. Syst. Dyn. Appl. 5 (3) (2016)
Maria Spichkova, Anna Zamansky
A Human-centred Framework for Combinatorial Test Design. ENASE (2016)
Phan Thu Nhat Vo, Maria Spichkova
Model-based generation of natural language specifications. CoRR (2016)
Maria Spichkova, Milan Simic, Heinz W. Schmidt
From Automotive to Autonomous: Time-Triggered Operating Systems. IIMSS (2016)
Mohsen Laali, Huai Liu, Margaret Hamilton, Maria Spichkova, Heinz W. Schmidt
Test Case Prioritization Using Online Fault Detection Information. Ada-Europe (2016)
Maria Spichkova
"Boring Formal Methods" or "Sherlock Holmes Deduction Methods"? STAF Workshops (2016)
Maria Spichkova, Anna Zamansky, Eitan Farchi
A Visual Logical Language for System Modelling in Combinatorial Test Design. CAiSE Workshops (2016)
Maria Spichkova
Spatio-temporal features of FocusST. CoRR (2016)
Maria Spichkova, Heinz W. Schmidt, Ian E. Thomas, Iman I. Yusuf, Steve G. Androulakis, Grischa R. Meyer
Managing Usability and Reliability Aspects in Cloud Computing. ENASE (2016)
Maria Spichkova, Milan Simic, Heinrich-Wilhelm Schmidt, Jian Cheng, Xuening Dong, Yuxi Gui, Yin Liang, Peng Ling, Zixiong Yin
Formal Models for Intelligent Speed Validation and Adaptation. KES (2016)
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
Spatio-temporal Models for Formal Analysis and Property-based Testing. CoRR (2016)
Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton
Sustainability Profiling of Long-living Software Systems. QuASoQ/TDA@APSEC (2016)
Maria Spichkova
Applied Logic in Engineering. CoRR (2016)
Maria Spichkova, Heinz W. Schmidt, Ian E. Thomas, Iman I. Yusuf, Steve G. Androulakis, Grischa R. Meyer
Managing Usability and Reliability Aspects in Cloud Computing. CoRR (2016)
Maria Spichkova
"Boring formal methods" or "Sherlock Holmes deduction methods"? CoRR (2016)
Maria Spichkova, Anna Zamansky
AHR: Human-Centred Aspects of Test Design. ENASE (Selected Papers) (2016)
Maria Spichkova, Anna Zamansky
A Human-Centred Framework for Supporting Agile Model-Based Testing. CAiSE Forum (2016)
Maria Spichkova, Anna Zamansky, Eitan Farchi
Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. CoRR (2016)
Maria Spichkova, Anna Zamansky
Teaching of Formal Methods for Software Engineering. ENASE (2016)
Maria Spichkova, Heinz W. Schmidt, Iman I. Yusuf, Ian E. Thomas, Steve G. Androulakis, Grischa R. Meyer
Towards Modelling and Implementation of Reliability and Usability Features for Research-Oriented Cloud Computing Platforms. ENASE (Selected Papers) (2016)
Anna Zamansky, Guillermo Rodríguez-Navas, Mark Adams, Maria Spichkova
Formal Methods in Collaborative Projects. ENASE (2016)
Maria Spichkova, Heinz W. Schmidt
Requirements Engineering Aspects of a Geographically Distributed Architecture. ENASE (2015)
Maria Spichkova, Anna Zamansky, Eitan Farchi
Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. ICPADS (2015)
Maria Spichkova, Heinz W. Schmidt, Md. Rashed Iqbal Nekvi, Nazim H. Madhavji
Structuring diverse regulatory requirements for global product development. RELAW (2015)
Maria Spichkova, Huai Liu, Mohsen Laali, Heinz W. Schmidt
Human Factors in Software Reliability Engineering. CoRR (2015)
Maria Spichkova, Heinz W. Schmidt
Reconciling a component and process view. CoRR (2015)

Maria Spichkova.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Maria Spichkova