1. A systematic literature review of the use of formal methods in medical software systems. Issue 5 (27th February 2018) Authors: Bonfanti, Silvia; Gargantini, Angelo; Mashkoor, Atif Other Names: Mashkoor Atif guestEditor.; Biró Miklós guestEditor.; Messnarz Richard guestEditor.; Colomo‐Palacios Ricardo guestEditor. Journal: Journal of software Issue: Volume 30:Issue 5(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. (2016) Editors: Butler, Michael; Schewe, Klaus-Dieter; Mashkoor, Atif; Biro, Mikloš Other Names: ABZ (Conference), 5th Record Type: Book Extent: 1 online resource (xxi, 426 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. (December 2018) Authors: Buga, Andreea; Mashkoor, Atif; Nemeş, Sorana Tania; Schewe, Klaus-Dieter; Songprasop, Pornpan Journal: Computer languages, systems & structures Issue: Volume 54(2018) Page Start: 297 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Database and expert systems applications : DEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14-17, 2020, Proceedings /: DEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14-17, 2020, Proceedings. (2020) Other Names: Kotsis, Gabriele, 1967-; Tjoa, A Min; Khalil, Ismail, 1960-; Fischer, Lukas; Moser, Bernhard; Mashkoor, Atif; Sametinger, J (Johannes), 1961-; Fensel, Anna; Martinez-Gil, Jorge; Database and Expert Systems Applications Conference, 31st; BIOKDD (Workshop), 11th; IWCFS (Workshop), 4th; MLKgraphs (W... Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Design and validation of a C++ code generator from Abstract State Machines specifications. Issue 2 (24th November 2019) Authors: Bonfanti, Silvia; Gargantini, Angelo; Mashkoor, Atif Other Names: Mashkoor Atif guestEditor.; Sametinger Johannes guestEditor.; Biro Miklós guestEditor.; Egyed Alexander guestEditor. Journal: Journal of software Issue: Volume 32:Issue 2(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Discovery and classification of user interests on social media. Issue 3 (21st August 2017) Authors: Shahzad, Basit; Lali, Ikramullah; Nawaz, M. Saqib; Aslam, Waqar; Mustafa, Raza; Mashkoor, Atif Journal: Information discovery and delivery Issue: Volume 45:Issue 3(2017) Page Start: 130 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Ensuring safe and consistent coengineering of cyber‐physical production systems: A case study. Issue 9 (21st August 2020) Authors: Tröls, Michael; Mashkoor, Atif; Demuth, Andreas; Egyed, Alexander Other Names: Biró Miklós guestEditor.; Mashkoor Atif guestEditor.; Sametinger Johannes guestEditor. Journal: Journal of software Issue: Volume 33:Issue 9(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Evaluating the suitability of state‐based formal methods for industrial deployment. (13th September 2018) Authors: Mashkoor, Atif; Kossak, Felix; Egyed, Alexander Journal: Software, practice & experience Issue: Volume 48:Number 12(2018) Page Start: 2350 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Formal design of scalable conversation protocols using Event‐B: Validation, experiments, and benchmarks. Issue 2 (12th December 2019) Authors: Benyagoub, Sarah; Aït‐Ameur, Yamine; Ouederni, Meriem; Mashkoor, Atif; Medeghri, Ahmed Other Names: Mashkoor Atif guestEditor.; Sametinger Johannes guestEditor.; Biro Miklós guestEditor.; Egyed Alexander guestEditor. Journal: Journal of software Issue: Volume 32:Issue 2(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Safe and secure cyber‐physical systems. Issue 9 (16th March 2021) Authors: Biró, Miklós; Mashkoor, Atif; Sametinger, Johannes Other Names: Biró Miklós guestEditor.; Mashkoor Atif guestEditor.; Sametinger Johannes guestEditor. Journal: Journal of software Issue: Volume 33:Issue 9(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