31 – 40 of 1713
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Enhancing DevOps with Autonomous Monitors: A Proactive Approach to Failure Detection
2024)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Ironies of Programming Automation: Exploring the Experience of Code Synthesis via Large Language Models
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
From Proof Complexity to Circuit Complexity via Interactive Protocols
2024) 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 In Leibniz International Proceedings in Informatics, LIPIcs 297.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Driving Assistance System with Obstacle Avoidance for Electric Wheelchairs
(
- Contribution to journal › Article
-
Mark
Quality Requirements for Code : On the Untapped Potential in Maintainability Specifications
2024) 2024 IEEE/ACM Workshop on Multi-disciplinary, Open, and RElevant Requirements Engineering, MO2RE 2024 p.35-38(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Order Picking Optimization as a Service
2024)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Towards Declarative Specification of Static Analysis for Programming Tools
2024)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Property Probes: Live Exploration of Source Code Analysis
(
- Thesis › Licentiate thesis
-
Mark
Packet-Type Aware Scheduling of Moldable Streaming Tasks on Multicore Systems with DVFS
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Critical Scenario Identification for Testing of Realistic Autonomous Driving Systems
2024)(
- Thesis › Doctoral thesis (compilation)