Atif Mashkoor
TitoloCitata daAnno
The hemodialysis machine case study
A Mashkoor
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016
322016
Transformation heuristics for formal requirements validation by animation
A Mashkoor, JP Jacquot, J Souquières
282009
Utilizing Event-B for domain engineering: a critical analysis
A Mashkoor, JP Jacquot
Requirements Engineering 16 (3), 191-207, 2011
192011
B événementiel pour la modélisation du domaine: application au transport
A Mashkoor, JP Jacquot, J Souquières
172009
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
162015
Domain engineering with Event-B: some lessons we learned
A Mashkoor, JP Jacquot
2010 18th IEEE International Requirements Engineering Conference, 252-261, 2010
132010
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
122017
Towards validation of requirements models
A Mashkoor, A Matoussi
The Second International Conference on ASM, Alloy, B and Z (ABZ 2010) 5977, 404, 2010
122010
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
112018
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
112015
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
112014
Formal probabilistic analysis of cyber-physical transportation systems
A Mashkoor, O Hasan
International Conference on Computational Science and Its Applications, 419-434, 2012
102012
Model-driven development of high-assurance active medical devices
A Mashkoor
Software Quality Journal 24 (3), 571-596, 2016
92016
Stepwise validation of formal specifications
A Mashkoor, JP Jacquot
2011 18th Asia-Pacific Software Engineering Conference, 57-64, 2011
92011
Refinement-based development of software-controlled safety-critical active medical devices
A Mashkoor, M Biro, M Dolgos, P Timar
International Conference on Software Quality, 120-132, 2015
82015
Guidelines for formal domain modeling in Event-B
A Mashkoor, JP Jacquot
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011
82011
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
72017
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
72017
Refinement-based validation of event-b specifications
A Mashkoor, F Yang, JP Jacquot
Software & Systems Modeling 16 (3), 789-808, 2017
72017
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
72016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20