Adnan Khan

Visar 9 publikationer

2022

On test case reduction for testing safety properties of manufacturing systems

Adnan Khan, Sahar Mohajerani, Martin Fabian
Journal of Manufacturing Systems. Vol. 63, p. 203-213
Artikel i vetenskaplig tidskrift
2021

On testing and automatic mending of safety PLC code

Adnan Khan, Martin Fabian
CIRP Journal of Manufacturing Science and Technology. Vol. 35, p. 431-440
Artikel i vetenskaplig tidskrift
2019

On-the-fly conformance testing of safety PLC code using QuickCheck

Adnan Khan, David Thonnessen, Martin Fabian
IEEE International Conference on Industrial Informatics (INDIN). Vol. 2019-July, p. 419-424
Paper i proceeding
2019

On the Safe IOCOS relation for Testing Safety PLC Code

Adnan Khan, Martin Fabian
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. Vol. 2019-September, p. 1449-1452
Paper i proceeding
2019

Testing and validation of safety logic in the virtual environment

Adnan Khan, Petter Falkman, Martin Fabian
CIRP Journal of Manufacturing Science and Technology. Vol. 26, p. 1-9
Artikel i vetenskaplig tidskrift
2018

Digital Twin for Legacy Systems: Simulation Model Testing and Validation

Adnan Khan, Martin Dahl, Petter Falkman et al
IEEE International Conference on Automation Science and Engineering. Vol. 2018-August, p. 421-426
Paper i proceeding
2017

Virtual Engineering Framework forAutomatic Generation of Control Logic including Safety

Adnan Khan, Petter Falkman, Martin Fabian
IEEE International Conference on Automation Science and Engineering. Vol. 2017-August
Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.
Det kan finnas fler projekt där Adnan Khan medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.