@article{nokey,

title = {Mission Specification Patterns for Mobile Robots:  Providing Support for Quantitative Properties},

author = {Claudio Menghi and Christos Tsigkanos and Mehrnoosh Askarpour and Patrizio Pelliccione and Gricel Vasquez and Sergio Calinescu and Garcia Radu},

editor = {Publisher IEEE},

url = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10002712},

year  = {2022},

date = {2022-12-19},

urldate = {2022-12-19},

journal = {Transactions on Software Engineering (TSE)},

pages = {1-20},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nokey,

title = {The ForeMoSt Approach to Building Valid Model-based Safety Arguments},

author = {Torin Viger and Logan Murphy and Alessio DiSandro and Claudio Menghi and Ramy Shain and Marsha Chechik

},

url = {https://link.springer.com/article/10.1007/s10270-022-01063-4#citeas},

year  = {2022},

date = {2022-12-19},

urldate = {2022-12-19},

journal = {Software and Systems Modeling},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nokey,

title = {Literature Review of Computer Tools for the Visually Impaired: a focus on Search Engines},

author = {Guy Meyer and Alan Wassyng and Mark Lawford and Kourosh Sabri and Shahram Shirani},

url = {https://arxiv.org/pdf/2010.11163.pdf},

year  = {2022},

date = {2022-10-06},

urldate = {2022-10-06},

journal = {Artificial Intelligence in Healthcare and Medicine},

pages = {238-256},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nokey,

title = {Fault Detection and Diagnosis of Engine Spark Plugs Using Deep Learning Techniques},

author = {Yixin Huangfu and Essam Seddik and Saeid Habibi and Alan Wassyng and Jimi Tjong},

url = {https://www.sae.org/publications/technical-papers/content/03-15-04-0027/},

year  = {2022},

date = {2022-10-06},

urldate = {2022-10-06},

journal = {SAE International Journal of Engines},

volume = {15},

issue = {(4) },

pages = {515-525},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nokey,

title = {System Failure Detection Using Deep Learning Models Integrating Timestamps With Nonuniform Intervals},

author = {Yixin Huangfu and Saeid Habibi and Alan Wassyng},

url = {https://journals.scholarsportal.info/details/21693536/unassigned/nfp_sfdudlmitwni.xml},

year  = {2022},

date = {2022-10-06},

urldate = {2022-10-06},

journal = {IEEE Access. },

volume = {10: 17629-17640.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nokey,

title = {From legacy to microservices:  A type-based approach for microservices identification using machine learning and semantic analysis},

author = { Imen Trabelsi and Manel Abdellatif and Abdalgader Abubaker and Naouel Moha and Sébastien Mosser and Samira Ebrahimi-Kahou and Yann-Gaël Guéhéneuc},

url = {https://onlinelibrary.wiley.com/doi/full/10.1002/smr.2503},

year  = {2022},

date = {2022-08-03},

urldate = {2022-08-03},

journal = {Software: Evolution and Process (JSEP) 2022},

pages = {1-23},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nokey,

title = {Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models},

author = {Richard F. Paige and Fiona A.C. Polack and Steffen Zschaler and Thomas Chiang and Nicholas Annable},

url = {https://www.jot.fm/issues/issue_2022_04/article6.pdf},

year  = {2022},

date = {2022-01-18},

urldate = {2022-01-18},

journal = {Journal of Object Technology},

pages = {1-11},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nokey,

title = {Modelling Agile Backlogs as Composable Artefacts to support Developers and Product Owners},

author = {Sébastien Mosser and Corinne Pulgar and Vladimir Reinharz },

url = {https://archipel.uqam.ca/15421/1/ECMFA_2022_paper_3.pdf},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

journal = {Journal of Object Technology (JOT) 2022},

pages = {1-14},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nokey,

title = {Embracing the laws of Physics:  Three Reversible Models of Comptutation},

author = {Jacques Carette and Roshan P. James and Amr Sabry},

url = {https://www.mcscert.ca/embracing-the-laws-of-physics-three-reversible-models-of-computation/},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

journal = {Advances in Computers},

volume = {126},

pages = {15-36},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nokey,

title = {What Lies Beneath - A survey of Affective Theory Use in Computational Models of Emotion},

author = {Graeme Smith and Jacques Carette},

url = {https://www.techrxiv.org/articles/preprint/What_Lies_Beneath_-_A_Survey_of_Affective_Theory_Use_in_Computational_Models_of_Emotion/18779315},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

journal = {IEEE Transactions on Affective computing},

volume = {13},

issue = {4},

pages = {1793-1812},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nokey,

title = {Runtime translation of OCL-like statements on Simulink models:  Expanding domains and optimising queries},

author = {Beatriz A Sanchez and Athanasios Zolotas and Horacio Hoyos Rodriguez and Dimitris S Kolovos and Richard F. Paige and Justin C. Cooper and Jason Hampson},

url = {https://link.springer.com/article/10.1007/s10270-021-00910-0},

year  = {2021},

date = {2021-12-06},

urldate = {2021-12-06},

journal = {Software and Systems Modeling},

volume = {20},

issue = {6},

pages = {1889-1918},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nokey,

title = {Distributed model validation with Epsilon},

author = {Sina Madani and Dimitris S Kolovos and Richard F Paige },

url = {https://link.springer.com/article/10.1007/s10270-021-00878-x},

year  = {2021},

date = {2021-12-06},

urldate = {2021-12-06},

journal = {Software and Systems Modeling},

volume = {20},

issue = {5},

pages = {1689-1712},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nokey,

title = {Is the Rush to Machine Learning Jeopardizing Safety?  Results of a Survey},

author = {Mehrnoosh Askarpour and Alan Wassyng and Mark Lawford and Richard F. Paige and Zinovy Diskin },

url = {https://arxiv.org/pdf/2111.14324.pdf},

year  = {2021},

date = {2021-12-06},

urldate = {2021-12-06},

journal = {CoRR. abs},

pages = {2111.14324},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nokey,

title = {Making the Case for Centralized Automotive E/E Architectures},

author = {Victor Bandur and Gehan Selim and Vera Pantelic and Mark Lawford},

url = {https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=9337216},

year  = {2021},

date = {2021-12-02},

journal = {IEEE Transactions on Vehicular Technology },

volume = {70},

issue = {2},

pages = {1230-1245},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Singh2021,

title = {A formal approach to rigorous development of critical systems},

author = {Neeraj Kumar Singh and Mark Lawford and Tom Maibaum and Alan Wassyng},

doi = { https://doi.org/10.1002/smr.2334},

year  = {2021},

date = {2021-01-26},

urldate = {2021-01-26},

journal = {Journal of Software: Evolution and Process},

abstract = {Safety critical systems, such as medical, automotive, and avionics systems, play an important role in our daily lives. Increasing demand for new technologies in these safety critical systems requires rapid adoption of commercial hardware and software. However, the adoption of new hardware and software increases life‐threatening vulnerabilities. To aid in the reduction of these vulnerabilities and system failures, this paper proposes a framework based on formal methods for developing safety‐critical systems from requirements analysis to code generation. This framework includes a development process for documenting system requirements using tabular expressions, automatic formal model generation from the documented requirements, verification and validation of the generated formal models using proof techniques and animations, interactive simulation for validating the required behavior of the developed models by enabling domain experts to observe the system states according to, and finally, code generation from the formal model into a desired language. A prototype toolchain is developed to automate this framework. An assessment of the proposed framework is undertaken through a case study: insulin infusion pump (IIP).},

keywords = {certification, code generation, formal methods, proof‐based development, refinement, simulation, tabular expression, verification and validation},

pubstate = {published},

tppubtype = {article}

}

@article{nokey,

title = {Automatic generation of UML profile graphical editors for Papyrus},

author = {Ran Wei and Athanasios Zolotas and Horacio Hoyos Rodriguez and Simos Gerasimou and Dimitrios S. Kolovos and Richard F. Paige},

url = {https://link.springer.com/article/10.1007/s10270-020-00813-6

https://www.mcscert.ca/automatic-generation-of-uml-profile-graphical-editors-for-papyrus-2020/},

year  = {2020},

date = {2020-12-07},

urldate = {2020-12-07},

journal = {Software and Systems Modeling},

volume = {19},

issue = {5},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nokey,

title = {Preface to the JOT special issue containing the ECMFA 202 selected papers},

author = {Richard F. Paige and Antonio Vallecillo},

url = {https://www.jot.fm/issues/issue_2020_02/editorial1.pdf},

year  = {2020},

date = {2020-12-07},

urldate = {2020-12-07},

journal = {The JOT Journal},

volume = {19},

issue = {2},

keywords = {},

pubstate = {published},

tppubtype = {article}

}