Muhammad Taimoor Khan

Kyriakos Stefanidis

Christos Koulamas

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Towards a DeepMalOb Improvement in the Use of Formal Security Risk Analysis Methods.

[BibT_eX]

[DOI]

Zakaria Sawadogo

Jean Marie Dembele

Gervais Mendy

Samuel Ouya

Proceedings of the 6th IEEE International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications, 2023

2022

Challenges in Modelling Applications for Safe and Resilient Digital Twins.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Smart Cities Conference, 2022

On the Performance and Scalability of Simulators for Improving Security and Safety of Smart Cities.

[BibT_eX]

[DOI]

Ali Mohsin

Sana Aurangzeb

Muhammad Aleem

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Towards Practical and Formal Security Risk Analysis of IoT (Internet of Things) Applications.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021

Automatic Repair of Timestamp Comparisons.

[BibT_eX]

[DOI]

Francesco Spegni

Luca Spalazzi

IEEE Trans. Software Eng., 2021

Securing Industrial Cyber-Physical Systems: A Run-Time Multilayer Monitoring.

[BibT_eX]

[DOI]

Ivana Tomic

IEEE Trans. Ind. Informatics, 2021

Towards Scalable Security of Real-time Applications: A Formally Certified Approach.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

2020

Security assessment of data management systems for cyber physical system applications.

[BibT_eX]

[DOI]

Natalia Chaudhry

Muhammad Murtaza Yousaf

J. Softw. Evol. Process., 2020

Indexing of real time geospatial data by IoT enabled devices: Opportunities, challenges and design considerations.

[BibT_eX]

[DOI]

Natalia Chaudhry

Muhammad Murtaza Yousaf

J. Ambient Intell. Smart Environ., 2020

Runtime Protection of Real-time Critical Control Applications against Known Threats.

[BibT_eX]

[DOI]

IEEE Des. Test, 2020

Rigorous Machine Learning for Secure and Autonomous Cyber Physical Systems.

[BibT_eX]

[DOI]

Muhammad Murtaza Yousuf

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019

Semantics-driven extraction of timed automata from Java programs.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2019

Security of Cyberphysical Systems: Chaining Induction and Deduction.

[BibT_eX]

[DOI]

Computer, 2019

2018

ARMET: Behavior-Based Secure and Resilient Industrial Control Systems.

[BibT_eX]

[DOI]

Proc. IEEE, 2018

Designing Safe and Secure Industrial Control Systems: A Tutorial Review.

[BibT_eX]

[DOI]

IEEE Des. Test, 2018

Highly Assured Safety and Security of e-Health Applications.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Wireless and Mobile Computing, 2018

Modeling time in Java programs for automatic error detection.

[BibT_eX]

[DOI]

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017

Extracting Timed Automata from Java Methods.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Working Conference on Source Code Analysis and Manipulation, 2017

2016

Behaviour-Based Security for Cyber-Physical Systems.

[BibT_eX]

[DOI]

ERCIM News, 2016

Sound and Complete Runtime Security Monitor for Application Software.

[BibT_eX]

[DOI]

CoRR, 2016

A rigorous and efficient run-time security monitor for real-time critical embedded system applications.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016

2015

Abstract Data Machine: Data Classifier for Reliable Embedded Systems Software.

[BibT_eX]

[DOI]

Anastasios Fragopoulos

Proceedings of the 10th Workshop on Embedded Systems Security, 2015

2014

On the Formal Semantics of the Cognitive Middleware AWDRAT.

[BibT_eX]

[DOI]

CoRR, 2014

On the Behavioural Formalization of the Cognitive Middleware AWDRAT.

[BibT_eX]

[DOI]

CoRR, 2014

2013

A verification framework for minimaple programs.

[BibT_eX]

[DOI]

Wolfgang Schreiner

ACM Commun. Comput. Algebra, 2013

2012

On the Formal Semantics of MiniMaple and its Specification Language.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Frontiers of Information Technology, 2012

On Formal Specification of Maple Programs.

[BibT_eX]

[DOI]

Wolfgang Schreiner

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Towards the Formal Specification and Verification of Maple Programs.

[BibT_eX]

[DOI]