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

944 entries « 1 of 19 »

2022

Formica, Federico; Fan, Tony; Rajhans, Akshay; Pantelic, Vera; Lawford, Mark; Menghi, Claudio

Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks Proceedings Article

In: pp. 1-12, 2022.

Links | BibTeX | Tags:

Gidon, Ernst; Arcaini, Paolo; Fainekos, Georgios; Formica, Federico; Inoue, Jun; Khandait, Tanmay; Mahboob, Mohammad Mahdi; Menghi, Claudio; Pedrielli, Giulia; Waga, Masaki; Yamagata, Yoriyuki; Zhang, Zhenya

ARCH-COMP 2022 Category Report Falsification with Ubounded Resources Proceedings Article

In: Proceedings of 9th International Workshop on Applied Ventrification of Continuous and Hybrid Systems (ARCH22), pp. 204-221, 2022.

Links | BibTeX | Tags:

Menghi, Claudio; Tsigkanos, Christos; Askarpour, Mehrnoosh; Pelliccione, Patrizio; Vasquez, Gricel; Calinescu, Sergio; Radu, Garcia

Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties Journal Article

In: Transactions on Software Engineering (TSE), pp. 1-20, 2022.

Links | BibTeX | Tags:

Viger, Torin; Murphy, Logan; DiSandro, Alessio; Menghi, Claudio; Shain, Ramy; Chechik, Marsha

The ForeMoSt Approach to Building Valid Model-based Safety Arguments Journal Article

In: Software and Systems Modeling, 2022.

Links | BibTeX | Tags:

Ayesh, Mostafa; Mehan, Namya; Dhanraj, Ethan; El-Rahwan, Abdul; Opalka, Simon Emil; Fan, Tony; Hamilton, Akil; Jacob, Akshay Mathews; Sundarrajan, Rahul Anthony; Widjaja, Bryan; Menghi, Claudio

Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device Proceedings Article

In: pp. 18-25, Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022.

Abstract | Links | BibTeX | Tags:

Muralidharan, Naveen Ganesh; Pantelic, Vera; Bandur, Victor; Paige, Richard

Integrating Software Issue Tracking and Traceability Models Proceedings Article

In: 38th IEEE International Conference on Software Maintenance and Evolution (ICSME), pp. 429-433, 2022.

Links | BibTeX | Tags:

Loganathan, Akila; Paige, Richard F.

An investigation into the effect of cluster-based preprocessing on software migration. Proceedings Article

In: MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pp. 539-545, 2022.

Links | BibTeX | Tags:

Jaskolka, Monika; Pantelic, Vera; Wassyng, Alan; Lawford, Mark; Paige, Richard F

Repository Mining for Changes in Simulink Models Proceedings Article

In: 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 46-57, 2022.

Abstract | Links | BibTeX | Tags:

Meyer, Guy; Wassyng, Alan; Lawford, Mark; Sabri, Kourosh; Shirani, Shahram

Literature Review of Computer Tools for the Visually Impaired: a focus on Search Engines Journal Article

In: Artificial Intelligence in Healthcare and Medicine, pp. 238-256, 2022.

Links | BibTeX | Tags:

Huangfu, Yixin; Seddik, Essam; Habibi, Saeid; Wassyng, Alan; Tjong, Jimi

Fault Detection and Diagnosis of Engine Spark Plugs Using Deep Learning Techniques Journal Article

In: SAE International Journal of Engines, vol. 15, iss. (4) , pp. 515-525, 2022.

Links | BibTeX | Tags:

Huangfu, Yixin; Habibi, Saeid; Wassyng, Alan

System Failure Detection Using Deep Learning Models Integrating Timestamps With Nonuniform Intervals Journal Article

In: IEEE Access. , vol. 10: 17629-17640., 2022.

Links | BibTeX | Tags:

Carette, Jacques

A guided tour through my work Presentation

05.10.2022, (MSP 101 Seminar, University of Strathclyde, Glasgow, UK.).

BibTeX | Tags:

Kienzle, Joerg; Combemale, Benoit; Mussbacher, Gunter; Alam, Omar; Bordeleau, Francis; Burgueno, Lola; Engels, Gregor; Galasso, Jessie; Jézéquel, Jean-Marc; Kemme, Bettina; Mosser, Sébastien; Sahraoui, Houari; Schiedermeier, Maximilian; Syriani, Eugene

Global Decision Making Over Deep Variability in Feedback-Driven Software Development Proceedings Article

