Department of Computer Science
1 – 250 of 1650
- show: 250
- |
- 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
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
Sammanfattning litteraturstudie : Öppna data-ekosystem inom logistik
2024)(
- Book/Report › Report
-
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
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
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
Towards the exact complexity of realizability for Safety LTL
(
- Contribution to journal › Article
-
Mark
Automotive fault nowcasting with machine learning and natural language processing
(
- 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
Mutation testing optimisations using the Clang front-end
(
- 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
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
A theory of factors affecting continuous experimentation (FACE)
(
- Contribution to journal › Article
-
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
Evidence-Based Guidelines for Advancing Continuous Experimentation
2024) In IT Professional: technology solutions for the enterprise(
- 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
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
Storage Assignment Using Nested Metropolis Sampling and Approximations of Order Batching Travel Costs
(
- Contribution to journal › Article
-
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
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
-
Mark
Experimentation in Software Engineering (2024 edition)
2024)(
- Book/Report › Book
-
Mark
Clog : A Declarative Language for C Static Code Checkers
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
A C++ Implementation of a Cartesian Impedance Controller for Robotic Manipulators
(
- Contribution to journal › Article
-
Mark
Requirements for Organizational Resilience : Engineering Developer Happiness
(
- Contribution to journal › Article
-
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
Video Intro: Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
2024)(
- Non-textual form › Other
-
Mark
Adopting automated bug assignment in practice — a longitudinal case study at Ericsson
(
- 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
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
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
Property probes : Live exploration of program analysis results
(
- Contribution to journal › Article
-
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
Navigating the Upcoming European Union AI Act
(
- 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
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
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
Acceptance behavior theories and models in software engineering—A mapping study
(
- Contribution to journal › Article
- 2023
-
Mark
Towards optimization of anomaly detection in DevOps
(
- Contribution to journal › Article
-
Mark
Threats to validity in software engineering research: A critical reflection
2023) In Information and Software Technology(
- Contribution to journal › Article
-
Mark
A Literature Survey of Assertions in Software Testing
2023) 8th International Conference on the Engineering of Computer Based Systems, ECBS 2023 In Lecture Notes in Computer Science 14390.(
- 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
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
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
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
Hybrid planning for challenging construction problems : An Answer Set Programming approach
(
- Contribution to journal › Article
-
Mark
Pipeline Infrastructure Required to Meet the Requirements on AI
(
- 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
Towards the Humanisation of Programming Tool Interactions
(
- Thesis › Licentiate thesis
-
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
Ah, Alright, Okay! Communicating Understanding in Conversational Product Search
(
- 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
Rare Siblings Speed-Up Deterministic Detection and Counting of Small Pattern Graphs
(
- 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
Human, What Must I Tell You?
(
- Contribution to journal › Article
-
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
Online and Approximate Network Construction from Bounded Connectivity Constraints
2023) In International Journal of Foundations of Computer Science(
- Contribution to journal › Article
-
Mark
Prospects of GPU Tensor Core Correlation for the SMA and the ngEHT
(
- 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
Ergo, SMIRK is safe : a safety case for a machine learning component in a pedestrian automatic emergency brake system
(
- Contribution to journal › Article
-
Mark
eHealth as an Aid for Facilitating and Supporting Self-Management in Families with Long-Term Childhood Illness; Development, Evaluation, and Implementation in Clinical Practice
2023) In Clinical Health Promotion - Research and Best Practice for patients, staff and community 13(1).(
- Contribution to journal › Article
-
Mark
eHealth usage among parents to premature or surgically treated neonates: associations with eHealth literacy, healthcare satisfaction or satisfaction with an eHealth device
(
- Contribution to journal › Article
-
Mark
Learning to Adapt the Parameters of Behavior Trees and Motion Generators (BTMGs) to Task Variations
2023) IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
TODLER : A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts
2023) 6th IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB 2023 p.9-16(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
U Owns the Code That Changes and How Marginal Owners Resolve Issues Slower in Low-Quality Source Code
2023) p.368-377(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
User-Centric Study and Enhancement of Python Static Code Analysers
2023) PPIG: 34th Annual Meeting of the Psychology of Programming Interest Group(
- Contribution to conference › Other
-
Mark
Influencing Attention In Code Reading: An Eye-Tracking Study
2023) PPIG: 34th Annual Meeting of the Psychology of Programming Interest Group(
- Contribution to conference › Other
-
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
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
On parallel time in population protocols
(
- Contribution to journal › Article
-
Mark
Critical scenario identification for realistic testing of autonomous driving systems
(
- 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
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
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
-
Mark
Initial Case Study Findings for Requirements on Work-Related Health Aspects
2023) 31st IEEE International Requirements Engineering Conference Workshops, REW 2023 In Proceedings - 31st IEEE International Requirements Engineering Conference Workshops, REW 2023 p.388-396(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
2023) 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS p.1-11(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Clique Is Hard on Average for Unary Sherali-Adams
2023) 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS p.12-25(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Svensk forskningspolitik måste uppdateras
2023) In Upsala Nya Tidning(
- Contribution to specialist publication or newspaper › Newspaper article
-
Mark
User-Centric Study and Enhancement of Python Static Code Analysers
2023) PPIG: 34th Annual Meeting of the Psychology of Programming Interest Group(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Influencing Code Reading Through Beacons: an Eye-Tracking Study
2023) PPIG: 34th Annual Meeting of the Psychology of Programming Interest Group(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Message from the Chairs
2023) 17th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2023(
- Contribution to conference › Other
-
Mark
Reducing the Impact of Bias in Oral Assessments
2023) 2023.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Bettan – Industrial robot and application for Finja Exakt build system
2023) 40th International Symposium on Automation and Robotics in Construction, ISARC 2023 In Proceedings of the International Symposium on Automation and Robotics in Construction p.86-93(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Knowledge Representation and Task Planning for Robot-agnostic Skills on the Example of Contact-Rich Wiping Tasks
2023) 19th IEEE International Conference on Automation Science and Engineering, CASE 2023 In IEEE International Conference on Automation Science and Engineering 2023-August.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified Core-Guided MaxSAT Solving
2023) Proceedings of the 29th International Conference on Automated Deduction, CADE-29 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14132 LNAI. p.1-22(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Evaluation of Out-of-Distribution Detection Performance on Autonomous Driving Datasets
2023) 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023 In Proceedings - 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023 p.74-81(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
2023) 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023 p.98-103(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Bounce : Reliable High-Dimensional Bayesian Optimization for Combinatorial and Mixed Spaces
2023) 37th Conference on Neural Information Processing Systems, NeurIPS 2023 In Advances in Neural Information Processing Systems 36.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
SkiROS2: A Skill-Based Robot Control Platform for ROS
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Convex Hulls and Triangulations of Planar Point Sets on the Congested Clique.
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
GANDER : A Platform for Exploration of Gaze-driven Assistance in Code Review
2023) 15th Annual ACM Symposium on Eye Tracking Research and Applications, ETRA 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Localizing Unsynchronized Sensors With Unknown Sources
(
- Contribution to journal › Article
-
Mark
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
(
- Contribution to journal › Article
-
Mark
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products
2023) In International Journal of Foundations of Computer Science(
- 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
Industry-academia collaboration for realism in software engineering research : Insights and recommendations
(
- Contribution to journal › Article
-
Mark
Efficient Order Batching Optimization Using Seed Heuristics and the Metropolis Algorithm
(
- Contribution to journal › Article
- 2022
-
Mark
Inter-Team Communication in Large-Scale Co-Located Software Engineering: A Case Study
(
- Contribution to journal › Article
-
Mark
Cognitive Challenges for novice Software Development Teams
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Auto-Partitioning Heterogeneous Task-Parallel Programs with StreamBlocks
2022) 31st International Conference on Parallel Architectures and Compilation Techniques, PACT 2022 p.398-411(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analysing Dataflow Programs with Causation Traces
2022) 31st International Conference on Parallel Architectures and Compilation Techniques, PACT 2022 p.534-535(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Skill-based Multi-objective Reinforcement Learning of Industrial Robot Tasks with Planning and Knowledge Integration
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Shared Pose Regression Network for Pose Estimation of Objects from RGB Images
2022) IEEE/RSJ International Conference on Signal Image Technology & Internet Based Systems (SITIS) 2022(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
JFeature : Know Your Corpus
2022) 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2022 p.236-241(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Property Probes : Source Code Based Exploration of Program Analysis Results
2022) 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, co-located with the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications. SPLASH 2022 In SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022 p.148-160(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
LassoBench : A High-Dimensional Hyperparameter Optimization Benchmark Suite for Lasso
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Characterizing the Effect of Deadline Misses on Time-Triggered Task Chains
2022) In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41(11). p.3957-3968(
- Contribution to journal › Article
-
Mark
Estimating Stream Application Performance in Early-Stage System Design
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient Assignment of Identities in Anonymous Populations
2022) 25th International Conference on Principles of Distributed Systems (OPODIS 2021) In Leibniz International Proceedings in Informatics (LIPIcs) 217. p.1-21(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Understanding and Improving Continuous Experimentation : From A/B Testing to Continuous Software Optimization
(
- Thesis › Doctoral thesis (compilation)
-
Mark
Automatic Collection Selection using Machine Learning
2022)(
- Thesis › Licentiate thesis
-
Mark
Natural language analyzed with AI-based transformers predict traditional subjective well-being measures approaching the theoretical upper limits in accuracy
(
- Contribution to journal › Article
-
Mark
Towards Fully Dynamic Surface Illumination in Real-Time Rendering using Acceleration Data Structures
(
- Thesis › Doctoral thesis (compilation)
-
Mark
Real-Time Rendering of Indirectly Visible Caustics
2022) 17th International Conference on Computer Graphics Theory and Applications, GRAPP 2022; Part of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2022 1. p.39-48(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Perpetual maintenance of machines with different urgency requirements
2022)(
- Book/Report › Report
-
Mark
A/B Testing in the Small
2022) 23:rd International Conference on Product-Focused Software Process Improvement, PROFES In Lecture Notes in Computer Science 13709. p.449-463(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Near Failure Analysis Using Dynamic Behavioural Data
2022) 23rd International Conference on Product-Focused Software Process Improvement, PROFES 2022 In Lecture Notes in Computer Science 13709. p.171-178(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
2022)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Exploring ML testing in practice - Lessons learned from an interactive rapid review with Axis Communications
2022) 2022 IEEE/ACM 1st International Conference on AI Engineering – Software Engineering for AI (CAIN)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The shortest even cycle problem is tractable
2022) 54th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2022 In Proceedings of the Annual ACM Symposium on Theory of Computing p.117-130(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Scenario Distribution Model for Effective and Efficient Testing of Autonomous Driving Systems
2022) AUST 2022 : The First Workshop on Autonomous Software Testing(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An Auditable Constraint Programming Solver
2022) 28th International Conference on Principles and Practice of Constraint Programming, CP 2022 In Leibniz International Proceedings in Informatics, LIPIcs 235.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified CNF Translations for Pseudo-Boolean Solving
2022) 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) In Leibniz International Proceedings in Informatics (LIPIcs) 236.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
SMIRK : A machine learning-based pedestrian automatic emergency braking system with a complete safety case
(
- Contribution to journal › Article
-
Mark
Code Red : The Business Impact of Code Quality - A Quantitative Study of 39 Proprietary Production Codebases
2022) 5th International Conference on Technical Debt, TechDebt 2022 In Proceedings - International Conference on Technical Debt 2022, TechDebt 2022 p.11-20(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Lower bounds for Boolean circuits of bounded negation width
(
- Contribution to journal › Article
-
Mark
Variable Impedance Skill Learning for Contact-Rich Manipulation
(
- Contribution to journal › Article
-
Mark
Language-Agnostic Age and Gender Classification of Voice using Self-supervised Pre-Training
2022) 34th Workshop of the Swedish Artificial Intelligence Society, SAIS 2022 In 34th Workshop of the Swedish Artificial Intelligence Society, SAIS 2022(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
LassoBench: A High-Dimensional Hyperparameter Optimization Benchmark Suite for Lasso
2022) 1st International Conference on Automated Machine Learning (AutoML)(
- Contribution to conference › Paper, not in proceeding
-
Mark
Syntetisk biologi - en hållbar lösning på klimatkrisen?
2022)(
- Contribution to conference › Poster
-
Mark
πBO: Augmenting Acquisition Functions with User Beliefs for Bayesian Optimization
2022) Tenth International Conference of Learning Representations, ICLR 2022(
- Contribution to conference › Paper, not in proceeding
-
Mark
HPVM2FPGA: Enabling True Hardware-Agnostic FPGA Programming
2022) 33rd IEEE International Conference on Application-specific Systems, Architectures, and Processors (ASAP 2022)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Increasing the Scope as You Learn: Adaptive Bayesian Optimization in Nested Subspaces
2022) Advances in Neural Information Processing Systems 35, NeurIPS 2022(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Joint Entropy Search for Maximally-Informed Bayesian Optimization
2022) 36th Conference on Neural Information Processing Systems, NeurIPS 2022(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Learning Skill-based Industrial Robot Tasks with User Priors
2022) IEEE 18th International Conference on Automation Science and Engineering (IEEE CASE2022) p.1485-1492(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Generalizing Behavior Trees and Motion-Generator (BTMG) Policy Representation for Robotic Tasks Over Scenario Parameters
2022)(
- Contribution to conference › Paper, not in proceeding
-
Mark
How to Set Up & Learn New Robot Tasks with Explainable Behaviors?
2022) European Robotics Forum(
- Contribution to conference › Poster
-
Mark
Dimensionality reduction of independent influence factors in the objective evaluation of quality of experience
(
- Contribution to journal › Article
-
Mark
Analysis of Computational Efficiency in Iterative Order Batching Optimization
2022) 11th International Conference on Operations Research and Enterprise Systems, ICORES 2022 p.345-353(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
New benchmarks and optimization model for the Storage Location Assignment Problem
2022) 3rd International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2022(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards Optimization of Anomaly Detection Using Autonomous Monitors in DevOps
2022)(
- Thesis › Licentiate thesis
-
Mark
An Output-Sensitive Algorithm for All-Pairs Shortest Paths in Directed Acyclic Graphs
2022) 8th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2022 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13179 LNCS. p.140-151(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Agility in Software 2.0 – Notebook Interfaces and MLOps with Buttresses and Rebars
2022) 6th International Conference on Lean and Agile Software Development, LASD 2022 In Lecture Notes in Business Information Processing 438 LNBIP. p.3-16(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Insights into automation of construction process using parallel-kinematic manipulators
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Can RE Help Better Prepare Industrial AI for Commercial Scale?
(
- Contribution to journal › Article
-
Mark
Visual Cues in Compiler Conversations
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Looking Back, Moving Forward : A Handover
(
- Contribution to journal › Scientific review
-
Mark
Sustaining Open Data as a Digital Common - Design principles for Common Pool Resources applied to Open Data Ecosystems
2022) The 18th International Symposium on Open Collaboration(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Optimization of Anomaly Detection in a Microservice System Through Continuous Feedback from Development
2022) 2022 IEEE/ACM 10th International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems (SESoS) p.13-20(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification
2022) 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 In Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 p.1431-1436(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Understanding the Experience of Code Review: Misalignments, Attention, and Units of Analysis
2022) 26th International Conference on Evaluation and Assessment in Software Engineering, EASE 2022(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
What’s bothering developers in code review?
2022) 44th ACM/IEEE International Conference on Software Engineering: Software Engineering in Practice, ICSE-SEIP 2022 p.341-342(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Strategic Prototyping Technology Adoption in Startups: Framework, Challenges, and Opportunities
(
- Contribution to journal › Article
-
Mark
MeerKAT correlator-beamformer : a real-time processing back-end for astronomical observations
(
- Contribution to journal › Article
-
Mark
Critical Scenario Identification for Testing of Autonomous Driving Systems
2022)(
- Thesis › Licentiate thesis
-
Mark
Political polarization in the news: the Swedish media discourse, 2010-2021.
2022) Annual International Communication Association Conference, 2022(
- Contribution to conference › Paper, not in proceeding
-
Mark
Using Operative Reports to Predict Heart Transplantation Survival
2022) 44th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2022 In Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS 2022-July. p.2258-2261(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Early Identification of Invalid Bug Reports in Industrial Settings – A Case Study
2022) 23rd International Conference on Product-Focused Software Process Improvement, PROFES 2022 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13709 LNCS. p.497-507(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Developing eHealth in neonatal care to enhance parents' self-management
(
- Contribution to journal › Article
-
Mark
Rekommendationer för samverkan och delning av data, teknik och kunskap inom myndighetsdrivna öppna data-ekosystem
2022) In Teknisk rapport(
- Book/Report › Report
-
Mark
Local Routing in Sparse and Lightweight Geometric Graphs
(
- Contribution to journal › Article
-
Mark
A Multi-Dimensional Matrix Product—A Natural Tool for Parameterized Graph Algorithms
(
- Contribution to journal › Article
-
Mark
Connecting a French Dictionary from the Beginning of the 20th Century to Wikidata
2022) 13th International Conference on Language Resources and Evaluation Conference, LREC 2022 In 2022 Language Resources and Evaluation Conference, LREC 2022 p.2548-2555(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2021
-
Mark
Probes and Sensors: The Design of Feedback Loops for Usability Improvements
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Digital Cognitive Companions for Marine Vessels : On the Path Towards Autonomous Ships
2021)(
- Thesis › Doctoral thesis (compilation)
-
Mark
ESS Control System Data Lab - Executive Summary
2021) In Technical report(
- Book/Report › Report
-
Mark
Tools and Ecosystems for Open Control Systems Data at ESS
2021) In Technical report(
- Book/Report › Report
-
Mark
Learn to relax : Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search
(
- Contribution to journal › Article
-
Mark
Continuous Experimentation with Product-Led Business Models : A Comparative Case Study
2021) 11th International Conference on Software Business, ICSOB 2020 In Lecture Notes in Business Information Processing 407. p.143-158(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products
2021) 7th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12601 LNCS. p.440-451(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Controlled experimentation in continuous experimentation : Knowledge and challenges
(
- Contribution to journal › Article
-
Mark
Exploring grounded theory perspectives of cognitive load in software engineering
2021)(
- Thesis › Licentiate thesis
-
Mark
Using Program Analysis to Identify the Use of Vulnerable Functions
2021) p.520-530(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Online and Approximate Network Construction from Bounded Connectivity Constraints
2021) 12th International Conference on Algorithms and Complexity (CIAC 2021) In Lecture Notes in Computer science 12701. p.314-325(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Modular counting of subgraphs : Matchings, matching-splittable graphs, and paths
2021) 29th Annual European Symposium on Algorithms, ESA 2021 In Leibniz International Proceedings in Informatics, LIPIcs 204.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The power of negative reasoning
2021) 36th Computational Complexity Conference, CCC 2021 In Leibniz International Proceedings in Informatics, LIPIcs 200.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Formulation of a Layout-Agnostic Order Batching Problem
2021) 4th International Conference on Optimization and Learning, OLA 2021 In Communications in Computer and Information Science 1443. p.216-226(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Layout-Agnostic Order-Batching Optimization
2021) 12th International Conference on Computational Logistics, ICCL 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13004 LNCS. p.115-129(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
2021) ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity In Proceedings of the ACM on Programming Languages 5(OOPSLA).(
- Contribution to journal › Article
-
Mark
Foreword: Selected papers from the 22nd International Symposium on Fundamentals of Computation Theory (FCT 2019)
(
- Contribution to journal › Article
-
Mark
Concepts in testing of autonomous systems : Academic literature and industry practice
2021) 1st IEEE/ACM Workshop on AI Engineering - Software Engineering for AI, WAIN 2021 In Proceedings - 2021 IEEE/ACM 1st Workshop on AI Engineering - Software Engineering for AI, WAIN 2021 p.74-81(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Open Data-driven Usability Improvements of Static Code Analysis and its Challenges
2021) 25th International Conference on Evaluation and Assessment in Software Engineering, EASE p.272-277(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Risken för ökad polarisering måste tas på allvar
2021) In Göteborgs-Posten(
- Contribution to specialist publication or newspaper › Newspaper article
-
Mark
Antithetic Sampling for Monte Carlo Differentiable Rendering
(
- Contribution to journal › Article
-
Mark
Challenges of Adopting SAFe in the Banking Industry – A Study Two Years After Its Introduction
2021) 22nd International Conference on Agile Software Development, XP 2021 In Lecture Notes in Business Information Processing 419 LNBIP. p.157-171(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Approximate Counting of k-Paths : Simpler, Deterministic, and in Polynomial Space
(
- Contribution to journal › Article
-
Mark
Open Data Ecosystems - an empirical investigation into an emerging industry collaboration concept
(
- Contribution to journal › Article
-
Mark
An Industrial Workbench for Test Scenario Identification for Autonomous Driving Software
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Closing the Feedback Loop in DevOps Through Autonomous Monitors in Operations
(
- Contribution to journal › Article
-
Mark
Realeasy: Real-Time capable Simulation to Reality Domain Adaptation
2021) 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE) p.2009-2016(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
FedApp: a Research Sandbox for Application Orchestration in Federated Clouds using OpenStack
2021)(
- Non-textual form › Software
-
Mark
WARA-PS: A Research Arena for Public Safety Demonstrations and Autonomous Collaborative Rescue Robotics Experimentation
(
- Contribution to journal › Article
-
Mark
Sparse Steiner triple systems of order 21
(
- Contribution to journal › Article
-
Mark
Guiding the Selection of Research Methodology in Industry-Academia Collaboration in Software Engineering
(
- Contribution to journal › Article
-
Mark
Industrins data leder till innovationer - om den delas
2021) In Ny teknik(
- Contribution to journal › Debate/Note/Editorial
-
Mark
Towards Grounded Theory Perspectives of Cognitive Load in Software Engineering
2021) Psychology of Programming Interest Group Annual Workshop 2021(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Prototyping Practices in Software Startups : Initial Case Study Results
2021) 29th IEEE International Requirements Engineering Conference Workshops, REW 2021 In Proceedings of the IEEE International Conference on Requirements Engineering 2021-September. p.206-211(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Model of Software Prototyping based on a Systematic Map
2021) p.1-11(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Software Ticks Need No Specifications
2021) 43rd International Conference on Software Engineering: Software Engineering in Practice, ICSE 2021(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Temporal and cultural limits of privacy in smartphone app usage
(
- Contribution to journal › Article
-
Mark
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling
(
- Contribution to journal › Article
-
Mark
Communicating Cybersecurity Vulnerability Information: A Producer-Acquirer Case Study
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Breaking down and making up - a lens for conversing with compilers
2021) Psychology of Programming Interest Group Annual Workshop 2021(
- Contribution to conference › Paper, not in proceeding
-
Mark
Governance and Management of Green IT : A Multi-Case Study
(
- Contribution to journal › Article
-
Mark
Case Study on Data-driven Deployment of Program Analysis on an Open Tools Stack
2021) 43rd International Conference on Software Engineering: Software Engineering in Practice, ICSE 2021(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pushing the Online Boolean Matrix-vector Multiplication conjecture off-line and identifying its easy cases
(
- Contribution to journal › Article
-
Mark
ComPOS - a Domain-Specific Language for Composing Internet-of-Things Systems
2021)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Open source languages and methods for cyber-physical system development : Overview and case studies
(
- Contribution to journal › Article
-
Mark
Yttrande över Europeiska kommissionens förslag till förordning om harmoniserade regler för artificiell intelligens
2021)(
- Other contribution › Consultation response
-
Mark
Test automation with grad-CAM Heatmaps - A future pipe segment in MLOps for Vision AI?
2021) 14th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021 p.175-181(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Political polarization as a media narrative: the Swedish case, 2011-2020.
2021) NordMedia 2021:(
- Contribution to conference › Paper, not in proceeding
-
Mark
A case study of industry–academia communication in a joint software engineering research project
2021) In Journal of software: Evolution and Process(
- Contribution to journal › Article
-
Mark
“In a Way We Took the Hospital Home”—A Descriptive Mixed-Methods Study of Parents’ Usage and Experiences of eHealth for Self-Management after Hospital Discharge Due to Pediatric Surgery or Preterm Birth
(
- Contribution to journal › Article
-
Mark
Progger: Programming by Errors (Work In Progress)
2021) Psychology of Programming Interest Group Annual Workshop 2021(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automating algebraic proof systems is NP-hard
2021) 53rd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2021 In Proceedings of the Annual ACM Symposium on Theory of Computing p.209-222(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Precise Framework for Source-Level Control-Flow Analysis
2021) IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM) p.1-11(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Challenges and Strategies for Managing Requirements Selection in Software Ecosystems
(
- Contribution to journal › Article
-
Mark
Clique Is Hard on Average for Regular Resolution
(
- Contribution to journal › Article