default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMaria Spichkova
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c88]Shruthi Ravikumar, Margaret Hamilton
, Charles Thevathayan, Maria Spichkova, Kashif Ali, Gayan Wijesinghe:
Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks. ENASE 2024: 649-656- [c87]Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland:
Cultural influence on RE activities: An extended analysis of state of the art. MobileHCI (Companion) 2024: 13:1-13:8 - [i46]Shruthi Ravikumar, Margaret Hamilton, Charles Thevathayan, Maria Spichkova, Kashif Ali, Gayan Wijesinghe:
Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks. CoRR abs/2404.02464 (2024) - [i45]Maria Spichkova:
Mobile user experience from the lens of project-based learning. CoRR abs/2404.02470 (2024) - [i44]Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland:
Cultural influence on autonomous vehicles acceptance. CoRR abs/2404.03694 (2024) - [i43]Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland:
Cultural influence on RE activities: An extended analysis of state of the art. CoRR abs/2407.17038 (2024) - [i42]Heinz W. Schmidt, Peter Herrmann, Maria Spichkova, James Harland, Ian Peake, Ergys Puka:
Spatio-Temporal Analysis of Concurrent Networks. CoRR abs/2410.14110 (2024) - 2023
- [j11]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: 111792 (2023) - [c86]Maria Spichkova, Jan Carlson:
Posters Track. MoDELS (Companion) 2023: 80 - 2022
- [c85]Alexandra L. Uitdenbogerd, Maria Spichkova, Mona Alzahrani:
Web-based Search: How Do Animated User Interface Elements Affect Autistic and Non-autistic Users? ENASE 2022: 453-460 - [c84]Nasser Alzahrani, Maria Spichkova, James Harland:
Application of Property-based Testing Tools for Metamorphic Testing. ENASE 2022: 553-560 - [c83]Mona Alzahrani, Alexandra L. Uitdenbogerd, Maria Spichkova:
Impact of animated objects on autistic and non-autistic users. ICSE-SEIS 2022: 102-112 - [c82]Maria Spichkova:
Teaching and learning Requirements Engineering concepts: Peer-review skills vs. problem solving skills. RE 2022: 316-322 - [i41]Alexandra L. Uitdenbogerd, Maria Spichkova, Mona Alzahrani:
Web-based Search: How Do Animated User Interface Elements Affect Autistic and Non-Autistic Users? CoRR abs/2211.11993 (2022) - [i40]Nasser Alzahrani, Maria Spichkova, James Harland:
Application of property-based testing tools for metamorphic testing. CoRR abs/2211.12003 (2022) - [i39]Maria Spichkova, Johan Van Zyl:
Towards computer vision technologies: Semi-automated reading of automated utility meters. CoRR abs/2211.13483 (2022) - 2021
- [c81]Mona Alzahrani, Alexandra L. Uitdenbogerd, Maria Spichkova:
Human-Computer Interaction: Influences on Autistic Users. KES 2021: 4691-4700 - [c80]Maria Spichkova, Milan Simic:
Analysis of pharmacy drug consumption following extreme weather conditions. KES 2021: 4820-4827 - [c79]Jeffery Young, Maria Spichkova, Milan Simic:
Project-based learning within eHealth, bioengineering and biomedical engineering application areas. KES 2021: 4952-4961 - [c78]Maria Spichkova, Tawfeeq Alsanoosy, James Harland:
Impact of Organisational Culture on the Requirement Engineering Activities. RE 2021: 426-427 - 2020
- [j10]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Cultural influence on requirements engineering activities: a systematic literature review and analysis. Requir. Eng. 25(3): 339-362 (2020) - [c77]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Formal vs. Case-Study-Based Approaches for the Identification of Cultural Influences in Requirements Engineering. EASE 2020: 354-359 - [c76]Maria Spichkova, Achal Vaish, David C. Highet, Isthi Irfan, Kendrick Kesley, Priyanga D. Kumar:
GoSecure: Securing Projects with Go. ENASE 2020: 587-594 - [c75]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Identification of cultural influences on requirements engineering activities. ICSE (Companion Volume) 2020: 290-291 - [c74]Maria Spichkova, Johan Van Zyl:
Application of Computer Vision Technologies for Automated Utility Meters Reading. ICSOFT 2020: 521-528 - [c73]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Exploratory analysis of cultural influences on requirements engineering activities based on stakeholders' profile. KES 2020: 3379-3388 - [c72]Maria Spichkova, Biao Li, Lachlan Porter, Luke Mason, Ye Lyu, Yi Weng:
VM2: Automated security configuration and testing of virtual machine images. KES 2020: 3610-3617 - [c71]Lettisia Catherine George, Yanan Guo, Denis Stepanov, Vikas Kumar Reddy Peri, Roshan Lakmal Elvitigala, Maria Spichkova:
Usage visualisation for the AWS services. KES 2020: 3710-3717 - [c70]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
A Framework for Identifying Cultural Influences on Requirements Engineering Activities. PACIS 2020: 241 - [c69]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Does our culture influence requirements engineering activities? Vietnamese practitioners' view. RE 2020: 394-395
2010 – 2019
- 2019
- [j9]Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton:
Sustainability requirements for eLearning systems: a systematic literature review and analysis. Requir. Eng. 24(4): 523-543 (2019) - [c68]Anna Zamansky, Maria Spichkova:
A Set-based Logical Language for Specification of Combinatorial Models. ACSW 2019: 57:1-57:4 - [c67]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: 179-188 - [c66]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: 303-318 - [c65]Kenji Koga, Maria Spichkova, Nitin Mantri:
Towards Automated Management and Analysis of Heterogeneous Data within Cannabinoids Domain. ENASE 2019: 539-546 - [c64]Heinz W. Schmidt, Maria Spichkova:
Towards Readability Aspects of Probabilistic Mode Automata. ENASE 2019: 555-562 - [c63]Maria Spichkova, Heinz W. Schmidt:
Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects. ENASE 2019: 563-569 - [c62]Maria Spichkova:
Industry-Oriented Project-Based Learning of Software Engineering. ICECCS 2019: 51-60 - [c61]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Cultural Influence on Requirements Engineering Activities: Australian Practitioners' View. ISD 2019 - [c60]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
The influence of power distance on requirements engineering activities. KES 2019: 2394-2403 - [c59]Purwa Kishor Gaikwad, Chris Theodore Jayakumar, Eashan Tilve, Niraj Bohra, Wenfei Yu, Maria Spichkova:
Voice-activated solutions for agile retrospective sessions. KES 2019: 2414-2423 - [c58]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: 2570-2579 - [i38]Heinz W. Schmidt, Maria Spichkova:
Towards Readability Aspects of Probabilistic Mode Automata. CoRR abs/1910.05003 (2019) - [i37]Maria Spichkova, Heinz W. Schmidt:
Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects. CoRR abs/1910.05008 (2019) - [i36]Kenji Koga, Maria Spichkova, Nitin Mantri:
Towards Automated Management and Analysis of Heterogeneous Data Within Cannabinoids Domain. CoRR abs/1910.10621 (2019) - [i35]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 abs/1910.12617 (2019) - 2018
- [c57]Ahmed Abdullah, Heinz W. Schmidt, Maria Spichkova, Huai Liu:
Monitoring Informed Testing for IoT. ASWEC 2018: 91-95 - [c56]Maria Spichkova:
Automated Analysis of the Impact of Weather Conditions on Medicine Consumption. ASWEC 2018: 166-170 - [c55]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. ENASE 2018: 159-168 - [c54]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: 240-260 - [c53]Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech:
Towards Classification of Lightweight Formal Methods. ENASE 2018: 305-313 - [c52]Maria Spichkova, Radhika Bhat:
FocusST Solution for Analysis of Cryptographic Properties. ENASE 2018: 320-327 - [c51]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice. ICECCS 2018: 61-70 - [c50]Maria Spichkova, Jesse Bartlett, Ryan Howard, Adrian Seddon, Xing Zhao, Yuanqing Jiang:
SMI: Stack Management Interface. ICECCS 2018: 156-159 - [c49]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: 151-160 - [c48]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: 169-185 - [c47]Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton, Tawfeeq Alsanoosy:
Gender-Based Perspectives of eLearning Systems: An Empirical Study of Social Sustainability. ISD 2018 - [c46]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: 2075-2084 - [c45]Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton:
Towards Tool-Support for Sustainability Profiling. RE4SuSy@RE 2018: 6-14 - [c44]Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton:
SuSoftPro: Sustainability Profiling for Software. RE 2018: 500-501 - [i34]Maria Spichkova:
Formal specification of the FlexRay protocol using FocusST. CoRR abs/1801.04979 (2018) - [i33]Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech:
Towards Classification of Lightweight Formal Methods. CoRR abs/1807.01923 (2018) - [i32]Maria Spichkova, Radhika Bhat:
FocusST Solution for Analysis of Cryptographic Properties. CoRR abs/1807.01928 (2018) - [i31]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. CoRR abs/1807.01930 (2018) - [i30]Maria Spichkova:
Formal FocusST Specification of CAN. CoRR abs/1811.08128 (2018) - [i29]Ahmed Abdullah, Heinz W. Schmidt, Maria Spichkova, Huai Liu:
Monitoring Informed Testing for IoT. CoRR abs/1812.05776 (2018) - 2017
- [j8]Iman I. Yusuf, Ian E. Thomas, Maria Spichkova, Heinz W. Schmidt:
Chiminey: Connecting Scientists to HPC, Cloud and Big Data. Big Data Res. 8: 39-49 (2017) - [c43]Charles Thevathayan, Maria Spichkova, Margaret Hamilton:
Combining Agile Practices with Incremental Visual Tasks. ACE 2017: 103-112 - [c42]Maria Spichkova, Heinz W. Schmidt, Catia Trubiani:
Role of women in software architecture: an attempt at a systematic literature review. ECSA (Companion) 2017: 31-34 - [c41]Ahmed D. Alharthi, Maria Spichkova:
Green architecture for sustainable eLearning systems. ECSA (Companion) 2017: 199-204 - [c40]Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech:
From Temporal Models to Property-based Testing. ENASE 2017: 241-246 - [c39]Maria Spichkova, Milan Simic:
Autonomous Systems Research Embedded in Teaching. IIMSS 2017: 268-277 - [c38]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: 2249-2258 - [c37]Maria Spichkova, Milan Simic:
Human-centred analysis of the dependencies within sets of proofs. KES 2017: 2290-2298 - [i28]Ahmed D. Alharthi, Maria Spichkova:
Individual and Social Requirement Aspects of Sustainable eLearning Systems. CoRR abs/1701.06433 (2017) - [i27]Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech:
From Temporal Models to Property-Based Testing. CoRR abs/1705.10032 (2017) - [i26]Maria Spichkova:
(Auto)Focus approaches and their applications: A systematic review. CoRR abs/1711.08123 (2017) - [i25]Alber J. Christianto, Peng Chen, Osheen Walawedura, Annie Vuong, Jun Feng, Dong Wang, Maria Spichkova:
Software Engineering Solutions To Support Vertical Transportation. CoRR abs/1712.04652 (2017) - [i24]Chong Sun, Jiongyan Zhang, Cong Liu, Barry Chew Bao King, Yuwei Zhang, Matthew Galle, Maria Spichkova:
Towards Software Development For Social Robotics Systems. CoRR abs/1712.08348 (2017) - 2016
- [j7]Maria Spichkova, Margaret Hamilton:
Dynamic Decision Making System for Public Transport Routes. Int. J. Syst. Dyn. Appl. 5(3): 47-70 (2016) - [c36]Mohsen Laali, Huai Liu, Margaret Hamilton, Maria Spichkova, Heinz W. Schmidt:
Test Case Prioritization Using Online Fault Detection Information. Ada-Europe 2016: 78-93 - [c35]Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton:
Sustainability Profiling of Long-living Software Systems. QuASoQ/TDA@APSEC 2016: 12-19 - [c34]Maria Spichkova, Anna Zamansky:
A Human-Centred Framework for Supporting Agile Model-Based Testing. CAiSE Forum 2016: 105-112 - [c33]Maria Spichkova, Anna Zamansky, Eitan Farchi:
A Visual Logical Language for System Modelling in Combinatorial Test Design. CAiSE Workshops 2016: 116-121 - [c32]Maria Spichkova, Anna Zamansky:
AHR: Human-Centred Aspects of Test Design. ENASE (Selected Papers) 2016: 111-128 - [c31]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: 158-178 - [c30]Maria Spichkova, Anna Zamansky:
A Human-centred Framework for Combinatorial Test Design. ENASE 2016: 228-233 - [c29]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: 288-295 - [c28]Maria Spichkova, Anna Zamansky:
Teaching of Formal Methods for Software Engineering. ENASE 2016: 370-376 - [c27]Anna Zamansky, Guillermo Rodríguez-Navas, Mark Adams, Maria Spichkova:
Formal Methods in Collaborative Projects. ENASE 2016: 396-402 - [c26]Maria Spichkova, Milan Simic, Heinz W. Schmidt:
From Automotive to Autonomous: Time-Triggered Operating Systems. IIMSS 2016: 347-359 - [c25]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: 1609-1618 - [c24]Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech:
Spatio-Temporal Models for Formal Analysis and Property-Based Testing. STAF Workshops 2016: 196-206 - [c23]Phan Thu Nhat Vo, Maria Spichkova:
Model-Based Generation of Natural Language Specifications. STAF Workshops 2016: 221-231 - [c22]Maria Spichkova:
"Boring Formal Methods" or "Sherlock Holmes Deduction Methods"? STAF Workshops 2016: 242-252 - [i23]Maria Spichkova, Anna Zamansky, Eitan Farchi:
Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. CoRR abs/1601.06222 (2016) - [i22]Maria Spichkova:
Applied Logic in Engineering. CoRR abs/1602.05170 (2016) - [i21]Maria Spichkova:
Spatio-temporal features of FocusST. CoRR abs/1610.07884 (2016) - [i20]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 abs/1612.01675 (2016) - [i19]Phan Thu Nhat Vo, Maria Spichkova:
Model-based generation of natural language specifications. CoRR abs/1612.01680 (2016) - [i18]Maria Spichkova:
"Boring formal methods" or "Sherlock Holmes deduction methods"? CoRR abs/1612.01682 (2016) - [i17]Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech:
Spatio-temporal Models for Formal Analysis and Property-based Testing. CoRR abs/1612.01686 (2016) - 2015
- [c21]Huai Liu, Maria Spichkova, Heinz W. Schmidt, Timos K. Sellis, Matt Duckham:
Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud. ASWEC (2) 2015: 18-22 - [c20]Huai Liu, Maria Spichkova, Heinz W. Schmidt, Andreas Ulrich, Horst Sauer, Jan Wieghardt:
Efficient Testing based on Logical Architecture. ASWEC (2) 2015: 49-53 - [c19]Ahmed D. Alharthi, Maria Spichkova, Margaret Hamilton:
Requirements Engineering Aspects of ELearning Systems. ASWEC (2) 2015: 132-133 - [c18]Maria Spichkova, Heinz W. Schmidt, Catia Trubiani:
Introduction to the SAGRA 2015 workshop. ECSA Workshops 2015: 60:1-60:2 - [c17]Maria Spichkova, Huai Liu, Heinz W. Schmidt:
Towards Quality-Oriented Architecture: Integration in a Global Context. ECSA Workshops 2015: 64:1-64:5 - [c16]Maria Spichkova, Heinz W. Schmidt:
Requirements Engineering Aspects of a Geographically Distributed Architecture. ENASE 2015: 276-281 - [c15]Maria Spichkova, Ian E. Thomas, Heinz W. Schmidt, Iman I. Yusuf, Daniel W. Drumm, Steve G. Androulakis, George Opletal, Salvy P. Russo:
Scalable and Fault-Tolerant Cloud Computations: Modelling and Implementation. ICPADS 2015: 396-404 - [c14]Maria Spichkova, Anna Zamansky, Eitan Farchi:
Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. ICPADS 2015: 847-851 - [c13]Maria Spichkova, Heinz W. Schmidt:
Reconciling a Component and Process View. MiSE@ICSE 2015: 1-6 - [c12]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:
Chiminey: Reliable Computing and Data Management Platform in the Cloud. ICSE (2) 2015: 677-680 - [c11]Maria Spichkova, Milan Simic, Heinz W. Schmidt:
Formal Model for Intelligent Route Planning. KES 2015: 1299-1308 - [c10]Maria Spichkova, Heinz W. Schmidt, Md. Rashed Iqbal Nekvi, Nazim H. Madhavji:
Structuring diverse regulatory requirements for global product development. RELAW 2015: 57-60 - [i16]Maria Spichkova, Heinz W. Schmidt:
Reconciling a component and process view. CoRR abs/1503.03195 (2015) - [i15]Maria Spichkova, Huai Liu, Mohsen Laali, Heinz W. Schmidt:
Human Factors in Software Reliability Engineering. CoRR abs/1503.03584 (2015) - [i14]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:
Chiminey: Reliable Computing and Data Management Platform in the Cloud. CoRR abs/1507.01321 (2015) - [i13]Maria Spichkova, Heinz W. Schmidt:
Requirements Engineering Aspects of a Geographically Distributed Architecture. CoRR abs/1508.01623 (2015) - [i12]