Follow
Atif Mashkoor
Atif Mashkoor
LIT Secure & Correct Systems Lab @ Johannes Kepler University, Linz, Austria
Verified email at jku.at - Homepage
Title
Cited by
Cited by
Year
The hemodialysis machine case study
A Mashkoor
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016
442016
Software safety and security risk mitigation in cyber-physical systems
M Biro, A Mashkoor, J Sametinger, R Seker
IEEE Software 35 (1), 24-29, 2017
342017
Utilizing Event-B for domain engineering: a critical analysis
A Mashkoor, JP Jacquot
Requirements Engineering 16 (3), 191-207, 2011
292011
Transformation heuristics for formal requirements validation by animation
A Mashkoor, JP Jacquot, J Souquières
2nd International Workshop on the Certification of Safety-Critical Software …, 2009
292009
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino
S Bonfanti, M Carissoni, A Gargantini, A Mashkoor
NASA Formal Methods Symposium, 295-301, 2017
272017
Integrating formal methods into medical software development: The ASM approach
P Arcaini, S Bonfanti, A Gargantini, A Mashkoor, E Riccobene
Science of Computer Programming 158, 148-167, 2018
262018
Discovery and classification of user interests on social media
B Shahzad, I Lali, MS Nawaz, W Aslam, R Mustafa, A Mashkoor
Information Discovery and Delivery, 2017
222017
Refinement-based validation of Event-B specifications
A Mashkoor, F Yang, JP Jacquot
Software & Systems Modeling 16 (3), 789-808, 2017
202017
Formal validation and verification of a medical software critical component
P Arcaini, S Bonfanti, A Gargantini, A Mashkoor, E Riccobene
2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015
202015
B événementiel pour la modélisation du domaine: application au transport
A Mashkoor, JP Jacquot, J Souquières
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL …, 2009
202009
Improving the understandability of formal specifications: an experience report
F Kossak, A Mashkoor, V Geist, C Illibauer
International Working Conference on Requirements Engineering: Foundation for …, 2014
192014
Validation of formal specifications through transformation and animation
A Mashkoor, JP Jacquot
Requirements Engineering 22 (4), 433-451, 2017
182017
Design and validation of a C++ code generator from abstract state machines specifications
S Bonfanti, A Gargantini, A Mashkoor
Journal of Software: Evolution and Process 32 (2), e2205, 2020
172020
Evaluating the suitability of state‐based formal methods for industrial deployment
A Mashkoor, F Kossak, A Egyed
Software: Practice and Experience 48 (12), 2350-2379, 2018
172018
How to select the suitable formal method for an industrial application: a survey
F Kossak, A Mashkoor
International conference on abstract state machines, alloy, b, tla, vdm, and …, 2016
172016
Build software or buy: A study on developing large scale software
B Shahzad, AM Abdullatif, N Ikram, A Mashkoor
IEEE Access 5, 24262-24274, 2017
162017
Domain engineering with Event-B: some lessons we learned
A Mashkoor, JP Jacquot
2010 18th IEEE International Requirements Engineering Conference, 252-261, 2010
162010
Towards validation of requirements models
A Mashkoor, A Matoussi
The Second International Conference on ASM, Alloy, B and Z (ABZ 2010) 5977, 404, 2010
162010
Towards the trustworthy development of active medical devices: a hemodialysis case study
A Mashkoor, M Biro
IEEE Embedded Systems Letters 8 (1), 14-17, 2015
142015
Security‐and safety‐critical cyber‐physical systems
A Mashkoor, J Sametinger, M Biro, A Egyed
Journal of Software: Evolution and Process 32 (2), e2239, 2020
132020
The system can't perform the operation now. Try again later.
Articles 1–20