Maria Spichkova

170 papers A 6B 42C 5Misc 1Journal 71Unranked 44
YearRankTypeTitle / Venue / Authors
2026 J jnl
One-Year Internship Program on Software Engineering: Students' Perceptions and Educators' Lessons Learned.
CoRR
Golnoush Abaei, Mojtaba Shahin, Maria Spichkova
2025 B conf
Advanced approach for Agile/Scrum Process: RetroAI++.
KES
Maria Spichkova, Kevin Iwan, Madeleine Zwart, Hina Lee, Yuwon Yoon, Xiaohan Qin
2025 J jnl
Advanced approach for Agile/Scrum Process: RetroAI++.
CoRR
Maria Spichkova, Kevin Iwan, Madeleine Zwart, Hina Lee, Yuwon Yoon, Xiaohan Qin
2025 B conf
Agile Retrospectives: What Went Well? What Didn't Go Well? What Should We Do?
ENASE
Maria Spichkova, Hina Lee, Kevin Iwan, Madeleine Zwart, Yuwon Yoon, Xiaohan Qin
2025 J jnl
Agile Retrospectives: What went well? What didn't go well? What should we do?
CoRR
Maria Spichkova, Hina Lee, Kevin Iwan, Madeleine Zwart, Yuwon Yoon, Xiaohan Qin
2025 B conf
Agile and Student-Centred Teaching of Agile/Scrum Concepts.
KES
Maria Spichkova
2025 J jnl
Agile and Student-Centred Teaching of Agile/Scrum Concepts.
CoRR
Maria Spichkova
2025 J jnl
Analysis of cost-efficiency of serverless approaches.
CoRR
Nakhat Syeda, Harsh Shah, Rajvinder Singh, Suraj Jaju, Sumedha Kumar, Gourav Chhabra, Maria Spichkova
2025 A conf
Cultural Impact on Requirements Engineering Activities: Bangladeshi Practitioners' View.
RE
Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2025 J jnl
Cultural Impact on Requirements Engineering Activities: Bangladeshi Practitioners' View.
CoRR
Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2025 J jnl
Embedding Quality Assurance in project-based learning.
CoRR
Maria Spichkova
2025 J jnl
FocusE: A semantic extension of FocusST.
CoRR
Maria Spichkova
2025 B conf
Innovative Sustainable Software Solutions for Green Fashion.
KES
Carolina Quintero Rodriguez, Michelle J. S. Spencer, Maria Spichkova, Rashmita Bardalai
2025 J jnl
Scrum Sprint Planning: LLM-based and algorithmic solutions.
CoRR
Yuwon Yoon, Kevin Iwan, Madeleine Zwart, Xiaohan Qin, Hina Lee, Maria Spichkova
2025 J jnl
Spatio-Temporal view on the Topological Functioning Model.
CoRR
Maria Spichkova
2025 J jnl
Towards Analysing Invoices and Receipts with Amazon Textract.
CoRR
Sneha Oommen, Gabby Sanchez, Cassandra T. Britto, Di Wang, Jordan Chiou, Maria Spichkova
2025 — conf
Towards Using Personas in Requirements Engineering: What Has Been Changed Recently?
REW
Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2025 J jnl
Towards Using Personas in Requirements Engineering: What Has Been Changed Recently?
CoRR
Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2025 J jnl
Towards the analysis of team members well-being.
CoRR
Zan Xu, Sari Nurfauziyyah, Anastasia Romanova, Kaamesh G. S, Yiqun Gao, Maria Spichkova
2025 J jnl
Visualisation for the CIS benchmark scanning results.
CoRR
Zhenshuo Zhao, Maria Spichkova, Duttkumari Champavat, Juilee N. Kulkarni, Sahil Singla, Muhammad A. Zulkefli, Pradhuman Khandelwal
2025 — conf
Welcome to the 9th International Workshop on Crowd-Based Requirements Engineering (CrowdRE'25).
REW
Farnaz Fotrousi, Maria Spichkova, Nitish Patkar, Muneera Bano
2024 B conf
Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks.
ENASE
Shruthi Ravikumar, Margaret Hamilton, Charles Thevathayan, Maria Spichkova, Kashif Ali, Gayan Wijesinghe
2024 J jnl
Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks.
CoRR
Shruthi Ravikumar, Margaret Hamilton, Charles Thevathayan, Maria Spichkova, Kashif Ali, Gayan Wijesinghe
2024 — conf
Cultural influence on RE activities: An extended analysis of state of the art.
MobileHCI (Companion)
Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2024 J jnl
Cultural influence on RE activities: An extended analysis of state of the art.
CoRR
Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2024 J jnl
Cultural influence on autonomous vehicles acceptance.
CoRR
Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2024 J jnl
Mobile user experience from the lens of project-based learning.
CoRR
Maria Spichkova
2024 C conf
Spatio-Temporal Analysis of Concurrent Networks.
MobiQuitous
Heinz W. Schmidt, Peter Herrmann, Maria Spichkova, James Harland, Ian Peake, Ergys Puka
2024 J jnl
Spatio-Temporal Analysis of Concurrent Networks.
CoRR
Heinz W. Schmidt, Peter Herrmann, Maria Spichkova, James Harland, Ian Peake, Ergys Puka
2023 — conf
Cultural Influence on Autonomous Vehicles Acceptance.
MobiQuitous (2)
Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2023 — conf
Mobile User Experience from the Lens of Project-Based Learning.
MobiQuitous (2)
Maria Spichkova
2023 — conf
Posters Track.
MoDELS (Companion)
Maria Spichkova, Jan Carlson
2023 J jnl
Sustaining human health: A requirements engineering perspective.
J. Syst. Softw.
Meira Levy, Eduard C. Groen, Kuldar Taveter, Daniel Amyot, Eric Yu, Lin Liu, Ita Richardson, Maria Spichkova, Alexandra Jussli, Sébastien Mosser
2022 B conf
Application of Property-based Testing Tools for Metamorphic Testing.
ENASE
Nasser Alzahrani, Maria Spichkova, James Harland
2022 J jnl
Application of property-based testing tools for metamorphic testing.
CoRR
Nasser Alzahrani, Maria Spichkova, James Harland
2022 — conf
Impact of animated objects on autistic and non-autistic users.
ICSE-SEIS
Mona Alzahrani, Alexandra L. Uitdenbogerd, Maria Spichkova
2022 A conf
Teaching and learning Requirements Engineering concepts: Peer-review skills vs. problem solving skills.
RE
Maria Spichkova
2022 J jnl
Towards computer vision technologies: Semi-automated reading of automated utility meters.
CoRR
Maria Spichkova, Johan Van Zyl
2022 J jnl
Web-based Search: How Do Animated User Interface Elements Affect Autistic and Non-Autistic Users?
CoRR
Alexandra L. Uitdenbogerd, Maria Spichkova, Mona Alzahrani
2022 B conf
Web-based Search: How Do Animated User Interface Elements Affect Autistic and Non-autistic Users?
ENASE
Alexandra L. Uitdenbogerd, Maria Spichkova, Mona Alzahrani
2021 B conf
Analysis of pharmacy drug consumption following extreme weather conditions.
KES
Maria Spichkova, Milan Simic
2021 B conf
Human-Computer Interaction: Influences on Autistic Users.
KES
Mona Alzahrani, Alexandra L. Uitdenbogerd, Maria Spichkova
2021 A conf
Impact of Organisational Culture on the Requirement Engineering Activities.
RE
Maria Spichkova, Tawfeeq Alsanoosy, James Harland
2021 B conf
Project-based learning within eHealth, bioengineering and biomedical engineering application areas.
KES
Jeffery Young, Maria Spichkova, Milan Simic
2020 — conf
A Framework for Identifying Cultural Influences on Requirements Engineering Activities.
PACIS
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2020 C conf
Application of Computer Vision Technologies for Automated Utility Meters Reading.
ICSOFT
Maria Spichkova, Johan Van Zyl
2020 J jnl
Cultural influence on requirements engineering activities: a systematic literature review and analysis.
Requir. Eng.
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2020 A conf
Does our culture influence requirements engineering activities? Vietnamese practitioners' view.
RE
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2020 B conf
Exploratory analysis of cultural influences on requirements engineering activities based on stakeholders' profile.
KES
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2020 A conf
Formal vs. Case-Study-Based Approaches for the Identification of Cultural Influences in Requirements Engineering.
EASE
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2020 B conf
GoSecure: Securing Projects with Go.
ENASE
Maria Spichkova, Achal Vaish, David C. Highet, Isthi Irfan, Kendrick Kesley, Priyanga D. Kumar
2020 — conf
Identification of cultural influences on requirements engineering activities.
ICSE (Companion Volume)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2020 B conf
Usage visualisation for the AWS services.
KES
Lettisia Catherine George, Yanan Guo, Denis Stepanov, Vikas Kumar Reddy Peri, Roshan Lakmal Elvitigala, Maria Spichkova
2020 B conf
VM2: Automated security configuration and testing of virtual machine images.
KES
Maria Spichkova, Biao Li, Lachlan Porter, Luke Mason, Ye Lyu, Yi Weng
2019 — conf
A Set-based Logical Language for Specification of Combinatorial Models.
ACSW
Anna Zamansky, Maria Spichkova
2019 B conf
Automated gathering and analysis of cannabinoids treatment data.
KES
Rachita Chugh, Nidhi Chawla, Rochelle Maria Gracias, Jitender Singh Padda, Songyan Li, Minh Tuan Nguyen, Maria Spichkova, Nitin Mantri
2019 — conf
Comparison of Computer Vision Approaches in Application to the Electricity and Gas Meter Reading.
ENASE (Selected Papers)
Maria Spichkova, Johan Van Zyl, Siddharth Sachdev, Ashish Bhardwaj, Nirav Desai
2019 — conf
Cultural Influence on Requirements Engineering Activities: Australian Practitioners' View.
ISD
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2019 J jnl
Easy Mobile Meter Reading for Non-Smart Meters: Comparison of AWS Rekognition and Google Cloud Vision Approaches.
CoRR
Maria Spichkova, Johan Van Zyl, Siddharth Sachdev, Ashish Bhardwaj, Nirav Desai
2019 B conf
Easy Mobile Meter Reading for Non-smart Meters: Comparison of AWS Rekognition and Google Cloud Vision Approaches.
ENASE
Maria Spichkova, Johan Van Zyl, Siddharth Sachdev, Ashish Bhardwaj, Nirav Desai
2019 B conf
Industry-Oriented Project-Based Learning of Software Engineering.
ICECCS
Maria Spichkova
2019 B conf
Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects.
ENASE
Maria Spichkova, Heinz W. Schmidt
2019 J jnl
Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects.
CoRR
Maria Spichkova, Heinz W. Schmidt
2019 J jnl
Sustainability requirements for eLearning systems: a systematic literature review and analysis.
Requir. Eng.
Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton
2019 B conf
The influence of power distance on requirements engineering activities.
KES
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2019 J jnl
Towards Automated Management and Analysis of Heterogeneous Data Within Cannabinoids Domain.
CoRR
Kenji Koga, Maria Spichkova, Nitin Mantri
2019 B conf
Towards Automated Management and Analysis of Heterogeneous Data within Cannabinoids Domain.
ENASE
Kenji Koga, Maria Spichkova, Nitin Mantri
2019 B conf
Towards Readability Aspects of Probabilistic Mode Automata.
ENASE
Heinz W. Schmidt, Maria Spichkova
2019 J jnl
Towards Readability Aspects of Probabilistic Mode Automata.
CoRR
Heinz W. Schmidt, Maria Spichkova
2019 B conf
Voice-activated solutions for agile retrospective sessions.
KES
Purwa Kishor Gaikwad, Chris Theodore Jayakumar, Eashan Tilve, Niraj Bohra, Wenfei Yu, Maria Spichkova
2018 — conf
A Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process.
ENASE (Selected Papers)
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2018 — conf
Automated Analysis of the Impact of Weather Conditions on Medicine Consumption.
ASWEC
Maria Spichkova
2018 B conf
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia.
ENASE
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2018 J jnl
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia.
CoRR
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2018 B conf
Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice.
ICECCS
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2018 B conf
Enhancing the user experience with vertical transportation solutions.
KES
Alber J. Christianto, Peng Chen, Osheen Walawedura, Annie Vuong, Jun Feng, Dong Wang, Maria Spichkova, Milan Simic
2018 B conf
FocusST Solution for Analysis of Cryptographic Properties.
ENASE
Maria Spichkova, Radhika Bhat
2018 J jnl
FocusST Solution for Analysis of Cryptographic Properties.
CoRR
Maria Spichkova, Radhika Bhat
2018 J jnl
Formal FocusST Specification of CAN.
CoRR
Maria Spichkova
2018 J jnl
Formal specification of the FlexRay protocol using FocusST.
CoRR
Maria Spichkova
2018 — conf
Gender-Based Perspectives of eLearning Systems: An Empirical Study of Social Sustainability.
ISD
Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton, Tawfeeq Alsanoosy
2018 — conf
Monitoring Informed Testing for IoT.
ASWEC
Ahmed Abdullah, Heinz W. Schmidt, Maria Spichkova, Huai Liu
2018 J jnl
Monitoring Informed Testing for IoT.
CoRR
Ahmed Abdullah, Heinz W. Schmidt, Maria Spichkova, Huai Liu
2018 B conf
SMI: Stack Management Interface.
ICECCS
Maria Spichkova, Jesse Bartlett, Ryan Howard, Adrian Seddon, Xing Zhao, Yuanqing Jiang
2018 — conf
Social Position and Gender Perspectives of eLearning Systems: A Study of Social Sustainability.
ISD (Selected Papers)
Ahmed D. Alharthi, Tawfeeq Alsanoosy, Maria Spichkova, Margaret Hamilton
2018 — conf
Software Development for Autonomous and Social Robotics Systems.
IIMSS
Chong Sun, Jiongyan Zhang, Cong Liu, Barry Chew Bao King, Yuwei Zhang, Matthew Galle, Maria Spichkova, Milan Simic
2018 A conf
SuSoftPro: Sustainability Profiling for Software.
RE
Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton
2018 B conf
Towards Classification of Lightweight Formal Methods.
ENASE
Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech
2018 J jnl
Towards Classification of Lightweight Formal Methods.
CoRR
Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech
2018 — conf
Towards Tool-Support for Sustainability Profiling.
RE4SuSy@RE
Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton
2017 J jnl
(Auto)Focus approaches and their applications: A systematic review.
CoRR
Maria Spichkova
2017 — conf
Autonomous Systems Research Embedded in Teaching.
IIMSS
Maria Spichkova, Milan Simic
2017 J jnl
Chiminey: Connecting Scientists to HPC, Cloud and Big Data.
Big Data Res.
Iman I. Yusuf, Ian E. Thomas, Maria Spichkova, Heinz W. Schmidt
2017 C conf
Combining Agile Practices with Incremental Visual Tasks.
ACE
Charles Thevathayan, Maria Spichkova, Margaret Hamilton
2017 J jnl
From Temporal Models to Property-Based Testing.
CoRR
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
2017 B conf
From Temporal Models to Property-based Testing.
ENASE
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
2017 — conf
Green architecture for sustainable eLearning systems.
ECSA (Companion)
Ahmed D. Alharthi, Maria Spichkova
2017 B conf
Human-centred analysis of the dependencies within sets of proofs.
KES
Maria Spichkova, Milan Simic
2017 J jnl
Individual and Social Requirement Aspects of Sustainable eLearning Systems.
CoRR
Ahmed D. Alharthi, Maria Spichkova
2017 B conf
Modelling and Implementation of Humanoid Robot Behaviour.
KES
Leroy Clunne-Kiely, Bijin Idicula, Luke Payne, Enrico Ronggowarsito, Maria Spichkova, Milan Simic, Heinrich-Wilhelm Schmidt
2017 — conf
Role of women in software architecture: an attempt at a systematic literature review.
ECSA (Companion)
Maria Spichkova, Heinz W. Schmidt, Catia Trubiani
2017 J jnl
Software Engineering Solutions To Support Vertical Transportation.
CoRR
Alber J. Christianto, Peng Chen, Osheen Walawedura, Annie Vuong, Jun Feng, Dong Wang, Maria Spichkova
2017 J jnl
Towards Software Development For Social Robotics Systems.
CoRR
Chong Sun, Jiongyan Zhang, Cong Liu, Barry Chew Bao King, Yuwei Zhang, Matthew Galle, Maria Spichkova
2016 — conf
"Boring Formal Methods" or "Sherlock Holmes Deduction Methods"?
STAF Workshops
Maria Spichkova
2016 J jnl
"Boring formal methods" or "Sherlock Holmes deduction methods"?
CoRR
Maria Spichkova
2016 — conf
A Human-Centred Framework for Supporting Agile Model-Based Testing.
CAiSE Forum
Maria Spichkova, Anna Zamansky
2016 B conf
A Human-centred Framework for Combinatorial Test Design.
ENASE
Maria Spichkova, Anna Zamansky
2016 — conf
A Visual Logical Language for System Modelling in Combinatorial Test Design.
CAiSE Workshops
Maria Spichkova, Anna Zamansky, Eitan Farchi
2016 — conf
AHR: Human-Centred Aspects of Test Design.
ENASE (Selected Papers)
Maria Spichkova, Anna Zamansky
2016 J jnl
Applied Logic in Engineering.
CoRR
Maria Spichkova
2016 J jnl
Dynamic Decision Making System for Public Transport Routes.
Int. J. Syst. Dyn. Appl.
Maria Spichkova, Margaret Hamilton
2016 B conf
Formal Methods in Collaborative Projects.
ENASE
Anna Zamansky, Guillermo Rodríguez-Navas, Mark Adams, Maria Spichkova
2016 B conf
Formal Models for Intelligent Speed Validation and Adaptation.
KES
Maria Spichkova, Milan Simic, Heinrich-Wilhelm Schmidt, Jian Cheng, Xuening Dong, Yuxi Gui, Yin Liang, Peng Ling, Zixiong Yin
2016 — conf
From Automotive to Autonomous: Time-Triggered Operating Systems.
IIMSS
Maria Spichkova, Milan Simic, Heinz W. Schmidt
2016 B conf
Managing Usability and Reliability Aspects in Cloud Computing.
ENASE
Maria Spichkova, Heinz W. Schmidt, Ian E. Thomas, Iman I. Yusuf, Steve G. Androulakis, Grischa R. Meyer
2016 J jnl
Managing Usability and Reliability Aspects in Cloud Computing.
CoRR
Maria Spichkova, Heinz W. Schmidt, Ian E. Thomas, Iman I. Yusuf, Steve G. Androulakis, Grischa R. Meyer
2016 — conf
Model-Based Generation of Natural Language Specifications.
STAF Workshops
Phan Thu Nhat Vo, Maria Spichkova
2016 J jnl
Model-based generation of natural language specifications.
CoRR
Phan Thu Nhat Vo, Maria Spichkova
2016 — conf
Spatio-Temporal Models for Formal Analysis and Property-Based Testing.
STAF Workshops
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
2016 J jnl
Spatio-temporal Models for Formal Analysis and Property-based Testing.
CoRR
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
2016 J jnl
Spatio-temporal features of FocusST.
CoRR
Maria Spichkova
2016 — conf
Sustainability Profiling of Long-living Software Systems.
QuASoQ/TDA@APSEC
Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton
2016 B conf
Teaching of Formal Methods for Software Engineering.
ENASE
Maria Spichkova, Anna Zamansky
2016 Misc conf
Test Case Prioritization Using Online Fault Detection Information.
Ada-Europe
Mohsen Laali, Huai Liu, Margaret Hamilton, Maria Spichkova, Heinz W. Schmidt
2016 — conf
Towards Modelling and Implementation of Reliability and Usability Features for Research-Oriented Cloud Computing Platforms.
ENASE (Selected Papers)
Maria Spichkova, Heinz W. Schmidt, Iman I. Yusuf, Ian E. Thomas, Steve G. Androulakis, Grischa R. Meyer
2016 J jnl
Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems.
CoRR
Maria Spichkova, Anna Zamansky, Eitan Farchi
2015 — conf
Chiminey: Reliable Computing and Data Management Platform in the Cloud.
ICSE (2)
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
2015 J jnl
Chiminey: Reliable Computing and Data Management Platform in the Cloud.
CoRR
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
2015 — conf
Efficient Testing based on Logical Architecture.
ASWEC (2)
Huai Liu, Maria Spichkova, Heinz W. Schmidt, Andreas Ulrich, Horst Sauer, Jan Wieghardt
2015 B conf
Formal Model for Intelligent Route Planning.
KES
Maria Spichkova, Milan Simic, Heinz W. Schmidt
2015 J jnl
Human Factors in Software Reliability Engineering.
CoRR
Maria Spichkova, Huai Liu, Mohsen Laali, Heinz W. Schmidt
2015 — conf
Introduction to the SAGRA 2015 workshop.
ECSA Workshops
Maria Spichkova, Heinz W. Schmidt, Catia Trubiani
2015 J jnl
Model-based Hazard and Impact Analysis.
CoRR
Sonila Dobi, Mario Gleirscher, Maria Spichkova, Peter Struss
2015 — conf
Reconciling a Component and Process View.
MiSE@ICSE
Maria Spichkova, Heinz W. Schmidt
2015 J jnl
Reconciling a component and process view.
CoRR
Maria Spichkova, Heinz W. Schmidt
2015 — conf
Requirements Engineering Aspects of ELearning Systems.
ASWEC (2)
Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton
2015 B conf
Requirements Engineering Aspects of a Geographically Distributed Architecture.
ENASE
Maria Spichkova, Heinz W. Schmidt
2015 J jnl
Requirements Engineering Aspects of a Geographically Distributed Architecture.
CoRR
Maria Spichkova, Heinz W. Schmidt
2015 B conf
Scalable and Fault-Tolerant Cloud Computations: Modelling and Implementation.
ICPADS
Maria Spichkova, Ian E. Thomas, Heinz W. Schmidt, Iman I. Yusuf, Daniel W. Drumm, Steve G. Androulakis, George Opletal, Salvy P. Russo
2015 — conf
Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud.
ASWEC (2)
Huai Liu, Maria Spichkova, Heinz W. Schmidt, Timos K. Sellis, Matt Duckham
2015 — conf
Structuring diverse regulatory requirements for global product development.
RELAW
Maria Spichkova, Heinz W. Schmidt, Md. Rashed Iqbal Nekvi, Nazim H. Madhavji
2015 — conf
Towards Quality-Oriented Architecture: Integration in a Global Context.
ECSA Workshops
Maria Spichkova, Huai Liu, Heinz W. Schmidt
2015 B conf
Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems.
ICPADS
Maria Spichkova, Anna Zamansky, Eitan Farchi
2014 J jnl
Compositional Properties of Crypto-Based Components.
Arch. Formal Proofs
Maria Spichkova
2014 J jnl
Compositional properties of crypto-based components.
CoRR
Maria Spichkova
2014 J jnl
Cyber-Virtual Systems: Simulation, Validation & Visualization.
CoRR
Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt
2014 B conf
Cyber-virtual Systems - Simulation, Validation & Visualization.
ENASE
Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt
2014 J jnl
Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentation.
CoRR
Maria Spichkova, Xiuna Zhu, Dongyue Mou
2014 J jnl
Formalisation and Analysis of Component Dependencies.
Arch. Formal Proofs
Maria Spichkova
2014 J jnl
Formalisation and Analysis of Component Dependencies.
CoRR
Maria Spichkova
2014 J jnl
From abstract modelling to remote cyber-physical integration/interoperability testing.
CoRR
Maria Spichkova, Heinz W. Schmidt, Ian D. Peake
2014 J jnl
Human Factors of Formal Methods.
CoRR
Maria Spichkova
2014 — conf
Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST.
MoDeVVa@MoDELS
Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt
2014 J jnl
Refinement-Based Specification: Requirements and Architecture.
CoRR
Maria Spichkova
2014 J jnl
Stream processing components: Isabelle/HOL formalisation and case studies.
CoRR
Maria Spichkova
2014 J jnl
Towards Focus on Time.
CoRR
Maria Spichkova
2014 J jnl
Towards Logical Architecture and Formal Analysis of Dependencies Between Services.
CoRR
Maria Spichkova, Heinz W. Schmidt
2014 C conf
Towards Logical Architecture and Formal Analysis of Dependencies between Services.
APSCC
Maria Spichkova, Heinrich-Wilhelm Schmidt
2014 J jnl
Towards system development methodologies: From software to cyber-physical domain.
CoRR
Maria Spichkova, Alarico Campetelli
2014 — conf
Visualization, Simulation and Validation for Cyber-Virtual Systems.
ENASE (Selected Papers)
Jan Olaf Blech, Maria Spichkova, Ian Peake, Heinz W. Schmidt
2013 C conf
Do we Really Need to Write Documentation for a System? - CASE Tool Add-ons: Generator+Editor for a Precise Documentation.
MODELSWARD
Maria Spichkova, Xiuna Zhu, Dongyue Mou
2013 J jnl
Stream Processing Components: Isabelle/HOL Formalisation and Case Studies.
Arch. Formal Proofs
Maria Spichkova
2012 — conf
Verified System Development with the AutoFocus Tool Chain
WS-FMDS
Maria Spichkova, Florian Hölzl, David Trachtenherz
2011 J jnl
Architecture: Requirements + Decomposition + Refinement.
Softwaretechnik-Trends
Maria Spichkova
2008 J jnl
On the correctness of upper layers of automotive systems.
Formal Aspects Comput.
Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova
2008 — conf
Refinement-Based Verification of Interactive Real-Time Systems.
Refine@FM
Maria Spichkova
2007 — conf
Service-Oriented Modeling of CoCoME with Focus and AutoFocus.
CoCoME
Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann, Bernhard Schätz, Maria Spichkova, Doris Wild
2007 — —
Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle.
Maria Spichkova
2006 B conf
Towards Modularized Verification of Distributed Time-Triggered Systems.
FM
Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz
2005 J jnl
Towards verified automotive software.
ACM SIGSOFT Softw. Eng. Notes
Jewgenij Botaschanjan, Leonid Kof, C. Kühnel, Maria Spichkova