1 – 10 of 275
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
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
eHealth in Pediatric Surgery : Impact on Postsurgical Care After Reconstructive Surgery for Anorectal Malformations and Hirschsprung's Disease
(
- Contribution to journal › Article
-
Mark
Fully Declarative Specification of Static Code Checkers
2025)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Gamifying user feedback collection on static program analysis tools
2025)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
EzSkiROS : enhancing robot skill composition with embedded DSL for early error detection
(
- Contribution to journal › Article
- 2024
-
Mark
Programming for Reliability and Safety in Robotics: The Role of Domain-Specific Languages : Domain Specific Programming for Safe and Reliable Robots
(
- Thesis › Licentiate thesis
-
Mark
A Conceptual Framework and Recommendations for Open Data and Artifacts in Empirical Software Engineering
2024) International Workshop on Methodological Issues with Empirical Studies in Software Engineering, WSESE 2024 In ICSE Workshops p.68-75(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding