Click on a search word OR use the drop-down choices to search for a paper.

884 entries « 1 of 18 »

2021

Diskin, Zinovy; Stunkel, Patrick

Sketches, Queries, and Views: From Term-Graphs to Diagrammatic Term-Sketches Technical Report

2021.

Links | BibTeX | Tags: diagrammatic operations, formal verification, Kleisli, model management, software engineering, term-graphs

Singh, Neeraj Kumar; Lawford, Mark; Maibaum, Thomas S. E.; Wassyng, Alan

A formal approach to rigorous development of critical systems Journal Article

In: Journal of Software: Evolution and Process, 2021.

Abstract | Links | BibTeX | Tags: certification, code generation, formal methods, proof‐based development, refinement, simulation, tabular expression, verification and validation

2020

Rutle, Adrian; Iovino, Ludovico; König, Harald; Diskin, Zinovy

A query-retyping approach to model transformation co-evolution Journal Article

In: Software and Systems Modeling, vol. 29, 2020.

Abstract | Links | BibTeX | Tags: Co-evolution, Graph transformations, MDE, Migration

Diskin, Zinovy; Stunkel, Patrick

Sketches, queries, views, and their Kleisli composition: towards universal algebra of diagrammatic operations with pre- and post-conditions Technical Report

2020.

Links | BibTeX | Tags: diagrammatic operations, diagrammatic reasoning, Kleisli composition, presheaves, sketches, software modeling

Anjorin, Anthony; Buchmann, Thomas; Westfechtel, Bernhard; Diskin, Zinovy; Ko, Hsiang-Shang; Eramo, Romina; Hinkel, Georg; Samimi-Dehkordi, Leila; Zündorf, Albert

Benchmarking bidirectional transformations: theory, implementation, application, and assessment Journal Article

In: Software and Systems Modeling , vol. 19, no. 3, pp. 647-691, 2020.

Abstract | Links | BibTeX | Tags: Benchmark, Bidirectional transformation, Framework, Model synchronization

Jaskolka, Monika; Pantelic, Vera; Wassyng, Alan; Lawford, Mark

A Comparison of Componentization Constructs for Supporting Modularity in Simulink Conference

2020.

Links | BibTeX | Tags: automotive, information hiding, model-based development, modularity, Simulink

Annable, Nicholas

A Model-Based Approach to Formal Assurance Cases Masters Thesis

McMaster University, 2020.

Abstract | Links | BibTeX | Tags: safety assurance, software engineering

Meyer, Guy

Development of a Search Engine Tool for Visually Impaired Web Users Masters Thesis

2020.

Abstract | Links | BibTeX | Tags: blind, Graphical User Interfaces (GUIs), low vision users

Bucchiarone, Antonio; Cabot, Jordi; Paige, Richard F; Pierantonio, Alfonso

Grand challenges in model-driven engineering: an analysis of the state of the research Journal Article

In: Software and Systems Modeling, vol. 19, no. 1, pp. 5–13, 2020.

Abstract | Links | BibTeX | Tags:

Zolotas, Athanasios; Rodriguez, Horacio Hoyos; Hutchesson, Stuart; Pina, Beatriz Sanchez; Grigg, Alan; Li, Mole; Kolovos, Dimitrios S; Paige, Richard F

Bridging proprietary modelling and open-source model management tools: the case of PTC integrity modeller and epsilon Journal Article

In: Software and Systems Modeling, vol. 19, no. 1, pp. 17–38, 2020.

Abstract | Links | BibTeX | Tags: model management, Model-driven engineering, Open-source

Kienzle, Jörg; Mussbacher, Gunter; Combemale, Benoit; Bastin, Lucy; Bencomo, Nelly; Bruel, Jean-Michel; Becker, Christoph; Betz, Stefanie; Chitchyan, Ruzanna; Cheng, Betty HC; Klingert, Sonja; Paige, Richard F; Penzenstadler, Birgit; Seyff, Norbert; Syriani, Eugene; Venters, Colin C

Toward model-driven sustainability evaluation Journal Article

In: Communications of the ACM, vol. 63, no. 3, pp. 80–91, 2020.

Links | BibTeX | Tags:

Wąsowski, Andrzej; Paige, Richard F; Haugen, Øystein

Guest editorial to the special section on MODELS 2018 Journal Article

In: Software and Systems Modeling, pp. 1–2, 2020.

Links | BibTeX | Tags:

Diskin, Zinovy

General Supervised Learning as Change Propagation with Delta Lenses Inproceedings

In: -, Jean Goubault; ö, Barbara K (Ed.): 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, pp. 177–197, Springer, 2020.

Links | BibTeX | Tags:

2019

Deevy, Spencer

Sentinel: A Software Architecture for Safe Artificial Intelligence in Autonomous Vehicles Masters Thesis

McMaster University, 2019.

Abstract | Links | BibTeX | Tags: artificial intelligence, autonomous vehicles, organic computing, SAE J3016

Diskin, Zinovy

Supervised learning, change propagation and delta lenses Technical Report

2019.

Links | BibTeX | Tags: change propagation, delta lenses, Supervised learning

Diskin, Zinovy; Annable, Nicholas; Wassyng, Alan; Lawford, Mark

Assurance via Workflow+ Modelling and Conformance Technical Report

2019.

Links | BibTeX | Tags: assurance, conformance, Workflow+

Diskin, Zinovy; Annable, Nicholas; Wassyng, Alan; Lawford, Mark

Assurance via Workflow+ Modelling and Conformance (an extended version) Technical Report

2019.

Links | BibTeX | Tags: assurance, conformance, Workflow+

Bayzat, Alison

GSN Models of Safety Assurance for the Automotive Industry Masters Thesis

McMaster University, 2019.

Abstract | Links | BibTeX | Tags: Goal Structuring Notation, GSN template, system safety process

Mackenzie, Bennett

Change Impact Analysis in Simulink Designs of Embedded Systems Masters Thesis

McMaster University, 2019.

Abstract | Links | BibTeX | Tags: automotive controller, boundary diagram tool, embedded systems, impact analysis, reach/coreach tool

Diskin, Zinovy; Konig, Harald; Lawford, Mark

Non-concurrent Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput Technical Report

2019.

Links | BibTeX | Tags: K-Putput, multiary delta lenses, multiple model synchronization

Kokaly, Sahar

Managing Assurance Cases in Model Based Software Systems PhD Thesis

McMaster University, 2019.

Abstract | Links | BibTeX | Tags: Automotive Safety, Model Based Systems, Model Driven Engineering, safety assurance, software

Shah, Syed Asim

Safe-AV: A Fault Tolerant Safety Architecture for Autonomous Vehicles Masters Thesis

McMaster University, 2019.

Abstract | Links | BibTeX | Tags: Autonomous Vehicle Hazard Analysis, Autonomous Vehicle Safety Architecture, Functional Safety of Autonomous Vehicles, Safe-AV, STPA, Systems-Theoretic Process Analysis

Hossain, Md Nour

INTRODUCING ASPECTS INTO SOFTWARE ARCHITECTURES BY GRAPH TRANSFORMATION PhD Thesis

McMaster University, 2019.

Abstract | Links | BibTeX | Tags: ASPECT INTRODUCTION, DIAGRAM TRANSFORMATION, GRAPH TRANSFORMATION, SOFTWARE ARCHITECTURE

Joannou, Paul

AN ENTERPRISE ENGINEERING APPROACH TO SAFETY MANAGEMENT PhD Thesis

McMaster University, 2019.

Abstract | Links | BibTeX | Tags: nuclear utility, socio-technical system

Chowdhury, Thomas; Wassyng, Alan; Paige, Richard F; Lawford, Mark

Criteria to Systematically Evaluate (Safety) Assurance Cases Inproceedings

In: 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), pp. 380–390, IEEE 2019.

