Publications

Annable, N., Chiang, T., Lawford, M., Paige, R.F. and Wassyng, A., 2023, October. Lessons Learned Building a Tool for Workflow+. In 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS) (pp. 140-150). IEEE.

Arulmohan, S., Meurs, M.J. and Mosser, S., 2023, October. Extracting domain models from textual requirements in the era of large language models. In 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (pp. 580-587). IEEE.

Assunção, W.K., Krüger, J., Mosser, S. and Selaoui, S., 2023. How do microservices evolve? An empirical analysis of changes in open-source microservice repositories. Journal of Systems and Software, p.111788.

Bandur, V., Lawford, M., Mosser, S., Paige, R.F., Pantelic, V. and Wassyng, A., 2023, September. Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. In International Conference on Computer Safety, Reliability, and Security (pp. 5-14). Cham: Springer Nature Switzerland.

Bucchiarone, A., Vázquez-Ingelmo, A., Schiavo, G., Barandoni, S., García-Holgado, A., García-Peñalvo, F.J., Mosser, S., Pierantonio, A., Zschaler, S. and Barnett, W., 2023, October. Towards Personalized Learning Paths to Empower Competence Development in Model Driven Engineering Through the ENCORE Platform. In 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (pp. 122-129). IEEE.

Deevy, S., Machado, T.D.M., Modhafar, A., O’Beirne, W., Paige, R. and Wassyng, A., 2023. Separating Technological and Clinical Safety Assurance for Medical Devices. arXiv preprint arXiv:2302.07873.

Formica, F., Fan, T., Rajhans, A., Pantelic, V., Lawford, M. and Menghi, C., 2023. Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks. IEEE Transactions on Software Engineering.

Formica, F., Petrunti, N., Bruck, L., Pantelic, V., Lawford, M. and Menghi, C., 2023. Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. arXiv preprint arXiv:2305.18608.

Gao, X., Karpati, P., Gran, B.A. and Wassyng, A., 2023. Safety Argumentation for a Nuclear Reactor Protection System–an Assessor’s View.

Jaskolka, M., Pantelic, V., Wassyng, A., Paige, R.F. and Lawford, M., 2023. Repository mining for changes in Simulink and Stateflow models. Software and Systems Modeling, pp.1-20.
Lachance, A. and Mosser, S., 2023. A Language Engineering Approach to Support the P4 Coding Ecosystem.

Kapinski, R., Pantelic, V., Bandur, V., Wassyng, A., Lawford, M. , 2023. Assurance Cases for Timing Properties of Automotive TSN Networks. In: Guiochet, J., Tonetta, S., Schoitsch, E., Roy, M., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops. SAFECOMP 2023. Lecture Notes in Computer Science, vol 14182. Springer, Cham. https://doi.org/10.1007/978-3-031-40953-0_3

Levy, M., Groen, E.C., Taveter, K., Amyot, D., Yu, E., Liu, L., Richardson, I., Spichkova, M., Jussli, A. and Mosser, S., 2023. Sustaining human health: A requirements engineering perspective. Journal of Systems and Software, p.111792.

Maupomé, D., Soulas, T., Rancourt, F., Cantin-Savoie, G., Winterstein, G., Mosser, S. and Meurs, M.J., 2023. Lightweight methods for early risk detection. Working Notes of CLEF, pp.18-21.

Mosser, S., Pulgar, C., Blay-Fornarino, M., Patel, D., Loh, A. and Bruel, J.M., 2023, October. Yes, Configuring is Good, But Have You Ever Tried Jus8fying?. CONFLANG Workshop (co-located with SPLASH).

Muñoz, P., Zschaler, S. and Paige, R.F., 2023. Preface to the special issue on Success Stories in Model Driven Engineering. Science of Computer Programming, p.103072.

Rahim, S., Sabri, K., Ells, A., Wassyng, A., Lawford, M., Chu, L. and He, W., 2023. Novel Fundus Image Preprocessing for Retcam Images to Improve Deep Learning Classification of Retinopathy of Prematurity. arXiv preprint arXiv:2302.02524.

Rodriguez, H.H., Muralidharan, N.G., Siavashi, F., Pantelic, V., Bandur, V., Lawford, M. and Paige, R.F., 2023, October. An Automotive Architecture Product Line for E/E Powertrain Architectures. In 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (pp. 715-719). IEEE.

Siavashi, F., Rodriguez, H.H., Pantelic, V., Lawford, M., Paige, R.F., Jaskolka, M., Hou, G. and Verde, A., 2023, October. Bridging the Gap Between System Architecture and Software Design using Model Transformation. In 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW) (pp. 51-56). IEEE.

Annable, N., Bayzat, A., Lawford, M., Paige, R., & Wassyng, A. 2022. Model-Driven Safety of Autonomous Vehicles. In: Recent Trends and Advances in Model-Based Systems Engineering, 407-417. Springer. [Online] Available: https://link.springer.com/chapter/10.1007/978-3-030-82083-1_34

Annable, N., Chiang, T., Lawford, M., Paige, R. F., & Wassyng, A. 2022. Generating Assurance Cases Using Workflow Models. In: Lecture Notes in Computer Science book series, 97-110. Springer. [Online] Available: https://link.springer.com/chapter/10.1007/978-3-031-14835-4_7

Annable, N., Chiang, T., Lawford, M., Paige, R. F., & Wassyng, A. 2022. Generating Assurance Cases Using Workflow+ Models. In: Lecture Notes in Computer Science book series (LNCS, volume 13414), International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022), 97-110. Springer. [Online] Available: https://link.springer.com/chapter/10.1007/978-3-031-14835-4_7

Assunção, W. K., Ayala, I., Krüger, J., & Mosser, S. 2022. International Workshop on Variability Management for Modern Technologies. In: SPLC ’22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12-16, 2022, 266. ACM. [Online] Available: https://dl.acm.org/doi/abs/10.1145/3461001.3475157

Ayesh, M., Mehan, N., Dhanraj, E., El-Rahwan, A., Opalka, S. E., Fan, T., Hamilton, A., Jacob, A. M., Sundarrajan, R. A., & Widjaja, B. 2022. Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device. In: Proceedings of the 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 218-225. [Online] Available: https://easychair.org/publications/paper/QZcD

Bandur, V., Kapinski, R., Pantelic, V., Lawford, M., & Wasacz, B. 2022. Aspects of Migrating from Decentralized to Centralized E/E Architectures. In: WCX SAE World Congress Experience, Detroit, MI, United States of America (No. 2022-01-0747) 2022/3. SAE Technical Paper. [Online] Available: https://www.sae.org/publications/technical-papers/content/2022-01-0747/

Carette, J., James, R. P., & Sabry, A. 2022. Embracing the laws of Physics: Three Reversible Models of Computation. Advances in Computers, 115-136. [Online] Available: https://www.mcscert.ca/embracing-the-laws-of-physics-three-reversible-models-of-computation/

Carette, J., & Soraine, S. 2022. Types for Players. In: PLIE 2021 (Programming Languages in Entertainment), part of AIIDE-21. 4 pages. Joint Proceedings of the AIIDE 2021 Workshops. Published 2022. CEUR-WS Vol. 3217. [Online] Available: https://drops.dagstuhl.de/opus/volltexte/2022/17107/pdf/LIPIcs-TYPES-2021-4.pdf

Carette, J. 2022. A guided tour through my work.

Carette, J. 2022. What I learned from formalizing Category Theory in Agda.

Chiang, T., Mendoza, R. G., Mahmood, J., & Paige, R. F. 2022. Towards the adoption of model-based system safety engineering in the automotive industry. In: MODELS ’22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 579-587. ACM. [Online] Available: https://dl.acm.org/doi/abs/10.1145/3550356.3563130

Deevey, S., Wassyng, A., Lawford, M., Pantelic, V., & Paige, R. 2022. Sentinel: A Safety Architecture for SAE J3016 Level 5 Autonomous Vehicles. In: Critical Automotive Applications: Robustness & Safety, Sep 2022, Saragoza, Spain. hal-03782509. [Online] Available: https://hal.archives-ouvertes.fr/hal-03782509/document

DeMeo, W., & Carette, J. 2022. A Machine-checked Proof of Birkhoff’s Variety theorem in Martin-Löf Type Theory. In: 27th International Conference on Types for Proofs and Programs (TYPES 2021), LIPIcs volume 239, 4:1-4:21. [Online] Available: https://drops.dagstuhl.de/opus/volltexte/2022/16773/pdf/LIPIcs-TYPES-2021-4.pdf

Formica, F., Fan, T., Rajhans, A., Pantelic, V., Lawford, M., & Menghi, C. 2022. Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks. [Online] Available: https://arxiv.org/pdf/2212.11589.pdf

Gidon, E., Arcaini, P., Fainekos, G., Formica, F., Inoue, J., Khandait, T., Mahboob, M. M., Menghi, C., Pedrielli, G., Waga, M., Yamagata, Y., & Zhang, Z. 2022. ARCH-COMP 2022 Category Report Falsification with Unbounded Resources. In: Proceedings of the 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 204-221. [Online] Available: https://www.mcscert.ca/arch-comp-2022-category-report-falsification-with-ubounded_resources-8-2/

Huangfu, Y., Habibi, S., & Wassyng, A. 2022. System Failure Detection Using Deep Learning Models Integrating Timestamps With Nonuniform Intervals. IEEE Access. [Online] Available: https://journals.scholarsportal.info/details/21693536/unassigned/nfp_sfdudlmitwni.xml

Huangfu, Y., Seddik, E., Habibi, S., Wassyng, A., & Tjong, J. 2022. Fault Detection and Diagnosis of Engine Spark Plugs Using Deep Learning Techniques. SAE International Journal of Engines, 515-525. [Online] Available: https://www.sae.org/publications/technical-papers/content/03-15-04-0027/

Jaskolka, M., Pantelic, V., Wassyng, A., Lawford, M., & Paige, R. F. 2022. Repository Mining for Changes in Simulink Models. In: 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), 46-57. [Online] Available: https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=9592466

Kienzle, J., Combemale, B., Mussbacher, G., Alam, O., Bordeleau, F., Burgueno, L., Engels, G., Galasso, J., Jézéquel, J. M., Kemme, B., Mosser, S., Sahraoui, H., Schiedermeier, M., Syriani, E. 2022. Global Decision Making Over Deep Variability in Feedback-Driven Software Development. In: 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 1-6. ACM. [Online] Available: https://dl.acm.org/doi/abs/10.1145/3551349.3559551

Lesiuta, E., Bandur, V., & Lawford, M. 2022. SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection. In: 1st International Workshop on System Security Assurance (SecAssure 2022), Copenhagen, Denmark. [Online] Available: https://archipel.uqam.ca/15421/1/ECMFA_2022_paper_3.pdf

Loganathan, A., & Paige, R. F. 2022. An investigation into the effect of cluster-based preprocessing on software migration. In: MODELS ’22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 539-545. ACM. [Online] Available: https://dl.acm.org/doi/10.1145/3550356.3561566

Menghi, C., Tsigkanos, C., Askarpour, M., Pelliccione, P., Vasquez, G., Calinescu, S., & Radu, G. 2022. Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. Transactions on Software Engineering (TSE), 1-20. [Online] Available: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10002712

Meyer, G., Wassyng, A., Lawford, M., Sabri, K., & Shirani, S. 2022. Literature Review of Computer Tools for the Visually Impaired: a focus on Search Engines. Artificial Intelligence in Healthcare and Medicine, 238-256. [Online] Available: https://arxiv.org/pdf/2010.11163.pdf

Moore, N., & Lawford, M. 2022. A case study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification. In: International Symposium on Theoretical Aspects of Software Engineering (TASE 2022), Cluj, Romania. [Online] Available: https://arxiv.org/pdf/2204.09163.pdf

Mosser, S., Pulgar, C., & Reinharz, V. 2022. Modelling Agile Backlogs as Composable Artefacts to support Developers and Product Owners. Journal of Object Technology (JOT), 21(14). [Online] Available: https://archipel.uqam.ca/15421/1/ECMFA_2022_paper_3.pdf

Mosser, S. 2022. Dockerizing your Teaching: Do’s and Don’ts.

Mosser, S. 2022. From Software Composition at Scale to Scaling Software Composition: 50 Shades of Scalability.

Mosser, S. 2022. Génie Logiciel pour la Population Vieillissante.

Muralidharan, N. G., Pantelic, V., Bandur, V., & Paige, R. 2022. Integrating Software Issue Tracking and Traceability Models. In: 38th IEEE International Conference on Software Maintenance and Evolution (ICSME), 429-433. IEEE. [Online] Available: https://ieeexplore.ieee.org/abstract/document/9978202

Paige, R. F., Polack, F. A., Zschaler, S., Chiang, T., & Annable, N. 2022. Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models. Journal of Object Technology, 21(11). [Online] Available: https://www.jot.fm/issues/issue_2022_04/article6.pdf

Saravani, S. H., Normand, L., Maupomé, D., Rancourt, F., Soulas, T., Besharati, S., Normand, A., Mosser, S., & Meurs, M. J. 2022. Measuring the Severity of the Signs of Eating Disorders Using Similarity-Based Models. In: Proceedings of the Working Notes of CLEF 2022 – Conference and Labs of the Evaluation Forum, Bologna, Italy, September 5th-8th, 2022 (CEUR Workshop Proceedings), CEUR-WS.org, 3180, 936-946. [Online] Available: https://ceur-ws.org/Vol-3180/paper-74.pdf

Smith, G., & Carette, J. 2022. What Lies Beneath – A survey of Affective Theory Use in Computational Models of Emotion. IEEE Transactions on Affective Computing, 1793-1812. [Online] Available: https://www.techrxiv.org/articles/preprint/What_Lies_Beneath_-_A_Survey_of_Affective_Theory_Use_in_Computational_Models_of_Emotion/18779315

Trabelsi, I., Abdellatif, M., Abubaker, A., Moha, N., Mosser, S., Ebrahimi-Kahou, S., & Guéhéneuc, Y. G. 2022. From Legacy to Microservices: A Type-Based Approach for Microservices Identification Using Machine Learning and Semantic Analysis. Software: Evolution and Process (JSEP), 1-23. [Online] Available: https://onlinelibrary.wiley.com/doi/full/10.1002/smr.2503

Viger, T., Murphy, L., DiSandro, A., Menghi, C., Shain, R., & Chechik, M. 2022. The ForeMoSt Approach to Building Valid Model-based Safety Arguments. Software and Systems Modeling. [Online] Available: https://link.springer.com/article/10.1007/s10270-022-01063-4#citeas

Askarpour, M., Wassyng, A., Lawford, M., Paige, R. F., Diskin, Z. Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey. CoRR, abs/2111.14324. [Online] Available: https://arxiv.org/pdf/2111.14324.pdf

Bandur, V., Pantelic, V., Dawson, M., Schaap, A., Wasacz, B., Lawford, M. A domain-centralized automotive powertrain E/E architecture. 2021. [Online] Available: https://sumanthme03.github.io/files/Mar_2021_04.pdf

Bandur, V., Selim, G., Pantelic, V., Lawford, M. Making the Case for Centralized Automotive E/E Architectures. IEEE Transactions on Vehicular Technology, 1230-1245. [Online] Available: https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=9337216

Diskin, Z., Stunkel, P. Sketches, Queries, and Views: From Term-Graphs to Diagrammatic Term-Sketches. 2021. [Online] Available: https://www.mcscert.ca//opt/vhosts/mcscert.mcmaster.ca/www/web/app/uploads/2021/06/McSCert-Technical-Report-34.pdf

Dongol, B., Bell, R., Habli, I., Lawford, M., Moore, P., Saigol, Z. Regulation and Ethics of Robotics and Autonomous Systems. 467–483. [Online] Available: https://link.springer.com/chapter/10.1007/978-3-030-66494-7_14

Madani, S., Kolovos, D. S., Paige, R. F. Distributed model validation with Epsilon. Software and Systems Modeling, 1689-1712. [Online] Available: https://link.springer.com/article/10.1007/s10270-021-00878-x

Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt. 2021. ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS).

Repository Mining for Changes in Simulink Models. 2021. ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS).

Sanchez, B. A., Zolotas, A., Rodriguez, H. H., Kolovos, D. S., Paige, R. F., Cooper, J. C., Hampson, J. Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimizing queries. Software and Systems Modeling, 1889-1918. [Online] Available: https://link.springer.com/article/10.1007/s10270-021-00910-0

Singh, N. K., Lawford, M., Maibaum, T., Wassyng, A. A formal approach to rigorous development of critical systems. Journal of Software: Evolution and Process. 2021. [Online] Available: http://dx.doi.org/10.1002/smr.2334

Anjorin, A., Buchmann, T., Westfechtel, B., Diskin, Z., Ko, H. S., Eramo, R., Hinkel, G., Samimi-Dehkordi, L., Zündorf, A. (2020). Benchmarking bidirectional transformations: theory, implementation, application, and assessment. Software and Systems Modeling, 647-691. [Online] Available: https://link.springer.com/article/10.1007/s10270-019-00752-x

Annable, N. (2020). A Model-Based Approach to Formal Assurance Cases. [Online] Available: http://hdl.handle.net/11375/25343

Bucchiarone, A., Cabot, J., Paige, R. F., Pierantonio, A. (2020). Grand challenges in model-driven engineering: an analysis of the state of the research. Software and Systems Modeling, 5-13. [Online] Available: https://rdcu.be/b47YM

Diskin, Z., Stunkel, P. (2020). Sketches, queries, views, and their Kleisli composition: towards universal algebra of diagrammatic operations with pre- and post-conditions. [Online] Available: https://www.mcscert.ca//opt/vhosts/mcscert.mcmaster.ca/www/web/app/uploads/2020/05/McSCert-Technical-Report-33.pdf

Diskin, Z. (2020). General Supervised Learning as Change Propagation with Delta Lenses. Springer. Foundations of Software Science and Computation Structures – 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. [Online] Available: https://doi.org/10.1007/978-3-030-45231-5_10

Hamann, L., Paige, R. F., Pierantonio, A., Rumpe, B., Vallecillo, A. (2020). Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday. The JOT Journal. [Online] Available: https://www.sse-rwth.de/publications/Preface-to-the-JOT-Special-Issue-dedicated-to-Martin-Gogolla-on-his-65th-Birthday.pdf

Jaskolka, M., Pantelic, V., Wassyng, A. (2020). A Comparison of Componentization Constructs for Supporting Modularity in Simulink. [Online] Available: https://www.sae.org/publications/technical-papers/content/2020-01-1290/

Kienzle, J., Mussbacher, G., Combemale, B., Bastin, L., Bencomo, N., Bruel, J. M., Becker, C., Betz, S., Chitchyan, R., Cheng, B. H., Klingert, S., Paige, R. F., Penzenstadler, B., Seyff, N., Syriani, E., Venters, C. C. (2020). Toward model-driven sustainability evaluation. Communications of the ACM, 80-91. [Online] Available: https://www.mcscert.ca/toward-model-driven-sustainability-paige-2020/

Mackenzie, B., Pantelic, V., Marks, G., Wynn-Williams, S., Selim, G., Lawford, M., Wassyng, A., Diab, M., Weslati, F. (2020). Change Impact Analysis in Simulink Designs of Embedded Systems. 1274-1284. 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020) Athens, Greece. [Online] Available: https://dl.acm.org/doi/abs/10.1145/3368089.3417060

Meyer, G. (2020). Development of a Search Engine Tool for Visually Impaired Web Users. [Online] Available: https://www.mcscert.ca/meyer_guy_201912_masc/

Paige, R. F., Vallecillo, A. (2020). Preface to the JOT special issue containing the ECMFA 202 selected papers. The JOT Journal. [Online] Available: https://www.jot.fm/issues/issue_2020_02/editorial1.pdf

Polyglot and Distributed Software Repository Mining with Crossflow. (2020). Mining Software Repositories.

Rutle, A., Iovino, L., König, H., Diskin, Z. (2020). A query-retyping approach to model transformation co-evolution. Software and Systems Modeling. [Online] Available: http://dx.doi.org/10.1007/s10270-020-00805-6

Smith, W. S., Nejad, M. S., Wassyng, A. (2020). Raising the Bar: Assurance Cases for Scientific Computing Software. Computing in Science and Engineering, 47-57. [Online] Available: https://ieeexplore.ieee.org/document/9178774%7D

Supporting robotic software migration using static analysis and model-driven engineering. (2020). ACM/IEEE MoDELS 2020, Montreal Canada.

Systematic Evaluation of (Safety) Assurance Cases. 18-33. SAFECOMP Part of the Lecture Notes in Computer Science book series (LNCS), volume 12234. [Online] Available: https://link.springer.com/chapter/10.1007/978-3-030-54549-9_2

Sánchez, B., Kolovos, D. and Paige, R., 2020, October. To build, or not to build: ModelFlow, a build solution for MDE projects. In Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (pp. 1-11).

W?sowski, A., Paige, R. F., Haugen, Ø. (2020). Guest editorial to the special section on MODELS 2018. Software and Systems Modeling, 1-2. [Online] Available: https://rdcu.be/b47Yr

Wei, R., Zolotas, A., Rodriguez, H. H., Gerasimou, S., Kolovos, D. S., Paige, R. F. (2020). Automatic generation of UML profile graphical editors for Papyrus. Software and Systems Modeling. [Online] Available: https://link.springer.com/journal/10270/virtual-issue/60-years

Zolotas, A., Rodriguez, H. H., Hutchesson, S., Pina, B. S., Grigg, A., Li, M., Kolovos, D. S., Paige, R. F. (2020). Bridging proprietary modeling and open-source model management tools: the case of PTC integrity modeller and epsilon. Software and Systems Modeling, 17-38. [Online] Available: https://rdcu.be/b47YV

Zolotas, A., Barmpis, K., Medhat, F., Neubauer, P., Kolovos, D. and Paige, R.F., 2021. An architecture for the development of distributed analytics based on polystore events. In Heterogeneous Data Management, Polystores, and Analytics for Healthcare: VLDB Workshops, Poly 2020 and DMAH 2020, Virtual Event, August 31 and September 4, 2020, Revised Selected Papers 6 (pp. 54-65). Springer International Publishing.

Baker, G., Steinbrenner, White, S. (2019). “Software Design.”

Bayzat, A. (2019). “GSN Models of Safety Assurance for the Automotive Industry.” Masters Thesis. Available at: https://www.mcscert.ca/bayzat_alison_mt_2019august_masc/

Blair, G., Cheng, B. H., Hilty, L., Paige, R. F. (2019). “Modeling for Sustainability (Dagstuhl Seminar 18351).”

Burgueño, L., Ciccozzi, F., Famelis, M., Kappel, G., Lambers, L., Mosser, S., Paige, R. F., Pierantonio, A., Rensink, A., Salay, R., and Others. (2019). “Contents for a Model-Based Software Engineering Body of KnowledgeSoftware and systems modeling.” Springer Berlin Heidelberg.

Cai, Y., Karakostas, G., Wassyng, A. (2019). “Secure and trusted partial grey-box verification.” International Journal of Information Security. Available at: https://link.springer.com/article/10.1007/s10207-019-00431-4

Carette, J., MacLachlan, B., Smith, S. W. (2019). “GOOL: A Generic Object-Oriented Language (extended version).” arXiv preprint arXiv:1911. 11824.

Chowdhury, T., Wassyng, A., Paige, RF, Lawford, M. (2019). “Criteria to Systematically Evaluate (Safety) Assurance Cases.” Available at: https://ieeexplore.ieee.org/abstract/document/8987576

Deevy, S. (2019). “Sentinel: A Software Architecture for Safe Artificial Intelligence in Autonomous Vehicles.” Available at: https://www.mcscert.ca/deevy_spencer_r_201912_masc/

Diskin, Z., Annable, N., Wassyng, A., Lawford, M. (2019). “Assurance via Workflow+ Modelling and Conformance.” Available at: https://www.mcscert.ca//opt/vhosts/mcscert.mcmaster.ca/www/web/app/uploads/2019/10/McSCert-Technical-Report-29.pdf

Diskin, Z., Annable, N., Wassyng, A., Lawford, M. (2019). “Assurance via Workflow+ Modelling and Conformance (an extended version).” Available at: https://www.mcscert.ca//opt/vhosts/mcscert.mcmaster.ca/www/web/app/uploads/2019/11/McSCert-Technical-Report-32.pdf

Diskin, Z., König, H., Lawford, M. (2019). “Multiple model synchronization with multiary delta lenses with amendment and K-Put.” Available at: https://doi.org/10.1007/s00165-019-00493-0

Diskin, Z., König, H., Lawford, M. (2019). “Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Put.” Available at: http://arxiv.org/abs/1911.11302

Diskin, Z., König, H., Lawford, M. (2019). “Non-concurrent Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Put.” Available at: https://www.mcscert.ca//opt/vhosts/mcscert.mcmaster.ca/www/web/app/uploads/2019/05/McSCert-Technical-Report-30.pdf

Diskin, Z. (2019). “Supervised learning, change propagation and delta lenses.” Available at: https://www.mcscert.ca//opt/vhosts/mcscert.mcmaster.ca/www/web/app/uploads/2019/11/McSCert-Technical-Report-31.pdf

Garcia-Dominguez, A., Barmpis, K., Kolovos, DS, Wei, R., Paige, RF. (2019). “Stress-testing remote model querying APIs for relational and graph-based stores.” Available at: https://link.springer.com/article/10.1007/s10270-017-0606-9

Hossain, MN. (2019). “INTRODUCING ASPECTS INTO SOFTWARE ARCHITECTURES BY GRAPH TRANSFORMATION.” Available at: https://www.mcscert.ca/hossain_nour_md_201809_phd/

Joannou, P. (2019). “AN ENTERPRISE ENGINEERING APPROACH TO SAFETY MANAGEMENT.” Available at: https://www.mcscert.ca/joannou_paul_2018november_phd/

Kokaly, S. (2019). “Managing Assurance Cases in Model Based Software Systems.” Available at: https://www.mcscert.ca/kokaly_sahar_201904_phd/

Kolovos, D., Medhat, F., Paige, R., Ruscio, DD, Storm, T., Scholze, S., Zolotas, A. (2019). “Domain-specific languages for the design, deployment and manipulation of heterogeneous databases.” 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE).

Kolovos, D., Neubauer, P., Barmpis, K., Matragkas, N., Paige, R. (2019). “Crossflow: a framework for distributed mining of software repositories.” 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR).

Krithnan, N., Smith, SW. (2019). “Software Requirements Specification for GlassBR.”

Mackenzie, B. (2019). “Change Impact Analysis in Simulink Designs of Embedded Systems.” Masters Thesis. Available at: https://www.mcscert.ca/mackenzie_bennett_r_201909_masc/

Madani, S., Kolovos, DS, Paige, RF. (2019). “Towards Optimisation of Model Queries: A Parallel Execution Approach.” J. Object Technol.

Pantelic, V., Schaap, A., Wassyng, A., Bandur, V., Lawford, M. (2019). “Something is Rotten in the State of Documenting Simulink Models.” MODELSWARD.

Pina, BA., Zolotas, A., Rodriguez HH, Kolovos D, Paige RF. (2019). “On-the-fly Translation and Execution of OCL-like Queries on Simulink Models.” Proceedings of the ACM/IEEE 22th International Conference on Model Driven Engineering Languages and Systems.

Rodriguez, HH., Zolotas, A., Kolovos, D., Paige, RF. (2019). “On the Challenges of Model Decorations for Capturing Complex Metadata.” 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).

Sanchez, B., Kolovos, DS, Paige, R. (2019). “ModelFlow: towards reactive model management workflows.” Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling.

Sanchez, B., Zolotas, A., Rodriguez HH, Kolovos D, Paige R. (2019). “On-the-fly Translation and Execution of OCL-like Queries on Simulink Models.” 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS).

Shah, SA. (2019). “Safe-AV: A Fault Tolerant Safety Architecture for Autonomous Vehicles.” Masters Thesis. Available at: https://www.mcscert.ca/shah_syed_a_201903_masc/

Smith, S., Nejad, MS, Wassyng, A. (2019). “Building Confidence in Scientific Computing Software Via Assurance Cases.” arXiv preprint arXiv:1912. 13308. Available at: https://arxiv.org/pdf/1912.13308.pdf

Smith, S., Srinivasan, M., Shankar, S. (2019). “Debunking the myth that upfront requirements are infeasible for scientific computing software.” Proceedings of the 14th International Workshop on Software Engineering for Science.

Wynn-Williams, S., Diskin, Z., Pantelic, V., Lawford, M., Selim, GM., Milo, C., Diab, M., Weslati, F. (2019). “SL2SF: Refactoring Simulink to Stateflow.” Fundamental Approaches to Software Engineering – 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Available at: https://doi.org/10.1007/978-3-030-16722-6_15

Zolotas, A., Matragkas, N., Devlin, S., Kolovos, DS, Paige, RF. (2019). “Type inference in flexible model-driven engineering using classification algorithms.” Software & Systems Modeling. Available at: https://link.springer.com/article/10.1007/s10270-018-0658-5

Chowdhury, T., Lesiuta, E., Rikley, K., Lin, C. W., Kang, E., Kim, B., Shiraishi, S., Lawford, M., & Wassyng, A. (2018). Safe and Secure Automotive Over-the-Air Updates. In: Springer, Cham. Retrieved from https://www.mcscert.ca//opt/vhosts/mcscert.mcmaster.ca/www/web/app/uploads/2019/02/OTAUpdates.pdf

Ciccozzi, F., Famelis, M., Kappel, G., Lambers, L., Mosser, S., Paige, R. F., Pierantonio, A., Rensink, A., Salay, R., Taentzer, G., et al. (2018). How do we teach Modelling and Model-Driven Engineering? A survey. In: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 122-129.

Ciccozzi, F., Famelis, M., Kappel, G., Lambers, L., Mosser, S., Paige, R. F., Pierantonio, A., Rensink, A., Salay, R., Taentzer, G., et al. (2018). Towards a body of knowledge for model-based software engineering. In: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 82-89.

Diskin, Z., König, H., & Lawford, M. (2018). Multiple Model Synchronization with Multiary Delta Lenses. In: Springer, Cham. Fundamental Approaches to Software Engineering. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-89363-1_2

Diskin, Z., Maibaum, T., Wassyng, A., Wynn-Williams, S., & Lawford, M. (2018). Assurance via model transformations and their hierarchical refinement. In: ACM. Proceedings of the 21st International Conference on Models Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018. Retrieved from https://www.mcscert.ca//opt/vhosts/mcscert.mcmaster.ca/www/web/app/uploads/2018/12/p426-diskin-1.pdf

Ellison, M., Calinescu, R., & Paige, R. F. (2018). Evaluating cloud database migration options using workload models. Journal of Cloud Computing, 6. Springer.

Fung, N. L., Kokaly, S., Sandro, A. D., Salay, R., & Chechik, M. (2018). MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases. In: Springer, Cham. Computer Safety, Reliability, and Security. SAFECOMP 2018. Lecture Notes in Computer Science. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-99229-7_7

Gerasimou, S., Kechagia, M., Kolovos, D., Paige, R., & Gousios, G. (2018). On software modernisation due to library obsolescence. In: 2018 IEEE/ACM 2nd International Workshop on API Usage and Evolution (WAPI), 6-9.

Kolovos, D. S., & Paige, R. F. (2018). Towards a modular and flexible human-usable textual syntax for EMF models. In: MODELS Workshops, 223-232.

Kolovos, D. S., & Paige, R. F. (2018). Towards a modular and flexible human-usable textual syntax for EMF models. In: CEUR-WS.org. Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018. Retrieved from http://ceur-ws.org/Vol-2245/flexmde_paper_4.pdf

Korobkine, A., Boimer, R., Pantelic, V., Shah, S. A., Lawford, M., Castillo, C., & Weslati, F. (2018). Automatic Calibrations Generation for Powertrain Controllers Using MapleSim. Retrieved from https://www.mcscert.ca//opt/vhosts/mcscert.mcmaster.ca/www/web/app/uploads/2019/02/sae2018-1.pdf

Madani, S., Kolovos, D. S., & Paige, R. F. (2018). Parallel execution of first-order operations. In: CEUR-WS.org. Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018. Retrieved from http://ceur-ws.org/Vol-2245/ocl_paper_4.pdf

Madani, S., Kolovos, D. S., & Paige, R. F. (2018). Parallel Model Validation with Epsilon. In: European Conference on Modelling Foundations and Applications, 115-131.

Marshall, A. M., & Paige, R. (2018). Requirements in digital forensics method definition: Observations from a UK study. Digital Investigation, 23-29. Elsevier.

Newell, J., Pang, L., Tremaine, D., & Lawford, M. (2018). Translation of IEC 61131-3 function block diagrams to PVS for formal verification with real-time nuclear application. Journal of Automated Reasoning, 63-84. Retrieved from https://link.springer.com/article/10.1007/s10817-017-9415-7

Paige, R. F. (2018). Engineering Bidirectional Transformations. In: Springer, Cham. Bidirectional Transformations.

Pantelic, V., Postma, S., Lawford, M., Jaskolka, M., Mackenzie, B., Korobkine, A., Bender, M., Ong, J., Marks, G., & Wassyng, A. (2018). Software Engineering Practices and Simulink: Bridging the gap. International Journal on Software Tools for Technology Transfer, 95-117.

Qian, Z. (2018). High-Fidelity Simulation Model of a Dual FIFO CAN Stack. Retrieved from https://www.mcscert.ca/qian_zhizhao_201803_masc_software_engineering/. Masters Thesis.

Samouly, A. A., Luong, C. N., Li, Z., Smith, S., Baetz, B., & Ghaith, M. (2018). Performance of multi-model ensembles for the simulation of temperature variability over Ontario, Canada. Environmental earth sciences, 524. Springer Berlin Heidelberg.

Sanchez, B. A., Barmpis, K., Neubauer, P., Paige, R. F., & Kolovos, D. S. (2018). Restmule: enabling resilient clients for remote APIs. In: Proceedings of the 15th International Conference on Mining Software Repositories, 537-541.

Schaap, A., Marks, G., Pantelic, V., Lawford, M., Selim, G., Wassyng, A., & Patcas, L. (2018). Documenting Simulink designs of embedded systems. In: ACM, 47-51.

Smith, S., Nejad, M. S., & Wassyng, A. (2018). Poster: Assurance Cases for Scientific Computing Software. In: 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), 420-421.

Smith, S., Sun, Y., & Carette, J. (2018). Statistical software for psychology: Comparing development practices between CRAN and other communities. arXiv preprint arXiv:1802.07362.

Smith, S. (2018). Beyond software carpentry. In: Proceedings of the International Workshop on Software Engineering for Science, 32-39.

Smith, S. W., Lazzarato, A., & Carette, J. (2018). State of the Practice for GIS Software. arXiv preprint arXiv:1802.03422.

Smith, S. W., Zeng, Z., & Carette, J. (2018). Seismology software: State of the practice. Journal of Seismology, 755-788. Springer Netherlands.

Srivisut, K., Clark, J. A., & Paige, R. F. (2018). Dependent input sampling strategies: using metaheuristics for generating parameterized random sampling regimes. In: Proceedings of the Genetic and Evolutionary Computation Conference, 1451-1458.

Srivisut, K., Clark, J. A., & Paige, R. F. (2018). Search-based temporal testing in an embedded multicore platform. In: International Conference on the Applications of Evolutionary Computation, 794-809.

Srivisut, K., Paige, R. F., & Clark, J. A. (2018). Correlated Input Strategies: Using Metaheuristics for Generating Parameterized Random Sampling Regimes. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2018.

Wasowski, A., Paige, R., & Haugen, Ø. (2018). Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018.

Abrahão, S., Bourdeleau, F., Cheng, B., Kokaly, S., Paige, R., Stöerrle, H., & Whittle, J. (2017). User experience for model-driven engineering: Challenges and future directions. In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), 229-236.

Ajit, S., Holmes, C., Johnson, J., Kolovos, D. S., & Paige, R. F. (2017). Model-based tool support for Tactical Data Links: an experience report from the defence domain. Software & Systems Modeling, 559-586. Springer Berlin Heidelberg.

Bagnato, A., Barmpis, K., Bessis, N., Cabrera-Diego, L. A., Rocco, J. D., Ruscio, D. D., Gergely, T., Hansen, S., Kolovos, D., Krief, P., et al. (2017). Developer-centric knowledge mining from large open-source software repositories (CROSSMINER). In: Federation of International Conferences on Software Technologies: Applications and Foundations, 375-384.

Chowdhury, T., Lin, C. W., Kim, B., Lawford, M., Shiraishi, S., & Wassyng, A. (2017). Principles for Systematic Development of an Assurance Case Template from ISO 26262. IEEE. Retrieved from https://www.mcscert.ca//opt/vhosts/mcscert.mcmaster.ca/www/web/app/uploads/2019/02/ISSRE2017-1.pdf. DOI: http://dx.doi.org/10.1109/ISSREW.2017.14

Diskin, Z., Konig, H., Lawford, M., & Maibaum, T. (2017). Toward product lines of mathematical models for software model management. In: Federation of International conferences on Software Technologies: Applications and Foundations, 200-216. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-74730-9_19

Diskin, Z., Konig, H., & Lawford, M. (2017). Multiple Model Synchronization with Multiary Delta Lenses. Retrieved from https://www.mcscert.ca//opt/vhosts/mcscert.mcmaster.ca/www/web/app/uploads/2017/10/Multiple-Model-Synchronization-with-Multiary-Delta-Lenses-ZD.pdf. Report.

Gerasimou, S., Kolovos, D., Paige, R., & Standish, M. (2017). Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems. In: Federation of International Conferences on Software Technologies: Applications and Foundations, 385-393.

Kokaly, S., Salay, R., Chechik, M., Lawford, M., & Maibaum, T. (2017). Safety case impact assessment in automotive software systems: an improved model-based approach. In: International Conference on Computer Safety, Reliability, and Security, 69-85.

Kolovos, D. S., García-Domínguez, A. A., Rose, L. M., & Paige, R. F. (2017). Eugenia: towards disciplined and automated development of GMF-based graphical model editors. Software & Systems Modeling, 229-255. Springer Berlin Heidelberg. Retrieved from https://research.aston.ac.uk/en/publications/eugenia-towards-disciplined-and-automated-development-of-gmf-base

Kolovos, D. S., & Paige, R. F. (2017). The epsilon pattern language. In: 2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE), 54-60.

Mohammad Gholizadeh, H. (2017). A Query Structured Model Transformation Approach. Retrieved from https://www.mcscert.ca/mohammadgholizadeh_hamid_201706_phd/. Ph.D. Thesis.

Moore, N., & Lawford, M. (2017). Correct safety critical hardware descriptions via static analysis and theorem proving. In: Proceedings of the 5th International FME Workshop on Formal Methods in Software Engineering, 58-64.

Newell, J., Pang, L., Tremaine, D., Wassyng, A., & Lawford, M. (2017). Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. Journal of Automated Reasoning, 1-22. Springer.

Paige, R. F., Cabot, J., & Ernst, N. A. (2017). Foreword to the special section on negative results in software engineering. Springer US. Miscellaneous.

Paige, R. F., Zolotas, A., & Kolovos, D. (2017). The Changing Face of Model-Driven Engineering. In: Present and Ulterior Software Engineering, 103-118. Springer, Cham. Book Chapter.

Paige, R. F., Zolotas, A., Kolovos, D. S., McDermid, J. A., Bennett, M., Hutchesson, S., & Hawthorn, A. (2017). SECT-AIR: Software Engineering Costs and Timescales–Aerospace Initiative for Reduction. In: Federation of International Conferences on Software Technologies: Applications and Foundations, 403-408.

Pantelic, V., Postma, S., Lawford, M., Jaskolka, M., Mackenzie, B., Korobkine, A., Bender, M., Ong, J., Marks, G., & Wassyng, A. (2017). Software engineering practices and Simulink: bridging the gap. International Journal on Software Tools for Technology Transfer, 1-23. Springer.

Singh, N. K., Lawford, M., Maibaum, T. S., & Wassyng, A. (2017). Use of Tabular Expressions for Refinement Automation. In: International Conference on Model and Data Engineering, 167-182.

Smith, S., & Chan, S. (2017). Collaborative and Competitive Video Games for Teaching Computing in Higher Education. Journal of Science Education and Technology.

Zolotas, A., Clarisó, R., Matragkas, N., Kolovos, D. S., & Paige, R. F. (2017). Constraint programming for type inference in flexible model-driven engineering. Computer Languages, Systems & Structures, 216-230. Pergamon.

Alhwikem, F. H., Paige, R. F., Rose, L. M., & Alexander, R. D. (2016) “A systematic approach for designing mutation operators for MDE languages,” York Journal.

Cassano, V., Maibaum, T. S., & Grigorova, S. (2016) “A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case,” in International Conference on Formal Engineering Methods.

Diskin, Z., Safilian, A., Maibaum, T., & Ben-David, S. (2016) “Faithful Modeling of Product Lines with Kripke Structures and Modal Logic,” Scientific Annals of Computer Science.

Ellison, M., Calinescu, R., & Paige, R. F. (2016) “Towards Platform Independent Database Modelling in Enterprise Systems,” in Federation of International Conferences on Software Technologies: Applications and Foundations.

Garcia-Dominguez, A., Barmpis, K., Kolovos, D. S., Wei, R., & Paige, R. F. (2016) “Stress-Testing Centralised Model Stores,” in European Conference on Modelling Foundations and Applications.

Herrera, A. S., Willink, E. D., & Paige, R. F. (2016) “A domain-specific transformation language to bridge concrete and abstract syntax,” in International Conference on Theory and Practice of Model Transformations.

Kokaly, S., Salay, R., Cassano, V., Maibaum, T., & Chechik, M. (2016) “A model management approach for assurance case reuse due to system evolution,” in Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems.

Kokaly, S., Salay, R., Sabetzadeh, M., Chechik, M., & Maibaum, T. (2016) “Model management for regulatory compliance: a position paper,” in Proceedings of the 8th International Workshop on Modeling in Software Engineering.

Kolovos, D. S., Wei, R., & Paige, R. F. (2016) “Stress-Testing Centralised Model Stores,” in Modelling Foundations and Applications: 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings.

Lawford, M. (2016) “Stupid Tool Tricks for Smart Model Based Design,” in Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers.

Mallya, A., Pantelic, V., Adedjouma, M., Lawford, M., & Wassyng, A. (2016) “Using STPA in an ISO 26262 Compliant Process,” in International Conference on Computer Safety, Reliability, and Security.

Mohamad, R. P., Kolovos, D. S., & Paige, R. F. (2016) “Cloud computing workload and capacity management using domain-specific modeling,” Aug, Miscellaneous.

Newell, J., Pang, L., Tremaine, D., Wassyng, A., & Lawford, M. (2016) “Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application,” in NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings.

Newell, J., Pang, L., Tremaine, D., Wassyng, A., & Lawford, M. (2016) “Formal translation of IEC 61131-3 function block diagrams to PVS with nuclear application,” in NASA Formal Methods Symposium.

Ogata, K., Lawford, M., & Liu, S. (2016) “Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings,” Springer, Miscellaneous.

Paige, R. F., Matragkas, N., & Rose, L. M. (2016) “Evolving models in model-driven engineering: State-of-the-art and future challenges,” Elsevier.

Paige, R. F., Syriani, E., Ergin, H., & Zschaler, S. (2015) “Patterns in model engineering 2015-A workshop summary,” in CEUR Workshop Proceedings 1403.

Paige, R. F. (2016) “A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax,” in Theory and Practice of Model Transformations: 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings.

Paige, R. F. (2016) “Language engineering: challenges, opportunities and potential disasters for interactive systems,” in Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems.

Richard, P., Jordi, C., Brambilla, M., Hill, J. H., & Others (2016) “Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 29, 2015,” CEUR-WS. org.

Safilian, A., & Maibaum, T. (2016) “Multiset theories of cardinality-based feature diagrams,” arXiv preprint arXiv:1601.06242.

Safilian, A. (2016) “BEHAVIOURAL FOUNDATIONS OF FEATURE MODELING,” https://www.mcscert.ca/safilian_aliakbar_finalsubmission201603_phd/.

Salah, D., Paige, R., & Cairns, P. (2016) “A maturity model for integrating agile processes and user-centered design,” in International Conference on Software Process Improvement and Capability Determination.

Salay, R., Kokaly, S., Chechik, M., & Maibaum, T. (2016) “Heterogeneous Megamodel Slicing for Model Evolution,” in ME@MODELS.

Sanati, M. Y., MacCaull, W., Maibaum, T., & Majzoobi, M. M. (2016) “Consistency checking of clinical practice guidelines with MITDL,” in Information and Knowledge Technology (IKT), 2016 Eighth International Conference on.

Schaap, A. (2016) “Towards Generating Software Modularizations,” https://www.mcscert.ca/schaap_alexander_l_201609_masc/.

Singh, N. K., Lawford, M., Maibaum, T. S., & Wassyng, A. (2016) “Verifying Trustworthy Cyber-Physical Systems using Closed-loop Modeling 3,” Trustworthy Cyber-Physical Systems Engineering.

Singh, N. K., Lawford, M., Maibaum, T. S., & Wassyng, A. (2016) “Verifying Trustworthy Cyber-Physical Systems using Closed-loop Modeling 3,” CRC Press.

Smith, S., Jegatheesan, T., & Kelly, D. (2016) “Advantages, disadvantages and misunderstandings about document-driven design for scientific software,” in 2016 Fourth International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering (SE-HPCCSE).

Smith, S. W., & Koothoor, N. (2016) “A document-driven method for certifying scientific computing software for use in nuclear safety analysis,” Nuclear Engineering and Technology.

Smith, S. W., Lazzarato, A. D., & Carette, J. (2016) “State of the practice for mesh generation and mesh processing software,” Advances in Engineering Software.

Smith, S. W. (2016) “A Rational Document Driven Design Process for Scientific Computing Software,” in Chapman & Hall/CRC Computational Science: Software Engineering for Science.

Szymczak, D., Smith, S., & Carette, J. (2016) “Position paper: A knowledge-based approach to scientific software development,” in 2016 IEEE/ACM International Workshop on Software Engineering for Science (SE4Science).

Vakili, S., Singh, N. K., Lawford, M., Wassyng, A., & Breimer, B. (2016) “Stop-and-Go Adaptive Cruise Control,” Trustworthy Cyber-Physical Systems Engineering.

Wassyng, A., Joannou, P., Lawford, M., Maibaum, T., & Singh, N. K. (2016) “New Standards for Trustworthy Cyber-Physical Systems,” Trustworthy Cyber-Physical Systems Engineering.

Wassyng, A., Joannou, P., Lawford, M., Maibaum, T., & Singh, N. K. (2016) “New Standards for Trustworthy Cyber-Physical Systems,” CRC Press.

Wei, R., Kolovos, D. S., Garcia-Dominguez, A., Barmpis, K., & Paige, R. F. (2016) “Partial loading of xmi models,” in Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems.

Almeida, B., Ananiadou, S., Bagnato, A., Barbero, A. B., Rocco, J. D., Ruscio, D. D., Kolovos, D. S., Korkontzelos, I., Hansen, S., Maló, P., et al. 2015. “OSSMETER: Automated Measurement and Analysis of Open Source Software.” STAF Projects Showcase, 36-43.

Azim, A., Pellizzoni, R., Fischmeister, S. 2015. “Generation of Communication Schedules Using Component Interfaces.” [Online] Available at: http://mcscert.cas.mcmaster.ca//opt/vhosts/mcscert.mcmaster.ca/www/web/app/uploads/2016/06/Azim-et-al-etfa2015-gen-sched-5.pdf.

Baresi, L., Blohm, G., Kolovos, D. S., Matragkas, N., Motta, A., Paige, R. F., Radjenovic, A., Rossi, M. 2015. “Formal verification and validation of embedded systems: the UML-based MADES approach.” Software & Systems Modeling, 34(3-363), Springer Berlin Heidelberg.

Bender, M., Laurin, K., Lawford, M., Pantelic, V., Korobkine, A., Ong, J., Mackenzie, B., Bialy, M., Postma, S. 2015. “Signature required: Making Simulink data flow and interfaces explicit.” Science of Computer Programming, 29-50, Elsevier.

Bialy, M., Lawford, M., Pantelic, V., Wassyng, A. 2015. “A Methodology for the Simplification of Tabular Designs in Model-Based Development.” 47-53. 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE). [Online] Available at: http://mcscert.cas.mcmaster.ca//opt/vhosts/mcscert.mcmaster.ca/www/web/app/uploads/2016/06/Bialy-et-al-2015-FormaliSE.pdf.

Bialy, M., Lawford, M., Pantelic, V., Wassyng, A. 2015. “A methodology for the simplification of tabular designs in model-based development.” 47-53. Proceedings of the Third FME Workshop on Formal Methods in Software Engineering.

Bilgin, B., Magne, P., Malysz, P., Yang, Y., Pantelic, V., Preindl, M., Korobkine, A., Jiang, W., Lawford, M., Emadi, A. 2015. “Making the case for electrified transportation.” IEEE Transactions on Transportation Electrification, 5-17, IEEE.

Bilgin, B., Magne, P., Malysz, P., Yinye Y., Pantelic, V., Preindl, M., Korobkine, A., Weisheng, J., Lawford, M., Emadi, A. 2015. “Making the Case for Electrified Transportation.” IEEE Transactions on Transportation Electrification, 5-17. [Online] Available at: http://mcscert.cas.mcmaster.ca//opt/vhosts/mcscert.mcmaster.ca/www/web/app/uploads/2016/06/Bilgin-2015-Electrified-Transportation-1.pdf.

Brooke, P., Paige, R. 2015. “User-visible cryptography in email and web scenarios.” Information & Computer Security, Emerald Group Publishing Limited.

Cassano, V., Grigorova, S., Singh, N. K., Adedjouma, M., Lawford, M., Maibaum, T. S. E., Wassyng, A. 2015. “Is Incremental Safety Assurance Sound?” 397-408. [Online] Available at: http://mcscert.cas.mcmaster.ca//opt/vhosts/mcscert.mcmaster.ca/www/web/app/uploads/2016/06/Cassano-et-al-2015-Incremental-Safety-Assurance-Sound-1.pdf.

Cassano, V., Grigorova, S., Singh, N. K., Adedjouma, M., Lawford, M., Maibaum, T. S. E., Wassyng, A. 2015. “Is Current Incremental Safety Assurance Sound?” 397-408. Springer International Publishing. Computer Safety, Reliability, and Security, LNCS.

Cassano, V., Maibaum, T. S. 2015. “A Reassessment of Toulmin’s Argument Scheme in the Context of Assurance Cases.”

Cassano, V., Pombo, C. G., Maibaum, T. S. 2015. “A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules.” 6-21. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.

Cassano, V. 2015. “A Logical Basis for Reasoning with Default Rules.” [Online] Available at: https://www.mcscert.ca/cassano_valentin_201508_phd/ Ph.D. Thesis.

Castro, P. F., Aguirre, N., Pombo, C. L., Maibaum, T. S. E. 2015. “Categorical foundations for structured specifications in Z.” Formal Aspects of Computing, 831-865, Springer.

Chatterjee, K., Lafortune, S., Markey, N., Thomas, W., Erdweg, S., Erwig, M., Paige, R. F., Visser, E., Bjørner, N., Foster, N., et al. 2015. “Dagstuhl Reports, Vol. 5, Issue 2 ISSN 2192-5283.”

Chen, W. 2015. “A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems.” [Online] Available at: https://www.mcscert.ca/chen_wen_201509_phd/ Ph.D. Thesis.

Combemale, B., Pearce, D. J., Paige, R. F., Van Wyk, E. 2015. “Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014).” Computer Languages, Systems & Structures, 1-2.

Demasi, R., Castro, P. F., Ricci, N., Maibaum, T. S., Aguirre, N. 2015. “syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications.” 188-193. International Conference on Tools and Algorithms for the Construction and Analysis of Systems.

Diskin, Z., Maibaum, T., Czarnecki, K. 2015. “A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical.” 154-170. European Conference on Modelling Foundations and Applications.

Diskin, Z., Safilian, A., Maibaum, T., Ben-David, S. 2015. “Modeling product lines with kripke structures and modal logic.” 184-202. International Colloquium on Theoretical Aspects of Computing.

Erdweg, S., Erwig, M., Paige, R. F., Visser, E. 2015. “Domain-Specific Languages (Dagstuhl Seminar 15062).” Dagstuhl Reports.

Etien, A., Muller, A., Legrand, T., Paige, R. F. 2015. “Localized model transformations for building large-scale transformations.” Software & Systems Modeling, 1189-1213, Springer Berlin Heidelberg.

Gholizadeh, H., Diskin, Z., Kokaly, S., Maibaum, T. 2015. “Analysis of Source-to-Target Model Transformations in QueST.” [Online] Available at: https://www.mcscert.ca/gholizadeh-hossein-2015/ Ph.D. Thesis.

Gray, J., Chechik, M., Kulkarni, V., Paige, R. F. 2015. “7th international workshop on modeling in software engineering (MiSE 2015).” 985-986. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

Gruner, S., Kumar, A., Maibaum, T. 2015. “Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge.” 87-102. International Workshop on Formal Techniques for Safety-Critical Systems.

Hawkins, R., Habli, I., Kolovos, D., Paige, R., Kelly, T. 2015. “Weaving an assurance case from design: a model-based approach.” 110-117. 2015 IEEE 16th International Symposium on High Assurance Systems Engineering.

Hermans, F., Paige, R. F., Sestoft, P. 2015. “2nd international workshop on software engineering methods in spreadsheets (SEMS 2015).” 1005-1006. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

Herrera, A. S., Willink, E. D., Paige, R. F. 2015. “An OCL-based Bridge from Concrete to Abstract Syntax.” 19-34. OCL@ MoDELS.

Kolovos, D. S., Matragkas, N. D., Korkontzelos, I., Ananiadou, S., Paige, R. F. 2015. “Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects.” 20-29. OSS4MDE@ MoDELS.

Kolovos, D. S., Rose, L. M., Paige, R. F., Guerra, E., Cuadrado, J. S., Lara, J., Ráth, I., Varró, D., Sunyé, G., Tisi, M. 2015. “MONDO: scalable modelling and model management on the cloud.”

Lazzarato, A., Smith, S., Carette, J. 2015. “State of the Practice for Remote Sensing Software.” Computing and Software Department, McMaster University, Technical Report.

Mallya, A. 2015. “Using STPA in an ISO 26262 compliant process.” [Online] Available at: https://www.mcscert.ca/mallya_archana_2015october_masc/ Masters Thesis.

Mastragostino, R., Smith, S. 2015. “Using Automatic Differentiation to Implement a Family of Material Models.” Report.

Mossakowski, T., Krumnack, U., Maibaum, T. 2015. “What is a derived signature morphism?” 90-109. International Workshop on Algebraic Development Techniques.

Paige, R. F., Kolovos, D. S., Polack, F. A., Rose, L. M. 2015. “Evaluating Student Work in Modelling Courses.” 68-76. EduSymp@ MoDELS.

Pang, L., Wang, C. W., Lawford, M., Wassyng, A., Newell, J., Chow, V., Tremaine, D. 2015. “Formal Verification of Real-Time Function Blocks Using PVS.” 65-79. 4th International Workshop on Engineering Safety and Security Systems 2015 (ESSS’15).

Pang, L., Wang, C. W., Lawford, M., Wassyng, A. 2015. “Formal verification of function blocks applied to IEC 61131-3.” Science of Computer Programming, 149-190, Elsevier.

Pang, L. 2015. “An Engineering Methodology for the Formal Verification of Function Block Based Systems.” [Online] Available at: https://www.mcscert.ca/thesis_linna-pang-phd2015/ Ph.D. Thesis.

Pantelic, V., Postma, S., Lawford, M., Korobkine, A., Mackenzie, B., Ong, J., Bender, M. 2015. “A Toolset for Simulink: Improving Software Engineering Practices in Development with Simulink.” 50-61. 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015).

Patcas, L. 2015. “Implementability of Requirements for Safety-Critical Embedded Systems.” [Online] Available at: https://www.mcscert.ca/patcas-lucian-phd/ Ph.D. Thesis.

Patcas, L. M., Lawford, M., Maibaum, T. 2015. “Implementability of Requirements in the Four-Variable Model.” Science of Computer Programming, 339-362, Elsevier.

Safilian, A., Maibaum, T., Diskin, Z. 2015. “The semantics of cardinality-based feature models via formal languages.” 453-469. International Symposium on Formal Methods.

Salah, D., Paige, R., Cairns, P. 2015. “Observations on Utilising Usability Maturity Model-Human Centredness Scale in Integrating Agile Development Processes and User Centred Design.” 159-173. International Conference on Software Process Improvement and Capability Determination.

Salah, D., Paige, R., Cairns, P. 2015. “Patterns for integrating agile development processes and user centred design.” 1-10. Proceedings of the 20th European Conference on Pattern Languages of Programs.

Singh, N. K., Lawford, M., Maibaum, T. S., Wassyng, A. 2015. “Formalizing the Cardiac Pacemaker Resynchronization Therapy.” 374-386. International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management.

Singh, N. K., Lawford, M., Maibaum, T. S., Wassyng, A. 2015. “Stateflow to Tabular Expressions.” 312-319. Proceedings of the Sixth International Symposium on Information and Communication Technology.

Singh, N. K., Wang, H., Lawford, M., Maibaum, T. S., Wassyng, A. 2015. “Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements.” 387-398. International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management.

Smith, S., Carette, J., Zeng, Z. 2015. “State of Practice for Seismology Software.” CAS Department, McMaster University, Technical Report.

Smith, S., Sun, Y., Carette, J. 2015. “State of the practice for developing oceanographic software.” McMaster University, Department of Computing and Software.

Smith, S. W., Sun, Y., Carette, J. 2015. “Comparing psychometrics software development between CRAN and other communities.” McMaster University.

Vakili, S. 2015. “Design and Formal Verification of an Adaptive Cruise Control Plus (ACC+) System.” [Online] Available at: https://www.mcscert.ca/vakili-sasan-2015/ Masters Thesis.

Wassyng, A., Singh, N. K., Geven, M., Proscia, N., Wang, H., Lawford, M., Maibaum, T. 2015. “Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?” IEEE Design & Test, 45-55, IEEE.

Whinton, G. 2015. “Higher-Fidelity Modelling and Simulation of the CAN Protocol Stack.” [Online] Available at: https://www.mcscert.ca/whinton-grant-masters-2015-e_thesis/ Masters Thesis.

Zolotas, A., Matragkas, N., Devlin, S., Kolovos, D. S., Paige, R. F. 2015. “Type inference in flexible model-driven engineering.” 75-91. European Conference on Modelling Foundations and Applications.

Zolotas, A., Matragkas, N. D., Devlin, S., Kolovos, D. S., Paige, R. F. 2015. “Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering.” 22-31. FlexMDE@ MoDELS.

Zolotas, A., Matragkas, N. D., Kolovos, D. S., Paige, R. F. 2015. “Flexible Modelling for Requirements Engineering.” 32-41. FlexMDE@ MoDELS.

Audsley, N., Gray, I., Kolovos, D., Matragkas, N., Paige, R., & Indrusiak, L. S. (2014). “Automatic Development of Embedded Systems Using Model Driven Engineering and Compile-Time Virtualisation.” In: Embedded and Real-Time System Development: A Software Engineering Perspective, pp. 23-53. Springer, Berlin, Heidelberg. Book Chapter.

Bagnato, A., Quadri, I., Brosse, E., Sadovykh, A., Indrusiak, L. S., Paige, R., Audsley, N., Gray, I., Kolovos, D. S., Matragkas, N., & others. (2014). “MADES FP7 EU Project: Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems.” In: Handbook of Research on Embedded Systems Design, pp. 181-208. IGI Global. Book Chapter.

Bender, M., Laurin, K., Lawford, M., Ong, J., Postma, S., & Pantelic, V. (2014). “Signature Required – Making Simulink Data Flow and Interfaces Explicit.” In: 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014), pp. 119-131.

Bézivin, J., Paige, R. F., Aßmann, U., Rumpe, B., & Schmidt, D. (2014). “Manifesto-model engineering for complex systems.” arXiv preprint arXiv:1409.6591.

Bialy, M. (2014). “A Methodology for the Simplification of Tabular Designs in Model-Based Development.” Available at: https://www.mcscert.ca/bialy-monika-masters-thesis-2015/. Master’s Thesis.

Burton, F. R., Paige, R. F., Poulding, S., & Smith, S. (2014). “System of systems acquisition trade-offs.” Procedia Computer Science, 11-18. Elsevier.

Case, U. (2014). “Unified modeling language.”

Cassano, V., & Maibaum, T. S. (2014). “Actions and Events in Concurrent Systems Design.” arXiv preprint arXiv:1401.0970.

Cassano, V., & Maibaum, T. S. (2014). “Arguing Safety Cases Formally.” In: WADT, pp. 24.

Cassano, V., & Maibaum, T. S. (2014). “The Definition and Assessment of a Safety Argument.”

Cassano, V., & Maibaum, T. S. E. (2014). “The definition and assessment of a safety argument.” In: Software Reliability Engineering Workshops (ISSREW), 2014 IEEE International Symposium on, pp. 180-185.

Castro, P. F., & Maibaum, T. S. (2014). “Automated Reasoning over Deontic Action Logics with Finite Vocabularies.” arXiv preprint arXiv:1401.0969.

Chen, W., Wassyng, A., & Maibaum, T. (2014). “Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems.” In: International Conference on Product-Focused Software Process Improvement, pp. 224-238.

Chen, W., Wassyng, A., & Maibaum, T. (2014). “Impact analysis via reachability and alias analysis.” In: IFIP Working Conference on The Practice of Enterprise Modeling, pp. 261-270.

Cui, X., & Paige, R. (2014). “Strategy-guided requirements development and validation.” In: 15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), pp. 1-6.

Demasi, R. (2014). “Synthesizing Fault-Tolerant Programs from Deontic Logic Specifications.” Available at: https://www.mcscert.ca/demasi_ramiro_a_finalsubmission201408_phd/. Ph.D. Thesis.

Diskin, Z., Maibaum, T., & Czarnecki, K. (2014). “Towards category theory foundations for model management.” Report.

Diskin, Z., & Maibaum, T. (2014). “Category theory and model-driven engineering: from formal semantics to design patterns and beyond.” In: Model-Driven Engineering of Information Systems: Principles, Techniques, and Practice, p. 173. CRC Press.

Ellison, M., Calinescu, R., & Paige, R. (2014). “Re-Engineering the database layer of legacy applications for scalable cloud deployment.” In: 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing, pp. 976-979.

Gholizadeh, H., Diskin, Z., & Maibaum, T. (2014). “A Query Structured Approach for Model Transformation.” In: AMT@ MoDELS, pp. 54-63.

Kolovos, D. S., Matragkas, N., Williams, J. R., & Paige, R. F. (2014). “Model driven grant proposal engineering.” In: International Conference on Model Driven Engineering Languages and Systems, pp. 420-432.

Maibaum, T. S. (2014). “Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics.” Report.

Matragkas, N., Williams, J. R., Kolovos, D. S., & Paige, R. F. (2014). “Analysing the biodiversity of open source ecosystems: the GitHub case.” In: Proceedings of the 11th working conference on mining software repositories, pp. 356-359.

Mohamad, R. P., Kolovos, D. S., & Paige, R. F. (2014). “Resource requirement analysis for web applications running in a virtualised environment.” In: 2014 IEEE 6th International Conference on Cloud Computing Technology and Science, pp. 632-637.

Paige, R., Cabot, J., Brambilla, M., Rose, L., & Hill, J. H. (2014). “CloudMDE 2014.”

Paige, R. F., Kessentini, M., Langer, P., & Wimmer, M. (2014). “CMSEBA 2014 Workshop Report.” In: CMSEBA@ MoDELS, pp. 1-6.

Paige, R. F., Kolovos, D. S., & Polack, F. A. (2014). “A tutorial on metamodelling for grammar researchers.” Science of Computer Programming, 81, 396-416. Elsevier.

Paige, R. F., Polack, F. A., Kolovos, D. S., Rose, L. M., Matragkas, N. D., & Williams, J. R. (2014). “Bad Modelling Teaching Practices.” In: EduSymp@ MoDELS, pp. 1-12.

Pantelic, V., Lawford, M., & Postma, S. (2014). “A Framework for Supervisory Control of Probabilistic Discrete Event Systems.” In: Workshop on Discrete Event Systems (WODES 2014), pp. 477-484.

Patcas, L., Lawford, M., & Maibaum, T. (2014). “From System Requirements to Software Requirements in the Four-Variable Model.” Electronic Communications of the EASST. European Assoc. of Software Science and Technology.

Patcas, L. M., Lawford, M., & Maibaum, T. (2014). “A separation principle for embedded system interfacing.” In: International Conference on Integrated Formal Methods, pp. 373-388.

Patcas, L. M., Lawford, M., & Maibaum, T. (2014). “From system requirements to software requirements in the four-variable model.” In: AUTOMATED VERIFICATION OF CRITICAL SYSTEMS (AVOCS) 2013.

Pombo, C. G., Castro, P. F., Aguirre, N., & Maibaum, T. S. (2014). “A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting.” In: International Colloquium on Theoretical Aspects of Computing, pp. 314-332.

Pombo, C. G., Chocr’on, P. D., Vissani, I., & Maibaum, T. S. (2014). “A canonical proof-theoretic approach to model theory.” In: WADT, p. 54.

Poskitt, C. M., Dodds, M., Paige, R. F., & Rensink, A. (2014). “Towards rigorously faking bidirectional model transformations.” In: AMT 2014-Analysis of Model Transformations Workshop Proceedings, pp. 70-75.

Rose, L. M., Kolovos, D. S., Paige, R. F., Polack, F. A., & Poulding, S. (2014). “Epsilon Flock: a model migration language.” Software & Systems Modeling, 13(2), 735-755. Springer Berlin Heidelberg.

Ruscio, D. D., Paige, R. F., & Pierantonio, A. (2014). “Guest editorial to the special issue on Success Stories in Model Driven Engineering.” Sci. Comput. Program., 78(5), 469-470.

Salah, D., Paige, R., & Cairns, P. (2014). “A practitioner perspective on integrating agile and user centred design.” In: Proceedings of the 28th International BCS Human Computer Interaction Conference (HCI 2014) 28, pp. 100-109.

Salah, D., Paige, R., & Cairns, P. (2014). “An evaluation template for expert review of maturity models.” In: International Conference on Product-Focused Software Process Improvement, pp. 318-321.

Salah, D., Paige, R., & Cairns, P. (2014). “Integrating agile development processes and user centred design-a place for usability maturity models?” In: International Conference on Human-Centred Software Engineering, pp. 108-125.

Salah, D., Paige, R. F., & Cairns, P. (2014). “A systematic literature review for agile development processes and user centred design integration.” In: Proceedings of the 18th international conference on evaluation and assessment in software engineering, pp. 1-10.

Sanati, M. Y., MacCaull, W., & Maibaum, T. S. (2014). “Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic.” In: International Symposium on Formal Methods, pp. 611-626.

Shah, S. M., Wei, R., Kolovos, D. S., Rose, L. M., Paige, R. F., & Barmpis, K. (2014). “A framework to benchmark NoSQL data stores for large-scale model persistence.” In: International Conference on Model Driven Engineering Languages and Systems, pp. 586-601.

Singh, N. K., Wang, H., Lawford, M., Maibaum, T. S., & Wassyng, A. (2014). “Formalizing the glucose homeostasis mechanism.” In: International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, pp. 460-471.

Singh, N. K., Wang, H., Lawford, M., Maibaum, T. S., & Wassyng, A. (2014). “McSCert Report 18: formalizing insulin pump using Event-B.” Technical Report 18, McSCert, McMaster University, October 2014. Available at: https://www.mcscert.ca/index.php/documents/mcscert-reports.

Smith, S. C., & Spencer, W. (2014). “A Cooperative Competitive Video Game for Teaching Introductory Computer Programming.” In: International Conference on Engineering Education and Research, pp. 1-4.

Williams, J., Matragkas, N., Kolovos, D., Ananiadou, S., & Paige, R. (2014). “Software analytics for mde communities.”

Xu, H. (2014). “Model Based System Consistency Checking Using Event-B.” Available at: https://www.mcscert.ca/xu-hao-master-thesis-2011/. Master’s Thesis.

Zanin, M., Perez, D., Chatterjee, K., Kolovos, D. S., Paige, R. F., Horst, A., & Rumpe, B. (2014). “On demand data analysis and filtering for inaccurate flight trajectories.” arXiv preprint arXiv:1409.2304.

Zolotas, A., Kolovos, D. S., Matragkas, N. D., & Paige, R. F. (2014). “Assigning Semantics to Graphical Concrete Syntaxes.” In: XM@ MoDELS, pp. 12-21.

Abad, P., Aguirre, N., Bengolea, V., Ciolek, D., Frias, M. F., Galeotti, J., … Vissani, I. (2013) ‘Tight bounds + incremental SAT = better test generation under rich contracts.’ Proceedings of ICST.

Abad, P., Aguirre, N., Bengolea, V., Ciolek, D., Frias, M. F., Galeotti, J., … Vissani, I. (2013) ‘Improving test generation under rich contracts by tight bounds and incremental SAT solving.’ In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, 21-30.

Atlee, J. M., France, R. B., Baillargeon, R., Gray, J., Rumpe, B., Chechik, M., … Paige, R. F. (2013) ‘5th international workshop on modeling in software engineering (MiSE 2013).’ In: 2013 35th International Conference on Software Engineering (ICSE), 1531-1532.

Bender, M., Maibaum, T., Lawford, M., Wassyng, A. (2013) ‘Positioning verification in the context of software/system certification.’ Citeseer.

Brooke, P. J., Paige, R. F. (2013) ‘The value of user-visible internet cryptography.’ arXiv preprint arXiv:1303.1948.

Chen, Y., Lawford, M., Wang, H., Wassyng, A. (2013) ‘Insulin pump software certification.’ In: International Symposium on Foundations of Health Informatics Engineering and Systems, 87-106.

Cofer, D., Hatcliff, J., Huhn, M., Lawford, M. (2013) ‘Software certification: Methods and tools (dagstuhl seminar 13051).’ Dagstuhl Reports, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.

Demasi, R., Castro, P. F., Maibaum, T. S., Aguirre, N. (2013) ‘Characterizing Fault-Tolerant Systems by Means of Simulation Relations.’ In: International Conference on Integrated Formal Methods, 428-442.

Demasi, R., Castro, P. F., Maibaum, T. S., Aguirre, N. (2013) ‘Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications.’ In: International Symposium on Automated Technology for Verification and Analysis, 163-177.

Diskin, Z., Kokaly, S., Maibaum, T. (2013) ‘Mapping-aware megamodeling: Design patterns and laws.’ In: International Conference on Software Language Engineering, 322-343.

Diskin, Z., Kokaly, S., Maibaum, T. (2013) ‘McSCert Report 10: Mechanics of Megamodeling: Design Patterns and Laws.’ Report.

Doyle, T. E., Smith, S., Gabardo, P. (2013) ‘Machine Learning Methodology for the Analysis of Engineering Student Retention Data.’ Proceedings of the Canadian Engineering Education Association (CEEA).

Dubinsky, Y., Rubin, J., Berger, T., Duszynski, S., Becker, M., Czarnecki, K. (2013) ‘An exploratory study of cloning in industrial software product lines.’ In: 2013 17th European Conference on Software Maintenance and Reengineering, 25-34.

Erwig, M., Paige, R. F., Van Wyk, E. (2013) ‘Software language engineering.’

Erwig, M., Paige, R. F., Van Wyk, E. (2013) ‘The state of the art in language workbenches-conclusions from the language workbench challenge.’ In: Software Language Engineering-6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings, 197-217.

Francis, M., Kolovos, D. S., Matragkas, N., Paige, R. F. (2013) ‘Adding spreadsheets to the MDE toolkit.’ In: International Conference on Model Driven Engineering Languages and Systems, 35-51.

Grigorova, S., Maibaum, T. S. E. (2013) ‘Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence.’ In: Software Reliability Engineering Workshops (ISSREW), 2013 IEEE International Symposium on, 387-390.

Gruner, S., Haxthausen, A., Maibaum, T., Roggenbach, M. (2013) ‘Towards a formal methods body of knowledge for railway control and safety systems.’ Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems.

Gruner, S., Haxthausen, A. E., Maibaum, T., Roggenbach, M. (2013) ‘Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems: FM-RAIL-BOK Workshop 2013.’ Report.

Guerra, E., de Lara, J., Kolovos, D. S., Paige, R. F., dos Santos, O. M. (2013) ‘Engineering model transformations with transML.’ Software & Systems Modeling, 555-577.

Harman, M., Paige, R. F., Williams, J. R. (2013) ‘1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013).’ In: 2013 35th International Conference on Software Engineering (ICSE), 1513-1514.

Jeron, T., Veanes, M., Wolff, B., Heisel, M., Kaaniche, M., Romanovsky, A., … Goldberg, L. A. (2013) ‘Dagstuhl Reports, Vol. 3, Issue 1 ISSN 2192-5283.’

Keen, J., Calinescu, R., Paige, R., Rooksby, J. (2013) ‘Big data + politics = open data: The case of health care data in England.’ Policy & Internet, 228-243.

Kolovos, D. S., Matragkas, N. D., Rodriguez, H. H., Paige, R. F. (2013) ‘Programmatic Muddle Management.’ XM@ MoDELS, 2-10.

Kolovos, D. S., Rose, L. M., Matragkas, N., Paige, R. F., Guerra, E., Cuadrado, J. S., … Tisi, M. (2013) ‘A research roadmap towards achieving scalability in model driven engineering.’ In: Proceedings of the Workshop on Scalability in Model Driven Engineering, 1-10.

Langari, Z., Maibaum, T. (2013) ‘Safety cases: a review of challenges.’ In: Assurance Cases for Software-Intensive Systems (ASSURE), 2013 1st International Workshop on, 1-6.

Maibaum, T. (2013) ‘What IS a BoK? Large–Extended Abstract–.’ In: International Conference on Software Engineering and Formal Methods, 184-188.

Maibaum, T. S. (2013) ‘3.22 Bayesian Probabilistic Approaches to Confidence are Impossible: The Need for a Baconian Approach (pace Jonathan Cohen).’ Software Certification: Methods and Tools, 129, Citeseer.

Matragkas, N. D., Kolovos, D. S., Paige, R. F., Zolotas, A. (2013) ‘A Traceability-Driven Approach to Model Transformation Testing.’ In: AMT@ MoDELS.

Mugisa, E. K., Maibaum, T. S. (2013) ‘A Framework for Describing Software Architectures.’ In: Software Architecture: TC2 First Working IFIP Conference on Software Architecture (WICSA1) 22–24 February 1999, San Antonio, Texas, USA.

Paige, R. F., Gray, J. (2013) ‘Guest editorial to the special issue on model transformation.’ Software & Systems Modeling, 85-87.

Paige, R. F., Harman, M., Williams, J. R. (2013) ‘1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ ICSE 2013, San Francisco, CA, USA, May 20, 2013.’ In: CMSBSE@ ICSE.

Paige, R. F., Kolovos, D. S. (2013) ‘Model-Driven Engineering and Model Transformation: for Fun and Profit.’

Paige, R. F., Rose, L. M. (2013) ‘Lies, Damned Lies and UML2Java.’ Journal of Object Technology, 37-38.

Pang, L., Wang, C. W., Lawford, M., Wassyng, A. (2013) ‘Formalizing and verifying function blocks using tabular expressions and PVS.’ In: International Workshop on Formal Techniques for Safety-Critical Systems, 125-141.

Radjenovic, A., Paige, R. F. (2013) ‘An approach for model querying-by-example applied to multi-paradigm models.’ Electronic Communications of the EASST.

Rose, L. M., Guerra, E., de Lara, J., Etien, A., Kolovos, D. S., Paige, R. F. (2013) ‘Genericity for model management operations.’ Software and Systems Modeling, 201-219.

Rose, L. M., Poulding, S., Feldt, R., Paige, R. F. (2013) ‘Towards a scalable cloud platform for search-based probabilistic testing.’ In: 2013 IEEE International Conference on Software Maintenance, 480-483.

Sevrain, D., Dubreuil, M., Leray, A., Odin, C., Grand, Y. L. (2013) ‘Measuring the scattering coefficient of turbid media from two-photon microscopy.’ Optics express, 25221-25235.

Smith, S., Koothoor, N., Nedialkov, N. (2013) ‘Document driven certification of computational science and engineering software.’ In: Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 25-32.

Taromirad, M., Matragkas, N. D., Paige, R. F. (2013) ‘Towards a Multi-Domain Model-Driven Traceability Approach.’ In: MPM@ MoDELS, 27-36.

Williams, J. R., Poulding, S. M., Paige, R. F., Polack, F. (2013) ‘Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour.’ MoDELS@ Run. time, 76-88.

Williams, J. R., Zolotas, A., Matragkas, N. D., Rose, L. M., Kolovos, D. S., Paige, R. F., Polack, F. A. (2013) ‘What do metamodels really look like?’ Eessmod@ Models, 55-60.

Alkandari, F., & Paige, R. F. (2012). Modelling and comparing cloud computing service level agreements. In Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and Cloud Computing (pp. 1-6).

Brooke, P. J., Paige, R. F., & Power, C. (2012). Approaches to modelling security scenarios with domain-specific languages. In International Workshop on Security Protocols (pp. 41-54).

Buchmann, T., Schwägerl, F., Störrle, H., Botterweck, G., Bourdells, M., Kolovos, D., & Paige, R. (2012). FAMILE: tool support for evolving model-driven product lines. In Joint Proceedings of co-located Events at the 8th European Conference on Modelling Foundations and Applications (pp. 59-62). CEUR Workshop Series.

Burton, F. R., Paige, R. F., Rose, L. M., Kolovos, D. S., Poulding, S., & Smith, S. (2012). Solving acquisition problems using model-driven engineering. In European Conference on Modelling Foundations and Applications (pp. 428-443).

Cancila, D., Espinoza, H., & Paige, R. F. (2012). Special issue on Model Based Engineering for Embedded Systems Design. Journal of Systems Architecture: the EUROMICRO Journal, 17(7), 177. Elsevier North-Holland, Inc.

Cassano, V., Pombo, C. G., & Maibaum, T. S. (2012). Entailment Systems for Default Reasoning. In WADT 2012 Preliminary Proceedings (pp. 28).

Castro, P. F., Aguirre, N., Pombo, C. G., & Maibaum, T. (2012). A categorical approach to structuring and promoting Z specifications. In International Workshop on Formal Aspects of Component Software (pp. 73-91).

Chen, W., Iqbal, A., Abdrakhmanov, A., Parlar, J., George, C., Lawford, M., … Wassyng, A. (2012). Large-scale enterprise systems: Changes and impacts. In International Conference on Enterprise Information Systems (pp. 274-290).

Cui, X., & Paige, R. (2012). An integrated framework for system/software requirements development aligning with business motivations. In 2012 IEEE/ACIS 11th International Conference on Computer and Information Science (pp. 547-552).

Denning, P. J. (2012). Moods. Communications of the ACM, 55(9), 33-35. ACM New York, NY, USA.

Diskin, Z., Maibaum, T., & Czarnecki, K. (2012). Intermodeling, queries, and kleisli categories. In International Conference on Fundamental Approaches to Software Engineering (pp. 163-177).

Diskin, Z., & Maibaum, T. (2012). Query Languages are Cartesian Monads. In WADT 2012 Preliminary Proceedings (pp. 46).

Etien, A., Aranega, V., Blanc, X., & Paige, R. F. (2012). Chaining model transformations. In Proceedings of the First Workshop on the Analysis of Model Transformations (pp. 9-14).

Galloway, A., Harris, P., Woodcock, J., & Paige, R. (2012). Specification and Refinement of Type Interfaces in Scientific Software.

Ge, X., Rijo, R., Paige, R. F., Kelly, T. P., & McDermid, J. A. (2012). Introducing goal structuring notation to explain decisions in clinical practice. Procedia Technology, 5, 686-695. Elsevier.

Keen, J., Calinescu, R., Paige, R., & Rooksby, J. (2012). Big health data: Institutional and technological challenges. In paper at IPP2012 conference ‘Big Data, Big Challenges’, Oxford, Sept.

Kolovos, D. S., Rose, L. M., Williams, J., Matragkas, N., & Paige, R. F. (2012). A lightweight approach for managing XML documents with MDE languages. In European Conference on Modelling Foundations and Applications (pp. 118-132).

Lawford, M., & Wassyng, A. (2012). Formal Verification of Nuclear Systems: Past, Present, and Future. Information & Security, 22(3), 223. ProCon Ltd.

Ling, X., & Maibaum, T. (2012). Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity. In 2012 19th Asia-Pacific Software Engineering Conference (pp. 493-498).

Paige, R. F., Brooke, P. J., Ge, X., Power, C. D., Burton, F. R., & Poulding, S. (2012). Revealing complexity through domain-specific modelling and analysis. In Monterey Workshop (pp. 251-265).

Paige, R. F., Kolovos, D. S., & Polack, F. A. (2012). Metamodelling for grammarware researchers. In International Conference on Software Language Engineering (pp. 64-82).

Paige, R. F., & Varró, D. (2012). Lessons learned from building model-driven development tools. Software & Systems Modeling, 11(4), 527-539. Springer-Verlag.

Pantelic, V., & Lawford, M. (2012). A pseudometric in supervisory control of probabilistic discrete event systems. Discrete Event Dynamic Systems, 22(4), 479-510. Springer US.

Pantelic, V., & Lawford, M. (2012). Optimal supervisory control of probabilistic discrete event systems. IEEE Transactions on Automatic Control, 57(5), 1110-1124. IEEE.

Radjenovic, A., Matragkas, N., Paige, R. F., Rossi, M., Motta, A., Baresi, L., & Kolovos, D. S. (2012). MADES: a tool chain for automated verification of UML models of embedded systems. In European Conference on Modelling Foundations and Applications (pp. 340-351).

Radjenovic, A., Paige, R. F., Rose, L. M., Woodcock, J., & King, S. (2012). A plug-in based approach for UML model simulation. In European Conference on Modelling Foundations and Applications (pp. 328-339).

Regis, G., Ricci, N., Aguirre, N. M., & Maibaum, T. (2012). Specifying and verifying declarative fluent temporal logic properties of workflows. In Brazilian Symposium on Formal Methods (pp. 147-162).

Rose, L. M., Kolovos, D. S., & Paige, R. F. (2012). Eugenia live: a flexible graphical modelling tool. In Proceedings of the 2012 Extreme Modeling Workshop (pp. 15-20).

Rose, L. M., Matragkas, N., Kolovos, D. S., & Paige, R. F. (2012). A feature model for model-to-text transformation languages. In 2012 4th International Workshop on Modeling in Software Engineering (MISE) (pp. 57-63).

Sommerville, I., Cliff, D., Calinescu, R., Keen, J., Kelly, T., Kwiatkowska, M., … Paige, R. (2012). Large-scale complex IT systems. Communications of the ACM, 55(7), 71-77. ACM New York, NY, USA.

Taromirad, M., & Paige, R. F. (2012). Agile requirements traceability using domain-specific modelling languages. In Proceedings of the 2012 Extreme Modeling Workshop (pp. 45-50).

Taromirad, M., & Paige, R. F. (2012). Safety-aware Requirements Traceability. Sponsoring Institutions, 27.

Wassyng, A., Lawford, M., & Maibaum, T. (2012). Separating Safety and Control Systems to Reduce Complexity. In Conquering Complexity (pp. 85-102). Springer London.

Williams, J. R., Burton, F. R., Paige, R. F., & Polack, F. A. (2012). Sensitivity analysis in model-driven engineering. In International Conference on Model Driven Engineering Languages and Systems (pp. 743-758).

Williams, J. R., Paige, R. F., & Polack, F. A. (2012). Searching for model migration strategies. In Proceedings of the 6th International Workshop on Models and Evolution (pp. 39-44).

Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W., … Others. (2012). Surveying Rule Inheritance in Model-to-Model Transformation Languages. J. Object Technol., 11(2), 3-1.

Eles, C., & Lawford, M. (2011). A tabular expression toolbox for MATLAB/Simulink. In NASA Formal Methods (pp. 494-499). Springer Berlin Heidelberg.

ElSheikh, A. H., Chidiac, S. E., & Smith, W. S. (2011). Assessment of two a posteriori error estimators for steady-state flow problems. Department of Computing and Software, McMaster University, Technical Report.

Espinoza, A., Paige, R., & Garbajosa, J. (2011). Value-Based Software Traceability Workshop (VALSOT 2011). In International Conference on Agile Software Development (pp. 330-330).

France, R. B., Kuester, J. M., Bordbar, B., & Paige, R. F. (2011). Modelling–Foundation and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings. Springer Science & Business Media.

García-Domínguez, A. A., Kolovos, D. S., Rose, L. M., Paige, R. F., & Medina-Bulo, I. (2011). EUnit: a unit testing framework for model management tasks. In International Conference on Model Driven Engineering Languages and Systems (pp. 395-409).

Ge, X., Paige, R. F., & McDermid, J. A. (2011). Failures of a business process in enterprise systems. In International Conference on ENTERprise Information Systems (pp. 139-146).

Ge, X., Paige, R. F., & McDermid, J. A. (2011). Model-Based Failure Analysis of Business Process. In 13th International Conference on Enterprise Information Systems (pp. 388-391).

Gray, I., Matragkas, N., Audsley, N. C., Indrusiak, L. S., Kolovos, D., & Paige, R. (2011). Model-based hardware generation and programming-the MADES approach. In 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (pp. 88-96).

Kelly, D., Smith, S., & Meng, N. (2011). Software engineering for scientists. Computing in Science & Engineering, 7.

Kolovos, D. S., Paige, R. F., Rose, L. M., & Williams, J. (2011). Integrated model management with Epsilon. In European Conference on Modelling Foundations and Applications (pp. 391-392).

Maibaum, T., & Joannou, P. (2011). 2nd Software Certification Consortium Workshop: Theoretical Basis for System and Software Engineering Practices and Certification. In Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research (pp. 375-376).

Mohamad, R. P., Kolovos, D., & Paige, R. (2011). Modeling workloads, SLAs and their violations in cloud computing. Journal of Sponsoring Institutions, 71.

Paige, R. F., Drivalos, N., Kolovos, D. S., Fernandes, K. J., Power, C., Olsen, G. K., & Zschaler, S. (2011). Rigorous identification and encoding of trace-links in model-driven engineering. Software & Systems Modeling, 11(4), 469-487.

Paige, R. F., Galloway, A., Charalambous, R., Ge, X., & Brooke, P. J. (2011). High-integrity agile processes for the development of safety-critical software. International Journal of Critical Computer-Based Systems, 1(1), 181-216.

Paige, R. F., Kolovos, D. S., Rose, L. M., Matragkas, N., & Williams, J. R. (2011). Model management in the wild. In International Summer School on Generative and Transformational Techniques in Software Engineering (pp. 197-218).

Rose, L. M., de Lara, G. E., Etien, A., Kolovos, D. S., Paige, R. F., & Others. (2011). Generic Model Management: accepted and to appear. Software and Systems Modeling.

Rose, L. M., García-Domínguez, A., Williams, J. R., Kolovos, D. S., Paige, R. F., & Polack, F. A. (2011). Hello World with Epsilon. Proc. Transformation Tools Contest 2011 (collocated with TOOLS/ICMT).

Rose, L. M., García-Domínguez, A. A., Williams, J. R., Kolovos, D. S., Paige, R. F., & Polack, F. A. (2011). Saying Hello World with Epsilon-A Solution to the 2011 Instructive Case. arXiv preprint arXiv:1111.4764.

Sánchez, G., Smith, S., & Nedialkov, N. (2011). Certification of Scientific Computing Software. Report.

Sani, A. A., Polack, F. A., & Paige, R. F. (2011). Model transformation specification for automated formal verification. In 2011 Malaysian Conference in Software Engineering (pp. 76-81).

Sani, A. A., Polack, F. A., & Paige, R. F. (2011). Trans-DV: A Framework for Developing and Formally Verifying Model Transformation Specifications. Journal of Sponsoring Institutions, 100.

Smith, S. W. (2011). Strategic Planning in an Academic Context. Proceedings of the Canadian Engineering Education Association (CEEA).

Tabatabaie, M., Paige, R., & Kimble, C. (2011). Exploring enterprise information systems. In Enterprise Information Systems: Concepts, methodologies, tools and applications (pp. 35-52). IGI Global.

Wassyng, A., Lawford, M. S., & Maibaum, T. S. (2011). Software certification experience in the Canadian nuclear industry: lessons for the future. In Proceedings of the ninth ACM international conference on Embedded software (pp. 219-226).

Williams, J. R., Kolovos, D. S., Polack, F. A., & Paige, R. F. (2011). Requirements for a model comparison language. In Proceedings of the 2nd International Workshop on Model Comparison in Practice (pp. 26-29).

Williams, J. R., Poulding, S., Rose, L. M., Paige, R. F., & Polack, F. A. (2011). Identifying desirable game character behaviours through the application of evolutionary algorithms to model-driven engineering metamodels. In International Symposium on Search Based Software Engineering (pp. 112-126).

Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W., … & Others. (2011). A comparison of rule inheritance in model-to-model transformation languages. In International Conference on Theory and Practice of Model Transformations (pp. 31-46).

Xu, H., & Maibaum, T. (2011). An Event-B approach to timing issues applied to the generic insulin infusion pump. In International Symposium on Foundations of Health Informatics Engineering and Systems (pp. 160-176).

Xu, H., & Maibaum, T. (2011). Generic Insulin Infusion Pump. Foundations of Health Information Engineering and Systems—FHIES 2011, 176.

Bagnato, A., Sadovykh, A., Paige, R. F., Kolovos, D. S., Baresi, L., & Morzenti, A. (2010). MADES: Embedded systems engineering approach in the avionics domain. In Proceedings of the First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES).

Brooke, P. J., Paige, R. F., & Power, C. (2010). Document-centric XML workflows with fragment digital signatures. Software: Practice and Experience, 40(6-7), 655-672. John Wiley & Sons, Ltd. Chichester, UK.

Castro, P. F., Aguirre, N. M., Pombo, C. G., & Maibaum, T. S. (2010). Towards managing dynamic reconfiguration of software systems in a categorical setting. In International Colloquium on Theoretical Aspects of Computing (pp. 306-321).

Castro, P. F., & Maibaum, T. S. (2010). Characterizing locality (encapsulation) with bisimulation. In International Colloquium on Theoretical Aspects of Computing (pp. 322-336).

Castro, P. F., & Maibaum, T. S. (2010). Towards a first-order deontic action logic. In International Workshop on Algebraic Development Techniques (pp. 61-75).

Cliff, D., Calinescu, R., Keen, J., Kelly, T., Kwiatkowska, M., McDermid, J., Paige, R., & Sommerville, I. (2010). The UK Large-Scale Complex IT Systems (LSCITS) Initiative. Manuscript available from http://lscits.cs.bris.ac.uk/docs/LSCITSoverview2010.pdf.

Clowes, D., Kolovos, D., Holmes, C., Rose, L., Paige, R., Johnson, J., & Dawson, R. (2010). A reflective approach to model-driven web engineering. In European Conference on Modelling Foundations and Applications (pp. 62-73).

Drivalos-Matragkas, N., Kolovos, D. S., Paige, R. F., & Fernandes, K. J. (2010). A state-based approach to traceability maintenance. In Proceedings of the 6th ECMFA Traceability Workshop (pp. 23-30).

Ge, X., Paige, R. F., & McDermid, J. A. (2010). An iterative approach for development of safety-critical software and safety arguments. In 2010 Agile Conference (pp. 35-43).

Ge, X., Paige, R. F., & McDermid, J. A. (2010). Analysing system failure behaviours with PRISM. In 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (pp. 130-136).

Guerra, E., Lara, J., Kolovos, D., & Paige, R. (2010). A visual specification language for model-to-model transformations. In 2010 IEEE symposium on visual languages and human-centric computing (pp. 119-126).

Guerra, E., Lara, J., Kolovos, D. S., Paige, R. F., & Santos, O. M. (2010). transML: A family of languages to model model transformations. In International Conference on Model Driven Engineering Languages and Systems (pp. 106-120).

Guerra, E., Lara, J., Kolovos, D. S., & Paige, R. F. (2010). Inter-modelling: from theory to practice. In International Conference on Model Driven Engineering Languages and Systems (pp. 376-391).

Harbird, L., Galloway, A., & Paige, R. F. (2010). Towards a model-based refinement process for contractual state machines. In 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (pp. 108-115).

Kahl, W. (2010). SQRL Report No. 57 ” Collagory Notes, Version 1.”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport57.pdf.

Kolovos, D., Rose, L., Paige, R., & García-Domínguez, A. (2010). The epsilon bookStructure.

Kolovos, D. S., Rose, L. M., Abid, S. B., Paige, R. F., & Polack, F. A. (2010). Taming EMF and GMF using model transformation. In International Conference on Model Driven Engineering Languages and Systems (pp. 211-225).

Kolovos, D. S., Rose, L. M., Matragkas, N. D., Paige, R. F., & Polack, F. A. (2010). Constructing and navigating non-invasive model decorations. In International Conference on Theory and Practice of Model Transformations (pp. 138-152).

Lawford, M., Maibaum, T., & Wassyng, A. (2010). Certification of software-driven medical devices. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (pp. 293-295).

Lawford, M., Maibaum, T., & Wassyng, A. (2010). Certification of software-driven medical devices. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (pp. 293-295).

Lawford, M. (2010). McSCert Report 1: Separation of Control and Safety Systems in Nuclear Power Plants.

Maibaum, T. (2010). SQRL Report No. 59 ” Challenges in Software Certification.”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport59.pdf.

McDermid, J. A., Ge, X., & Paige, R. F. (2010). An Iterative Approach for Development of Safety-Critical Software and Safety Arguments. In AGILE 2010: Proceedings.

Paige, R., Woodcock, J., Brooke, P., & Cavalcanti, A. (2010). Programming phase: Formal methods. In Encyclopedia of Software Engineering.

Paige, R. F., Olsen, G. K., Kolovos, D., Zschaler, S., & Power, C. D. (2010). Building model-driven engineering traceability. In ECMDA Traceability Workshop (ECMDA-TW) (p. 49).

Paige, R. F., Olsen, G. K., Oldevik, J., & Neple, T. (2010). Guest editorial to the theme issue on traceability in model-driven engineering. Software & Systems Modeling, 9(4), 425-426. Springer-Verlag.

Paige, R. F. (2010). Traceability in model-driven safety-critical software engineering. In Proceedings of the 6th ECMFA Traceability Workshop (p. 5).

Pantelic, V., & Lawford, M. (2010). Use of a metric in supervisory control of probabilistic discrete event systems. IFAC Proceedings Volumes, 43(17), 217-222. Elsevier.

Radjenovic, A., & Paige, R. F. (2010). Behavioural interoperability to support model-driven systems integration. In Proceedings of the First International Workshop on Model-Driven Interoperability (pp. 98-107).

Ramsin, R., & Paige, R. F. (2010). Iterative criteria-based approach to engineering the requirements of software development methodologies. IET software, 4(2), 91-104. IET Digital Library.

Rose, L., Etien, A., Mendez, D., Kolovos, D., Paige, R., & Polack, F. (2010). Comparing model-metamodel and transformation-metamodel coevolution. In International workshop on models and evolutions.

Rose, L. M., Herrmannsdoerfer, M., Williams, J. R., Kolovos, D. S., Garcés, K., Paige, R. F., & Polack, F. A. (2010). A comparison of model migration tools. In International Conference on Model Driven Engineering Languages and Systems (pp. 61-75).

Rose, L. M., Kolovos, D. S., Drivalos, N., Williams, J. R., Paige, R. F., Polack, F. A., & Fernandes, K. J. (2010). Concordance: a framework for managing model integrity. In European Conference on Modelling Foundations and Applications (pp. 245-260).

Rose, L. M., Kolovos, D. S., Paige, R. F., & Polack, F. A. (2010). Migrating activity diagrams with Epsilon Flock. Transformation Tool Contest 2010 1-2 July 2010, Malaga, Spain, 30.

Rose, L. M., Kolovos, D. S., Paige, R. F., & Polack, F. A. (2010). Model migration case for TTC 2010. Transformation Tool Contest 2010 1-2 July 2010, Malaga, Spain, 1.

Rose, L. M., Kolovos, D. S., Paige, R. F., & Polack, F. A. (2010). Model migration with epsilon flock. In International Conference on Theory and Practice of Model Transformations (pp. 184-198).

Sani, A. A., Polack, F., & Paige, R. (2010). Generating formal model transformation specification using a template-based approach. In Scope of the Symposium (pp. 3).

Smith, S. W., Doyle, T., & Curwin, M. (2010). Undergraduate Engineering Computing Virtualization. Proceedings of the Canadian Engineering Education Association (CEEA).

Tabatabaie, M., Polack, F. A., & Paige, R. F. (2010). Evaluating goal-oriented analysis in the domain of enterprise information systems. In International Conference on ENTERprise Information Systems (pp. 62-70).

Tabatabaie, M., Polack, F. A., & Paige, R. F. (2010). KAOS-$beta$: A Goal-oriented Process Model for EIS. In MSVVEIS (pp. 40-49).

Wassyng, A., Lawford, M., Maibaum, T., Weber, J., & Hatcliff, J. (2010). Software certification consortium: certification methods for safety-critical software. In Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research (pp. 434-436).

Wassyng, A., Lawford, M., Maibaum, T., Weber, J., & Hatcliff, J. (2010). Software certification consortium: certification methods for safety-critical software. In Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research (pp. 434-436).

Wassyng, A., Lawford, M. (2010). Integrated software methodologies–An engineering approach. Transactions of the Royal Society of South Africa, 65(3), 125-136. Taylor & Francis Group.

Wassyng, A., Maibaum, T., Lawford, M., Bherer, H. (2010). Software certification: Is there a case against safety cases?. In Monterey Workshop (pp. 206-227).

Williams, J. R., Polack, F. A., & Paige, R. F. (2010). Formal Analysis in Model Management: Exploiting the Power of CZT. In ASM (p. 414).

Williams, J. R., Polack, F. A., & Paige, R. F. (2010). Formal Analysis in Model Management.

Aguirre, N. M., Frias, M. F., Moscato, M. M., Maibaum, T. S., Wassyng, A. (2009). Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn) Alloy. In International Conference on Fundamental Approaches to Software Engineering (pp. 155-170).

Aydal, E. G., Paige, R. F., Utting, M., Woodcock, J. (2009). Putting formal specifications under the magnifying glass: Model-based testing for validation. In 2009 International Conference on Software Testing Verification and Validation (pp. 131-140).

Aydal, E. G., Paige, R. F., Utting, M., Woodcock, J. (2009). Putting Formally Verified Software under the Magnifying Glass: Model-based Testing for Validation. In ICST’09 (Book Chapter).

Brooke, P. J., Paige, R. F. (2009). Cameo: an alternative model of concurrency for Eiffel. Formal Aspects of Computing, 21(4), 363-391.

Carette, J., Korobkine, A., Lawford, M. (2009). Automatic and Verifiable Synthesis of Implementations from Mathematical Models. Journal Article.

Castro, P. F., Maibaum, T. S. (2009). Deontic action logic, atomic boolean algebras and fault-tolerance. Journal of Applied Logic, 7(4), 441-466.

Castro, P. F., Maibaum, T. S. (2009). Reasoning about system-degradation and fault-recovery with deontic logic. In Methods, Models and Tools for Fault Tolerance (pp. 25-43).

Castro, P. F., Maibaum, T. S. E. (2009). Deontic logic, contrary to duty reasoning and fault tolerance. Electronic Notes in Theoretical Computer Science, 253, 17-34.

Chivers, H., Paige, R. F. (2009). XRound: A reversible template language and its application in model-based security analysis. Information and Software Technology, 51(6), 876-893.

Cui, X. L., Sekerinski, E. (2009). SQRL Report No. 58 ” An Experimental Implementation of Action-Based Concurrency.” Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport58.pdf.

Farmer, W. M. (2009). SQRL Report No. 38 “Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation.” Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport38.pdf.

Ge, X., Paige, R. F., McDermid, J. A. (2009). Domain analysis on an electronic health records system. In Proceedings of the First International Workshop on Feature-Oriented Software Development (pp. 49-54).

Ge, X., Paige, R. F., McDermid, J. A. (2009). Probabilistic failure propagation and transformation analysis. In International Conference on Computer Safety, Reliability, and Security (pp. 215-228).

Habli, I., Kelly, T., Paige, R. (2009). Functional Hazard Assessment in Product-Lines–A Model-Based Approach. In MDPLE’2009 1st International Workshop on Model-Driven Product Line Engineering CTIT PROCEEDINGS (pp. 26).

Hatcliff, J., Heimdahl, M., Lawford, M., Maibaum, T., Wassyng, A., Wurden, F. (2009). A software certification consortium and its top 9 hurdles. Electronic Notes in Theoretical Computer Science, 243(1), 11-17.

Johannes, J., Zschaler, S., Fernández, M. A., Castillo, A., Kolovos, D. S., Paige, R. F. (2009). Abstracting complex languages through transformation and composition. In International Conference on Model Driven Engineering Languages and Systems (pp. 546-550).

Kahl, W. (2009). SQRL Report No. 56 ” Collagories for Relational Adhesive Rewriting.” Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport56.pdf.

Kelly, D., Smith, S. (2009). 2nd cascon workshop on software engineering for science. In Proceedings of the 2009 Conference of the Center for Advanced Studies on Collaborative Research (pp. 345-347).

Kolovos, D. S., Paige, R. F., Polack, F. A. (2009). On the evolution of OCL for capturing structural constraints in modelling languages. In Rigorous Methods for Software Construction and Analysis (Book Chapter, pp. 204-218). Springer, Berlin, Heidelberg.

Kolovos, D. S., Rose, L. M., Paige, R. F., Polack, F. A. (2009). Raising the level of abstraction in the development of GMF-based graphical model editors. In 2009 ICSE Workshop on Modeling in Software Engineering (pp. 13-19).

Kolovos, D. S., Ruscio, D. D., Pierantonio, A., Paige, R. F. (2009). Different models for model matching: An analysis of approaches to support model differencing. In 2009 ICSE Workshop on Comparison and Versioning of Software Models (pp. 1-6).

Maibaum, T. (2009). Formal methods versus engineering. ACM SIGCSE Bulletin, 41(3), 6-12.

Paige, R. F., Brooke, P. J. (2009). Concurrency and Real-Time for Eiffel-like Languages. Formal Aspects of Computing, 21(3), 303.

Paige, R. F., Kolovos, D. S., Rose, L. M., Drivalos, N., Polack, F. A. (2009). The design of a conceptual framework and technical infrastructure for model management language engineering. In 2009 14th IEEE International Conference on Engineering of Complex Computer Systems (pp. 162-171).

Paige, R. F. (2009). Theory and practice of model transformations. In Proceedings of 2nd international conference, ICMT.

Pantelic, V., Lawford, M. (2009). Towards optimal supervisory control of probabilistic discrete event systems. IFAC Proceedings Volumes, 42(3), 75-80.

Pantelic, V., Postma, S. M., Lawford, M. (2009). Probabilistic supervisory control of probabilistic discrete event systems. IEEE Transactions on Automatic Control, 54(9), 2013-2018.

Power, C., Paige, R. (2009). Content personalization for inclusive education through model-driven engineering. In International Conference on Universal Access in Human-Computer Interaction (pp. 102-109).

Regis, G., Aguirre, N., Maibaum, T. (2009). Specifying and Verifying Business Processes Using PPML. In International Conference on Formal Engineering Methods (pp. 737-756).

Rose, L. M., Kolovos, D. S., Paige, R. F., Polack, F. A. (2009). Enhanced automation for managing model and metamodel inconsistency. In 2009 IEEE/ACM International Conference on Automated Software Engineering (pp. 545-549).

Rose, L. M., Paige, R. F., Kolovos, D. S., Polack, F. A. (2009). An analysis of approaches to model migration. In Proc. Joint MoDSE-MCCM Workshop (pp. 6-15).

Salah, D., Petrie, H., Paige, R. F. (2009). Towards a framework for integrating user centered design and agile software development processes. In Proc. Irish CHI 2009.

Santos, O. M., Woodcock, J., Paige, R. F., King, S. (2009). The use of model transformation in the INESS project. In International Symposium on Formal Methods for Components and Objects (pp. 147-165).

Smith, S., Yu, W. (2009). A document driven methodology for developing a high-quality Parallel Mesh Generation Toolbox. Advances in Engineering Software, 40(11), 1155-1167.

Torshizi, F. A., Ostroff, J. S., Paige, R. F., Chechik, M. (2009). The SCOOP Concurrency Model in Java-like Languages. In CPA (pp. 7-27).

Treharne, H., Turner, E., Paige, R. F., Kolovos, D. S. (2009). Automatic generation of integrated formal models corresponding to UML system models. In International Conference on Objects, Components, Models and Patterns (pp. 357-367).

Yu, W., Smith, S. (2009). Reusability of FEA software: A program family approach. In 2009 ICSE Workshop on Software Engineering for Computational Science and Engineering (pp. 43-50).

Zschaler, S., Kolovos, D. S., Drivalos, N., Paige, R. F., Rashid, A. (2009). Domain-specific metamodelling languages for software language engineering. In International Conference on Software Language Engineering (pp. 334-353).

Anand, C. K., Kahl, W. (2008). SQRL Report No. 50 “Synthesising and Verifying Multi-Core Parallelism in Categories of Nested Code Graphs.” Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport50.pdf.

Aßmann, U., Bézivin, J., Paige, R. F., Rumpe, B., Schmidt, D. C. (2008). 08331 Abstracts Collection–Perspectives Workshop: Model Engineering of Complex Systems (MECS). In Dagstuhl Seminar Proceedings.

Aydal, E. G., Paige, R. F., Woodcock, J. (2008). Observations for assertion-based scenarios in the context of model validation and extension to test case generation. In 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (pp. 11-20).

Bézivin, J., Paige, R. F., Aßmann, U., Rumpe, B., Schmidt, D. C. (2008). 08331 Manifesto – Model Engineering for Complex Systems. Perspectives Workshop: Model Engineering of Complex Systems (MECS). Retrieved from https://drops.dagstuhl.de/opus/volltexte/2008/1603/pdf/08331.MECSManifesto.1603.pdf.

Brooke, P. J., Paige, R. F. (2008). Building Distributed Systems. Practical Distributed Processing, 161-181. Springer London.

Brooke, P. J., Paige, R. F. (2008). Case Study: A Networked Game. Practical Distributed Processing, 183-204. Springer London.

Brooke, P. J., Paige, R. F. (2008). Concepts of Concurrency. Practical Distributed Processing, 11-32. Springer London.

Brooke, P. J., Paige, R. F. (2008). Concurrency in Operating Systems. Practical Distributed Processing, 49-62. Springer London.

Brooke, P. J., Paige, R. F. (2008). Interprocess Communication. Practical Distributed Processing, 63-99. Springer London.

Brooke, P. J., Paige, R. F. (2008). Languages and Distributed Processing. Practical Distributed Processing, 139-160. Springer London.

Brooke, P. J., Paige, R. F. (2008). Models of Concurrency. Practical Distributed Processing, 33-48. Springer London.

Brooke, P. J., Paige, R. F. (2008). Protocols. Practical Distributed Processing, 101-119. Springer London.

Brooke, P. J., Paige, R. F. (2008). The End. Practical Distributed Processing, 205-211. Springer London.

Brooke, P. J., Paige, R. F. (2008). What is Distributed Processing? Practical Distributed Processing, 1-9. Springer London.

Carette, J., Smith, S., McCutchan, J., Anand, C., Korobkine, A. (2008). Case studies in model manipulation for scientific computing. In International Conference on Intelligent Computer Mathematics (pp. 24-37).

Castro, P. F., Maibaum, T. S. E. (2008). A tableaux system for deontic action logic. In International Conference on Deontic Logic in Computer Science (pp. 34-48).

Clavel, M., Marina, E., de Angel, D. (2008). Building an efficient component for OCL evaluation. Electronic Communications of the EASST. Retrieved from Journal Article.

Corliss, G. F., Kearfott, B. R., Nedialkov, N., Pryce, J. D., Smith, S. (2008). Interval subroutine library mission. In Reliable Implementation of Real Number Algorithms: Theory and Practice (pp. 28-43). Springer, Berlin, Heidelberg.

Drivalos, N., Kolovos, D. S., Paige, R. F., Fernandes, K. J. (2008). Engineering a DSL for software traceability. In International Conference on Software Language Engineering (pp. 151-167).

Drivalos, N., Paige, R. F., Fernandes, K. J., Kolovos, D. S. (2008). Towards rigorously defined model-to-model traceability. In ECMDA Traceability Workshop (ECMDA-TW) (pp. 17-26).

Elsheikh, A. H., Chidiac, S. E., Smith, S. (2008). Assessment of two a posteriori error estimators for elasticity problems. Canadian Journal of Civil Engineering, 35(12), 1239-1250.

Elsheikh, A. H., Chidiac, S. E., Smith, W. S. (2008). A posteriori error estimation based on numerical realization of the variational multiscale method. Computer Methods in Applied Mechanics and Engineering, 197(36-38), 3637-3656. North-Holland.

Elsheikh, A. H., Smith, S., Chidiac, S. E. (2008). Numerical investigation of the reliability of a posteriori error estimation for advection–diffusion equations. Communications in Numerical Methods in Engineering, 24(7), 711-726. John Wiley & Sons, Ltd. Chichester, UK.

Hu, X., Lawford, M., Wassyng, A. (2008). Formal verification of the implementability of timing requirements. In International Workshop on Formal Methods for Industrial Critical Systems (pp. 119-134).

Hu, X., Lawford, M., Wassyng, A. (2008). SQRL Report No. 52 “Formal Verification of Implementability of Timing Requirements.” Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport52.pdf.

Kolovos, D., Paige, R., Polack, F. (2008). Detecting and repairing inconsistencies across heterogeneous models. In 2008 1st International Conference on Software Testing, Verification, and Validation (pp. 356-364).

Kolovos, D. S., Drivalos, N., Paige, R. F., Polack, F. A. (2008). Seamless Navigation of Heterogeneous EMF models in Epsilon. In Eclipse Modeling Symposium, Eclipse Summit.

Kolovos, D. S., Paige, R. F., Polack, F. A. (2008). A framework for composing modular and interoperable model management tasks. In Model-Driven Tool and Process Integration Workshop (pp. 79-90).

Kolovos, D. S., Paige, R. F., Polack, F. A. (2008). Novel features in languages of the epsilon model management platform. In Proceedings of the 2008 international workshop on Models in software engineering (pp. 69-73).

Kolovos, D. S., Paige, R. F., Polack, F. A. (2008). Scalability: The holy grail of model-driven engineering. In ChaMDE 2008 Workshop Proceedings: International Workshop on Challenges in Model-Driven Software Engineering (pp. 10-14).

Kolovos, D. S., Paige, R. F., Polack, F. A. (2008). The epsilon transformation language. In International Conference on Theory and Practice of Model Transformations (pp. 46-60).

Kolovos, D. S., Paige, R. F., Polack, F. A. (2008). The grand challenge of scalability for model driven engineering. In International Conference on Model Driven Engineering Languages and Systems (pp. 48-53).

Liu, S., Maibaum, T., Araki, K. (2008). Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings. Springer.

Maibaum, T., Cuellar, J., Sere, K. (2008). Formal Methods. Springer. Retrieved from Journal Article.

Maibaum, T., Shaoying, L., Araki, K. (2008). Formal Methods and Software Engineering. Springer. Retrieved from Journal Article.

Maibaum, T., Wassyng, A. (2008). A product-focused approach to software certification. Computer, 41(9), 91-93. IEEE.

Meyer, B., Paige, R. F. (2008). Objects, Components, Models and Patterns: Proceedings of the 46th international Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008. Lecture Notes in Business Information Processing. Springer.

Ostroff, J. S., Paige, R. F. (2008). Jscoop: A high-level concurrency framework for java. Retrieved from Journal Article.

Paige, R. (2008). Review of Model-driven software development. Software Testing, Verification & Reliability (STVR). John Wiley & Sons, Ltd. Chichester, UK.

Paige, R. F., Charalambous, R., Ge, X., Brooke, P. J. (2008). Towards agile engineering of high-integrity systems. In International Conference on Computer Safety, Reliability, and Security (pp. 30-43).

Paige, R. F., Meyer, B. (2008). Objects, Components, Models and Patterns: 46th International Conference, TOOLS Europe 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings. Springer Science & Business Media. Retrieved from Miscellaneous.

Paige, R. F., Rose, L. M., Ge, X., Kolovos, D. S., Brooke, P. J. (2008). Automated safety analysis for domain-specific languages. In Workshop on Non-Functional System Properties in Domain Specific Modeling Languages.

Paige, R. F., Rose, L. M., Ge, X., Kolovos, D. S., Brooke, P. J. (2008). FPTC: automated safety analysis for domain-specific languages. In International Conference on Model Driven Engineering Languages and Systems (pp. 229-242).

Paige, R. F. (2008). Review of Model-driven software development. Software Testing, Verification & Reliability (STVR).

Pantelic, V., Postma, S., Lawford, M. (2008). SQRL Report No. 21 ” Supervisory Control of Probabilistic Discrete Event Systems.” Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport21.pdf.

Polack, D. S., Paige, R. F., Rose, L. M., Polack, F. A. (2008). Unit testing model management operations. In 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (pp. 97-104).

Pryce, J. D., Corliss, G. C., Kearfott, B. R., Nedialkov, N. S., Smith, S. (2008). Second note on basic interval arithmetic for IEEE754R. In Dagstuhl Seminar Proceedings.

Radjenovic, A., Paige, R. F. (2008). The role of dependency links in ensuring architectural view consistency. In Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008) (pp. 199-208).

Ramsin, R., Paige, R. F. (2008). Process-centered review of object oriented software development methodologies. ACM Computing Surveys (CSUR), 41(1), 1-89. ACM New York, NY, USA.

Rose, L. M., Paige, R. F., Kolovos, D. S., Polack, F. A. (2008). Constructing models with the human-usable textual notation. In International Conference on Model Driven Engineering Languages and Systems (pp. 249-263).

Rose, L. M., Paige, R. F., Kolovos, D. S., Polack, F. A. (2008). The epsilon generation language. In European Conference on Model Driven Architecture-Foundations and Applications (pp. 1-16).

Smith, S. W., Carette, J., McCutchan, J. (2008). Commonality analysis of families of physical models for use in scientific computing. In Proceedings of the First International Workshop on Software Engineering for Computational Science and Engineering (SECSE08).

Tabatabaie, M., Paige, R., Kimble, C. (2008). Exploring the boundaries of enterprise information systems. In Scope of the Symposium.

Tilley, S., Wong, K., Smith, S. (2008). Teaching and Using Service-Oriented Architecture (SOA) in an Academic Environment. In 2008 2nd Annual IEEE Systems Conference (pp. 1-4).

Wang, Y. (2008). SQRL Report No. 54 “Specifying and Simulating the Externally Observable Behavior of Modules.” Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport54.pdf.

Wassyng, A., Lawford, M. (2008). SQRL Report No. 51 “Integrated Software Methodologies – An Engineering Approach.” Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport51.pdf.

Wassyng, A., Maibaum, T., Lawford, M. (2008). On software certification: we need product-focused approaches. In Monterey Workshop (pp. 250-274).

Wassyng, A., Maibaum, T., Lawford, M. (2008). On software certification: we need product-focused approaches. In Monterey Workshop (pp. 250-274).

Zingaro, D. (2008). SQRL Report No. 53 “On the Practice of B-ing Earley.” Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport53.pdf.

Abdeen, M. M., Kahl, W., & Maibaum, T. (2007). FDA: Between process and product evaluation. In High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, 2007. HCMDSS-MDPnP. Joint Workshop.

Abdeen, M. M., & Maibaum, T. (2007). Contract by systems modelling: A case study on the FDA principles of software validation. In Proceedings of the 11th IASTED International Conference on Software Engineering and Applications.

Abdullah, M. S., Benest, I., Paige, R., & Kimble, C. (2007). Using Unified Modeling Language for conceptual modelling of knowledge-based systems. In International Conference on Conceptual Modeling.

Abdullah, M. S., Benest, I. D., Paige, R. F., Fu, R., & Kimble, C. (2007). Using Unified Modeling Language for Conceptual Modelling. Conceptual Modeling-ER 2007, 26th International.

Abdullah, M. S., Paige, R., Kimble, C., & Benest, I. (2007). A UML profile for knowledge-based systems modelling. In 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007).

Abdullah1a, M. S., Paige, R., Benest, I., & Kimble, C. (2007). Knowledge modelling using UML profile for knowledge-based systems development. Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in EHealth, HCI, Information Retrieval and Pervasive Technologies.

Aguirre, N., Regis, G., & Maibaum, T. (2007). Verifying temporal properties of community designs. In International Conference on Integrated Formal Methods.

Akehurst, D., Vogel, R., & Paige, R. (2007). Model Driven Architecture-Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings. Springer.

Anand, C. K., & Kahl, W. (2007). SQRL Report No. 43 “A Domain-Specific Language for the Generation of Optimized SIMD-Parallel Assembly Code”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport43.pdf.

Arbuckle, T., Balaban, A., Peters, D. K., & Lawford, M. (2007). Software Documents: Comparison and Measurement. SEKE.

Aydal, E., Paige, R., & Woodcock, J. (2007). Evaluation of OCL for large-scale modelling: A different view of the Mondex smart card application. In Satellite Events at the MoDELS’2007 Conference. Springer, Berlin, LNCS.

Aydal, E. G., Paige, R. F., & Woodcock, J. (2007). Evaluation of OCL for large-scale modelling: A different view of the Mondex purse. In International Conference on Model Driven Engineering Languages and Systems.

Brooke, P., & Paige, R. F. (2007). Exceptions in concurrent Eiffel. Journal of Object Technology.

Brooke, P. J., Paige, R. F., & Jacob, J. L. (2007). A CSP model of Eiffel’s SCOOP. Formal Aspects of Computing.

Brooke, P. J., & Paige, R. F. (2007). Lazy Exploration and Checking of CSP Models with CSPsim. CPA.

Brooke, P. J., & Paige, R. F. (2007). Practical Distributed Processing. Springer Science & Business Media.

Carette, J., Smith, S., McCutchan, J., Anand, C., & Korobkine, A. (2007). Model manipulation as part of a better development process for scientific computing code. SQRL Report No. 48 “Model Manipulation as Part of a Better Development Process for Scientific Computing Code.”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport48.pdf.

Carette, J. (2007). SQRL Report No. 42 “A Canonical Form for Piecewise Defined Functions”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport42.pdf.

Castro, P. F., & Maibaum, T. (2007). A complete and compact propositional deontic logic. In International Colloquium on Theoretical Aspects of Computing.

Castro, P. F., & Maibaum, T. S. E. (2007). An ought-to-do deontic logic for reasoning about fault-tolerance: The diarrheic philosophers. In Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).

Castro, P. F., & Maibaum, T. S. E. (2007). SQRL Report 39 Towards a Deontic Logic for Fault Tolerance. Journal Article.

Castro, P. F., & Maibaum, T. S. E. (2007). Towards a deontic logic for fault tolerance. Report.

Conmy, P., & Paige, R. (2007). Challenges when using model-driven architecture in the development of safety-critical software. In Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES’07).

Despotou, G., Kolovos, D., Paige, R., Polack, F., & Kelly, T. (2007). Towards a Metamodel for Dependability Cases. In OMG 1st Software Assurance Workshop, Washington, USA.

Ge, X., Paige, R. F., Polack, F., & Brooke, P. (2007). Extreme programming security practices. In International Conference on Extreme Programming and Agile Processes in Software Engineering.

Gruschko, B., Kolovos, D., & Paige, R. (2007). Towards synchronizing models with evolving metamodels. In Proceedings of the International Workshop on Model-Driven Software Evolution.

Kolovos, D. S., Paige, R. F., Rose, L. M., & Polack, F. A. (2007). Bridging the Epsilon Wizard Language and the Eclipse Graphical Modeling Framework. In Modeling Symposium, Eclipse Summit Europe, Ludwigsburg, Germany.

Kolovos, D. S., Paige, R. F., Rose, L. M., & Polack, F. A. (2007). Implementing the interactive television applications case study using epsilon. In Model-Driven Development Tool Implementers Forum, Zurich, Switzerland.

Laurens, P., Paige, R. F., Brooke, P. J., & Chivers, H. (2007). A novel approach to the detection of cheating in multiplayer online games. In 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

Leduc, R. J., Dai, P., & Song, R. (2007). SQRL Report No. 46 “Synthesis Method for Hierarchical Interface-Based Supervisory Control.”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport46.pdf.

Li, Z., & Maibaum, T. (2007). An approach to integration testing of object-oriented programs. In Seventh International Conference on Quality Software (QSIC 2007).

Ling, X., Maibaum, T., & Aguirre, N. (2007). Design in CommUnity with extension morphisms. In Formal methods and hybrid real-time systems (pp. 435-466). Springer.

Maibaum, T., & Li, Z. J. (2007). A test framework for integration testing of object-oriented programs. In Proceedings of the 2007 conference of the center for advanced studies on Collaborative research.

Maibaum, T. (2007). Challenges in software certification. In International Conference on Formal Engineering Methods.

Maibaum, T. (2007). Erratum to: Challenges in Software Certification. In International Conference on Formal Engineering Methods.

Oldevik, J., Olsen, G. K., & Neple, T. (2007). ECMDA Traceability Workshop Proceedings 2007. Journal Article.

Paige, R. F., & Bézivin, J. (2007). Workshop on Towers of Models Co-located with TOOLS Europe. University of York, Department of Computer Science.

Paige, R. F., Brooke, P. J., & Ostroff, J. S. (2007). Metamodel-based model conformance and multiview consistency checking. ACM Transactions on Software Engineering and Methodology (TOSEM).

Peters, D. K., Lawford, M., & Others. (2007). An IDE for software development using tabular expressions. In Proceedings of the 2007 conference of the center for advanced studies on Collaborative research.

Peters, D. K., Lawford, M., & Trancon y Widemann, B. (2007). Software specification using tabular expressions and OMDoc. RISC-Linz.

Radjenovic, A., & Paige, R. (2007). The view glue. In Architecting dependable systems IV (pp. 66-88). Springer, Berlin, Heidelberg.

Sekerinski, E. (2007). SQRL Report No. 49 “Teaching the Unifying Mathematics of Software Design.”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport49.pdf.

Smith, S., Lai, L., & Khedri, R. (2007). Requirements analysis for engineering computation: A systematic approach for improving reliability. Reliable Computing, 13, 83-107.

Smith, S., McCutchan, J., & Cao, F. (2007). Program families in scientific computing. In 7th OOPSLA Workshop on Domain Specific Modelling (DSM’9207).

Sun, H. (2007). SQRL Report No. 45 “Developing User-Centric Software Requirements Specifications.”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport45.pdf.

Tilley, S., Wong, K., & Smith, S. (2007). Report from the 3rd international symposium on software engineering course projects (swecp 2006). In 20th Conference on Software Engineering Education & Training (CSEET’07).

Vogel, D. A., & Paige, R. F. (2007). Model Driven Architecture-Foundations and Applications.

Zingaro, D. (2007). SQRL Report No. 47 “Modern Extensible Languages.”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport47.pdf.

Abdullah, M. S., Kimble, C., Benest, I., & Paige, R. (2006). Knowledge-based systems: A re-evaluation. Journal of Knowledge Management, Emerald Group Publishing Limited.

Abdullah, M. S., Paige, R., Benest, I., & Kimble, C. (2006). Knowledge modelling using the UML profile. In IFIP International Conference on Artificial Intelligence Applications and Innovations (pp. 70-77).

Abdullah, M. S., Paige, R. F., Benest, I. D., & Kimble, C. (2006). Knowledge Engineering Using the UML Profile – Adopting the Model-Driven Architecture for Knowledge-Based System Development. Journal of Knowledge Management, 74-81.

Aguirre, N., Maibaum, T., & Alencar, P. (2006). Extension Morphisms for CommUnity. In Algebra, Meaning, and Computation (pp. 173-193). Springer.

Aguirre, N., & Maibaum, T. (2006). Temporal Specifications of Component Based Systems with Polymorphic Dynamic Reconfiguration. In Mathematical Frameworks For Component Software: Models for Analysis and Synthesis (pp. 1-33). Citeseer.

Al-Subaie, H. S., & Maibaum, T. S. (2006). Evaluating the effectiveness of a goal-oriented requirements engineering method. In Fourth International Workshop on Comparative Evaluation in Requirements Engineering (CERE’06-RE’06 Workshop) (pp. 8-19).

Aydal, E. G., Paige, R. F., Chivers, H., & Brooke, P. J. (2006). Security planning and refactoring in extreme programming. In International Conference on Extreme Programming and Agile Processes in Software Engineering (pp. 154-163).

Bézivin, J., Bouzitouna, S., Fabro, M. D., Gervais, M. P., Jouault, F., Kolovos, D., Kurtev, I., & Paige, R. F. (2006). A canonical scheme for model composition. In European Conference on Model Driven Architecture-Foundations and Applications (pp. 346-360).

Brooke, P., & Paige, R. (2006). A critique of SCOOP. REPORT-UNIVERSITY OF YORK DEPARTMENT OF COMPUTER SCIENCE YCS, 56.

Brooke, P., & Paige, R. (2006). An alternative model of concurrency for Eiffel. REPORT-UNIVERSITY OF YORK DEPARTMENT OF COMPUTER SCIENCE YCS, 141.

Clark, J. A., Paige, R. F., Polack, F. A., & Brooke, P. J. (2006). Security in Pervasive Computing: Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings. Springer.

Engel, K. D., Paige, R. F., & Kolovos, D. S. (2006). Using a model merging language for reconciling model versions. In European Conference on Model Driven Architecture-Foundations and Applications (pp. 143-157).

Farmer, W. M. (2006). SQRL Report No. 18 (rev 2) “The Seven Virtues of Simple Type Theory”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport18_rev2.pdf.

Ge, X., Paige, R. F., Polack, F. A., Chivers, H., & Brooke, P. J. (2006). Agile development of secure web applications. In Proceedings of the 6th international conference on Web engineering (pp. 305-312).

Gnesi, S., Maibaum, T., & Wassyng, A. (2006). SQRL Report No. 37 “CERTSOFT06: First International Workshop on Software Certification”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport37.pdf.

Kahl, W., Carette, J., & Ji, X. (2006). SQRL Report No. 33 “Bimonadic Semantics for Basic Pattern Matching Calculi”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport33.pdf.

Kolovos, D. S., Paige, R. F., Kelly, T., & Polack, F. A. (2006). Requirements for domain-specific languages. In Proc. of ECOOP Workshop on Domain-Specific Program Development (DSPD).

Kolovos, D. S., Paige, R. F., & Polack, F. (2006). Aligning OCL with domain-specific languages to support instance-level model queries. ECEASST, Journal Article.

Kolovos, D. S., Paige, R. F., & Polack, F. A. (2006). Eclipse development tools for epsilon. Eclipse Summit Europe, Eclipse Modeling Symposium, 200.

Kolovos, D. S., Paige, R. F., & Polack, F. A. (2006). Merging models with the epsilon merging language (EML). In International Conference on Model Driven Engineering Languages and Systems (pp. 215-229).

Kolovos, D. S., Paige, R. F., & Polack, F. A. (2006). Model comparison: a foundation for model composition and model transformation testing. In Proceedings of the 2006 international workshop on Global integrated model management (pp. 13-20).

Kolovos, D. S., Paige, R. F., & Polack, F. A. (2006). On-demand merging of traceability links with models. In 3rd ecmda traceability workshop (pp. 47-55).

Kolovos, D. S., Paige, R. F., & Polack, F. A. (2006). The epsilon object language (EOL). In European Conference on Model Driven Architecture-Foundations and Applications (pp. 128-142).

Kolovos, D. S., Paige, R. F., & Polack, F. A. (2006). Towards using OCL for instance-level queries in domain specific languages. OCL for (Meta-) Models in Multiple Application Domains, 26-37.

Lawford, M., Pantelic, V., & Zhang, H. (2006). Towards integrated verification of timed transition models. Fundamenta Informaticae, 75-110.

Leduc, R. J., Lawford, M., & Dai, P. (2006). Hierarchical interface-based supervisory control of a flexible manufacturing system. IEEE Transactions on Control Systems Technology, 654-668.

Magee, J., & Maibaum, T. (2006). Towards specification, modelling and analysis of fault tolerance in self-managed systems. In Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems (pp. 30-36).

Paige, R. F., Attridge, T. S., & Brooke, P. J. (2006). Game Development using Design-by-Contract. Journal of Object Technology, 57-73.

Paige, R. F., Brooke, P. J., & Others. (2006). Symposium on Concurrency, Real-Time, and Distribution in Eiffel-like Languages. The ARTIST Network of Excellence, the University of York, and the University.

Paige, R. F., Kolovos, D. S., & Polack, F. A. (2006). Adding an Action Semantics to MOF 2.0. In SAC.

Paige, R. F., Kolovos, D. S., & Polack, F. A. (2006). An action semantics for MOF 2.0. In Proceedings of the 2006 ACM symposium on Applied computing (pp. 1304-1305).

Paige, R. F., Wang, X., Stephenson, Z. R., & Brooke, P. J. (2006). Towards an agile process for building software product lines. In International Conference on Extreme Programming and Agile Processes in Software Engineering (pp. 198-199).

Pantelic, V. (2006). SQRL Report No. 36 “Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport36.pdf.

Radjenovic, A., & Paige, R. (2006). Architecture description languages for high-integrity real-time systems. IEEE software, 71-79.

Sekerinski, E. (2006). SQRL Report No. 35 “Topics in Software Design. Volume 2”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport35.pdf.

Smith, S. (2006). Systematic development of requirements documentation for general-purpose scientific computing software. In 14th IEEE International Requirements Engineering Conference (RE’06) (pp. 209-218).

Tilley, S., Wong, K., Huang, S., & Smith, S. (2006). Report from the 2nd International Workshop on Software Engineering Course Projects (SWECP 2005). In 19th Conference on Software Engineering Education & Training (CSEET’06) (pp. 87-94).

van Cakic, J., & Paige, R. F. (2006). Origins of the Grid architectural style. In 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’06) (pp. 9-pp).

Wassyng, A., & Lawford, M. (2006). Software tools for safety-critical software development. International Journal on Software Tools for Technology Transfer, 337-354.

Abdullah, M. S., Paige, R., Benest, I., Kimble, C., & Evans, A. (2005). Designing Knowledge-Based Systems Using UML Profile (Metamodel Based Extension). In Second International Conference on Intelligent Computing and Information Systems (ICICIS 2005), Le Caire (Egypte).

Abdullah, M. S., Paige, R., Benest, I., & Kimble, C. (2005). Unified Modeling Language for Knowledge Modelling. In International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC’06) (pp. 952-957).

Abdullah, M. S., Paige, R., Thompson, C., Benest, I., & Kimble, C. (2005). Conceptual Modelling of Knowledge-Based Systems Using UML. In IFIP International Conference on Artificial Intelligence Applications and Innovations (pp. 23-33).

Abramsky, S., Gabbay, D. M., & Maibaum, T. S. (2005). Handbook of logic in computer science: semantic modeling. Clarendon Press, London.

Aguirre, N., Arroyo, M., Bicarregui, J., Guzm’an, L., & Maibaum, T. (2005). Towards dynamically communicating abstract machines in the B method. In International Conference on Formal Engineering Methods (pp. 141-155).

Aizenbud-Reshef, N., Paige, R. F., Rubin, J., Shaham-Gafni, Y., & Kolovos, D. S. (2005). Operational semantics for traceability. In ECMDA Traceability Workshop (ECMDA-TW) (pp. 8-14).

Anand, C. K., Carette, J., Curtis, A. T., & Miller, D. (2005). SQRL Report No. 31 “COG-PETS: Code Generation for Parameter Estimation in Time Series”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl31.pdf.

Bourdon, S. E., Lawford, M., & Wonham, W. M. (2005). Robust nonblocking supervisory control of discrete-event systems. IEEE Transactions on Automatic Control, 2015-2021.

Cakic, J., & Paige, R. (2005). A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems.

Carette, J. (2005). SQRL Report No. 28 “Gaussian Elimination: a case study in efficient genericity with MetaOCaml”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl28.pdf.

Chan, Z. E., & Paige, R. F. (2005). Designing a domain-specific contract language: A metamodelling approach. In European Conference on Model Driven Architecture-Foundations and Applications (pp. 175-189).

Chivers, H., Paige, R. F., & Ge, X. (2005). Agile security using an incremental security architecture. In International Conference on Extreme Programming and Agile Processes in Software Engineering (pp. 57-65).

Chivers, H., & Paige, R. F. (2005). Xround: Bidirectional transformations and unifications via a reversible template language. In European Conference on Model Driven Architecture-Foundations and Applications (pp. 205-219).

Duan, H. (2005). SQRL Report No. 24 “A Comparative Study of Pre/postcondition and Relational Approaches to Program Development”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl24.pdf.

Frias, M. F., Lopez Pombo, C. G., Baum, G. A., Aguirre, N. M., & Maibaum, T. S. (2005). Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Transactions on Software Engineering and Methodology (TOSEM), 478-526.

Galloway, A., Paige, R. F., Tudor, N. J., Weaver, R. A., Toyn, I., & McDermid, J. (2005). Proof vs testing in the context of safety standards. In 24th Digital Avionics Systems Conference (pp. 14-pp).

Hartman, A., & Kreische, D. (2005). Model Driven Architecture-Foundations and Applications. Springer-Verlag Berlin/Heidelberg.

Jin, X. H. (2005). SQRL Report No. 25 “Use of Tabular Expressions in the Inspection of Concurrent Programs”.

Kolovos, D. S., Paige, R. F., & Polack, F. A. (2005). An agile and extensible code generation framework. In International Conference on Extreme Programming and Agile Processes in Software Engineering (pp. 226-229).

Leduc, R. J., Brandin, B. A., Lawford, M., & Wonham, W. M. (2005). Erratum to “Hierarchical Interface-Based Supervisory Control—Part I: Serial Case”. IEEE Transactions on Automatic Control, 1916-1916.

Leduc, R. J., Brandin, B. A., Lawford, M., & Wonham, W. M. (2005). Hierarchical interface-based supervisory control-part I: serial case. Automatic Control, IEEE Transactions on, 1322-1335.

Leduc, R. J., Lawford, M., & Dai, P. (2005). SQRL Report No. 32 “Hierarchical Interface-based Supervisory Control of a Flexible Manufacturing System”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl32.pdf.

Leduc, R. J., Brandin, B. A., Lawford, M., & Wonham, W. M. (2005). Hierarchical interface-based supervisory control-part II: parallel case. IEEE Transactions on Automatic Control, 1336-1348.

Leduc, R. J., Wonham, W. M., & Lawford, M. (2005). Hierarchical interface-based supervisory control: Bi-level systems.

Maibaum, T. S. E. (2005). The epistemology of validation and verification testing. In IFIP International Conference on Testing of Communicating Systems (pp. 1-8).

Mart’i-Oliet, N., Pita, I., Fiadeiro, J. L., Meseguer, J., & Maibaum, T. (2005). A verification logic for rewriting logic. Journal of Logic and Computation, 317-352.

Ostroff, J. S., Paige, R. F., Makalsky, D., & Brooke, P. J. (2005). E-tester: a contract-aware and agent-based unit testing framework for Eiffel. Journal of Object Technology, 97-114.

Paige, R. F., & Brooke, P. J. (2005). Agile formal method engineering. In International Conference on Integrated Formal Methods (pp. 109-128).

Paige, R. F., & Brooke, P. J. (2005). Agile Formal Method Engineering. In Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 – December 2, 2005, Proceedings.

Paige, R. F., Chivers, H., McDermid, J. A., & Stephenson, Z. R. (2005). High-integrity extreme programming. In Proceedings of the 2005 ACM symposium on Applied computing (pp. 1518-1523).

Paige, R. F., Kolovos, D. S., & Polack, F. A. (2005). Refinement via consistency checking in MDA. Electronic Notes in Theoretical Computer Science, 151-161.

Rusovan, S., Lawford, M., & Parnas, D. (2005). Open source software development: future or fad. In Perspectives on Free and Open Source Software (pp. 107-121).

Sekerinski, E. (2005). SQRL Report No. 34 “Topics in Software Design. Volume 1”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport34.pdf.

Sharygin, M. (2005). SQRL Report No. 26 “Inspection of Software with Incomplete Description”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl26.pdf.

Shi, H. (2005). SQRL Report No. 27 “Inspection of OO Software with Incomplete Documentation Using a Document Driven Approach”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl27.pdf.

Smith, S. W., & Lai, L. (2005). A new requirements template for scientific computing. In Proceedings of the First International Workshop on Situational Requirements Engineering Processes–Methods, Techniques and Tools to Support Situation-Specific Requirements Engineering Processes, SREP (pp. 107-121).

Wassyng, A., Lawford, M., & Hu, X. (2005). Timing tolerances in safety-critical software. In International Symposium on Formal Methods (pp. 157-172).

Wassyng, A., & Lawford, M. (2005). SPECIAL SECTION ON THE INDUSTRIALIZATION OF FORMAL METHODS: A VIEW FROM FORMAL METHODS.

Abdullah, M. S., Kimble, C., Paige, R., Benest, I., & Evans, A. (2004). Developing a UML profile for modelling knowledge-based systems. In Model Driven Architecture (pp. 220-233). Springer, Berlin, Heidelberg.

Abdullahl, M. S., Evans, A., Benest, I., Paige, R., & Kimble, C. (2004). Modelling knowledge-based systems using the executable modelling framework (XMF). In IEEE Conference on Cybernetics and Intelligent Systems, 2004. (pp. 1055-1060).

Aguirre, N., Bicarregui, J., Guzm’an, L., & Maibaum, T. (2004). Implementing dynamic aggregations of abstract machines in the B method. In International Conference on Formal Engineering Methods (pp. 403-417).

Aguirre, N., & Maibaum, T. (2004). Hierarchical temporal specifications of dynamically reconfigurable component-based systems. Electronic Notes in Theoretical Computer Science, 69-81. Elsevier.

Anand, C. K., Carette, J., Kahl, W., Gibbard, C., & Lortie, R. (2004). SQRL Report No. 20 Declarative Assembler. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl20.pdf.

Brooke, P. J., Paige, R. F., Clark, J. A., & Stepney, S. (2004). Playing the game: cheating, loopholes, and virtual identity. ACM SIGCAS Computers and Society, 3. ACM.

Carette, J., Farmer, W. M., & Wajs, J. (2004). SQRL Report No. 41 “Trustable Communication Between Mathematics Systems”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport41.pdf.

El-Maddah, I. A., & Maibaum, T. S. (2004). Requirements-reuse using GOPCSD: Component-based development of process control systems. In International Conference on Software Reuse (pp. 318-328).

El-Maddah, I. A., & Maibaum, T. S. (2004). The GOPCSD tool: An integrated development environment for process control requirements and design. In International Conference on Fundamental Approaches to Software Engineering (pp. 261-266).

El-Maddah, I. A., & Maibaum, T. S. (2004). Tracing aspects in goal-driven requirements of process control systems. Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design, 34. Citeseer.

El-Maddah, I. A. M., & Maibaum, T. S. E. (2004). The GOPCSD Tool: An Integrated Development Environment for Process Control Systems Requirements and Design. In FASE (pp. 261-266).

El-Maddah, I. A. M., & Maibaum, T. S. E. (2004). Towards a software engineered road for developing process control systems. In Electrical, Electronic and Computer Engineering, 2004. ICEEC’04. 2004 International Conference on (pp. 303-306).

ElSheikh, A. H., Smith, S., & Chidiac, S. E. (2004). Semi-formal design of reliable mesh generation systems. Advances in Engineering Software, 827-841. Elsevier.

Farmer, W. M. (2004). SQRL Report No. 14 (rev 2) “A Basic Extended Simple Type Theory”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport14_rev2.pdf.

Fuks, O., Ostroff, J. S., & Paige, R. F. (2004). SECG: The SCOOP-to-Eiffel Code Generator. J. Object Technol., 143-161.

Lawford, M., Froebel, P., & Moum, G. (2004). Application of tabular methods to the specification and verification of a nuclear reactor shutdown system. Formal Methods in System Design, 9.

Lawford, M., & Zhang, H. (2004). Equivalence Verification of Timed Transition Models. In 4th International Conference on Application of Concurrency to System Design (ACSD 2004) (pp. 155-164).

Ostroff, J. S., Makalsky, D., & Paige, R. F. (2004). Agile specification-driven development. In International Conference on Extreme Programming and Agile Processes in Software Engineering (pp. 104-112).

Paige, R. F., Brooke, P. J., & Ostroff, J. S. (2004). Agile development of a metamodel in Eiffel. In Fifteenth IEEE International Symposium on Software Reliability Engineering, St-Malo, France.

Paige, R. F., Brooke, P. J., & Ostroff, J. S. (2004). Specification-driven development of an executable metamodel in Eiffel. WISME’04.

Paige, R. F., & Brooke, P. J. (2004). Integrating BON and Object-Z. Journal of Object Technology, 123-141.

Paige, R. F., Cakic, J., Ge, X., & Chivers, H. (2004). Towards agile re-engineering of dependable grid applications. Software & Systems Engineering and Their Applications, 1-1.

Paige, R. F., & Ostroff, J. S. (2004). ERC–An object-oriented refinement calculus for Eiffel. Formal Aspects of Computing, 51-79. Springer-Verlag.

Paige, R. F., & Ostroff, J. S. (2004). Specification-driven design with Eiffel and agents for teaching lightweight formal methods. In International Conference on Technical Formal Methods (pp. 107-123).

Paige, R. F. (2004). Process-centred review of object-oriented software development methodologies. University of York, Department of Computer Science.

Postma, S., & Lawford, M. (2004). Computation of probabilistic supervisory controllers for model matching. Proceedings of Allerton Conference on Communications, Control, and Computing.

Radjenovic, A., Paige, R., Conmy, P., Wallace, M., & McDermid, J. (2004). An Information Model for High-Integrity Real-Time Systems. In Second RTAS Workshop on Model-Driven Embedded Systems, Toronto, Canada.

Ramsin, R., & Paige, R. F. (2004). Process-centred Review of Object-Oriented Software Development Methodologies. REPORT-UNIVERSITY OF YORK DEPARTMENT OF COMPUTER SCIENCE YCS.

Rusovan, S. (2004). SQRL Report No. 19 Inspecting the Source Code that Implements the PPP Protocol in Linux. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl19.pdf.

Smith, S., & Chen, C. H. (2004). Commonality analysis for mesh generating systems. McMaster University, Department of Computing and Software.

Smith, S., Chen, C. H., & Lai, L. (2004). Commonality and Requirements Analysis for Mesh Generating Software. In SEKE (pp. 384-387).

Smith, S., & Lai, L. (2004). Requirements analysis for engineering computation. Computing and Software Department, McMaster University.

Smith, S. W., & Chien-Hsien, C. (2004). Commonality analysis for mesh generating systems. Department of Computing and Software, McMaster University, Technical Report.

Stolle, D. F. E., & Smith, W. S. (2004). Average strain strategy for finite elements. Finite Elements in Analysis and Design, 2011-2024. Elsevier.

Aguirre, N., Bicarregui, J., Dimitrakos, T., & Maibaum, T. (2003). Towards dynamic population management of abstract machines in the B method. In International Conference of B and Z Users (pp. 528-545).

Aguirre, N., & Maibaum, T. (2003). A logical basis for the specification of reconfigurable component-based systems. In International Conference on Fundamental Approaches to Software Engineering (pp. 37-51).

Aguirre, N., & Maibaum, T. (2003). Some institutional requirements for temporal reasoning on dynamic reconfiguration of component-based systems. In Verification: Theory and Practice (pp. 407-435). Springer.

Aichernig, B. K., & Maibaum, T. (2003). Formal Methods at the Crossroads: From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United (Lecture Notes in Computer Science, 2757).

Boer, F. S. D., Bonsangue, G. M., & de Roever, W. P. (2003). Formal Methods for Components and Objects. Springer, Berlin.

Bourdon, S. E., Lawford, M., & Wonham, W. M. (2003). SQRL Report No. 9 “Robust Nonblocking Supervisory Control of Discrete-Event Systems”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/robustness.pdf.

Brooke, P. J., & Paige, R. F. (2003). Fault trees for security system design and analysis. Computers & Security, 256-264. Elsevier Advanced Technology.

El-Maddah, I., & Maibaum, T. (2003). Goal-oriented requirements analysis for process control systems design. In Formal Methods and Models for Co-Design, 2003. MEMOCODE’03. Proceedings. First ACM and IEEE International Conference on (pp. 45-46).

El-Maddah, I. A., & Maibaum, T. S. (2003). Goal-oriented Requirements Analysis of Process Control Systems, first MEMOCODE. Tool Exhibition of FM03, Italy.

El-Maddah, I. A., & Maibaum, T. S. E. (2003). Goal-oriented Process Control System Design Tool. Journal Article.

El-Maddah, I. A., & Maibaum, T. S. E. (2003). Towards a software engineered road for developing process control systems. In Electrical, Electronic and Computer Engineering, 2004. ICEEC’04. 2004 International Conference on (pp. 303-306).

ElSheikh, A. H., Smith, S., & Chidiac, S. E. (2003). Reliability of Mesh Generation Software. In Proceedings of the 7th United States Congress on Computational Mechanics.

Frias, M. F., Pombo, C. G. L., Baum, G. A., Aguirre, N. M., & Maibaum, T. (2003). Taking Alloy to the movies. In International Symposium of Formal Methods Europe (pp. 678-697).

He, Y. T. (2003). SQRL Report No. 10 “Verification of the WAP Transaction Layer Using the Model Checker SPIN”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/YTR.pdf.

Hehner, E. C., Norvell, T. S., & Paige, R. F. (2003). High-level Circuit Design. Springer, New York, NY.

Kahl, W. (2003). SQRL Report No. 15 “Compositional Syntax and Semantics of Tables”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl15.pdf.

Kahl, W. (2003). SQRL Report No. 16 “Basic Pattern Matching Calculi”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl16.pdf.

Khedri, R., & Smith, S. (2003). Canadian Software Requirements Symposium’9203. Journal Article.

Kolovos, D. S., Paige, R. F., Polack, F. A., & Rose, L. M. (2003). Update transformations in the small with the epsilon wizard language. Journal of Object Technology (JOT).

Leduc, R. J., Brandin, B. A., Lawford, M., & Wonham, W. M. (2003). SQRL Report No. 12 “Hierarchical Interface-based Supervisory Control: Part I: Serial Case”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/serialJournal.pdf.

Maibaum, T. (2003). In Memoriam Armando Mart’in Haeberer. In Formal Methods at the Crossroads. From Panacea to Foundational Support (pp. 1-25). Springer.

Maibaum, T. (2003). On what exactly goes on when software is developed step-by-step, II: The sequel. Information Processing Letters, 45-51. Elsevier.

Paige, R., Agarwal, P., & Brooke, P. (2003). Combining agile practices with UML and EJB: A case study in agile development. In International Conference on Extreme Programming and Agile Processes in Software Engineering (pp. 351-353).

Paige, R., Ostroff, J., & Brooke, P. (2003). A Test-Based Agile Approach to Checking the Consistency of Class and Collaboration Diagrams. In Proceedings of UK Software Testing Research Workshop.

Paige, R., Ostroff, J., & Brooke, P. (2003). Formalising Eiffel references and expanded types in PVS. In International Workshop on Aliasing, Confinement and Ownership in Object-oriented Programming (IWACO).

Paige, R., & Radjenovic, A. (2003). Towards model transformation with TXL. Metamodelling for MDA, 162-177.

Paige, R. F., Ostroff, J. S., & Brooke, P. J. (2003). Theorem Proving Support for View Consistency Checking. Obj. Logiciel Base données Réseaux, 115-134.

Parnas, D. L., & Lawford, M. (2003). The role of inspection in software quality assurance. IEEE Transactions on Software Engineering, 674-676. IEEE.

Smith, S., & Stolle, D. (2003). Numerical simulation of film casting using an updated Lagrangian finite element algorithm. Polymer Engineering & Science, 1105-1122. Wiley Subscription Services, Inc., A Wiley Company Hoboken.

Stolle, D. F. E., & Smith, W. S. (2003). Objective Stress Rate Considerations For Viscoelastic Response Of Polymers. WIT Transactions on Engineering Sciences. WIT Press.

Wassyng, A., & Lawford, M. (2003). Lessons learned from a successful implementation of formal methods in an industrial project. In International Symposium of Formal Methods Europe (pp. 133-153).

Yang, Y. (2003). SQRL Report No. 11 “Modelling Concurrency by Tabular Expressions”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl11.pdf.

Zhang, H. (2003). SQRL Report No. 17 “Formal Verification of Timed Transition Models”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl17.pdf.

Aguirre, N., & Maibaum, T. (2002). A temporal logic approach to component-based system specification and reasoning. In Proceedings of the 5th ICSE Workshop on Component-Based Software Engineering.

Aguirre, N., & Maibaum, T. (2002). A temporal logic approach to component-based system specification and verification. In Proc. ICSE’02.

Aguirre, N., & Maibaum, T. (2002). A temporal logic approach to the specification of reconfigurable component-based systems. In Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on (pp. 271-274).

Aguirre, N., & Maibaum, T. (2002). Reasoning about Reconfigurable Object-Based Systems in a Temporal Logic Setting. In Proceedings of IDPT.

Aichernig, B., & Maibaum, T. (2002). UNU-IIST 10th Anniversary Colloquium on Formal Methods at the Crossroads, from Panacea to Foundational Support. Lisbon, Portugal, volume 2757 of Lecture Notes in Computer Science. Springer, March.

Aichernig, B. K., & Maibaum, T. S. E. (2002). Formal Methods at the Crossroads. From Panacea to Foundational Support. 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers.

Brooke, P. J., & Paige, R. F. (2002). The design of a tool-supported graphical notation for timed CSP. In International Conference on Integrated Formal Methods (pp. 299-318).

Daskalopulu, A., Dimitrakos, T., & Maibaum, T. (2002). Evidence-based electronic contract performance monitoring. Group Decision and Negotiation, 469-485. Springer.

Duarte, C. H., & Maibaum, T. (2002). A Branching Time Logical System for Open Distributed Systems Development. Electronic Notes in Theoretical Computer Science, 184-203. Elsevier.

Kowalik, J. G. (2002). SQRL Report No. 4 “Table Input Method: A Tool for the Construction of Tabular Expression is the Table Tool System”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl4.pdf.

Lawford, M., & Hu, X. (2002). Right on time: Pre-verified software components for the construction of real-time systems. Report.

Lawford, M., & Hu, X. (2002). SQRL Report No. 8 “Right on Time: Pre-verified Software Components for Construction of Real-Time Systems”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/report8.pdf.

Leduc, R. J., Lawford, M., & Wonham, W. M. (2002). SQRL Report No. 2 “Hierarchical Interface-based Supervisory Control: AIP Example for Parallel Case”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl2.pdf.

Maibaum, T. (2002). Desert Island Column. Automated Software Engineering, 123-126. Springer.

Maibaum, T. (2002). How do I trust thee? Let me count the ways. In Cognitive Informatics, 2002. Proceedings. First IEEE International Conference on (p. 23).

Maibaum, T. S. E. (2002). In Memoriam Armando Mart’in Haeberer: 4 January 1947-11 February 2003. In 10th Anniversary Colloquium of UNU/IIST.

Nedialkov, N., & Jackson, K. R. (2002). SQRL Report No. 6 “The Design and Implementation of an Object-Oriented Validated ODE Solver”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl6.pdf.

Paige, R., & Brooke, P. (2002). Using PVS to Support a Real-Time Refinement Calculus. Citeseer.

Paige, R., Ostroff, J., & Brooke, P. (2002). Checking the consistency of collaboration and class diagrams using PVS. In Proc of Fourth Workshop on Rigorous Object-Oriented Methods (ROOM4), London, England.

Paige, R., Ostroff, J., & Brooke, P. (2002). A Seamless Eiffel-Based Refinement Calculus for Object-Oriented Systems.

Paige, R. F., Kaminskaya, L., Ostroff, J. S., & Lancaric, J. (2002). BON-CASE: an extensible CASE tool for formal specification and reasoning. Journal of Object Technology, 77-96.

Paige, R. F., Ostroff, J. S., & Brooke, P. J. (2002). Checking the Consistency of Views using PVS. In Proc. Fourth Rigorous Object-Oriented Methods Workshop.

Paige, R. F. (2002). Eric CR Hehner, Theodore S. Norvell. Programming Methodology, 381. Springer Science & Business Media.

Parnas, D. L., & Kreyman, K. (2002). SQRL Report No. 1 “On Documenting the Requirements for Computer Programs Based on Models of Physical Phenomena”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl1.pdf.

Parnas, D. L., Lawford, M., Dunsmore, A., Roper, M., Wood, M., Thelin, T., Runeson, P., Wohlin, C., Xu, J., Anderson, P., & Others (2002). SPECIAL SECTION ON SOFTWARE INSPECTION.

Parnas, D. L., & Soltys, M. (2002). SQRL Report No. 7 “Basic Science for Software Developers”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl7.pdf.

Qiao, S., & Wang, X. (2002). SQRL Report No. 5 “Computing the Singular Values of 2-by-2 Complex Matrices”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl5.pdf.

Rosu, D. (2002). SQRL Report No. 3 “A Model of Concurrency in Object-Oriented Databases”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl3.pdf.

Smith, S., & Stolle, D. (2002). A comparison of Eulerian and updated Lagrangian finite element algorithms for simulating film casting. Finite Elements in Analysis and Design, 401-415. Elsevier.

Bicarregui, J., Dimitrakos, T., Gabbay, D., & Maibaum, T. (2001). Interpolation in practical formal development. Logic Journal of IGPL, 231-244. Oxford Univ Press.

Daskalopulu, A., Dimitrakos, T., & Maibaum, T. (2001). E-contract fulfilment and agents’ attitudes. In Proceedings of the ERCIM WG E-Commerce Workshop on the Role of Trust in e-Business.

Daskalopulu, A., & Maibaum, T. (2001). Towards electronic contract performance. In Database and Expert Systems Applications, 2001. Proceedings. 12th International Workshop on (pp. 771-777).

Frias, M. F., Baum, G. A., & Maibaum, T. S. (2001). Interpretability of First—Order Dynamic Logic in a Relational Calculus. In International Conference on Relational Methods in Computer Science (pp. 66-80).

Haeberer, A. M., Maibaum, T. S. E., & Cengarle, M. V. (2001). Knowing what requirements specifications specify. Typoscript.

Haeberer, A. M., & Maibaum, T. S. E. (2001). Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering. In Proceedings of the 23rd International Conference on Software Engineering (pp. 463-472).

Leduc, R. J., Brandin, B. A., Wonham, W. M., & Lawford, M. (2001). Hierarchical interface-based supervisory control: Serial case. In Decision and Control, 2001. Proceedings of the 40th IEEE Conference on (pp. 4116-4121).

Leduc, R. J., Lawford, M., & Wonham, W. M. (2001). Hierarchical interface-based supervisory control: AIP example. PROCEEDINGS OF THE ANNUAL ALLERTON CONFERENCE ON COMMUNICATION CONTROL AND COMPUTING, 396-405. The University. 1998.

Leduc, R. J., Lawford, M., & Wonham, W. M. (2001). Hierarchical Interface-based Supervisory Control: AIP Example for Parallel Case. Report.

Liu, S. (2001). SQRL Report No. 23 “Generating Test Cases From Software Documentation”. Retrieved from http://www.cas.mcmaster.ca/sqrl/papers/sqrl23.pdf.

Ostroff, J., & Paige, R. (2001). The Single Model Principle. Report.

Paige, R., & Kaminskaya, L. (2001). A Tool-Supported Integration of BON and JMLsubmitted July. Journal Article.

Paige, R., & Ostroff, J. (2001). A proposal for a lightweight rigorous UML-based development method for reliable systems. In Practical UML-based rigorous development methods-Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001.

Paige, R., & Ostroff, J. (2001). Producing reliable software via the single model principle. Technical Report CS-TR-2001–02. Journal Article.

Paige, R., & Ostroff, J. (2001). The single model principle [for software development]. In Proceedings Fifth IEEE International Symposium on Requirements Engineering (pp. 292-293).

Paige, R. F., & Ostroff, J. S. (2001). Metamodelling and conformance checking with PVS. In International Conference on Fundamental Approaches to Software Engineering (pp. 2-16).

Smith, S. W. (2001). Simulating the cast film process using an updated Lagrangian finite element algorithm. Ph.D. Thesis.

Tan, S., Arjomandi, E., Paige, R. F., Mamas, E., Moser, S., & O’Farrell, B. (2001). Extending the message flow debugger for MQSI. In CASCON.

Bicarregui, J., Bishop, M., Dimitrakos, T., Lano, K., Maibaum, T., Matthews, B., & Ritchie, B. (2000). Supporting co-use of VDM and B by translation. In Proc. of the 2nd VDM Workshop.

Dimitrakos, T., Bicarregui, J., Matthews, B., & Maibaum, T. (2000). Compositional structuring in the B-method: a logical viewpoint of the static context. In International Conference of B and Z Users.

Dimitrakos, T., & Maibaum, T. (2000). On a generalized modularization theorem. Information Processing Letters, 65-71. Elsevier.

Duarte, C. H., & Maibaum, T. (2000). A rely–guarantee discipline for open distributed systems design. Information Processing Letters, 55-63. Elsevier.

Lano, K., Fiadeiro, J., Bicarregui, J., & Maibaum, T. (2000). Composition of reactive system components. In Foundations of component-based systems.

Lawford, M., McDougall, J., Froebel, P., & Moum, G. (2000). Practical application of functional and relational methods for the specification and verification of safety-critical software. In International Conference on Algebraic Methodology and Software Technology.

Lawford, M., & Wu, H. (2000). Verification of real-time control software using PVS. Proceedings of the 2000 Conference on Information Sciences and Systems. Dept. of Electrical Engineering, Princeton University Princeton, NJ.

Maibaum, T. (2000). Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25-April 2, 2000 Proceedings. Springer Science & Business Media.

Maibaum, T. (2000). Fundamental Approaches to Software Engineering-Third International Conference, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 BerlinLecture Notes in Computer Science. Berlin: Springer-Verlag, 1973-.

Maibaum, T. (2000). Mathematical foundations of software engineering: a roadmap. In Proceedings of the Conference on the Future of Software Engineering.

Maibaum, T. S., & Rumpe, B. (2000). Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT’—an ICSE’98 Workshop). Automated Software Engineering, 7-8. Springer.

Maibaum, T. S. E. (2000). An Overview of The Mensurae Language: Specifying Business Processes. In Rigorous Object-Oriented Methods.

Ostroff, J., & Paige, R. (2000). The Timed Predicative Calculus as a Framework for Comparative Semantics. Report.

Ostroff, J. S., & Paige, R. F. (2000). The logic of software design. IEE Proceedings-Software, 73-80. IET.

Paige, R. F., Ostroff, J. S., & Brooke, P. J. (2000). Principles for modeling language design. Information and Software Technology, 665-675. Elsevier.

Paige, R. F., & Ostroff, J. S. (2000). Precise and formal metamodeling with the business object notation and PVS. Report.

Smith, S., & Stolle, D. (2000). Nonisothermal two-dimensional film casting of a viscous polymer. Polymer Engineering & Science, 1870-1877. Wiley Subscription Services, Inc., A Wiley Company Hoboken.

Paige, R., & Ostroff, J. (1999). An object-oriented refinement calculus. Submitted December.

Paige, R. (1999). An Introduction to BON. Department of Computer Science, York University, Canada.

Paige, R. (1999). Specification and refinement using a heterogeneous notation for concurrency and communication. In IFM’99 (pp. 353-372). Springer, London.

Paige, R. (1999). When are methods complementary? Information and software technology, 157-162. Elsevier.

Paige, R. F., & Hehner, E. C. (1999). Bunches for object-oriented, concurrent, and real-time specification. In International Symposium on Formal Methods.

Paige, R. F., & Ostroff, J. S. (1999). A comparison of the business object notation and the unified modeling language. In International Conference on the Unified Modeling Language (pp. 67-82).

Paige, R. F., & Ostroff, J. S. (1999). A Comparison of the Business Object Notation and the Unified Modeling.

Paige, R. F., & Ostroff, J. S. (1999). Developing BON as an industrial-strength formal method. In International Symposium on Formal Methods (pp. 834-853).

Paige, R. F. (1999). Integrating a program design calculus and a subset of UML. The Computer Journal, 82-99. Br Computer Soc.

Stolle, D. (1999). Simulation of draw resonance in film casting using a material description of motion. In SPE/ANTEC 1999 Proceedings (p. 255).

Ostroff, J. S., & Paige, R. F. (1998). Formal methods in the classroom: The logic of real-time software design. In Proceedings Real-Time Systems Education III (pp. 63-70).

Paige, R. (1998). An Overview of EiffelCetus Team. Retrieved from http://www.cetus-links.org/oo_eiffel.html.

Paige, R. (1998). Using an Object-Oriented Predicative Style to Solve the Invoicing Problem. In Proc. INVOICING.

Paige, R. F., & Ostro, J. S. (1998). From Z to BON/Eiffel. In Proc. Automated Software Engineering.

Paige, R. F., & Ostro, J. S. (1998). From Z to BON/Eiel.

Paige, R. F., & Ostroff, J. S. (1998). From Z to Bon/Eiffel. In Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No. 98EX239) (pp. 209-212).

Paige, R. F. (1998). Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. In 11th ZUM 1998: the Z Formal Specification Notation: Proceedings (p. 214). Springer.

Paige, R. F. (1998). Comparing extended Z with a heterogeneous notation for reasoning about time and space. In International Conference of Z Users (pp. 214-232).

Paige, R. F. (1998). Formalizing and Integrating SA/SD with a Program Design Calculus.

Paige, R. F. (1998). From Z to BON/Eiffel. In Proceedings, 13th IEEE International Conference on Automated Software Engineering: October 13-16, 1998, Honolulu, Hawaii.

Paige, R. F. (1998). Heterogeneous notations for pure formal method integration. Formal Aspects of Computing, 233-242. Springer London.

Paige, R. F. (1998). Specification and Refinement using a Heterogeneous Notation for Real-Time, Concurrency, and Communication.

Smith, S., Stolle, D., & Koziey, B. (1998). Nonisothermal Film Casting of a Viscous Polymer. In TECHNICAL PAPERS OF THE ANNUAL TECHNICAL CONFERENCE-SOCIETY OF PLASTICS ENGINEERS INCORPORATED (pp. 3512-3516).

Bicarregui, J. C., Lano, K. C., & Maibaum, T. S. E. (1997). Towards a Compositional Interpretation of Object Diagrams. In Algorithmic Languages and Calculi (p. 187). Springer.

Lawford, M. S. (1997). Model reduction of discrete real-time systems. Ph.D. Thesis.

Paige, R. (1997). Examples of Formal Heterogeneous Specifications and Formal Integrated Methods. Retrieved from Citeseer.

Paige, R. F. (1997). A meta-method for formal method integration. In International Symposium of Formal Methods Europe (pp. 473-494).

Paige, R. F. (1997). Case studies in using a meta-method for formal method integration. In International Conference on Algebraic Methodology and Software Technology (pp. 395-408).

Paige, R. F. (1997). Case Studies In Using A Meta-Method For Formal... In Proceedings of AMAST97, LNCS.

Paige, R. F. (1997). Formal method integration via heterogeneous notations. Ph.D. Thesis.

Paige, R. F. (1997). Heterogeneous Notations for Formal Method Integration. In Formal Aspects of Computing (p. 1-000). Citeseer.

Paige, R. F. (1997). Using Heterogeneous Notations to Integrate a Formal and Object-Oriented Method. Submitted to The Computer Journal.

Smith, S. W. (1997). Nonisothermal film casting of a viscous fluid. Ph.D. Thesis.

Lawford, M., Ostroff, J. S., & Wonham, W. M. (1996). Formal description techniques, IX: theory, application and tools: IFIP TC6 (p. 263). Chapman & Hall.

Lawford, M., Ostroff, J. S., & Wonham, W. M. (1996). Model Reduction of Modules for State-Event Temporal Logics. In Formal Description Techniques IX: Theory, application and tools (FORTE) (pp. 263-278).

Smith, S. W., Hall, F. L., & Montgomery, F. O. (1996). Comparing the speed-flow relationship for motorways with new data from the M6. In Transportation Research Part A: Policy and Practice (pp. 89-101). Pergamon.

Lawford, M., & Wonham, W. M. (1995). Equivalence preserving transformations for timed transition models. In IEEE Transactions on Automatic Control (pp. 1167-1179). IEEE.

Paige, R. F. (1995). Heterogeneous specifications and their application to software development.

Paige, R. F. (1995). Heterogeneous Specifications and their Application to Software Development, Research Proposal. Department of Computer Science, University of Toronto, Canada.

Paige, R. F. (1995). Higraph-based Predicate and Heterogeneous Specification.

Hall, F. L., Smith, W. S., Montgomery, F., & Brilon, W. (1994). Comparison of speed-flow relationships based on data from North America, the United Kingdom and Germany. In Proceedings of the second International Symposium on Highway Capacity.

Lawford, M., Wonham, W. M., & Ostroff, J. S. (1994). State-event observers for labeled transition systems. In Decision and Control, 1994., Proceedings of the 33rd IEEE Conference on (pp. 3642-3648).

Paige, R. F. (1994). Correctness and Performance Analysis of Imperative and Functional Circuits. Parity.

Lawford, M., & Wonham, W. M. (1993). Supervisory control of probabilistic discrete event systems. In Circuits and Systems, 1993., Proceedings of the 36th Midwest Symposium on (pp. 327-331).

Abramsky, S., Gabbay, D. M., & Maibaum, T. S. (1992). Handbook of logic in computer science. Clarendon Press Oxford.

Fiadeiro, J., & Maibaum, T. (1992). Temporal theories as modularisation units for concurrent system specification. Formal Aspects of Computing, 239-272. Springer.

Lawford, M., & Wonham, W. M. (1993). Supervisory control of probabilistic discrete event systems. In Circuits and Systems, 1993., Proceedings of the 36th Midwest Symposium on (pp. 327-331).

Lawford, M. S. (1992). Transformational equivalence of timed transition models. Ph.D. Thesis.

Crossflow: a framework for distributed mining of software repositories; Mining Software Respositories, 155-159, Conference Paper

Aguirre N, Maibaum T, Arbab F, Barbosa LS, Meng S, Aichernig BK, Rodrigues N, Broy M, de Boer FS, Bonsangue MM, Others; Models for Analysis and Synthesis; World Scientific, Journal Article

Amyot D, Anjorin A, Atlee JM, Bagnato A, Berger T, Baillargeon R, Bordeleau F, Ruscio DD, Dingel J, Gray J, Others; MiSE 2019 Program Committee; Journal Article

Anand C, Smith S, Carette J; Minisymposium: Progress and Prospects in Model-Based Scientific Software Development; AMMCS2011, 293, Journal Article

Apel S, Benavides D, Broy M, Duchien L, Grünbacher P, Heymans P, Maman I, Paige R, Pohl K, Royer JC, Others; Workshop Organisers; Journal Article

Atlee J, Baillargeon R, Ruscio DD, Rumpe B, Chechik M, Gray J, Paige R, Bagnato A, Broy M, Combemale B, Others; MiSE 2016; Journal Article

Bagnato A, Barbero AB, Rocco JD, Di D, Ruscio DS, Korkontzelos I, Hansen S, Maló P, Mateus M, Matragkas N, Others; OSSMETER: Automated Measurement and Analysis of Open Source Software; Journal Article

Berry DM, Bohner S, Bowen J, Briot JP, Broy M, Butler M, Cangussu J, Cheng AM, Cohen M, Davies J, Others; UML&AADL Program Committee; Journal Article

Bialy M, Pantelic V, Jaskola J, Schaap A, Patcas LM, Lawford M, Wassyng A; Software Engineering for model based Design By Domain Experts; Handbook of System Safety and Security Cyber Risk and Risk Management, Cyber Security, Threat Analysis, Functional Safety, Software Systems, and Cyber Physical Systems 2017, 39-64, Book Chapter

Brooke PJ, Paige RF; Extending Eiffel frames with ‘allow’; Journal Article

Cakic J; Flexible Dynamic Binding in Agile Grid Development; Journal Article

Calinescu R, Paige R, Kwiatkowska M; Fifteenth IEEE; Journal Article

Conmy P, Paige R; YO10 5DD, UKTUM; 13; Journal Article

Conmy P, Paige R; YO10 5DD, U?TUM; 13; Citeseer; Journal Article

Cook J, Furia CA, Aguirre N, Baudry B, Bergel A, Bianculli D, Bonzini P, Cai Y, Coady Y, Crnkovic I, Others; ICSE 2016; Journal Article

Diskin Z, Kokaly S, Maibaum T; Mechanics of Megamodeling: Design Patterns and Laws; Journal Article

Diskin Z, Safilian A, Maibaum T, Ben-David S; Modeling Product Lines with Kripke Structures and Modal Logic (Extended Version); Journal Article

El-Maddah I, Maibaum T; Goal-Oriented B specifications of Process Control Systems; Journal Article

El-Maddah IA, Maibaum TS; Goal Driven Requirements Analysis of Process Control Systems; Journal Article

Gibbons J, Paige RF, Schürr A, Terwilliger JF, Weber J; Bi-directional transformations (bx)–Theory and Applications Across Disciplines; Journal Article

Gray J, Chechik M, Kulkarni V, Paige R, Bagnato A, Briand L, Broy M, Combemale B, Czarnecki K, Dalpiaz F, Others; MiSE 2015; Journal Article

Han J, Thu TD, Aoki T, Aoyama M, Babar A, Bae DH, Baik J, Chan WK, Cheung SC, Choi HJ, Others; APSEC 2010; Journal Article

Horkoff J, Kokaly S, Paige R, Simmonds J; Message from the MiSE 2018 Chairs; Journal Article

Jaskolka M, Scott S, Pantelic V, Wassyng A, Lawford M; Applying Modular Decomposition in Simulink; 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), (31-36), 31-36, Conference Paper

Keen J, Calinescu R, Paige R, Rooksby J; Big Data+ Politics= Open Data: The Case of Health Care Datasets; Journal Article

Kokaly S, Diskin Z, Maibaum T, Gholizadeh H; Elementary Model Management Patterns; Journal Article

Kolovos DS, Paige RF, Polack FA; A Unified Generative Programming Environment; Journal Article

Kolovos DS, Rose LM, Paige RF, Lara J; An Implementation of the Ecore to GenModel Case Study using the Epsilon Transformation Language; Journal Article

Kolovos DS, Rose LM, Paige RF, Lara J; Ecore to GenModel Case StudyTransformation Tool Contest 2010 1-2 July 2010, Malaga, Spain, 149, Journal Article

Kwiatkowska M, Calinescu R, Paige R, Williams C, Trivedi A, Walsh E, Ge X, Kolovos D, Polack F, Andrews P, Others; ICECCS 2010; Journal Article

Lawford M; 3.6 Qualification of PVS for Systematic Design Verification of a Nuclear Shutdown SystemQualification of Formal Methods Tools; 150, Journal Article

Lawford M; Observation and Implementation of Simple Continuous Time Properties in a Discrete Time Setting with Bounded Jitter; Journal Article

Luettgen G, Paige R; Refinement Patterns for Contractual Statecharts; Journal Article

Lüttgen G, Paige R; Antrag auf Gewahrung einer Unterstutzung zum Aufbau internationaler Kooperationen; Journal Article

MacLachlan B, Carette J, Smith S; GOOL: A Generic Object-Oriented Language; Journal Article

Paige R, Conmy P, Radjenovic A, Wallace M, McDermid J; Platform Abstract Models for High-Integrity Real-Time Systems; Journal Article

Paige R, Zschaler S, Ergin H; One data fragment has several alternative structural representations tailored toward specific data manipulation approaches. Vadim Zaytsev; Journal Article

Paige R; An Introduction to PVS Metamodelling with PVS; Journal Article

Paige R; ECMDA Traceability Workshop (ECMDA-TW); Journal Article

Paige RF, Brooke PJ; Using PVS to Support a Real-Time Refinement Calculus (Work-in-Progress and Extended Abstract); Journal Article

Paige RF, Burton F, Poulding S; Modelling to Support Decision Making in Complex Environments–an Impossible Challenge?; Journal Article

Paige RF, Calinescu R, Kolovos DS, Matragkas N, Cliff D; Multimodel-Driven Software Engineering for Evolving Enterprise Systems (Position Paper); Joint Proceedings of the Workshops On the Globalization of Modeling Languages (GEMOC 2013) and Towards the Model Driven Organization, Conference Paper

Paige RF, Hehner EC; Bunches of Objects; Journal Article

Paige RF, Kolovos DS, Matragkas N; Spreadsheets are Models Too [Position Statement]; Journal Article

Paige RF, Woodcock J, Brooke PJ, Cavalcanti A; Formal Methods during the Programming Phase; Journal Article

Paige RF; THREE RELATED INTEGRATIONS OF PREDICATIVE PROGRAMMING AND SA/SD; Journal Article

Pena J, Paige RF, Ruiz-Cortés A, Kolovos DS, Velasco L; Automating the refinement of multi-agent models using an MDD approach; JOURNAL OF OBJECT TECHNOLOGY, Journal Article

Radjenovic A, Paige RF; Towards a Common Modelling Platform for the Migration to the Cloud; Journal Article

Rose LM, Kolovos DS, Paige RF, Gilliam T, Polack FA; Emerging Patterns for Testing Model Management ToolsModel-based Testing in Practice, 107, Citeseer, Journal Article

Russey WE, Ebel HF, Bliefert C; How to Write a Successful Scientific Thesis: The Concise Guide For Students; Miscellaneous

Safilian A, Maibaum T, Diskin Z; The Semantics of Feature Models via Formal Languages (Extended Version); Report

Singh NK, Lawford M, Maibaum T, Wassyng A; A formal approach to rigorous development of critical systemsJournal of Software: Evolution and Process, 1-27, Journal Article

Tabatabaie M, Polack FA, Paige RF; KAOS-$beta$: Analysing EIS architecture using KAOS; Journal Article

Turski WM, Maibaum TS; Specification of computer programs; Addison-Wesley Longman Publishing Co., Inc., 1987, Book

Williams J, Matragkas N, Kolovos D, Korkontzelos I, Ananiadou S, Paige R; Software Analytics for MDE Communities (Position Paper); Journal Article

Ziegenbein D, Besselink B, Larsen PG, Lawford M; 4.7 Modularizing Control Systems; 63, Conference Paper