Atif Mashkoor

Johannes Kepler University Linz

Research Interests

Explore related searches

Contact this professor

Google Scholar

Articles (12)

Collaborators (5)

Paolo Arcaini

Project Associate Professor

National Institute of Informatics

Angelo Gargantini

University of Bergamo

Sebastian Stock

Robert Wille

Full and Distinguished Professor

Technical University of Munich

Johannes Sametinger

Atif Mashkoor

Research Interests

Explore related searches

Contact this professor

Articles (12)

Collaborators (5)

Paolo Arcaini

Angelo Gargantini

Sebastian Stock

Robert Wille

Johannes Sametinger

How do I reach out?

Meet Kite AI

Atif Mashkoor

Research Interests

Explore related searches

Contact this professor

Articles (12)

A Systematic Literature Review on Graphical User Interface Testing Through Software Patterns

Teaching Engineering of AI-Intensive Systems

Trace preservation in B and Event-B refinements

An adaptive synthetic sampling and batch generation-oriented hybrid approach for addressing class imbalance problem in software defect prediction

Model‐driven engineering of safety and security software systems: A systematic mapping study and future research directions

Safety and security of cyber‐physical systems

A Fuzzy AHP-based approach for prioritization of cost overhead factors in agile software development

Safe and secure cyber‐physical systems

Intelligent Autonomous Systems

Design and validation of a C++ code generator from Abstract State Machines specifications

Formal design of scalable conversation protocols using Event‐B: Validation, experiments, and benchmarks

Security‐ and safety‐critical cyber‐physical systems

Collaborators (5)

Paolo Arcaini

Angelo Gargantini

Sebastian Stock

Robert Wille

Johannes Sametinger

How do I reach out?

Meet Kite AI