BibTeX | Tags:

Blair, Gordon; Cheng, Betty HC; Hilty, Lorenz; Paige, Richard F

Modeling for Sustainability (Dagstuhl Seminar 18351) Inproceedings

In: Dagstuhl Reports, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik 2019.

BibTeX | Tags:

Kolovos, Dimitris; Neubauer, Patrick; Barmpis, Konstantinos; Matragkas, Nicholas; Paige, Richard

Crossflow: a framework for distributed mining of software repositories Inproceedings

In: 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), pp. 155–159, IEEE 2019.

BibTeX | Tags:

Madani, Sina; Kolovos, Dimitris S; Paige, Richard F

Towards Optimisation of Model Queries: A Parallel Execution Approach. Journal Article

In: J. Object Technol., vol. 18, no. 2, pp. 3–1, 2019.

BibTeX | Tags:

Kolovos, Dimitrios; Medhat, Fady; Paige, Richard; Ruscio, Davide Di; Storm, Tijs Van Der; Scholze, Sebastian; Zolotas, Athanasios

Domain-specific languages for the design, deployment and manipulation of heterogeneous databases Inproceedings

In: 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE), pp. 89–92, IEEE 2019.

BibTeX | Tags:

Burgueño, Loli; Ciccozzi, Federico; Famelis, Michalis; Kappel, Gerti; Lambers, Leen; Mosser, Sebastien; Paige, Richard F; Pierantonio, Alfonso; Rensink, Arend; Salay, Rick; others,

Contents for a Model-Based Software Engineering Body of Knowledge Journal Article

In: Software and systems modeling, vol. 18, no. 6, pp. 3193–3205, 2019.

BibTeX | Tags:

Pina, Beatriz Angelica Sanchez; Zolotas, Athanasios; Rodriguez, Horacio Hoyos; Kolovos, Dimitrios; Paige, Richard Freeman

On-the-fly Translation and Execution of OCL-like Queries on Simulink Models Inproceedings

In: Proceedings of the ACM/IEEE 22th International Conference on Model Driven Engineering Languages and Systems, York 2019.

BibTeX | Tags:

Sanchez, Beatriz; Kolovos, Dimitris S; Paige, Richard

ModelFlow: towards reactive model management workflows Inproceedings

In: Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, pp. 30–39, 2019.

BibTeX | Tags:

Rodriguez, Horacio Hoyos; Zolotas, Athanasios; Kolovos, Dimitris; Paige, Richard F

On the Challenges of Model Decorations for Capturing Complex Metadata Inproceedings

In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 347–353, IEEE 2019.

BibTeX | Tags:

Sanchez, Beatriz; Zolotas, Athanasios; Rodriguez, Horacio Hoyos; Kolovos, Dimitris; Paige, Richard

On-the-fly Translation and Execution of OCL-like Queries on Simulink Models Inproceedings

In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 205–215, IEEE 2019.

BibTeX | Tags:

Baker, Gary; Steinbrenner, Van; White, Stephen

Software Design Journal Article

In: 2019.

BibTeX | Tags:

Garcia-Dominguez, Antonio; Barmpis, Konstantinos; Kolovos, Dimitrios S; Wei, Ran; Paige, Richard F

Stress-testing remote model querying APIs for relational and graph-based stores Journal Article

In: Software & Systems Modeling, vol. 18, no. 2, pp. 1047–1075, 2019.

BibTeX | Tags:

Zolotas, Athanasios; Matragkas, Nicholas; Devlin, Sam; Kolovos, Dimitrios S; Paige, Richard F

Type inference in flexible model-driven engineering using classification algorithms Journal Article

In: Software & Systems Modeling, vol. 18, no. 1, pp. 345–366, 2019.

BibTeX | Tags:

Blair, Gordon; Cheng, Betty HC; Hilty, Lorenz; Paige, Richard F

Modeling for Sustainability (Dagstuhl Seminar 18351) Inproceedings

In: Dagstuhl Reports, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik 2019.

BibTeX | Tags:

Madani, Sina; Kolovos, Dimitris S; Paige, Richard F

Towards Optimisation of Model Queries: A Parallel Execution Approach. Journal Article

In: J. Object Technol., vol. 18, no. 2, pp. 3–1, 2019.

BibTeX | Tags:

Zolotas, Athanasios; Matragkas, Nicholas; Devlin, Sam; Kolovos, Dimitrios S; Paige, Richard F

Type inference in flexible model-driven engineering using classification algorithms Journal Article

In: Software & Systems Modeling, vol. 18, no. 1, pp. 345–366, 2019.

BibTeX | Tags:

Garcia-Dominguez, Antonio; Barmpis, Konstantinos; Kolovos, Dimitrios S; Wei, Ran; Paige, Richard F

Stress-testing remote model querying APIs for relational and graph-based stores Journal Article

In: Software & Systems Modeling, vol. 18, no. 2, pp. 1047–1075, 2019.

BibTeX | Tags:

Kolovos, Dimitris; Neubauer, Patrick; Barmpis, Konstantinos; Matragkas, Nicholas; Paige, Richard

Crossflow: a framework for distributed mining of software repositories Inproceedings

In: 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), pp. 155–159, IEEE 2019.

BibTeX | Tags:

Kolovos, Dimitrios; Medhat, Fady; Paige, Richard; Ruscio, Davide Di; Storm, Tijs Van Der; Scholze, Sebastian; Zolotas, Athanasios

Domain-specific languages for the design, deployment and manipulation of heterogeneous databases Inproceedings

In: 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE), pp. 89–92, IEEE 2019.

BibTeX | Tags:

Pina, Beatriz Angelica Sanchez; Zolotas, Athanasios; Rodriguez, Horacio Hoyos; Kolovos, Dimitrios; Paige, Richard Freeman

On-the-fly Translation and Execution of OCL-like Queries on Simulink Models Inproceedings

In: Proceedings of the ACM/IEEE 22th International Conference on Model Driven Engineering Languages and Systems, York 2019.

BibTeX | Tags:

Rodriguez, Horacio Hoyos; Zolotas, Athanasios; Kolovos, Dimitris; Paige, Richard F

On the Challenges of Model Decorations for Capturing Complex Metadata Inproceedings

In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 347–353, IEEE 2019.

BibTeX | Tags:

Sanchez, Beatriz; Zolotas, Athanasios; Rodriguez, Horacio Hoyos; Kolovos, Dimitris; Paige, Richard

On-the-fly Translation and Execution of OCL-like Queries on Simulink Models Inproceedings

In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 205–215, IEEE 2019.

BibTeX | Tags:

Sanchez, Beatriz; Kolovos, Dimitris S; Paige, Richard

ModelFlow: towards reactive model management workflows Inproceedings

In: Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, pp. 30–39, 2019.

BibTeX | Tags:

Burgueño, Loli; Ciccozzi, Federico; Famelis, Michalis; Kappel, Gerti; Lambers, Leen; Mosser, Sebastien; Paige, Richard F; Pierantonio, Alfonso; Rensink, Arend; Salay, Rick; others,

Contents for a Model-Based Software Engineering Body of Knowledge Journal Article

In: Software and systems modeling, vol. 18, no. 6, pp. 3193–3205, 2019.

BibTeX | Tags:

Chowdhury, Thomas; Wassyng, Alan; Paige, Richard F; Lawford, Mark

Criteria to Systematically Evaluate (Safety) Assurance Cases Inproceedings

In: 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), pp. 380–390, IEEE 2019.

BibTeX | Tags:

Cai, Yixian; Karakostas, George; Wassyng, Alan

Secure and trusted partial grey-box verification Journal Article

In: International Journal of Information Security, vol. 18, no. 6, pp. 677–700, 2019.

BibTeX | Tags:

884 entries « 1 of 18 »