Maria Spichkova

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

Enhancing the user experience with vertical transportation solutions.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Development: Designing Digitalization, 2018

Social Position and Gender Perspectives of eLearning Systems: A Study of Social Sustainability.

[BibT_eX]

[DOI]

Proceedings of the Advances in Information Systems Development, 2018

Software Development for Autonomous and Social Robotics Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Interactive Multimedia Systems and Services, 2018

SMI: Stack Management Interface.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice.

[BibT_eX]

[DOI]

Tawfeeq Alsanoosy

James Harland

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Towards Classification of Lightweight Formal Methods.

[BibT_eX]

[DOI]

Guillermo Rodríguez-Navas

Peter Herrmann

Jan Olaf Blech

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

FocusST Solution for Analysis of Cryptographic Properties.

[BibT_eX]

[DOI]

Radhika Bhat

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.

[BibT_eX]

[DOI]

Tawfeeq Alsanoosy

James Harland

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2018

Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia.

[BibT_eX]

[DOI]

Tawfeeq Alsanoosy

James Harland

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.

[BibT_eX]

[DOI]

Proceedings of the 25th Australasian Software Engineering Conference, 2018

Monitoring Informed Testing for IoT.

[BibT_eX]

[DOI]

Proceedings of the 25th Australasian Software Engineering Conference, 2018

2017

Towards Software Development For Social Robotics Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Software Engineering Solutions To Support Vertical Transportation.

[BibT_eX]

[DOI]

CoRR, 2017

(Auto)Focus approaches and their applications: A systematic review.

[BibT_eX]

[DOI]

CoRR, 2017

Individual and Social Requirement Aspects of Sustainable eLearning Systems.

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

Big Data Res., 2017

Human-centred analysis of the dependencies within sets of proofs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Heinrich-Wilhelm Schmidt

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.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Interactive Multimedia Systems and Services 2017, 2017

From Temporal Models to Property-based Testing.

[BibT_eX]

[DOI]

Nasser Alzahrani

Jan Olaf Blech

Proceedings of the ENASE 2017, 2017

Role of women in software architecture: an attempt at a systematic literature review.

[BibT_eX]

[DOI]

Catia Trubiani

Proceedings of the 11th European Conference on Software Architecture, 2017

Green architecture for sustainable eLearning systems.

[BibT_eX]

[DOI]

Proceedings of the 11th European Conference on Software Architecture, 2017

Combining Agile Practices with Incremental Visual Tasks.

[BibT_eX]

[DOI]

Charles Thevathayan

Proceedings of the Nineteenth Australasian Computing Education Conference, 2017

2016

Dynamic Decision Making System for Public Transport Routes.

[BibT_eX]

[DOI]

Int. J. Syst. Dyn. Appl., 2016

Spatio-temporal features of FocusST.

[BibT_eX]

[DOI]

CoRR, 2016

Applied Logic in Engineering.

[BibT_eX]

[DOI]

CoRR, 2016

Model-Based Generation of Natural Language Specifications.

[BibT_eX]

[DOI]

Phan Thu Nhat Vo

Proceedings of the Software Technologies: Applications and Foundations, 2016

"Boring Formal Methods" or "Sherlock Holmes Deduction Methods"?

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2016

Spatio-Temporal Models for Formal Analysis and Property-Based Testing.

[BibT_eX]

[DOI]

Nasser Alzahrani

Jan Olaf Blech

Proceedings of the Software Technologies: Applications and Foundations, 2016

Formal Models for Intelligent Speed Validation and Adaptation.

[BibT_eX]

[DOI]

Heinrich-Wilhelm Schmidt

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.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Interactive Multimedia Systems and Services 2016, 2016

Formal Methods in Collaborative Projects.

[BibT_eX]

[DOI]

Guillermo Rodríguez-Navas

Mark Adams

Proceedings of the ENASE 2016, 2016

AHR: Human-Centred Aspects of Test Design.

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2016

Teaching of Formal Methods for Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2016, 2016

A Human-centred Framework for Combinatorial Test Design.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2016, 2016

Towards Modelling and Implementation of Reliability and Usability Features for Research-Oriented Cloud Computing Platforms.

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2016

Managing Usability and Reliability Aspects in Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2016, 2016

A Visual Logical Language for System Modelling in Combinatorial Test Design.

[BibT_eX]

[DOI]

Eitan Farchi

Proceedings of the Advanced Information Systems Engineering Workshops, 2016

A Human-Centred Framework for Supporting Agile Model-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the CAiSE'16 Forum, 2016

Sustainability Profiling of Long-living Software Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015

Human Factors in Software Reliability Engineering.

[BibT_eX]

[DOI]

CoRR, 2015

Model-based Hazard and Impact Analysis.

[BibT_eX]

[DOI]

CoRR, 2015

Structuring diverse regulatory requirements for global product development.

[BibT_eX]

[DOI]

Md. Rashed Iqbal Nekvi

Nazim H. Madhavji

Proceedings of the Eighth IEEE International Workshop on Requirements Engineering and Law, 2015

Formal Model for Intelligent Route Planning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Reconciling a Component and Process View.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Eitan Farchi

Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Scalable and Fault-Tolerant Cloud Computations: Modelling and Implementation.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Requirements Engineering Aspects of a Geographically Distributed Architecture.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2015, 2015

Introduction to the SAGRA 2015 workshop.

[BibT_eX]

[DOI]

Catia Trubiani

Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Towards Quality-Oriented Architecture: Integration in a Global Context.

[BibT_eX]

[DOI]

Huai Liu

Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Efficient Testing based on Logical Architecture.

[BibT_eX]

[DOI]

Proceedings of the 24th Australasian Software Engineering Conference, 2015

Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 24th Australasian Software Engineering Conference, 2015

Requirements Engineering Aspects of ELearning Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014

From abstract modelling to remote cyber-physical integration/interoperability testing.

[BibT_eX]

[DOI]

Ian D. Peake

CoRR, 2014

Towards system development methodologies: From software to cyber-physical domain.

[BibT_eX]

[DOI]

Alarico Campetelli

CoRR, 2014

Refinement-Based Specification: Requirements and Architecture.

[BibT_eX]

[DOI]

CoRR, 2014

Human Factors of Formal Methods.

[BibT_eX]

[DOI]

CoRR, 2014

Towards Focus on Time.

[BibT_eX]

[DOI]

CoRR, 2014

Formalisation and Analysis of Component Dependencies.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2014

Compositional Properties of Crypto-Based Components.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2014

Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST.

[BibT_eX]

[DOI]

Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

Visualization, Simulation and Validation for Cyber-Virtual Systems.

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2014

Cyber-virtual Systems - Simulation, Validation & Visualization.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2014, 2014

Towards Logical Architecture and Formal Analysis of Dependencies between Services.

[BibT_eX]

[DOI]

Heinrich-Wilhelm Schmidt

Proceedings of the 2014 Asia-Pacific Services Computing Conference, 2014

2013

Stream Processing Components: Isabelle/HOL Formalisation and Case Studies.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2013

Do we Really Need to Write Documentation for a System? - CASE Tool Add-ons: Generator+Editor for a Precise Documentation.

[BibT_eX]

[DOI]

Xiuna Zhu

Dongyue Mou

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

[BibT_eX]

[DOI]