1 – 10 of 1699
- 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
Efficient assignment of identities in anonymous populations
(
- Contribution to journal › Article
-
Mark
Data-limited Continuous Experimentation (dlCE) : a literature review
2025) 15th International Conference on Software Business, ICSOB 2024 In Lecture Notes in Business Information Processing 539 LNBIP. p.324-339(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Support, not automation : towards AI-supported code review for code quality and beyond
2025) 33rd ACM International Conference on the Foundations of Software(
Engineering- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
What questions do developers ask during code review?
2025) WASP Winter Conference 2025(
- Contribution to conference › Poster
-
Mark
A unified framework for real-time failure handling in robotics using vision-language models, reactive planner and behavior trees
2025)(
- Book/Report › Conference proceeding (editor)
-
Mark
A comparative analysis of ML techniques for bug report classification
(
- Contribution to journal › Article
-
Mark
The Voronoi Diagram of Weakly Smooth Planar Point Sets in O(log n) Deterministic Rounds on the Congested Clique
2025) 0th International Computing and Combinatorics Conference, COCOON 2024 In Lecture Notes in Computer Science (LNCS), 15162. p.478-489(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Bayesian optimization across the spectrum of knowledge : enhancing efficiency through beliefs, information and assumptions
2025)(
- Thesis › Doctoral thesis (compilation)