1 – 10 of 290
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis
(2025) Challenges of Software Verification Symposium 2024 In International Journal on Software Tools for Technology Transfer
- Contribution to journal › Article
-
Mark
A Trust Establishment and Key Management Architecture for Hospital-at-Home
- Contribution to journal › Article
-
Mark
Code review as decision-making : building a cognitive model from the questions asked during code review
(2025) In Empirical Software Engineering
- Contribution to journal › Article
-
Mark
Safety and Reliability for Autonomous Robots in Dynamic Environments
(2025)
- Thesis › Doctoral thesis (compilation)
-
Mark
From C to Rust : how feasible is it?
(2025) 26th International Conference on Product-Focused Software Process Improvement (PROFES 2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exploring the performance of ML model size for classification in relation to energy consumption
(2025) 26th International Conference on Product-Focused Software Process Improvement (PROFES 2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards sustainable DevOps for cyber physical systems
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
eHealth in Pediatric Surgery : Impact on Postsurgical Care After Reconstructive Surgery for Anorectal Malformations and Hirschsprung's Disease
- Contribution to journal › Article
