Department of Computer Science
1 – 100 of 1650
- show: 100
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Perpetual maintenance of machines with different urgency requirements
(
- Contribution to journal › Article
-
Mark
Automotive fault nowcasting with machine learning and natural language processing
(
- Contribution to journal › Article
-
Mark
Mutation testing optimisations using the Clang front-end
(
- Contribution to journal › Article
-
Mark
A theory of factors affecting continuous experimentation (FACE)
(
- Contribution to journal › Article
-
Mark
Programming for Reliability and Safety in Robotics: The Role of Domain-Specific Languages : Domain Specific Programming for Safe and Reliable Robots
(
- Thesis › Licentiate thesis
-
Mark
Learning with Skill-based Robot Systems : Combining Planning & Knowledge Representation with Reinforcement Learning
2024)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Navigating the Upcoming European Union AI Act
(
- Contribution to journal › Article
-
Mark
A C++ Implementation of a Cartesian Impedance Controller for Robotic Manipulators
(
- Contribution to journal › Article
-
Mark
Optimization of the Storage Location Assignment Problem Using Nested Annealing
2024) 11th and 12th International Conferences on Operations Research and Enterprise Systems, ICORES 2022 and 2023 In Communications in Computer and Information Science 1985 CCIS. p.220-244(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Clog : A Declarative Language for C Static Code Checkers
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Sparse Spatial Shading in Augmented Reality
2024) 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications 1. p.293-299(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Property probes : Live exploration of program analysis results
(
- Contribution to journal › Article
-
Mark
Requirements and software engineering for automotive perception systems : an interview study
2024) In Requirements Engineering(
- Contribution to journal › Article
-
Mark
Storage Assignment Using Nested Metropolis Sampling and Approximations of Order Batching Travel Costs
(
- Contribution to journal › Article
-
Mark
Industry Practices for Challenging Autonomous Driving Systems with Critical Scenarios
(
- Contribution to journal › Article
-
Mark
KRW Composition Theorems via Lifting
(
- Contribution to journal › Article
-
Mark
Revisiting the construct and assessment of industrial relevance in software engineering research within
2024) International Workshop on Methodological Issues with Empirical Studies in Software Engineering, WSESE 2024 In ICSE Workshops(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Industrial adoption of machine learning techniques for early identification of invalid bug reports
(
- Contribution to journal › Article
-
Mark
Hardware and Software Generation from Large Actor Machines in Streaming Applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Autonomous Monitors for Detecting Failures Early and Reporting Interpretable Alerts in Cloud Operations
2024) 46th International Conference on Software Engineering, ICSE 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Advancing Software Monitoring: An Industry Survey on ML-Driven Alert Management Strategies
2024) 50th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Enabling Data-sharing in Logistics through Open Data Ecosystems – A Literature Review
2024) 2024 Ongoing Research, Practitioners, Posters, Workshops, and Projects of the International Conference EGOV-CeDEM-ePart, EGOV-CeDEM-ePart-Ongoing 2024 In CEUR Workshop Proceedings 3737.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Acceptance behavior theories and models in software engineering—A mapping study
(
- Contribution to journal › Article
-
Mark
Evidence-Based Guidelines for Advancing Continuous Experimentation
2024) In IT Professional: technology solutions for the enterprise(
- Contribution to journal › Article
-
Mark
A Conceptual Framework and Recommendations for Open Data and Artifacts in Empirical Software Engineering
2024) International Workshop on Methodological Issues with Empirical Studies in Software Engineering, WSESE 2024 In ICSE Workshops(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Experimentation in Early-Stage Video Game Startups : Practices and Challenges
2024) 14th International Conference on Software Business, ICSOB 2023 In Lecture Notes in Business Information Processing 500 LNBIP. p.360-366(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
End-to-End Verification for Subgraph Solving
2024) 38th AAAI Conference on Artificial Intelligence, AAAI 2024 In Proceedings of the AAAI Conference on Artificial Intelligence 38. p.8038-8047(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Virtual, Augmented, and Mixed Reality for Human-Robot Interaction (VAM-HRI)
2024) 19th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024 In ACM/IEEE International Conference on Human-Robot Interaction p.1361-1363(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Toward Gaze-enabled Programming Tool Assistance
2024)(
- Thesis › Licentiate thesis
-
Mark
Developers’ Perspective on Today’s and Tomorrow’s Programming Tool Assistance: A Survey
2024)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Conflict Simulation for Shared Autonomy in Autonomous Driving
2024) 19th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024 In ACM/IEEE International Conference on Human-Robot Interaction p.882-887(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Experimentation in Software Engineering (2024 edition)
2024)(
- Book/Report › Book
-
Mark
Sammanfattning litteraturstudie : Öppna data-ekosystem inom logistik
2024)(
- Book/Report › Report
-
Mark
Towards the exact complexity of realizability for Safety LTL
(
- Contribution to journal › Article
-
Mark
Experiences from conducting rapid reviews in collaboration with practitioners — Two industrial cases
(
- Contribution to journal › Article
-
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
Video Intro: Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
2024)(
- Non-textual form › Other
-
Mark
Succinct Opacity Micromaps
2024) High-Performance Graphics 2024 In Proceedings of the ACM in Computer Graphics and Interactive Techniques 7(3).(
- Contribution to journal › Article
-
Mark
Requirements for Organizational Resilience : Engineering Developer Happiness
(
- Contribution to journal › Article
-
Mark
Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Poster: Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
2024) 10th Edition of the Programming Experience Workshop, PX/24(
- Contribution to conference › Poster
-
Mark
Continuous Quality Assurance and ML Pipelines under the AI Act
2024) 3rd International Conference on AI Engineering, CAIN 2024, co-located with the 46th International Conference on Software Engineering, ICSE 2024 In Proceedings - 2024 IEEE/ACM 3rd International Conference on AI Engineering - Software Engineering for AI, CAIN 2024 p.247-249(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Inter-organizational Data Sharing Processes – an exploratory analysis of incentives and challenges
2024)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The LuViRA Dataset: Synchronized Vision, Radio, and Audio Sensors for Indoor Localization
2024) 2024 IEEE International Conference on Robotics and Automation, ICRA 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Proof Logging for the Circuit Constraint
2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14743 LNCS. p.38-55(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs
2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science 14742. p.310-328(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified MaxSAT Preprocessing
2024) 12th International Joint Conference, IJCAR 2024 In Lecture Notes in Computer Science 14739. p.396-418(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 In Leibniz International Proceedings in Informatics (LIPIcs) 307.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 In Leibniz International Proceedings in Informatics (LIPIcs) 307.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Mapping the Past : Geographically Linking an Early 20th Century Swedish Encyclopedia with Wikidata
2024) Joint 30th International Conference on Computational Linguistics and 14th International Conference on Language Resources and Evaluation, LREC-COLING 2024 In 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings p.11040-11048(
- 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
VR-based Assistance System for Semi-Autonomous Robotic Boats
2024) 19th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024 In ACM/IEEE International Conference on Human-Robot Interaction p.877-881(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2023
-
Mark
Rare Siblings Speed-Up Deterministic Detection and Counting of Small Pattern Graphs
(
- Contribution to journal › Article
-
Mark
Online and Approximate Network Construction from Bounded Connectivity Constraints
2023) In International Journal of Foundations of Computer Science(
- Contribution to journal › Article
-
Mark
Industry-academia collaboration for realism in software engineering research : Insights and recommendations
(
- Contribution to journal › Article
-
Mark
Prospects of GPU Tensor Core Correlation for the SMA and the ngEHT
(
- Contribution to journal › Article
-
Mark
Critical scenario identification for realistic testing of autonomous driving systems
(
- Contribution to journal › Article
-
Mark
Applying Machine Learning to Gaze Data in Software Development: a Mapping Study
2023) Eleventh International Workshop on Eye Movements in Programming, EMIP 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Ergo, SMIRK is safe : a safety case for a machine learning component in a pedestrian automatic emergency brake system
(
- Contribution to journal › Article
-
Mark
Chaos to Control : Human Assisted Scene Inspection
2023) 18th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2023 In ACM/IEEE International Conference on Human-Robot Interaction p.491-494(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
EasyNER: A Customizable Easy-to-Use Pipeline for Deep Learning- and Dictionary-based Named Entity Recognition from Medical Text
2023)(
- Working paper/Preprint › Preprint in preprint archive
-
Mark
Building Stronger Bridges: Strategies for Improving Communication and Collaboration Between Industry and Academia in Software Engineering
2023)(
- Thesis › Doctoral thesis (compilation)
-
Mark
On the Challenges of Software Performance Optimization with Statistical Methods
2023)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Graphs with many edge-colorings such that complete graphs are rainbow
(
- Contribution to journal › Article
-
Mark
Object Detector Differences when Using Synthetic and Real Training Data
(
- Contribution to journal › Article
-
Mark
Hybrid planning for challenging construction problems : An Answer Set Programming approach
(
- Contribution to journal › Article
-
Mark
Towards optimization of anomaly detection in DevOps
(
- Contribution to journal › Article
-
Mark
On parallel time in population protocols
(
- Contribution to journal › Article
-
Mark
Toward Gaze-assisted Developer Tools
2023) The 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) p.49-54(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Mutation Testing: Fewer, Faster, and Smarter
2023)(
- Thesis › Doctoral thesis (compilation)
-
Mark
An ecosystem perspective on developing data collaboratives for addressing societal issues : The role of conveners
(
- Contribution to journal › Article
-
Mark
Pipeline Infrastructure Required to Meet the Requirements on AI
(
- Contribution to journal › Article
-
Mark
Lower Bounds for Monotone q-Multilinear Boolean Circuits
2023) 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13878 LNCS. p.301-312(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
2023)(
- Thesis › Licentiate thesis
-
Mark
Efficient Order Batching Optimization Using Seed Heuristics and the Metropolis Algorithm
(
- Contribution to journal › Article
-
Mark
My Space, Our Space, Their Space: a First Glance at Developers' Experience of Spaces
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Classification-based Static Collection Selection for Java: Effectiveness and Adaptability
2023) p.111-120(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Performance Analysis with Bayesian Inference
2023) The 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Requirements Engineering for Automotive Perception Systems : An Interview Study
2023) 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2023 In Lecture Notes in Computer Science 13975 LNCS. p.189-205(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards the Humanisation of Programming Tool Interactions
(
- Thesis › Licentiate thesis
-
Mark
Human, What Must I Tell You?
(
- Contribution to journal › Article
-
Mark
Ah, Alright, Okay! Communicating Understanding in Conversational Product Search
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Homunculus : Auto-Generating Efficient Data-Plane ML Pipelines for Datacenter Networks
2023) 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2023 In International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS 3. p.329-342(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An empirically based model of software prototyping : a mapping study and a multi-case study
(
- Contribution to journal › Article
-
Mark
Software selection in large-scale software engineering: A model and criteria based on interactive rapid reviews
2023) In Empirical Software Engineering(
- Contribution to journal › Article
-
Mark
EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early
2023) p.61-68(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ROSSMARie: A Domain-Specific Language To Express Dynamic Safety Rules and Recovery Strategies for Autonomous Robots
2023) Second Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components(
- Contribution to conference › Abstract
-
Mark
Out-of-Distribution Detection for Adaptive Computer Vision
2023) 23nd Scandinavian Conference on Image Analysis, SCIA 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13886 LNCS. p.311-325(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Finding Small Complete Subgraphs Efficiently
2023) 34th International Workshop on Combinatorial Algorithms, IWOCA 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13889 LNCS. p.185-196(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Bounce: a Reliable Bayesian Optimization Algorithm for Combinatorial and Mixed Spaces
2023) 37th Conference on Neural Information Processing Systems, NeurIPS 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A data-driven approach for understanding invalid bug reports: An industrial case study
(
- Contribution to journal › Article
-
Mark
Storage Assignment using Nested Annealing and Hamming Distances
2023) 12th International Conference on Operations Research and Enterprise Systems, ICORES 2023 p.94-105(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ComPOS: A DSL for Composing IoT Systems with Weak Connectivity
2023) 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS 2023 In REBLS 2023 - Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Co-located with: SPLASH 2023 p.31-42(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Scalable Actor Networks with CAL
2023) p.169-179(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Reducing the Impact of Bias in Oral Assessments
2023) 2023.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps
(
- Contribution to journal › Article
-
Mark
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
2023) 29th International Conference on Principles and Practice of Constraint Programming, CP 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding