Skip to content

Maria Spichkova

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

79

Venues

17

Active years

2006–2026

Best venue rank

A*

Where they publish

Papers

79 indexed papers, newest first.

YearVenueTitleAuthors
2026ENASETrustworthy AI Agent Pipelines via Authenticated Data Structures.Nasser Alzahrani, James Harland, Maria Spichkova
2026ENASEComparative Analysis of LLM Performance on AWS Bedrock: A Case Study on Receipt-Item Categorisation.Gabby Sanchez, Sneha Oommen, Cassandra T. Britto, Di Wang, Jung-De Chiou, Maria Spichkova
2025ENASEAgile 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
2025KESInnovative Sustainable Software Solutions for Green Fashion.Carolina Quintero Rodriguez, Michelle J. S. Spencer, Maria Spichkova, Rashmita Bardalai
2025KESAgile and Student-Centred Teaching of Agile/Scrum Concepts.Maria Spichkova
2025KESAdvanced approach for Agile/Scrum Process: RetroAI++.Maria Spichkova, Kevin Iwan, Madeleine Zwart, Hina Lee, Yuwon Yoon, Xiaohan Qin
2025REWelcome to the 9th International Workshop on Crowd-Based Requirements Engineering (CrowdRE'25).Farnaz Fotrousi, Maria Spichkova, Nitish Patkar, Muneera Bano
2025RECultural Impact on Requirements Engineering Activities: Bangladeshi Practitioners' View.Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2025RETowards Using Personas in Requirements Engineering: What Has Been Changed Recently?Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2024ENASECreating a Trajectory for Code Writing: Algorithmic Reasoning Tasks.Shruthi Ravikumar, Margaret Hamilton, Charles Thevathayan, Maria Spichkova, Kashif Ali, Gayan Wijesinghe
2024MobiquitousSpatio-Temporal Analysis of Concurrent Networks.Heinz W. Schmidt, Peter Herrmann, Maria Spichkova, James Harland, Ian Peake, Ergys Puka
2023MobiquitousCultural Influence on Autonomous Vehicles Acceptance.Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2023MobiquitousMobile User Experience from the Lens of Project-Based Learning.Maria Spichkova
2023MODELSPosters Track.Maria Spichkova, Jan Carlson
2022ENASEApplication of Property-based Testing Tools for Metamorphic Testing.Nasser Alzahrani, Maria Spichkova, James Harland
2022ENASEWeb-based Search: How Do Animated User Interface Elements Affect Autistic and Non-autistic Users?Alexandra L. Uitdenbogerd, Maria Spichkova, Mona Alzahrani
2022ICSEImpact of animated objects on autistic and non-autistic users.Mona Alzahrani, Alexandra L. Uitdenbogerd, Maria Spichkova
2022RETeaching and learning Requirements Engineering concepts: Peer-review skills vs. problem solving skills.Maria Spichkova
2021KESHuman-Computer Interaction: Influences on Autistic Users.Mona Alzahrani, Alexandra L. Uitdenbogerd, Maria Spichkova
2021KESAnalysis of pharmacy drug consumption following extreme weather conditions.Maria Spichkova, Milan Simic
2021KESProject-based learning within eHealth, bioengineering and biomedical engineering application areas.Jeffery Young, Maria Spichkova, Milan Simic
2021REImpact of Organisational Culture on the Requirement Engineering Activities.Maria Spichkova, Tawfeeq Alsanoosy, James Harland
2020EASEFormal vs. Case-Study-Based Approaches for the Identification of Cultural Influences in Requirements Engineering.Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2020ENASEGoSecure: Securing Projects with Go.Maria Spichkova, Achal Vaish, David C. Highet, Isthi Irfan, Kendrick Kesley, Priyanga D. Kumar
2020ICSEIdentification of cultural influences on requirements engineering activities.Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2020ICSoftApplication of Computer Vision Technologies for Automated Utility Meters Reading.Maria Spichkova, Johan Van Zyl
2020KESExploratory analysis of cultural influences on requirements engineering activities based on stakeholders' profile.Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2020KESUsage visualisation for the AWS services.Lettisia Catherine George, Yanan Guo, Denis Stepanov, Vikas Kumar Reddy Peri, Roshan Lakmal Elvitigala, Maria Spichkova
2020KESVM2: Automated security configuration and testing of virtual machine images.Maria Spichkova, Biao Li, Lachlan Porter, Luke Mason, Ye Lyu, Yi Weng
2020REDoes our culture influence requirements engineering activities? Vietnamese practitioners' view.Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2019ENASETowards Automated Management and Analysis of Heterogeneous Data within Cannabinoids Domain.Kenji Koga, Maria Spichkova, Nitin Mantri
2019ENASETowards Readability Aspects of Probabilistic Mode Automata.Heinz W. Schmidt, Maria Spichkova
2019ENASERequirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects.Maria Spichkova, Heinz W. Schmidt
2019ENASEEasy 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
2019ENASEComparison of Computer Vision Approaches in Application to the Electricity and Gas Meter Reading.Maria Spichkova, Johan Van Zyl, Siddharth Sachdev, Ashish Bhardwaj, Nirav Desai
2019ICECCSIndustry-Oriented Project-Based Learning of Software Engineering.Maria Spichkova
2019KESThe influence of power distance on requirements engineering activities.Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2019KESAutomated 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
2019KESVoice-activated solutions for agile retrospective sessions.Purwa Kishor Gaikwad, Chris Theodore Jayakumar, Eashan Tilve, Niraj Bohra, Wenfei Yu, Maria Spichkova
2018ENASECultural Influences on Requirements Engineering Process in the Context of Saudi Arabia.Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2018ENASEA Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process.Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2018ENASEFocusST Solution for Analysis of Cryptographic Properties.Maria Spichkova, Radhika Bhat
2018ENASETowards Classification of Lightweight Formal Methods.Anna Zamansky, Maria Spichkova, Guillermo Rodrguez-Navas, Peter Herrmann, Jan Olaf Blech
2018ICECCSCultural Influences on the Requirements Engineering Process: Lessons Learned from Practice.Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2018ICECCSSMI: Stack Management Interface.Maria Spichkova, Jesse Bartlett, Ryan Howard, Adrian Seddon, Xing Zhao, Yuanqing Jiang
2018KESEnhancing the user experience with vertical transportation solutions.Alber J. Christianto, Peng Chen, Osheen Walawedura, Annie Vuong, Jun Feng, Dong Wang, Maria Spichkova, Milan Simic
2018RESuSoftPro: Sustainability Profiling for Software.Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton
2018RETowards Tool-Support for Sustainability Profiling.Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton
2017ACECombining Agile Practices with Incremental Visual Tasks.Charles Thevathayan, Maria Spichkova, Margaret Hamilton
2017ECSAGreen architecture for sustainable eLearning systems.Ahmed D. Alharthi, Maria Spichkova
2017ECSARole of women in software architecture: an attempt at a systematic literature review.Maria Spichkova, Heinz W. Schmidt, Catia Trubiani
2017ENASEFrom Temporal Models to Property-based Testing.Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
2017KESModelling and Implementation of Humanoid Robot Behaviour.Leroy Clunne-Kiely, Bijin Idicula, Luke Payne, Enrico Ronggowarsito, Maria Spichkova, Milan Simic, Heinrich-Wilhelm Schmidt
2017KESHuman-centred analysis of the dependencies within sets of proofs.Maria Spichkova, Milan Simic
2016APSECSustainability Profiling of Long-living Software Systems.Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton
2016CaiSEA Human-Centred Framework for Supporting Agile Model-Based Testing.Maria Spichkova, Anna Zamansky
2016CaiSEA Visual Logical Language for System Modelling in Combinatorial Test Design.Maria Spichkova, Anna Zamansky, Eitan Farchi
2016ENASEManaging Usability and Reliability Aspects in Cloud Computing.Maria Spichkova, Heinz W. Schmidt, Ian E. Thomas, Iman I. Yusuf, Steve G. Androulakis, Grischa R. Meyer
2016ENASETowards 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
2016ENASEA Human-centred Framework for Combinatorial Test Design.Maria Spichkova, Anna Zamansky
2016ENASETeaching of Formal Methods for Software Engineering.Maria Spichkova, Anna Zamansky
2016ENASEAHR: Human-Centred Aspects of Test Design.Maria Spichkova, Anna Zamansky
2016ENASEFormal Methods in Collaborative Projects.Anna Zamansky, Guillermo Rodrguez-Navas, Mark Adams, Maria Spichkova
2016KESFormal 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
2015ECSATowards Quality-Oriented Architecture: Integration in a Global Context.Maria Spichkova, Huai Liu, Heinz W. Schmidt
2015ECSAIntroduction to the SAGRA 2015 workshop.Maria Spichkova, Heinz W. Schmidt, Catia Trubiani
2015ENASERequirements Engineering Aspects of a Geographically Distributed Architecture.Maria Spichkova, Heinz W. Schmidt
2015ICPADSScalable 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
2015ICPADSTowards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems.Maria Spichkova, Anna Zamansky, Eitan Farchi
2015ICSEReconciling a Component and Process View.Maria Spichkova, Heinz W. Schmidt
2015ICSEChiminey: 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
2015KESFormal Model for Intelligent Route Planning.Maria Spichkova, Milan Simic, Heinz W. Schmidt
2015REStructuring diverse regulatory requirements for global product development.Maria Spichkova, Heinz W. Schmidt, Md. Rashed Iqbal Nekvi, Nazim H. Madhavji
2014APSCCTowards Logical Architecture and Formal Analysis of Dependencies between Services.Maria Spichkova, Heinrich-Wilhelm Schmidt
2014ENASECyber-virtual Systems - Simulation, Validation & Visualization.Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt
2014ENASEVisualization, Simulation and Validation for Cyber-Virtual Systems.Jan Olaf Blech, Maria Spichkova, Ian Peake, Heinz W. Schmidt
2014MODELSModeling Spatial Aspects of Safety-Critical Systems with Focus-ST.Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt
2013MODELSWARDDo 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
2006FMTowards Modularized Verification of Distributed Time-Triggered Systems.Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz