Mark Lawford
Orcid: 0000-0003-3161-2176
According to our database1,
Mark Lawford
authored at least 97 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks.
IEEE Trans. Software Eng., February, 2024
Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2024
2023
Softw. Syst. Model., October, 2023
Novel Fundus Image Preprocessing for Retcam Images to Improve Deep Learning Classification of Retinopathy of Prematurity.
CoRR, 2023
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023
Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Bridging the Gap Between System Architecture and Software Design using Model Transformation.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023
2022
A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification.
Proceedings of the Theoretical Aspects of Software Engineering, 2022
Proceedings of the Computer Safety, Reliability, and Security, 2022
SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection.
Proceedings of the Computer Security. ESORICS 2022 International Workshops, 2022
2021
IEEE Trans. Veh. Technol., 2021
J. Softw. Evol. Process., 2021
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021
2020
Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput.
Formal Aspects Comput., 2020
Literature Review of Computer Tools for the Visually Impaired: a focus on Search Engines.
CoRR, 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the Computer Safety, Reliability, and Security, 2020
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
2019
Multiple model synchronization with multiary delta lenses with amendment and K-Putput.
Formal Aspects Comput., 2019
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019
Proceedings of the Fundamental Approaches to Software Engineering, 2019
2018
Int. J. Softw. Tools Technol. Transf., 2018
Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application.
J. Autom. Reason., 2018
Proceedings of the Computer Safety, Reliability, and Security, 2018
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Proceedings of the Fundamental Approaches to Software Engineering, 2018
2017
Proceedings of the Software Technologies: Applications and Foundations, 2017
Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach.
Proceedings of the Computer Safety, Reliability, and Security, 2017
Proceedings of the Model and Data Engineering - 7th International Conference, 2017
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017
Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving.
Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017
2016
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016
Proceedings of the Computer Safety, Reliability, and Security, 2016
Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016
2015
Sci. Comput. Program., 2015
Sci. Comput. Program., 2015
Sci. Comput. Program., 2015
IEEE Des. Test, 2015
Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015
Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015
Proceedings of the Computer Safety, Reliability, and Security, 2015
A Toolset for Simulink - Improving Software Engineering Practices in Development with Simulink.
Proceedings of the MODELSWARD 2015, 2015
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015
Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015
Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015
2014
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
Proceedings of the Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management, 2014
2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Dagstuhl Reports, 2013
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013
Proceedings of the Foundations of Health Information Engineering and Systems, 2013
2012
IEEE Trans. Autom. Control., 2012
Discret. Event Dyn. Syst., 2012
Proceedings of the Enterprise Information Systems - 14th International Conference, 2012
Change Impact Analysis for Large-scale Enterprise Systems.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012
Proceedings of the Conquering Complexity, 2012
2011
Proceedings of the NASA Formal Methods, 2011
Software certification experience in the canadian nuclear industry: lessons for the future.
Proceedings of the 11th International Conference on Embedded Software, 2011
Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering, 2011
2010
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Software certification consortium: certification methods for safety-critical software.
Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010
2009
IEEE Trans. Autom. Control., 2009
2008
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
2007
Software Documents: Comparison and Measurement.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007
Proceedings of the 2007 conference of the Centre for Advanced Studies on Collaborative Research, 2007
2006
IEEE Trans. Control. Syst. Technol., 2006
Int. J. Softw. Tools Technol. Transf., 2006
Fundam. Informaticae, 2006
Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006
2005
IEEE Trans. Autom. Control., 2005
IEEE Trans. Autom. Control., 2005
IEEE Trans. Autom. Control., 2005
IEEE Trans. Autom. Control., 2005
Proceedings of the FM 2005: Formal Methods, 2005
2004
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004
2003
IEEE Trans. Software Eng., 2003
IEEE Softw., 2003
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project.
Proceedings of the FME 2003: Formal Methods, 2003
2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
2000
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1996
Model Reduction of Modules for State-Even Temporal Logics.
Proceedings of the Formal Description Techniques IX: Theory, 1996
1995
IEEE Trans. Autom. Control., 1995