Software Development and Environments
1 – 10 of 293
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
A Trust Establishment and Key Management Architecture for Hospital-at-Home
- Contribution to journal › Article
-
Mark
Fully Declarative Specification of Static Code Checkers
(2025)
- Thesis › Doctoral thesis (compilation)
-
Mark
Support, not automation : towards AI-supported code review for code quality and beyond
- 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
Compositional dataflow analysis via abstract transition systems
(2025)
- Working paper/Preprint › Working paper
-
Mark
Dynamic Dependency-Based Purity Checking (Artifact)
(2025)
- Other contribution › Miscellaneous
-
Mark
Towards modeling and improving human-centered code review
- Thesis › Licentiate thesis
-
Mark
Replication package for code review as decision-making
(2025)
- Non-textual form › Software
-
Mark
Safety and Reliability for Autonomous Robots in Dynamic Environments
(2025)
- Thesis › Doctoral thesis (compilation)
-
Mark
Towards sustainable DevOps for cyber physical systems
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
