Maria Spichkova

According to our database1, Maria Spichkova authored at least 71 papers between 2005 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Easy Mobile Meter Reading for Non-smart Meters: Comparison of AWS Rekognition and Google Cloud Vision Approaches.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

Towards Readability Aspects of Probabilistic Mode Automata.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

Towards Automated Management and Analysis of Heterogeneous Data within Cannabinoids Domain.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

A Set-based Logical Language for Specification of Combinatorial Models.
Proceedings of the Australasian Computer Science Week Multiconference, 2019

2018
Towards Tool-Support for Sustainability Profiling.
Proceedings of the 7th International Workshop on Requirements Engineering for Sustainable Systems (RE4SuSy 2018) co-located with the 26th International Conference on Requirements Engineering (RE 2018), 2018

SuSoftPro: Sustainability Profiling for Software.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

Enhancing the user experience with vertical transportation solutions.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

Gender-Based Perspectives of eLearning Systems: An Empirical Study of Social Sustainability.
Proceedings of the Information Systems Development: Designing Digitalization, 2018

Social Position and Gender Perspectives of eLearning Systems: A Study of Social Sustainability.
Proceedings of the Advances in Information Systems Development, 2018

Software Development for Autonomous and Social Robotics Systems.
Proceedings of the Intelligent Interactive Multimedia Systems and Services, 2018

SMI: Stack Management Interface.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Towards Classification of Lightweight Formal Methods.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

FocusST Solution for Analysis of Cryptographic Properties.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

A Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2018

Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

Automated Analysis of the Impact of Weather Conditions on Medicine Consumption.
Proceedings of the 25th Australasian Software Engineering Conference, 2018

Monitoring Informed Testing for IoT.
Proceedings of the 25th Australasian Software Engineering Conference, 2018

2017
Chiminey: Connecting Scientists to HPC, Cloud and Big Data.
Big Data Research, 2017

Human-centred analysis of the dependencies within sets of proofs.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, 2017

Modelling and Implementation of Humanoid Robot Behaviour.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, 2017

Autonomous Systems Research Embedded in Teaching.
Proceedings of the Intelligent Interactive Multimedia Systems and Services 2017, 2017

From Temporal Models to Property-based Testing.
Proceedings of the ENASE 2017, 2017

Role of women in software architecture: an attempt at a systematic literature review.
Proceedings of the 11th European Conference on Software Architecture, 2017

Green architecture for sustainable eLearning systems.
Proceedings of the 11th European Conference on Software Architecture, 2017

Combining Agile Practices with Incremental Visual Tasks.
Proceedings of the Nineteenth Australasian Computing Education Conference, 2017

2016
Dynamic Decision Making System for Public Transport Routes.
IJSDA, 2016

Model-Based Generation of Natural Language Specifications.
Proceedings of the Software Technologies: Applications and Foundations, 2016

"Boring Formal Methods" or "Sherlock Holmes Deduction Methods"?
Proceedings of the Software Technologies: Applications and Foundations, 2016

Spatio-Temporal Models for Formal Analysis and Property-Based Testing.
Proceedings of the Software Technologies: Applications and Foundations, 2016

Formal Models for Intelligent Speed Validation and Adaptation.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 20th International Conference KES-2016, 2016

From Automotive to Autonomous: Time-Triggered Operating Systems.
Proceedings of the Intelligent Interactive Multimedia Systems and Services 2016, 2016

Formal Methods in Collaborative Projects.
Proceedings of the ENASE 2016, 2016

AHR: Human-Centred Aspects of Test Design.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2016

Teaching of Formal Methods for Software Engineering.
Proceedings of the ENASE 2016, 2016

A Human-centred Framework for Combinatorial Test Design.
Proceedings of the ENASE 2016, 2016

Towards Modelling and Implementation of Reliability and Usability Features for Research-Oriented Cloud Computing Platforms.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2016

Managing Usability and Reliability Aspects in Cloud Computing.
Proceedings of the ENASE 2016, 2016

A Visual Logical Language for System Modelling in Combinatorial Test Design.
Proceedings of the Advanced Information Systems Engineering Workshops, 2016

A Human-Centred Framework for Supporting Agile Model-Based Testing.
Proceedings of the CAiSE'16 Forum, 2016

Sustainability Profiling of Long-living Software Systems.
Proceedings of the Joint Proceedings of the 4th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2016) and 1st International Workshop on Technical Debt Analytics (TDA 2016) co-located with the 23rd Asia-Pacific Software Engineering Conference (APSEC 2016), 2016

Test Case Prioritization Using Online Fault Detection Information.
Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015
Structuring diverse regulatory requirements for global product development.
Proceedings of the Eighth IEEE International Workshop on Requirements Engineering and Law, 2015

Formal Model for Intelligent Route Planning.
Proceedings of the 19th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2015

Chiminey: Reliable Computing and Data Management Platform in the Cloud.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Reconciling a Component and Process View.
Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems.
Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Scalable and Fault-Tolerant Cloud Computations: Modelling and Implementation.
Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Requirements Engineering Aspects of a Geographically Distributed Architecture.
Proceedings of the ENASE 2015, 2015

Introduction to the SAGRA 2015 workshop.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Towards Quality-Oriented Architecture: Integration in a Global Context.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Efficient Testing based on Logical Architecture.
Proceedings of the 24th Australasian Software Engineering Conference, 2015

Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud.
Proceedings of the 24th Australasian Software Engineering Conference, 2015

Requirements Engineering Aspects of ELearning Systems.
Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014
Formalisation and Analysis of Component Dependencies.
Archive of Formal Proofs, 2014

Compositional Properties of Crypto-Based Components.
Archive of Formal Proofs, 2014

Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST.
Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

Visualization, Simulation and Validation for Cyber-Virtual Systems.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2014

Cyber-virtual Systems - Simulation, Validation & Visualization.
Proceedings of the ENASE 2014, 2014

Towards Logical Architecture and Formal Analysis of Dependencies between Services.
Proceedings of the 2014 Asia-Pacific Services Computing Conference, 2014

2013
Stream Processing Components: Isabelle/HOL Formalisation and Case Studies.
Archive of Formal Proofs, 2013

Do we Really Need to Write Documentation for a System? - CASE Tool Add-ons: Generator+Editor for a Precise Documentation.
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

2012
Verified System Development with the AutoFocus Tool Chain
Proceedings of the Proceedings 2nd Workshop on Formal Methods in the Development of Software, 2012

2011
Architecture: Requirements + Decomposition + Refinement.
Softwaretechnik-Trends, 2011

2008
On the correctness of upper layers of automotive systems.
Formal Asp. Comput., 2008

Refinement-Based Verification of Interactive Real-Time Systems.
Electr. Notes Theor. Comput. Sci., 2008

2007
Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle.
PhD thesis, 2007

Service-Oriented Modeling of CoCoME with Focus and AutoFocus.
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006
Towards Modularized Verification of Distributed Time-Triggered Systems.
Proceedings of the FM 2006: Formal Methods, 2006

2005
Towards verified automotive software.
ACM SIGSOFT Software Engineering Notes, 2005


  Loading...