41 – 50 of 1758
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Replication package for code review as decision-making
- Non-textual form › Software
-
Mark
Compositional dataflow analysis via abstract transition systems
Bronevetsky, Greg ; Burke, Michael G. ; Aananthakrishnan, Sriram ; Reichenbach, Christoph LU
; Jisheng, Zhao
and Sarkar, Vivek
(2025)
- Working paper/Preprint › Working paper
-
Mark
Falsification of Cyber-physical Systems Using Bayesian Optimization
Ramezani, Zahra ; Šehić, Kenan LU
; Nardi, Luigi
LU
and Åkesson, Knut
(2025)
In ACM Transactions on Embedded Computing Systems
24(3).
- Contribution to journal › Article
-
Mark
Accelerating aqueous electrolyte design with automated full-cell battery experimentation and Bayesian optimization
- Contribution to journal › Article
-
Mark
Parallel Axis Split Tasks for Bounding Volume Construction with OpenMP®
Waldemarson, Gustaf LU
and Doggett, Michael
LU
(2025)
20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2025
1.
p.347-354
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Trust calibration in IDEs : paving the way for widespread adoption of AI refactoring
(2025) p.37-41
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
QUPER-MAn : benchmark-guided target setting for maintainability requirements
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ACE : automated technical debt remediation with validated large language model refactorings
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Excel isn’t a process, and not all ‘intelligence’ is smart
- Contribution to journal › Article
-
Mark
Responsible requirements engineering in a VUCA world
- Contribution to journal › Article