Formal Verification of Real-Time Function Blocks Using PVS
Pang, Linna, Wang, Chen-Wei, Lawford, Mark, Wassyng, Alan, Newell, Josh, Chow, Vera, Tremaine, David
Published in Electronic proceedings in theoretical computer science (10.06.2015)
Published in Electronic proceedings in theoretical computer science (10.06.2015)
Get full text
Journal Article
Fault Detection and Diagnosis of Engine Spark Plugs Using Deep Learning Techniques
Huangfu, Yixin, Seddik, Essam, Habibi, Saeid, Wassyng, Alan, Tjong, Jimi
Published in SAE International journal of engines (01.01.2022)
Published in SAE International journal of engines (01.01.2022)
Get full text
Journal Article
Secure and trusted partial grey-box verification
Cai, Yixian, Karakostas, George, Wassyng, Alan
Published in International journal of information security (01.12.2019)
Published in International journal of information security (01.12.2019)
Get full text
Journal Article
Repository mining for changes in Simulink and Stateflow models
Jaskolka, Monika, Pantelic, Vera, Wassyng, Alan, Paige, Richard F., Lawford, Mark
Published in Software and systems modeling (01.10.2023)
Published in Software and systems modeling (01.10.2023)
Get full text
Journal Article
Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles
Ramdhan, Stefan, Trandinh, Winnie, Arulmohan, Sathurshan, Hu, Xiayong, Deevy, Spencer, Bandur, Victor, Pantelic, Vera, Lawford, Mark, Wassyng, Alan
Published in 2024 IEEE Intelligent Vehicles Symposium (IV) (02.06.2024)
Published in 2024 IEEE Intelligent Vehicles Symposium (IV) (02.06.2024)
Get full text
Conference Proceeding
Raising the Bar: Assurance Cases for Scientific Software
Smith, Spencer, Sayari Nejad, Mojdeh, Wassyng, Alan, Carver, Jeffrey, Morris, Karla
Published in Computing in science & engineering (01.01.2021)
Published in Computing in science & engineering (01.01.2021)
Get full text
Journal Article
Software engineering practices and Simulink: bridging the gap
Pantelic, Vera, Postma, Steven, Lawford, Mark, Jaskolka, Monika, Mackenzie, Bennett, Korobkine, Alexandre, Bender, Marc, Ong, Jeff, Marks, Gordon, Wassyng, Alan
Published in International journal on software tools for technology transfer (01.02.2018)
Published in International journal on software tools for technology transfer (01.02.2018)
Get full text
Journal Article
Assurance cases for scientific computing software
Smith, Spencer, Nejad, Mojdeh Sayari, Wassyng, Alan
Published in Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings (27.05.2018)
Published in Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings (27.05.2018)
Get full text
Conference Proceeding
A formal approach to rigorous development of critical systems
Singh, Neeraj Kumar, Lawford, Mark, Maibaum, Thomas S. E., Wassyng, Alan
Published in Journal of software : evolution and process (01.04.2021)
Published in Journal of software : evolution and process (01.04.2021)
Get full text
Journal Article
Criteria to Systematically Evaluate (Safety) Assurance Cases
Chowdhury, Thomas, Wassyng, Alan, Paige, Richard F., Lawford, Mark
Published in 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE) (01.10.2019)
Published in 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE) (01.10.2019)
Get full text
Conference Proceeding
Formal verification of function blocks applied to IEC 61131-3
Pang, Linna, Wang, Chen-Wei, Lawford, Mark, Wassyng, Alan
Published in Science of computer programming (01.12.2015)
Published in Science of computer programming (01.12.2015)
Get full text
Journal Article
Using STPA in an ISO 26262 Compliant Process
Mallya, Archana, Pantelic, Vera, Adedjouma, Morayo, Lawford, Mark, Wassyng, Alan
Published in Computer Safety, Reliability, and Security (2016)
Published in Computer Safety, Reliability, and Security (2016)
Get full text
Book Chapter