In: In 37th IUEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022 ACM, pp. 1-6, 2022.

Links | BibTeX | Tags:

Carette, Jacques

What I learned from formalizing Category Theory in Agda Presentation

22.09.2022, (Topos Seminar, Topos Institute).

BibTeX | Tags:

Deevey, Spencer; Wassyng, Alan; Lawford, Mark; Pantelic, Vera; Paige, Richard

Sentinel: A Safety Architecture for SAE J3016 Level 5 Autonomous Vehicles. Proceedings Article

In: Critical Automotive applications: Robustness & Safety, Sep 2022, Saragoza, Spain. hal-03782509 , 2022.

Abstract | Links | BibTeX | Tags:

Saravani, Seyed Habib Hosseini; Normand, Lancelot; Maupomé, Diego; Rancourt, Fanny; Soulas, Thomas; Besharati, Sara; Normand, Anaelle; Mosser, Sébastien; Meurs, Marie-Jean

Measuring the Severity of the Signs of Eating Disorders Using Similarity-Based Models Proceedings Article

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, 2022, pp. 936-946, 2022.

Links | BibTeX | Tags:

Assunção, Wesley K. G.; Ayala, Inmaculada; Krüger, Jacob; Mosser, Sébastien

International Workshop on Variability Management for Modern Technologies Proceedings Article

In: VM4Mode3rnTech 2022). In SPLC '22: 26th ACM International Systems and Software Product Line conference, Graz, Austria, September 12-16, 2022, pp. 266, 2022.

Links | BibTeX | Tags:

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

From legacy to microservices: A type-based approach for microservices identification using machine learning and semantic analysis Journal Article

In: Software: Evolution and Process (JSEP) 2022, pp. 1-23, 2022.

Links | BibTeX | Tags:

Mosser, Sebastien

From Software Composition at Scale to Scaling software composition: 50 shades of scalability Presentation

Consortium for Software Engineering Research (CSER) 2022 Spring Meeting. May 2022, 01.05.2022.

BibTeX | Tags:

Mosser, Sebastien

Dockerizing your Teaching: Do's and Don'ts. Presentation

The MDE Network, 01.03.2022.

BibTeX | Tags:

Mosser, Sebastien

Génie Logiciel pour la Population Vieillissante Presentation

La France à L'UQAM Feb. 2022, 01.02.2022.

BibTeX | Tags:

Bandur, Victor; Kapinski, Ryan; Pantelic, Vera; Lawford, Mark; Wasacz, Bryon

Aspects of Migrating from Decentralized to Centralized E/E Architectures Conference

WCX SAE World Congress Experience, Detroit, MI, United States of America (No. 2022-01-0747) 2022/3, 2022.

Links | BibTeX | Tags:

Moore, Nicholas; Lawford, Mark

A case study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification. Conference

International Symposium on Theoretical Aspects of Software Engineering (TASE 2022), Cluj, Romania, 2022.

BibTeX | Tags:

Lesiuta, Eric; Bandur, Victor; Lawford, Mark

SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection Conference

1st International Workshop on system Security Assurance (SecAssure 2022), Copenhagen, Denmark 2022/9, 2022.

BibTeX | Tags:

Paige, Richard F.; Polack, Fiona A. C.; Zschaler, Steffen; Chiang, Thomas; Annable, Nicholas

Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models Journal Article

In: Journal of Object Technology, pp. 1-11, 2022.

Links | BibTeX | Tags:

Annable, Nicholas; Chiang, Thomas; Lawford, Mark; Paige, Richard F.; Wassyng, Alan

Generating Assurance Cases Using Workflow Models Conference

Part of the Lecture Notes in Computer Science book series , vol. 13414, 2022.

Links | BibTeX | Tags:

Chiang, Thomas; Mendoza, Rodrigo Gomez; Mahmood, Johan; Paige, Richard F.

Towards the adoption of model based system safety engineering in the automotive industry Proceedings Article

In: MODELS '22: Proceedings of the 25th international Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pp. 579-587, 2022.

Links | BibTeX | Tags:

Annable, Nicholas; Bayzat, Alison; Lawford, Mark; Paige, Richard; Wassyng, Alan

Model-Driven Safety of Autonomous Vehicles Proceedings Article

In: Recent Trends and Advances in Model Based Systems Engineering, pp. 407-417, 2022.

Links | BibTeX | Tags:

Annable, Nicholas; Chiang, Thomas; Lawford, Mark; Paige, Richard F.; Wassyng, Alan

Generating Assurance Cases Using Workflow+ Models Proceedings Article

In: International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022) Part of the Lecture Notes in Computer Science book series (LNCS, volume 13414), pp. 97-110, 2022.

Links | BibTeX | Tags:

Carette, Jacques; Soraine, S.

Types for Players Proceedings Article

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

BibTeX | Tags:

DeMeo, William; Carette, Jacques

A Machine-checked Proof of Birkhoff's Variety theorem in Martin-Löf Type Theory Proceedings Article

In: 27th International Conference on types for Proofs and Programs (TYPES 2021) LIPIcs volume 239 p. 4:1-4:21., pp. 1-21, 2022.

Links | BibTeX | Tags:

Mosser, Sébastien; Pulgar, Corinne; Reinharz, Vladimir

Modelling Agile Backlogs as Composable Artefacts to support Developers and Product Owners Journal Article

In: Journal of Object Technology (JOT) 2022, pp. 1-14, 2022.

Links | BibTeX | Tags:

Carette, Jacques; James, Roshan P.; Sabry, Amr

Embracing the laws of Physics: Three Reversible Models of Comptutation Journal Article

In: Advances in Computers, vol. 126, pp. 15-36, 2022.

Links | BibTeX | Tags:

Smith, Graeme; Carette, Jacques

What Lies Beneath - A survey of Affective Theory Use in Computational Models of Emotion Journal Article

In: IEEE Transactions on Affective computing, vol. 13, iss. 4, pp. 1793-1812, 2022.

Links | BibTeX | Tags:

2021

Repository Mining for Changes in Simulink Models. Conference

ACM/IEEE International Conference on Model Drive Engineering Languaes and Systems (MODELS), 2021.

BibTeX | Tags:

Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt Conference

ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2021.

BibTeX | Tags:

Sanchez, Beatriz A; Zolotas, Athanasios; Rodriguez, Horacio Hoyos; Kolovos, Dimitris S; Paige, Richard F.; Cooper, Justin C.; Hampson, Jason

Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries Journal Article

In: Software and Systems Modeling, vol. 20, iss. 6, pp. 1889-1918, 2021.

Links | BibTeX | Tags:

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

Distributed model validation with Epsilon Journal Article

In: Software and Systems Modeling, vol. 20, iss. 5, pp. 1689-1712, 2021.

Links | BibTeX | Tags:

Askarpour, Mehrnoosh; Wassyng, Alan; Lawford, Mark; Paige, Richard F.; Diskin, Zinovy

Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey Journal Article

In: CoRR. abs, pp. 2111.14324, 2021.

Links | BibTeX | Tags:

Bandur, Victor; Selim, Gehan; Pantelic, Vera; Lawford, Mark

Making the Case for Centralized Automotive E/E Architectures Journal Article

In: IEEE Transactions on Vehicular Technology , vol. 70, iss. 2, pp. 1230-1245, 2021.

Links | BibTeX | Tags:

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

Bandur, Victor; Pantelic, Vera; Dawson, Matthew; Schaap, A.; Wasacz, Bryon; Lawford, Mark

A domain-centralized automotive powertrain E/E architecture. Conference

2021.

Links | BibTeX | Tags:

Singh, Neeraj Kumar; Lawford, Mark; Maibaum, Tom; 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

Dongol, Brijesh; Bell, Ron; Habli, Ibrahim; Lawford, Mark; Moore, Pippa; Saigol, Zeyn

Regulation and Ethics of Robotics and Autonomous Systems Book Chapter

In: pp. 467–483, 2021.

Links | BibTeX | Tags:

2020

Supporting robotic software migration using static analysis and model-driven engineering. Conference

ACM/IEEE MoDELS 2020, Montreal Canada, 2020.

BibTeX | Tags:

An Architecture for the Development of Distributed Analytics Based on Polystore Events. Conference

Heterogeneous Data Management, Polystores and Analytics for Healthcare: VLDB Workshops, Poly 2020 and DMAH 2020, 2020.

BibTeX | Tags:

To build, or not to build: ModelFlow, a build solution for MDE projects Conference

ACM/IEEE Models , 2020.

BibTeX | Tags:

Polyglot and Distributed Software Repository Mining with Crossflow. Conference

Mining Software Repositories, 2020.

BibTeX | Tags:

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

Automatic generation of UML profile graphical editors for Papyrus Journal Article

In: Software and Systems Modeling, vol. 19, iss. 5, 2020.

Links | BibTeX | Tags:

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:

944 entries « 1 of 19 »