Software Development and Environments
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
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
Gamifying user feedback collection on static program analysis tools
2025)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
EzSkiROS : enhancing robot skill composition with embedded DSL for early error detection
(
- Contribution to journal › Article
-
Mark
eHealth in Pediatric Surgery : Impact on Postsurgical Care After Reconstructive Surgery for Anorectal Malformations and Hirschsprung's Disease
(
- Contribution to journal › Article
-
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
Fully Declarative Specification of Static Code Checkers
2025)(
- Thesis › Doctoral thesis (compilation)
- 2024
-
Mark
Designing A Multi-modal IDE with Developers: An Exploratory Study on Next-generation Programming Tool Assistance
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis (Artifact)
2024)(
- Other contribution › Miscellaneous