Department of Computer Science
141 – 150 of 1790
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
An Empirically Grounded Path Forward for Scenario-Based Testing of Autonomous Driving Systems
(2024) 32nd ACM International Conference on the Foundations of Software Engineering, FSE Companion In FSE Companion - Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering p.232-243
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Adopting automated bug assignment in practice — a longitudinal case study at Ericsson
- Contribution to journal › Article
-
Mark
Generating Executable Test Scenarios from Autonomous Vehicle Disengagements using Natural Language Processing
(2024) p.98-104
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
How Do Developers Approach Their First Bug in an Unfamiliar Code Base? : An Exploratory Study of Large Program Comprehension
(2024) 35th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2024
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Property Probes: Live Exploration of Source Code Analysis
- Thesis › Licentiate thesis
-
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
Developers’ Perspective on Today’s and Tomorrow’s Programming Tool Assistance : A Survey
(2024) 8th International Conference on on the Art, Science, and Engineering of Programming, Programming Companion 2024 p.108-116
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
FuseRank (Demo) : Filtered Vector Search in Multimodal Structured Data
(2024) European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14948. p.404-408
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Quantum Automating TC0-Frege Is LWE-Hard
(2024) 39th Computational Complexity Conference, CCC 2024 In Leibniz International Proceedings in Informatics, LIPIcs 300.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
