Seguir
Atif Mashkoor
Título
Citado por
Citado por
Año
The hemodialysis machine case study
A Mashkoor
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016
532016
A literature review of using machine learning in software development life cycle stages
S Shafiq, A Mashkoor, C Mayr-Dorn, A Egyed
IEEE Access 9, 140896-140920, 2021
492021
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
492017
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
322018
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
322009
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
312018
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino
S Bonfanti, M Carissoni, A Gargantini, A Mashkoor
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017
312017
Utilizing Event-B for domain engineering: a critical analysis
A Mashkoor, JP Jacquot
Requirements Engineering 16, 191-207, 2011
312011
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
302020
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 45 (3), 130-138, 2017
292017
A systematic literature review of the use of formal methods in medical software systems
S Bonfanti, A Gargantini, A Mashkoor
Journal of Software: Evolution and Process 30 (5), e1943, 2018
272018
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
262017
Refinement-based validation of Event-B specifications
A Mashkoor, F Yang, JP Jacquot
Software & Systems Modeling 16 (3), 789-808, 2017
252017
Improving the understandability of formal specifications: an experience report
F Kossak, A Mashkoor, V Geist, C Illibauer
Requirements Engineering: Foundation for Software Quality: 20th …, 2014
242014
Machine learning for software engineering: A systematic mapping
S Shafiq, A Mashkoor, C Mayr-Dorn, A Egyed
arXiv preprint arXiv:2005.13299, 2020
222020
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
222015
Artificial intelligence and software engineering: Are we ready?
A Mashkoor, T Menzies, A Egyed, R Ramler
Computer 55 (3), 24-28, 2022
202022
Security‐and safety‐critical cyber‐physical systems.
A Mashkoor, J Sametinger, M Biro, A Egyed
Journal of Software: Evolution & Process 32 (2), 2020
202020
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
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
192016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20