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

944 entries « 2 of 19 »

2020

Paige, Richard F.; Vallecillo, Antonio

Preface to the JOT special issue containing the ECMFA 202 selected papers Journal Article

In: The JOT Journal, vol. 19, iss. 2, 2020.

Links | BibTeX | Tags:

Mackenzie, Bennett; Pantelic, Vera; Marks, Gordon; Wynn-Williams, Stephen; Selim, Gehan; Lawford, Mark; Wassyng, Alan; Diab, Moustapha; Weslati., Feisel

Change Impact Analysis in Simulink Designs of Embedded Systems Proceedings Article

In: 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020) Athens, Greece , pp. 1274-1284, 2020.

Links | BibTeX | Tags:

Systematic Evaluation of (Safety) Assurance Cases Conference

SAFECOMP Part of the Lecture Notes in Computer Science book series (LNPSE,volume 12234), vol. 12234, 2020.

Links | BibTeX | Tags:

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

Polyglot and Distributed Software Repository Mining with Crossflow Conference

Mining Software Repositories, 2020.

BibTeX | Tags:

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

Smith, W. Spencer; Nejad, Mojdeh Sayari; Wassyng, Alan

Raising the Bar: Assurance Cases for Scientific Computing Software Journal Article

In: Computing in Science and Engineering, vol. 23, no. 1, pp. 47-57, 2020.

Abstract | Links | BibTeX | Tags:

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

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

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:

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 Proceedings Article

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

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

Criteria to Systematically Evaluate (Safety) Assurance Cases Conference

IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), 2019.

Links | BibTeX | Tags:

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 (an extended version) Technical Report

2019.

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

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

Assurance via Workflow+ Modelling and Conformance 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

Joannou, Paul

AN ENTERPRISE ENGINEERING APPROACH TO SAFETY MANAGEMENT PhD Thesis

McMaster University, 2019.

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

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

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.

Links | BibTeX | Tags:

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

Modeling for Sustainability (Dagstuhl Seminar 18351) Journal Article

In: vol. 8, no. 8, 2019.

BibTeX | Tags:

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

Crossflow: a framework for distributed mining of software repositories Proceedings Article

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 Proceedings Article

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 Proceedings Article

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 Proceedings Article

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 Proceedings Article

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 Proceedings Article

In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 205–215, IEEE 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:

Baker, Gary; Steinbrenner, Van; White, Stephen

Software Design Journal Article

In: 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.

Links | BibTeX | Tags:

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

Crossflow: a framework for distributed mining of software repositories Proceedings Article

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 Proceedings Article

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 Proceedings Article

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 Proceedings Article

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 Proceedings Article

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 Proceedings Article

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:

944 entries « 2 of 19 »