Yr Athro Markus Roggenbach

Athro

Computer Science

+44 (0) 1792 543578

m.roggenbach@abertawe.ac.uk

955
Llawr Cyntaf
Adeilad Talbot
Campws Singleton

Ar gael ar gyfer Goruchwyliaeth Ôl-raddedig

Dolenni Ymchwil

https://orcid.org/0000-0002-3819-2787

Trosolwg

Mae'r Athro Markus Roggenbach yn ddarlithydd mewn Cyfrifiadureg, Prifysgol Abertawe.

Cyhoeddiadau

Uchafbwyntiau Ymchwil

Rosenberger, T., Knapp, A., & Roggenbach, M. (2022). An Institutional Approach to Communicating UML State Machines. In Fundamental Approaches to Software Engineering (pp. 205-224). Springer International Publishing.
https://doi.org/10.1007/978-3-030-99429-7_12, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa60036
Roggenbach, M., Cerone, A., Schlingloff, B., Schneider, G., & Shaikh, S. (2022). Formal Methods for Software Engineering (1st ed.). Springer International Publishing.
https://doi.org/10.1007/978-3-030-38800-3, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa58713
http://dx.doi.org/10.1007/978-3-030-38800-3
Hinns, J., Fan, X., Liu, S., Kovvuri, R., Yalcin, M., & Roggenbach, M. (2021). An Initial Study of Machine Learning Underspecification Using Feature Attribution Explainable AI Algorithms: A COVID-19 Virus Transmission Case Study. In PRICAI 2021: Trends in Artificial Intelligence (pp. 323-335). Springer International Publishing.
https://doi.org/10.1007/978-3-030-89188-6_24, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57960
Zhang, Y., Wang, H., James, P., Roggenbach, M., & Tian, D. (2022). A Train Protection Logic Based on Topological Manifolds for Virtual Coupling. IEEE Transactions on Intelligent Transportation Systems, 23(8), 11930-11945.
https://doi.org/10.1109/tits.2021.3108840, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57959
Rosenberger, T., Bensalem, S., Knapp, A., & Roggenbach, M. (2021). Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. In Recent Trends in Algebraic Development Techniques (pp. 120-141). Springer International Publishing.
https://doi.org/10.1007/978-3-030-73785-6_7, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa55328
Gimblett, A., Kahsai, T., O'Reilly, L., & Roggenbach, M. (2013). On the whereabouts of CSP-CASL – A survey. Electronic Communications of the EASST, 62
https://doi.org/10.14279/tuj.eceasst.62.873, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51786
https://journal.ub.tu-berlin.de/eceasst/article/view/873
Haveraaen, M. & Roggenbach, M. (2020). Specifying with syntactic theory functors. Journal of Logical and Algebraic Methods in Programming, 113, 100543
https://doi.org/10.1016/j.jlamp.2020.100543, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53791
Roggenbach, M., Gruner, S., Kumar, A., Maibaum, T., & Roggenbach, M. (2020). On the Construction of Engineering Handbooks Springer International Publishing.
https://doi.org/10.1007/978-3-030-44648-2, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa54031
http://dx.doi.org/10.1007/978-3-030-44648-2
Chen, L., Roggenbach, M., & Tucker, J. (2019). An Algebraic Theory for Data Linkage. In Recent Trends in Algebraic Development Techniques (pp. 47-66). Springer.
https://doi.org/10.1007/978-3-030-23220-7_3, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa50298
Blasco, J., Chen, T., Muttik, I., & Roggenbach, M. (2018). Detection of app collusion potential using logic programming. Journal of Network and Computer Applications, 105, 88-104.
https://doi.org/10.1016/j.jnca.2017.12.008, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa37676

Holl Ymchwil

Erthyglau Cylchgronau

Zhang, Y., Wang, H., James, P., Roggenbach, M., & Tian, D. (2022). A Train Protection Logic Based on Topological Manifolds for Virtual Coupling. IEEE Transactions on Intelligent Transportation Systems, 23(8), 11930-11945.
https://doi.org/10.1109/tits.2021.3108840, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57959
Haveraaen, M. & Roggenbach, M. (2020). Specifying with syntactic theory functors. Journal of Logical and Algebraic Methods in Programming, 113, 100543
https://doi.org/10.1016/j.jlamp.2020.100543, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53791
Blasco, J., Chen, T., Muttik, I., & Roggenbach, M. (2018). Detection of app collusion potential using logic programming. Journal of Network and Computer Applications, 105, 88-104.
https://doi.org/10.1016/j.jnca.2017.12.008, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa37676
Berger, U., James, P., Lawrence, A., Roggenbach, M., & Seisenberger, M. (2018). Verification of the European Rail Traffic Management System in Real-Time Maude. Science of Computer Programming, 154, 61-88.
https://doi.org/10.1016/j.scico.2017.10.011, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa37102
Knapp, A., Roggenbach, M., & Schlingloff, B. (2015). Automating Test Case Selection in Model-Based Software Product Line Development. International Journal of Software and Informatics, 9(2), 153-175.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa21771
http://www.ijsi.org/1673-7288/9/i213.htm
James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, H. (2014). On modelling and verifying railway interlockings: Tracking train lengths. Science of Computer Programming, 96, 315-336.
https://doi.org/10.1016/j.scico.2014.04.005, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa21769
James, P. & Roggenbach, M. (2014). Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. Mathematics in Computer Science, 8(1), 11-38.
https://doi.org/10.1007/s11786-014-0174-0, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa21768
Nguyen, H., James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, H. (2014). Techniques for modelling and verifying railway interlockings. International Journal on Software Tools for Technology Transfer, 16(6), 685-711.
https://doi.org/10.1007/s10009-014-0304-7, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa21770
Gimblett, A., Kahsai, T., O'Reilly, L., & Roggenbach, M. (2013). On the whereabouts of CSP-CASL – A survey. Electronic Communications of the EASST, 62
https://doi.org/10.14279/tuj.eceasst.62.873, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51786
https://journal.ub.tu-berlin.de/eceasst/article/view/873
James, P. & Roggenbach, M. (2010). Automatically Verifying Railway Interlockings using SAT-based Model Checking. Electronic Communications of the EASST, 35
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8085
Samuel, D., Roggenbach, M., & Isobe, Y. (2009). The Stable Revivals Model in CSP-Prover. Electronic Notes in Theoretical Computer Science, 250(2), 119
https://doi.org/10.1016/j.entcs.2009.08.021, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa164
O'Reilly, L., Roggenbach, M., & Isobe, Y. (2009). CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. Electronic Notes in Theoretical Computer Science, 250(2), 69
https://doi.org/10.1016/j.entcs.2009.08.018, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa165
Isobe, Y. & Roggenbach, M. (2008). CSP-Prover - A proof tool for the verification of scalable concurrent systems. Journal of Computer Software, 25(4), 85-92.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa166
Roggenbach, M. (2006). CSP-CASL—A new integration of process algebra and algebraic specification. Theoretical Computer Science, 354(1), 42
https://doi.org/10.1016/j.tcs.2005.11.007, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1726
Mossakowski, T., Schröder, L., Roggenbach, M., & Reichel, H. (2006). Algebraic–coalgebraic specification in CoCasl. The Journal of Logic and Algebraic Programming, 67(1-2), 146
https://doi.org/10.1016/j.jlap.2005.09.006, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1727

Llyfrau Awdurol

Roggenbach, M., Cerone, A., Schlingloff, B., Schneider, G., & Shaikh, S. (2022). Formal Methods for Software Engineering (1st ed.). Springer International Publishing.
https://doi.org/10.1007/978-3-030-38800-3, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa58713
http://dx.doi.org/10.1007/978-3-030-38800-3
Roggenbach, M., Gruner, S., Kumar, A., Maibaum, T., & Roggenbach, M. (2020). On the Construction of Engineering Handbooks Springer International Publishing.
https://doi.org/10.1007/978-3-030-44648-2, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa54031
http://dx.doi.org/10.1007/978-3-030-44648-2
Roggenbach, M. (2009). AVoCS'09 - Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa193
http://journal.ub.tu-berlin.de/index.php/eceasst/issue/view/32
O'Reilly, L. & Roggenbach, M. (2009). AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems Swansea University.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa194

Penodau Llyfrau

Banerjee, M., Cai, V., Lakshmanappa, S., Lawrence, A., Roggenbach, M., Seisenberger, M., & Werner, T. (2023). A Tool-Chain for the Verification of Geographic Scheme Data. In Editors: Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte (Ed.), Lecture Notes in Computer Science (pp. 211-224). Springer Nature Switzerland
https://doi.org/10.1007/978-3-031-43366-5_13, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa63851
James, P., Moller, F., & Roggenbach, M. (2023). Software Model Checking of Interlocking Programs. Lecture Notes in Computer Science (pp. 130-146). Springer Nature Switzerland
https://doi.org/10.1007/978-3-031-40132-9_9, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa63848
Asăvoae, I., Blasco, J., Chen, T., Kalutarage, H., Muttik, I., Nguyen, H., Roggenbach, M., & Shaikh, S. (2017). Detecting Malicious Collusion Between Mobile Software Applications: The Android TM Case. Data Analytics and Decision Support for Cybersecurity -97). Springer
https://doi.org/10.1007/978-3-319-59439-2_3, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa34902
Knapp, A., Mossakowski, T., Roggenbach, M., & Glauer, M. (2015). An Institution for Simple UML State Machines. Fundamental Approaches to Software Engineering -18). Springer
https://doi.org/10.1007/978-3-662-46675-9_1, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa28354
James, P., Knapp, A., Mossakowski, T., & Roggenbach, M. (2013). Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl. Recent Trends in Algebraic Development Techniques -194). Springer
https://doi.org/10.1007/978-3-642-37635-1_11, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa14355
Maldonado, A., Monteiro, L., & Roggenbach, M. (2010). Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum. Recent Trends in Algebraic Development Techniques (pp. 209
https://doi.org/10.1007/978-3-642-28412-0_14, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa5295
Kahsai, T. & Roggenbach, M. (2009). Property Preserving Refinement for Csp-Casl. Recent Trends in Algebraic Development Techniques (pp. 206Springer
https://doi.org/10.1007/978-3-642-03429-9_14, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa40
Isobe, Y. & Roggenbach, M. (2008). Verifying the uniform candy distribution puzzle with CSP-Prover. (pp. ??? pp.University Pretoria
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa24
Isobe, Y. & Roggenbach, M. (2008). Proof Principles of CSP – CSP-Prover in Practice. Springer
https://doi.org/10.1007/978-3-540-76862-3_42, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa7528
Isobe, Y. & Roggenbach, M. (2006). A Complete Axiomatic Semantics for the CSP Stable-Failures Model. CONCUR 2006 – Concurrency Theory (pp. 158
https://doi.org/10.1007/11817949_11, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1729
Yoshinao, I., Mark, R., & Roggenbach, M. (2005). A Generic Theorem Prover of CSP Refinement. Tools and Algorithms for the Construction and Analysis of Systems (pp. 108-123). Springer
https://doi.org/10.1007/b107194, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1728

Cyfraniadau Cynadleddau

Morgan, J., Crook, T., Morgan, J., Pauly, A., & Roggenbach, M. (2023). A Computability Perspective on (Verified) Machine Learning. In Recent Trends in Algebraic Development Techniques (pp. 63-80). Springer Nature Switzerland.
https://doi.org/10.1007/978-3-031-43345-0_3, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa63849
Rosenberger, T., Knapp, A., & Roggenbach, M. (2022). An Institutional Approach to Communicating UML State Machines. In Fundamental Approaches to Software Engineering (pp. 205-224). Springer International Publishing.
https://doi.org/10.1007/978-3-030-99429-7_12, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa60036
Hinns, J., Fan, X., Liu, S., Kovvuri, R., Yalcin, M., & Roggenbach, M. (2021). An Initial Study of Machine Learning Underspecification Using Feature Attribution Explainable AI Algorithms: A COVID-19 Virus Transmission Case Study. In PRICAI 2021: Trends in Artificial Intelligence (pp. 323-335). Springer International Publishing.
https://doi.org/10.1007/978-3-030-89188-6_24, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57960
Rosenberger, T., Bensalem, S., Knapp, A., & Roggenbach, M. (2021). Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. In Recent Trends in Algebraic Development Techniques (pp. 120-141). Springer International Publishing.
https://doi.org/10.1007/978-3-030-73785-6_7, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa55328
Cerone, A., Roggenbach, M., Davenport, J., Hopkins, C., Farrell, M., Haveraaen, M., Moller, F., Körner, P., Krings, S., Ölveczky, P., Schlingloff, B., Shilov, N., & Zhumagambetov, R. (2021). Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper. In Communications in Computer and Information Science (pp. 1-26). Springer International Publishing.
https://doi.org/10.1007/978-3-030-71374-4_1, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa60461
Chen, L., Roggenbach, M., & Tucker, J. (2019). An Algebraic Theory for Data Linkage. In Recent Trends in Algebraic Development Techniques (pp. 47-66). Springer.
https://doi.org/10.1007/978-3-030-23220-7_3, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa50298
Haxthausen, A., Nguyen, H., & Roggenbach, M. (2015). Comparing Formal Verification Approaches of Interlocking Systems. In Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (pp. 160-177). Springer International Publishing.
https://doi.org/10.1007/978-3-319-33951-1_12, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa61983
James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, . (2014). Decomposing scheme plans to manage verification complexity. In FORMS/FORMAT- 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa37077
Maldonado, A., Monteiro, L., & Roggenbach, M. (2012). Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum. In Recent Trends in Algebraic Development Techniques (pp. 209-225). Springer.
https://doi.org/10.1007/978-3-642-28412-0_14, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8086
http://link.springer.com/chapter/10.1007%2F978-3-642-28412-0_14
O’Reilly, L., Mossakowski, T., Roggenbach, M., & O'Reilly, L. (2012). Compositional Modelling and Reasoning in an Institution for Processes and Data. In Recent Trends in Algebraic Development Techniques (pp. 251-269). Springer.
https://doi.org/10.1007/978-3-642-28412-0_16, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8087
http://link.springer.com/chapter/10.1007%2F978-3-642-28412-0_16
Roggenbach, M. & James, P. (2011). Designing Domain Specific Languages for Verification: First Steps..
https://doi.org/10.1.1.220.7401, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8089
http://www.cs.swan.ac.uk/~csmarkus/ProcessesAndData/Papers/james11a.pdf
Holland, G., Kahsai, T., Roggenbach, M., & Schlingloff, B. (2009). Towards formal testing of jet engine Rolls-Royce BR725. (pp. 217-229). Institute of Informatics, Warsaw University.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa38
Roggenbach, M. (2009). SAT-based model checking of train control systems. (pp. 15-17). University of Udine.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa39
Gimblett, A., Kahsai, T., O'Reilly, L., & Roggenbach, M. (2009). On the whereabouts of CSP-CASL - A survey. (pp. 121-139). Sichere Kognitive Systeme, DFKI Bremen.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa104
James, P., Isobe, Y., & Roggenbach, M. (2009). Verifying train control software - An exercise in SAT-based model checking. In 11th JSSST Workshop on Programming and Programming Languages (PPL2009) (pp. 1Japan Society for Software Science and Technology.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa196
http://www.cs.swan.ac.uk/~csmarkus/ProcessesAndData/sites/default/files/uploads/papers/james09a.txt
Kahsai, T. & Roggenbach, M. (2009). Property Preserving Refinement for Csp-Casl. In Recent Trends in Algebraic Development Techniques (pp. 206-220).
https://doi.org/10.1007/978-3-642-03429-9_14, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa7529
Holland, G., Kahsai, T., Roggenbach, M., & B.H., S. (2009). Towards formal testing of jet engine Rolls-Royce BR725.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8083
Roggenbach, M. (2008). Tools for CSP. (pp. 213IEEE.
https://doi.org/10.1109/SEFM.2008.39, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa20
Kahsai, T. & Roggenbach, M. (2008). Refinement notions for CSP-CASL. (pp. 15-16). Universita di Pisa, Dipartimento di Informatica.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa21
http://eprints.adm.unipi.it/2208/
Mossakowski, T. & Roggenbach, M. (2008). An institution for processes and data. (pp. 13-14). Universita di Pisa, Dipartimento di Informatica.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa23
http://eprints.adm.unipi.it/2208/
Kahsai, T., Roggenbach, M., & Schlingloff, B. (2008). Specification-based testing for Software Product Lines. (pp. 149-159). IEEE.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa34
Yoshinao, I. & Roggenbach, M. (2008). CSP-Prover - A Proof Tool for the Verification of Scalable Concurrent Systems.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa5293
Kahsai, T., Roggenbach, M., & Schlingloff, B. (2008). Speci?cation-Based Testing for Software Product Lines. In Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on (pp. 149-158). IEEE.
https://doi.org/10.1109/SEFM.2008.38, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa5294
Gruner, S., Kourie, D., Roggenbach, M., Strauss, T., & Watson, B. (2008). A New CSP Operator for Optional Parallelism. (pp. 788
https://doi.org/10.1109/CSSE.2008.1131, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa7530
Gruner, S., Kourie, D., Roggenbach, M., Strauss, T., & Watson, B. (2008). A New CSP Operator for Optional Parallelism. In 2008 International Conference on Computer Science and Software Engineering (pp. 788IEEE.
https://doi.org/10.1109/CSSE.2008.1131, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa37
Isobe, Y., Merrin, W., & Roggenbach, M. (2007). Proof principles of CSP - CSP-Prover in practice. (pp. 425-442). Springer.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa27

Llyfrau wedi'u Golygu

Haxthausen, A., Huang, W., & Roggenbach, M. (Eds.). (2023). Applicable Formal Methods for Safe Industrial Products. Springer Nature Switzerland.
https://doi.org/10.1007/978-3-031-40132-9, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa64591

Cynnyrch Ymchwil Arall

A.P., M., Monteiro, L., & Roggenbach, M. (2010). Towards bialgebraic semantics for CSP.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8084
http://ctp.di.fct.unl.pt/~apm/publications/MMR-TR-3-2010.pdf

Goruchwyliaeth

Creating Synthetic Test Data for Rail Design Tools (cyfredol)

PhD

Goruchwyliwr arall: Dr Monika Seisenberger
Testing of Railway RBCs in ERTMS Level 2 using Formal Methods (cyfredol)

PhD

Goruchwyliwr arall: Dr Monika Seisenberger
Institution-based Semantics and Tool Support for the UML (dyfarnwyd 2023)

PhD

Goruchwyliwr arall: Dr Phillip James
Exploring the IC3 Algorithm to Improve the Siemens-Swansea Ladder Logic Verification Tool (dyfarnwyd 2023)

MRes

Goruchwyliwr arall: Dr Oliver Kullmann
An empirical evaluation of a quality assurance process: A case study in the railway sector (cyfredol)

MSc

Goruchwyliwr arall: Dr Eike Neumann
Show me how it's wrong: Counterexample Visualisation in Static Railway Verification (cyfredol)

MSc

Goruchwyliwr arall: Dr Monika Seisenberger
Quantifying Underspecification in Machine Learning with Explainable AI (dyfarnwyd 2022)

MSc

Goruchwyliwr arall: Dr Xiuyi Fan

Modiwlau a Addysgir

CS-135 Professional Issues 2: Software Development

The aim of this module is to give an understanding of fundamental software engineering tools, testing and design methods that are used to create reliable software. A number of state-of-the-art development environments will be shown, with hands-on experimentation and use of test systems. Students will also be given a sound grasp of the use of these systems in the different professional software engineering processes used in the software industry. Innovative software engineering methods such as Extreme Programming will be introduced and learnt in hands-on laboratory work.
CSCM23 Designing-in Trust, Understanding and Negotiation

This module explores state-of-the-art methods and concepts to assist responsible design and development of technology with the aim of creating reliable and trusted systems. The content of this module will be delivered by expert lecturers and practitioners in the areas of trusted computation, bias and explainability in automated decision making and decision support, ethical considerations for AI, argumentation and negotiation, as well as formal methods, such as verification of critical systems.

Yr Athro Markus Roggenbach

Rhif ffôn

Cyfeiriad ebost

Dolenni Ymchwil

Trosolwg

Uchafbwyntiau Ymchwil

Holl Ymchwil

Creating Synthetic Test Data for Rail Design Tools (cyfredol)

Testing of Railway RBCs in ERTMS Level 2 using Formal Methods (cyfredol)

Institution-based Semantics and Tool Support for the UML (dyfarnwyd 2023)

Exploring the IC3 Algorithm to Improve the Siemens-Swansea Ladder Logic Verification Tool (dyfarnwyd 2023)

An empirical evaluation of a quality assurance process: A case study in the railway sector (cyfredol)

Show me how it's wrong: Counterexample Visualisation in Static Railway Verification (cyfredol)

Quantifying Underspecification in Machine Learning with Explainable AI (dyfarnwyd 2022)

CS-135 Professional Issues 2: Software Development

CSCM23 Designing-in Trust, Understanding and Negotiation