Software Systems

Bamberger, A. & Fernández, M., 21 Jun 2024, SaT-CPS 2024 - Proceedings of the 2024 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems. Association for Computing Machinery, Inc, p. 31-40 10 p. (SaT-CPS 2024 - Proceedings of the 2024 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

Automated Grading and Feedback Tools for Programming Education: A Systematic Review

Messer, M., Brown, N. & Kölling, M., 19 Feb 2024, In: Transactions of Computing Education. 24, 1

Research output: Contribution to journal › Article › peer-review

Open Access

File

11 Citations (Scopus)

151 Downloads (Pure)

Automated Requirements Engineering in Agile Development: A Practitioners Survey

Umar, M. A. & Lano, K., 2024.

Research output: Contribution to conference types › Paper › peer-review

Comparative Evaluation of NLP Approaches for Requirements Formalisation

Rahimi, S. K., Lano, K., Tehrani, S. Y., Lin, C., Liu, Y. & Umar, M. A., 2024, Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering. Domínguez Mayo, F. J., Pires, L. F. & Seidewitz, E. (eds.). Science and Technology Publications, Lda, p. 125-132 8 p. (International Conference on Model-Driven Engineering and Software Development; vol. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

Explaining Image Classifiers

Chockler, H. & Halpern, J. Y., Jul 2024, (Accepted/In press) 21st International Conference on Principles of Knowledge Representation and Reasoning (KR'2024).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

File

8 Downloads (Pure)

Grading Documentation with Machine Learning

Messer, M., Shi, M., Brown, N. & Kölling, M., 2024, (Accepted/In press) 25th International Conference on Artificial Intelligence in Education . SpringerLink

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

File

2 Downloads (Pure)

Hierarchical Higher-Order Port Graphs: A Rewriting-Based Modelling Language

Fernandez, M. & Mackie, I., 1 Sept 2024, Proceedings of PPDP 2024.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

File

49 Downloads (Pure)

Model-Driven Approaches for Reverse Engineering - A Systematic Literature Review

Siala, H. A., Lano, K. & Alfraihi, H., 2024, In: IEEE Access. 12, p. 62558-62580 23 p.

Research output: Contribution to journal › Article › peer-review

Open Access

Move your MDE teaching online: The MDENet Education Platform

Zschaler, S., Barnett, W., Boronat, A., Garcia-Dominguez, A. & Kolovos, D., 7 Aug 2024, (Accepted/In press) MODELS 2025, Tools and Demonstrations track. 5 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

File

30 Downloads (Pure)

Object Constraint Language based test case optimization with modified Average Percentage of Fault Detection metric

Jin, K. & Lano, K., 2024, (Accepted/In press) In: Journal of Software: Evolution and Process.

Research output: Contribution to journal › Article › peer-review

Open Access

Potential and Challenges of Assurance Cases for Simulation Validation

Wilsdorf, P., Zschaler, S., Haack, F. & Uhrmacher, A., 5 Jun 2024, (Accepted/In press) Proceedings of the 2024 Winter Simulation Conference. 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

File

32 Downloads (Pure)

Requirements for Modelling Tools for Teaching

Kienzle, J., Zschaler, S., Barnett, W., Saglam, T., Bucchiarone, A., Abrahao, S., Syriani, E., Kolovos, D., Lethbridge, T., Mustafiz, S. & Meacham, S., 13 Jun 2024, (Accepted/In press) In: Software and Systems Modeling. 31 p.

Research output: Contribution to journal › Article › peer-review

Open Access

File

33 Downloads (Pure)

The Ackermann Award 2023

Fernández, M., Goubault-Larrecq, J. & Kesner, D., Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Murano, A. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 288).

Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution › peer-review

Open Access

Using model-driven engineering to automate software language translation

Lano, K. & Siala, H., May 2024, In: Automated Software Engineering. 31, 1, 20.

Research output: Contribution to journal › Article › peer-review

Open Access

4 Citations (Scopus)

Using model-driven engineering to automate software translation

Lano, K. & Siala, H., 28 Feb 2024, In: Automated Software Engineering. 31, 56 p., 20.

Research output: Contribution to journal › Article › peer-review

Writing Between the Lines: How Novices Construct Java Programs

Brown, N., Mac, V., Weill-Tessier, P. & Kölling, M., 7 Mar 2024, SIGCSE 2024: Proceedings of the 55th ACM Technical Symposium on Computer Science Education. Vol. 1. p. 165-171 7 p. (SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education; vol. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

File

17 Downloads (Pure)

2023

A generic framework for representing and analyzing model concurrency

Zschaler, S., Bousse, E., Deantoni, J. & Combemale, B., 9 Jan 2023, In: Software and Systems Modeling. 22, 4, p. 1319-1340 22 p.

Research output: Contribution to journal › Article › peer-review

Open Access

File

2 Citations (Scopus)

53 Downloads (Pure)

An eye tracking study assessing the impact of background styling in code editors on novice programmers' code understanding

Brown, N., Kölling, M. & Weill-Tessier, P., 6 Aug 2023, International Computing Education Research (ICER) 2023. Association for Computing Machinery, Inc

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

File

148 Downloads (Pure)

An Online Education Platform for Teaching MDE

Barnett, W., Zschaler, S., Boronat, A., Garcia-Dominguez, A. & Kolovos, D., 18 Aug 2023, (Accepted/In press) Educators Symposium at MODELS 2023.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

File

136 Downloads (Pure)

Artifact of GrayC: Greybox Fuzzing of Compilers and Analysers for C: Available, Functional, and Reusable badges

Even-Mendoza, K., Sharma, A., Donaldson, A. F. & Cadar, C., 17 Jul 2023

Research output: Non-textual form › Data set/Database

Automatic Inference of Smart Data Discovery Interfaces for Rare Disease Datasets

Boronat, A., Ademeyo, A., Mehtarizadeh, M. & Zschaler, S., 15 Jun 2023, (Accepted/In press) 3rd International Health Data Workshop (HEDA'23).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Code Generation by Example Using Symbolic Machine Learning

Lano, K. & Xue, Q., 17 Jan 2023, In: SN Computer Science. 4, 2, p. 1-23 170.

Research output: Contribution to journal › Article › peer-review

Open Access

7 Citations (Scopus)

Deciding FO-definability of regular languages and ontology-mediated queries in Linear Temporal Logic

Kurucz, A., Ryzhikov, V., Savateev, Y. & Zakharyaschev, M., 14 Mar 2023, In: Journal of Artificial Intelligence Research. 76, p. 645-703

Research output: Contribution to journal › Article › peer-review

Open Access

File

33 Downloads (Pure)

Definitions and (uniform) Interpolants in first-order modal logic

Kurucz, A., Wolter, F. & Zakharyaschev, M., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). p. 417-428

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

4 Citations (Scopus)

Designing Learning Paths with Open Educational Resources: A Case Study in Model-Driven Engineering

Buccharione, A., Vazquez-Ingelmo, A., Schiavo, G., Garcia-Holgado, A., Garcia-Penalvo, F. & Zschaler, S., 29 Mar 2023, (Accepted/In press) 18th Iberian Conference on Information Systems and Technologies.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

File

73 Downloads (Pure)

Finding the Right Way to Rome: Effect-oriented Graph Transformation

Kosiol, J., Strüber, D., Taentzer, G. & Zschaler, S., 22 Apr 2023, (Accepted/In press) International Conference on Graph Transformations.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

File

32 Downloads (Pure)

From Static to Dynamic Access Control Policies via Attribute-Based Category Mining

Bamberger, A. & Fernández, M., 2023, Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Proceedings. Glück, R. & Kafle, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 188-197 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14330 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

1 Citation (Scopus)

GrayC: Greybox Fuzzing of Compilers and Analysers for C

Even-Mendoza, K., Sharma, A., Donaldson, A. F. & Cadar, C., 17 Jul 2023, ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis: The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). Just, R. & Fraser, G. (eds.). ACM, p. 1219-1231 13 p. (ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

5 Citations (Scopus)

KMEHR to FHIR case solution with UML-RSDS

Lano, K. & Rouhi, A., 2023, Transformation Tool Contest, 2023. Vol. 3620. 8 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees

Cairoli, F., Bortolussi, L. & Paoletti, N., 22 Jun 2023, (Accepted/In press) 23rd International Conference on Runtime Verification. Springer

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

File

68 Downloads (Pure)

Machine Learning-Based Automated Grading and Feedback Tools for Programming: A Meta-Analysis

Messer, M., Brown, N., Kölling, M. & Shi, M., 30 Jun 2023, Proceedings of the 28th ACM Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, Inc, Vol. 1.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

File

7 Citations (Scopus)

96 Downloads (Pure)

MathOCL: a domain-specific language for financial modelling

Haughton, H., Tehrani, S. Y. & Lano, K., 2023. 10 p.

Research output: Contribution to conference types › Paper › peer-review

Nominal AC-Matching

Ayala-Rincón, M., Fernández, M., Silva, G. F., Kutsia, T. & Nantes-Sobrinho, D., 1 Sept 2023, Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Proceedings. Dubois, C. & Kerber, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 53-68 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14101 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

File

1 Citation (Scopus)

32 Downloads (Pure)

Nominal Techniques for Software Specification and Verification

Fernández, M., Jun 2023, 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023. Gaboardi, M. & van Raamsdonk, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 260).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Picking a CHERI Allocator: Security and Performance Considerations

Bramley, J., Jacob, D., Lascu, A., Singer, J. & Tratt, L., 6 Jun 2023, In: International Symposium on Memory Management, ISMM. p. 111-123 13 p.

Research output: Contribution to journal › Conference paper › peer-review

Open Access

4 Citations (Scopus)

POSIX Lexing with Bitcoded Derivatives

Tan, C. & Urban, C., 18 Apr 2023, (Accepted/In press) 14th International Conference on Interactive Theorem Proving (ITP 2023). Naumowicz, A. & Thiemann, R. (eds.). p. 26:1-26:18 18 p. 26

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

File

49 Downloads (Pure)

POSIX Lexing with Derivatives of Regular Expressions

Urban, C., Sept 2023, In: JOURNAL OF AUTOMATED REASONING. 67, 3, 24.

Research output: Contribution to journal › Article › peer-review

Open Access

File

2 Citations (Scopus)

41 Downloads (Pure)

Preface

Fernández, M. & Poskitt, C., 2023, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 13961 LNCS, p. v-vi

Research output: Contribution to journal › Editorial › peer-review

Program Abstraction and Re-Engineering: An Agile MDE Approach

Lano, K., Haughton, H., Yuan, Z. & Alfraihi, H., 2023, p. 211-220. 10 p.

Research output: Contribution to conference types › Paper › peer-review

4 Citations (Scopus)

Program abstraction by transformation: Abstraction of Visual Basic to UML

Lano, K. & Kolahdouz-Rahimi, S., 2023, Transformation Tool Contest 2023. Vol. 3620. 8 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Quantifying Harm

Beckers, S., Chockler, H. & Halpern, J. Y., 2023, (Accepted/In press) THE 32nd INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2023.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

File

70 Downloads (Pure)

Quick Fixes for novice programmers: effective but under-utilised

Brown, N. C. C., Weill-Tessier, P., Ford, J. & Kölling, M., 7 Sept 2023, UKICER 2023 - Proceedings of the 2023 Conference on United Kingdom and Ireland Computing Education Research. 2023 ed. Association for Computing Machinery, 7 p. 3. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

File

110 Downloads (Pure)

Specifiable robustness in reactive synthesis

Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 23 Mar 2023, In: FORMAL METHODS IN SYSTEM DESIGN. 60, 2, p. 259-276 18 p.

Research output: Contribution to journal › Article › peer-review

Open Access

File

34 Downloads (Pure)

Supporting Emergency Department Risk Mitigation with a Modular and Reusable Agent-Based Simulation Infrastructure

Godfrey, T., Zschaler, S., Batra, R., Douthwaite, S. T., Edgeworth, J., Edwards, M. & Miles, S., 9 Jun 2023, (Accepted/In press) 2023 Winter Simulation Conference.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access

File

58 Downloads (Pure)

The Category-Based Approach to Access Control, Obligations and Privacy

Fernández, M., 24 May 2023, SACMAT 2023 - Proceedings of the 28th ACM Symposium on Access Control Models and Technologies. Association for Computing Machinery, p. 1-2 2 p. (Proceedings of ACM Symposium on Access Control Models and Technologies, SACMAT).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Software Systems

Research output

Search results