Computer Science and Engineering (M.Sc.Eng.)
1 – 10 of 29
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Using machine learning hardware to solve linear partial differential equations with finite difference methods
- Contribution to journal › Article
-
Mark
Study of the use of property probes in an educational setting
- Contribution to journal › Article
-
Mark
Dynamic Dependency-Based Purity Checking
(2025) p.148-161
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Dynamic Dependency-Based Purity Checking (Artifact)
(2025)
- Other contribution › Miscellaneous
-
Mark
Navigating the Challenges and Opportunities of Securing Internet of Autonomous Vehicles With Lightweight Authentication
- Contribution to journal › Article
- 2024
-
Mark
Property probes : Live exploration of program analysis results
- Contribution to journal › Article
- 2023
-
Mark
Threats to validity in software engineering research: A critical reflection
(2023) In Information and Software Technology
- Contribution to journal › Article
- 2022
-
Mark
Exploring ML testing in practice - Lessons learned from an interactive rapid review with Axis Communications
(2022) 2022 IEEE/ACM 1st International Conference on AI Engineering – Software Engineering for AI (CAIN)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Property Probes: Source Code Based Exploration of Program Analysis Results (Artifact)
(2022)
- Other contribution › Miscellaneous
- 2021
-
Mark
Prototyping intrusion detection in an industrial cloud-native digital twin
(2021) 2021 22nd IEEE International Conference on Industrial Technology (ICIT)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
