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
Navigating the Challenges and Opportunities of Securing Internet of Autonomous Vehicles With Lightweight Authentication
(
- Contribution to journal › Article
-
Mark
Dynamic Dependency-Based Purity Checking (Artifact)
2025)(
- Other contribution › Miscellaneous
- 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
Demonstration: A cloud-control system equipped with intrusion detection and mitigation
2021) The Conference on Networked Systems (NetSys 2021)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding