![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Maria Spichkova
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c87]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 - [i44]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) - [i43]Maria Spichkova:
Mobile user experience from the lens of project-based learning. CoRR abs/2404.02470 (2024) - [i42]Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland:
Cultural influence on autonomous vehicles acceptance. CoRR abs/2404.03694 (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]Sonila Dobi, Mario Gleirscher, Maria Spichkova, Peter Struss:
Model-based Hazard and Impact Analysis. CoRR abs/1512.02759 (2015) - 2014
- [j6]Maria Spichkova:
Compositional Properties of Crypto-Based Components. Arch. Formal Proofs 2014 (2014) - [j5]Maria Spichkova:
Formalisation and Analysis of Component Dependencies. Arch. Formal Proofs 2014 (2014) - [c9]Maria Spichkova, Heinrich-Wilhelm Schmidt
:
Towards Logical Architecture and Formal Analysis of Dependencies between Services. APSCC 2014: 121-128 - [c8]Jan Olaf Blech
, Maria Spichkova, Ian Peake, Heinz W. Schmidt:
Visualization, Simulation and Validation for Cyber-Virtual Systems. ENASE (Selected Papers) 2014: 140-154 - [c7]Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt:
Cyber-virtual Systems - Simulation, Validation & Visualization. ENASE 2014: 218-225 - [c6]Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt:
Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. MoDeVVa@MoDELS 2014: 49-58 - [i11]Maria Spichkova, Heinz W. Schmidt, Ian D. Peake:
From abstract modelling to remote cyber-physical integration/interoperability testing. CoRR abs/1403.1005 (2014) - [i10]Maria Spichkova:
Towards Focus on Time. CoRR abs/1403.1006 (2014) - [i9]Maria Spichkova, Alarico Campetelli:
Towards system development methodologies: From software to cyber-physical domain. CoRR abs/1403.2819 (2014) - [i8]Maria Spichkova:
Human Factors of Formal Methods. CoRR abs/1404.7247 (2014) - [i7]Maria Spichkova:
Refinement-Based Specification: Requirements and Architecture. CoRR abs/1404.7260 (2014) - [i6]Maria Spichkova, Xiuna Zhu, Dongyue Mou:
Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentation. CoRR abs/1404.7265 (2014) - [i5]Maria Spichkova:
Stream processing components: Isabelle/HOL formalisation and case studies. CoRR abs/1405.1512 (2014) - [i4]Maria Spichkova:
Compositional properties of crypto-based components. CoRR abs/1405.3006 (2014) - [i3]Maria Spichkova:
Formalisation and Analysis of Component Dependencies. CoRR abs/1405.3017 (2014) - [i2]Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt:
Cyber-Virtual Systems: Simulation, Validation & Visualization. CoRR abs/1410.1258 (2014) - [i1]Maria Spichkova, Heinz W. Schmidt:
Towards Logical Architecture and Formal Analysis of Dependencies Between Services. CoRR abs/1412.3529 (2014) - 2013
- [j4]Maria Spichkova:
Stream Processing Components: Isabelle/HOL Formalisation and Case Studies. Arch. Formal Proofs 2013 (2013) - [c5]Maria Spichkova, Xiuna Zhu, Dongyue Mou:
Do we Really Need to Write Documentation for a System? - CASE Tool Add-ons: Generator+Editor for a Precise Documentation. MODELSWARD 2013: 170-174 - 2012
- [c4]Maria Spichkova, Florian Hölzl, David Trachtenherz:
Verified System Development with the AutoFocus Tool Chain. WS-FMDS 2012: 17-24 - 2011
- [j3]Maria Spichkova:
Architecture: Requirements + Decomposition + Refinement. Softwaretechnik-Trends 31(4) (2011)
2000 – 2009
- 2008
- [j2]Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova:
On the correctness of upper layers of automotive systems. Formal Aspects Comput. 20(6): 637-662 (2008) - [c3]Maria Spichkova:
Refinement-Based Verification of Interactive Real-Time Systems. Refine@FM 2008: 131-157 - 2007
- [b1]Maria Spichkova:
Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle. Technical University Munich, Germany, 2007, pp. 1-273 - [c2]Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann
, Michael Meisinger, Birgit Penzenstadler
, Sabine Rittmann, Bernhard Schätz, Maria Spichkova, Doris Wild:
Service-Oriented Modeling of CoCoME with Focus and AutoFocus. CoCoME 2007: 177-206 - 2006
- [c1]Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz:
Towards Modularized Verification of Distributed Time-Triggered Systems. FM 2006: 163-178 - 2005
- [j1]Jewgenij Botaschanjan, Leonid Kof, C. Kühnel, Maria Spichkova:
Towards verified automotive software. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-6 (2005)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint