71 citations · 105 across the 16 of their papers we have counts for
17 papers
Failure divergence refinement for Event-B
Sebastian Stock, Michael Leuschel, Atif Mashkoor
When validating formal models, sizable effort goes into ensuring two types of properties: safety properties (nothing bad happens) and liveness properties (something good occurs eve…
Application of AI to formal methods - an analysis of current trends
Sebastian Stock, Jannik Dunkelau, Atif Mashkoor
Context: With artificial intelligence (AI) being well established within the daily lives of research communities, we turn our gaze toward formal methods (FM). FM aim to provide sou…
Validation-Driven Development
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Formal methods play a fundamental role in asserting the correctness of requirements specifications. However, historically, formal method experts have primarily focused on verifying…
Trace Refinement in B and Event-B
Sebastian Stock, Atif Mashkoor, Michael Leuschel +1
Traces are used to show whether a model complies with the intended behavior. A modeler can use trace checking to ensure the preservation of the model behavior during the refinement…
Balanced Knowledge Distribution among Software Development Teams -- Observations from Open-Source and Closed-Source Software Development
Saad Shafiq, Christoph Mayr-Dorn, Atif Mashkoor +1
In software development teams, developer turnover is among the primary reasons for project failures as it leads to a great void of knowledge and strain for the newcomers. Unfortuna…
Application of Validation Obligations to Security Concerns
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Our lives become increasingly dependent on safety- and security-critical systems, so formal techniques are advocated for engineering such systems. One of such techniques is validat…
Formalization of Advanced VOs semantics and VO Refinement
Sebastian Stock, Fabian Vu, David Geleßus +3
This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.
IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics
Sebastian Stock, Fabian Vu, Atif Mashkoor +2
This report discusses the foundations of the VO approach. Then, it explores multiple directions and argues about structure and applications.
Do Communities in Developer Interaction Networks align with Subsystem Developer Teams? An Empirical Study of Open Source Systems
Usman Ashraf, Christoph Mayr-Dorn, Atif Mashkoor +2
Studies over the past decade demonstrated that developers contributing to open source software systems tend to self-organize in "emerging" communities. This latent community struct…
Team-oriented Consistency Checking of Heterogeneous Engineering Artifacts
Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed
Consistency checking of interdependent heterogeneous engineering artifacts, such as requirements, specifications, and code, is a challenging task in large-scale engineering project…
TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development
Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn +1
In this paper, we propose a recommendation approach -- TaskAllocator -- in order to predict the assignment of incoming tasks to potential befitting roles. The proposed approach, id…
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification
Atif Mashkoor, Michael Leuschel, Alexander Egyed
Traditionally, practitioners use formal methods pre-dominately for one half of the quality-assurance process: verification (do we build the software right?). The other half -- vali…
Machine Learning for Software Engineering: A Systematic Mapping
Saad Shafiq, Atif Mashkoor, Christoph Mayr-Dorn +1
Context: The software development industry is rapidly adopting machine learning for transitioning modern day software systems towards highly intelligent and self-learning systems.…
Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study
Atif Mashkoor, Alexander Egyed, Robert Wille
This paper presents a systematic mapping study on the model-driven engineering of safety and security concerns in systems. Integrated modeling and development of both safety and se…
Addressing Client Needs for Cloud Computing using Formal Foundations
Andreea Buga, Sorana Tania Nemes, Atif Mashkoor
Cloud-enabled large-scale distributed systems orchestrate resources and services from various providers in order to deliver high-quality software solutions to the end users. The sp…
Model-Driven Development of High-Assurance Active Medical Devices
Atif Mashkoor
Advanced medical devices exploit the advantages of embedded software whose development is subject to compliance with stringent requirements of standardization and certification reg…
Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study
Atif Mashkoor, Miklos Biro
The use of embedded software is advancing in modern medical devices, so does its capabilities and complexity. This paradigm shift brings many challenges such as an increased rate o…