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

896 entries « 2 of 18 »

2019

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:

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

Building Confidence in Scientific Computing Software Via Assurance Cases Journal Article

In: arXiv preprint arXiv:1912.13308, 2019.

BibTeX | Tags:

Pantelic, Vera; Schaap, Alexander; Wassyng, Alan; Bandur, Victor; Lawford, Mark

Something is Rotten in the State of Documenting Simulink Models. Inproceedings

In: MODELSWARD, pp. 503–510, 2019.

BibTeX | Tags:

Wynn-Williams, Stephen; Diskin, Zinovy; Pantelic, Vera; Lawford, Mark; Selim, Gehan M K; Milo, Curtis; Diab, Moustapha; Weslati, Feisel

SL2SF: Refactoring Simulink to Stateflow Inproceedings

In: ä, Reiner H; van der Aalst, Wil M P (Ed.): 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, pp. 264–281, Springer, 2019.

Links | BibTeX | Tags:

Diskin, Zinovy; König, Harald; Lawford, Mark

Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput Journal Article

In: CoRR, vol. abs/1911.11302, 2019.

Links | BibTeX | Tags:

Diskin, Zinovy; König, Harald; Lawford, Mark

Multiple model synchronization with multiary delta lenses with amendment and K-Putput Journal Article

In: Formal Asp. Comput., vol. 31, no. 5, pp. 611–640, 2019.

Links | BibTeX | Tags:

Carette, Jacques; MacLachlan, Brooks; Smith, Spencer W

GOOL: A Generic Object-Oriented Language (extended version) Journal Article

In: arXiv preprint arXiv:1911.11824, 2019.

BibTeX | Tags:

Krithnan, Nikitha; Smith, Spencer W

Software Requirements Specification for GlassBR Journal Article

In: 2019.

BibTeX | Tags:

Smith, Spencer; Srinivasan, Malavika; Shankar, Sumanth

Debunking the myth that upfront requirements are infeasible for scientific computing software Inproceedings

In: Proceedings of the 14th International Workshop on Software Engineering for Science, pp. 33–40, IEEE Press 2019.

BibTeX | Tags:

2018

Diskin, Zinovy; Maibaum, Tom; Wassyng, Alan; Wynn-Williams, Stephen; Lawford, Mark

Assurance via model transformations and their hierarchical refinement Inproceedings

In: Proceedings of the 21st International Conference on Models Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 426 - 436, ACM, 2018.

Links | BibTeX | Tags: assurance case, block diagram, decomposition, model transformation, safety assurance, substitution

Schaap, Alexander; Marks, Gordon; Pantelic, Vera; Lawford, Mark; Selim, Gehan; Wassyng, Alan; Patcas, Lucian

Documenting Simulink designs of embedded systems Inproceedings

In: pp. 47-51, ACM, 2018, ISBN: 978-1-4503-5965-8.

Abstract | BibTeX | Tags: embedded systems, Interfaces of Simulink subsystems, Mathwork's SImulink Report Generator, mbd, model-based design, sdd, sdd template, semi-automatic generation of sdds, Signature Tool, Simulink model, software Design Description, software design documentation

Chowdhury, Thomas; Lesiuta, Eric; Rikley, Kerianne; Lin, Chung-Wei; Kang, Eunsuk; Kim, BaekGyu; Shiraishi, Shinichi; Lawford, Mark; Wassyng, Alan

Safe and Secure Automotive Over-the-Air Updates Inproceedings

In: pp. 172-187, Springer, Cham, 2018, ISBN: 978-3-319-99130-6.

Abstract | Links | BibTeX | Tags: assurance case template, critical vehicle functionality, integrated safety & security, ISO 26262, over-the-air updates, SAE J3061

Fung, Nick L S; Kokaly, Sahar; Sandro, Alessio Di; Salay, Rick; Chechik, Marsha

MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases Inproceedings

In: Skavhaug A. Gallina B., Schoitsch E. (Ed.): Computer Safety, Reliability, and Security. SAFECOMP 2018. Lecture Notes in Computer Science, Springer, Cham, 2018, ISBN: 978-3-319-99229-7.

Abstract | Links | BibTeX | Tags: assessment algorithm, assurance case, automotive domain, change impact assessment, critical domains, graphical assurance case editor, MMINT-A Tool, model-driven development, power sliding door, tool support

Qian, Zhizhao

High-Fidelity Simulation Model of a Dual FIFO CAN Stack Masters Thesis

McMaster University, 2018.

Abstract | Links | BibTeX | Tags: CAN, Controller Area Network, modeling, SimEvents, simulation, timing analysis

Diskin, Zinovy; König, Harald; Lawford, Mark

Multiple Model Synchronization with Multiary Delta Lenses Inproceedings

In: Fundamental Approaches to Software Engineering., Springer, Cham, 2018, ISBN: 978-3-319-89363-1.

Abstract | Links | BibTeX | Tags: consistency restoration, Framework of algebraic models, lens composition, lenses, MDE, multiary delta lens, multiple model synchronization, reflective updates, update propagation, violated consistency

Korobkine, Alexandre; Boimer, Romi; Pantelic, Vera; Shah, Syed Asim; Lawford, Mark; Castillo, Carlos; Weslati, Feisel

Automatic Calibrations Generation for Powertrain Controllers Using MapleSim Technical Report

2018.

Abstract | Links | BibTeX | Tags: automatic generation of calibration, hybrid electric vehicles, OEM model-based development process, powertains calibrations, powertrain-abstractions software, torque-speed equations

Kolovos, Dimitrios S; Paige, Richard F

Towards a modular and flexible human-usable textual syntax for EMF models. Inproceedings

In: MODELS Workshops, pp. 223–232, 2018.

BibTeX | Tags:

Ellison, Martyn; Calinescu, Radu; Paige, Richard F

Evaluating cloud database migration options using workload models Journal Article

In: Journal of Cloud Computing, vol. 7, no. 1, pp. 6, 2018.

BibTeX | Tags:

Marshall, Angus M; Paige, Richard

Requirements in digital forensics method definition: Observations from a UK study Journal Article

In: Digital Investigation, vol. 27, pp. 23–29, 2018.

BibTeX | Tags:

Smith, Spencer

Beyond software carpentry Inproceedings

In: Proceedings of the International Workshop on Software Engineering for Science, pp. 32–39, ACM 2018.

BibTeX | Tags:

Samouly, Aly Al; Luong, Chanh Nien; Li, Zhong; Smith, Spencer; Baetz, Brian; Ghaith, Maysara

Performance of multi-model ensembles for the simulation of temperature variability over Ontario, Canada Journal Article

In: Environmental earth sciences, vol. 77, no. 13, pp. 524, 2018.

BibTeX | Tags:

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

Poster: Assurance Cases for Scientific Computing Software Inproceedings

In: 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), pp. 420–421, IEEE 2018.

BibTeX | Tags:

Smith, Spencer; Sun, Yue; Carette, Jacques

Statistical software for psychology: Comparing development practices between CRAN and other communities Journal Article

In: arXiv preprint arXiv:1802.07362, 2018.

BibTeX | Tags:

Smith, Spencer W; Lazzarato, Adam; Carette, Jacques

State of the Practice for GIS Software Journal Article

In: arXiv preprint arXiv:1802.03422, 2018.

BibTeX | Tags:

Smith, Spencer W; Zeng, Zheng; Carette, Jacques

Seismology software: State of the practice Journal Article

In: Journal of Seismology, vol. 22, no. 3, pp. 755–788, 2018.

BibTeX | Tags:

Wasowski, Andrzej; Paige, Richard; Haugen, Øystein

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018 Journal Article

In: 2018.

BibTeX | Tags:

Kolovos, Dimitrios S; Paige, Richard F

Towards a modular and flexible human-usable textual syntax for EMF models Inproceedings

In: Hebig, Regina; Berger, Thorsten (Ed.): 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, pp. 223–232, CEUR-WS.org, 2018.

Links | BibTeX | Tags:

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

Parallel execution of first-order operations Inproceedings

In: Hebig, Regina; Berger, Thorsten (Ed.): 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, pp. 132–145, CEUR-WS.org, 2018.

Links | BibTeX | Tags:

Ciccozzi, Federico; Famelis, Michalis; Kappel, Gerti; Lambers, Leen; Mosser, Sebastien; Paige, Richard F; Pierantonio, Alfonso; Rensink, Arend; Salay, Rick; Taentzer, Gabi; others,

Towards a body of knowledge for model-based software engineering Inproceedings

In: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pp. 82–89, 2018.

BibTeX | Tags:

Marshall, Angus M; Paige, Richard

Requirements in digital forensics method definition: Observations from a UK study Journal Article

In: Digital Investigation, vol. 27, pp. 23–29, 2018.

BibTeX | Tags:

Ciccozzi, Federico; Famelis, Michalis; Kappel, Gerti; Lambers, Leen; Mosser, Sebastien; Paige, Richard F; Pierantonio, Alfonso; Rensink, Arend; Salay, Rick; Taentzer, Gabi; others,

How do we teach Modelling and Model-Driven Engineering? A survey Inproceedings

In: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pp. 122–129, 2018.

BibTeX | Tags:

Gerasimou, Simos; Kechagia, Maria; Kolovos, Dimitris; Paige, Richard; Gousios, Georgios

On software modernisation due to library obsolescence Inproceedings

In: 2018 IEEE/ACM 2nd International Workshop on API Usage and Evolution (WAPI), pp. 6–9, IEEE 2018.

BibTeX | Tags:

Sanchez, Beatriz A; Barmpis, Konstantinos; Neubauer, Patrick; Paige, Richard F; Kolovos, Dimitrios S

Restmule: enabling resilient clients for remote APIs Inproceedings

In: Proceedings of the 15th International Conference on Mining Software Repositories, pp. 537–541, 2018.

BibTeX | Tags:

Srivisut, Komsan; Clark, John A; Paige, Richard F

Dependent input sampling strategies: using metaheuristics for generating parameterised random sampling regimes Inproceedings

In: Proceedings of the Genetic and Evolutionary Computation Conference, pp. 1451–1458, 2018.

BibTeX | Tags:

Zolotas, Athanasios; Wei, Ran; Gerasimou, Simos; Rodriguez, Horacio Hoyos; Kolovos, Dimitrios S; Paige, Richard F

Towards Automatic Generation of UML Profile Graphical Editors for Papyrus Inproceedings

In: European Conference on Modelling Foundations and Applications, pp. 12–27, Springer, Cham 2018.

BibTeX | Tags:

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

Parallel Model Validation with Epsilon Inproceedings

In: European Conference on Modelling Foundations and Applications, pp. 115–131, Springer, Cham 2018.

BibTeX | Tags:

Srivisut, Komsan; Paige, Richard Freeman; Clark, John Andrew

Correlated Input Strategies: Using Metaheuristics for Generating Parameterised Random Sampling Regimes Inproceedings

In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2018, ACM 2018.

BibTeX | Tags:

Paige, Richard F

Engineering Bidirectional Transformations Incollection

In: Bidirectional Transformations, pp. 151–187, Springer, Cham, 2018.

BibTeX | Tags:

Ellison, Martyn; Calinescu, Radu; Paige, Richard F

Evaluating cloud database migration options using workload models Journal Article

In: Journal of Cloud Computing, vol. 7, no. 1, pp. 6, 2018.

BibTeX | Tags:

Srivisut, Komsan; Clark, John A; Paige, Richard F

Search-based temporal testing in an embedded multicore platform Inproceedings

In: International Conference on the Applications of Evolutionary Computation, pp. 794–809, Springer, Cham 2018.

BibTeX | Tags:

2017

Mohammad Gholizadeh, Hamid

A Query Structured Model Transformation Approach PhD Thesis

McMaster University, 2017.

Abstract | Links | BibTeX | Tags: Diagrammatic Queries, formal methods, Model Synchronization Taxonomy, model transformation

Diskin, Zinovy; Konig, Harald; Lawford, Mark

Multiple Model Synchronization with Multiary Delta Lenses Technical Report

2017.

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

896 entries « 2 of 18 »