Software Engineering

Publikation

Publikationer pr. år 2009 2012 2014 2017 2018 2019 2020 2021 2022 2023 2024 2025

• 129 Konferencebidrag i proceedings
• 79 Tidsskriftartikel
• 25 Ph.d.-afhandling
• 20 Bidrag til bog/antologi
• 50 Mere
  • 15 Rapport
  • 10 Konferenceartikel
  • 5 Antologi
  • 5 Leder
  • 5 Andet bidrag
  • 3 Konferenceabstrakt til konference
  • 2 Paper
  • 1 Bog
  • 1 Konferenceabstrakt i proceedings
  • 1 Bidrag til rapport
  • 1 Poster
  • 1 Preprint

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2025

  IT Project Failure and How to Learn from It

  Schmidt, J., 2025, 182 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Fil

• Statistical Assessment of Plans via Probabilistic Optimization of Reliability

  Mohammadi Kashani, M., 2025, 154 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Fil

  • Conditional Value at Risk 100%
  • Probabilistic Optimization 100%
  • Autonomous Underwater Vehicle 100%
  • Value at Risk 100%
  • Metrics 80%

• Testing and Symbolic Analysis For Reinforcement Learning

  Ghaffari, M., 2025, IT-Universitetet i København. 192 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Fil

  • Reinforcement Learning 100%
  • Testing Analysis 100%
  • Symbolic Analysis 100%
  • Robotics 40%
  • Formal Methods 40%

• Vision-based classification for underwater safety critical applications

  Marnet, L. R., 2025, IT-Universitetet i København. 186 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Fil

  • Deep Learning Model 100%
  • Safety-critical Applications 100%
  • Predictive Uncertainty 100%
  • Underwater Safety 100%
  • Vision-based Classification 100%
• 2024

  Immersive Software Archaeology: Comprehending Software Structure through Interactive Visualization in Virtual Reality

  Hoff, A., 2024, Copenhagen: IT-Universitetet i København. 261 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Software Archeology 100%
  • Immersive 100%
  • Virtual Reality 100%
  • Interactive Visualization 100%
  • Software Structure 100%
• 2022

  Technical Debt Management in the public sector

  Kjærsgaard Hansen, M. E., 2022, 216 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Public Sector 100%
  • Technical Debt 100%
  • Technical Debt Management 100%
  • Portfolio Management 100%
  • Debt Management 100%

• The Design and Implementation of the Management Action Language and the Life Cycle of Other DSLs

  Borum, H. S., 2022, IT-Universitetet i København. 135 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Domain-specific Languages 100%
  • Management Actions 100%
  • Action Language 100%
  • Domain-specific languages 100%
  • Language Implementation 18%
• 2020

  The Social, Organizational and Disciplinary Aspects of Quality in Free and Open Source Software Communities

  Alami, A., 2020, IT-Universitetet i København. 241 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Software Quality 100%
  • Open Source Community 100%
  • Open Source Software 100%
  • Innovation Model 50%
  • Software Process 33%

• Towards a Co-design Perspective on Data: Foregrounding Data in the Design and Innovation of Data-based Services

  Seidelin, C., 2020, IT-Universitetet i København. 283 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Data Service 100%
  • Design Perspective 100%
  • Participatory Design 100%
  • Work Practices 33%
  • Data Practices 33%
• 2019

  Declarative, Parallel Programming For End-User Development

  Bock, A. A., 2019, IT-Universitetet i København. 230 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Multicore Processor 100%
  • Parallel Programming 100%
  • Shared Memory (Multicore) 100%
  • Parallelism 100%
  • User Development 100%
• 2018

  Community-based Participatory Design of Technological Alternative for a Development Context: (The Case Study of ICT appropriation for Ethiopian Rural Communities)

  Zewge, A., 2018, IT-Universitetet i København. 244 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Participatory Design 100%
  • Ethiopian 100%
  • Technology Appropriation 100%
  • Rural Communities 100%
  • Community Design 100%

• Data-Parallel Spreadsheet Programming

  Biermann, F., 2018, IT-Universitetet i København. 199 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Shared Memory Multiprocessor 100%
  • Programming Language 100%
  • Spreadsheets 100%
  • Data Parallelism 100%
  • Spreadsheet Programming 100%

• Foundational Analysis Techniques for High-Level Transformation Programs

  Al-Sibahi, A. S., 2018, IT-Universitetet i København. 316 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Transformation Languages 100%
  • High-grade Transformation 100%
  • RASCAL 100%
  • Operational Semantics 100%
  • Refactoring 100%
• 2017

  Effective Bug Finding

  Rivas, I. A., 2017, IT-Universitetet i København. 140 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Linux 100%
  • Bug Finding 100%
  • Programming Error 100%
  • Development Process 100%
  • Control-Flow Graph 100%

• Lightweight Methods for Effective Verification of Software Product Lines with Off-the-Shelf Tools

  Iosif-Lazar, A. F., 2017, IT-Universitetet i København. 149 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Software Product Lines 100%
  • Software Product Line 100%
  • Formal Specification 40%
  • Modeling Language 40%
  • Verification Method 40%

• Systematic Reuse and Ad Hoc Forking to Develop Software Variants

  Stanciulescu, S., 2017, IT-Universitetet i København. 190 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Preprocessor 100%
  • Systematic Reuse 100%
  • Software Variants 100%
  • Annotation 100%
  • Variation Control System 66%

• Variability Bugs: Program and Programmer Perspective

  Melo, J., 2017, IT-Universitetet i København. 216 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Variability Bugs 100%
  • Programmer 100%
  • Software Systems 100%
  • Preprocessor 100%
  • Bug Finding 80%
• 2016

  Markovian Processes for Quantitative Information Leakage

  Biondi, F., 2016, IT-Universitetet i København. 154 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Attacker 100%
  • Markovian Process 100%
  • Information Leakage 100%
  • Attackers 100%
  • Markovian Model 40%

• Practical Reflection and Metaprogramming for Dependent Types

  Christiansen, D. R., 2016, IT-Universitetet i København. 182 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Programming Languages 100%
  • Metaprogramming 100%
  • Dependent Types 100%
  • Practical Reflection 100%
  • Embedded Language 100%

• Sustaining Participatory Design in the organization - Infrastructuring with Participatory Design

  Bolmsten, J., 2016, IT-Universitetet i København. 247 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Infrastructuring 100%
  • Participatory Design 100%
  • Work Practices 40%
  • IT Management 40%
  • Infrastructure Development 40%
• 2013

  Custom Formula-Based Visualizations for Savvy Designers"

  Kuhail, M. A., 2013, IT-Universitetet i København. 143 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Spreadsheets 100%
  • Visualization Tool 100%
  • Visualization Tools 66%
  • Visual Object 66%
  • Visual Property 50%

• Incremental Interactive Verification of the Correctness of Object-Oriented Software

  Mehnert, H., 2013, IT-Universitetet i København. 150 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Kopitiam 100%
  • Interactive Verification 100%
  • Object-oriented Software 100%
  • object oriented software 100%
  • Integrated Development Environment 100%

• Multi-language Development Enviroments: Design Space, Models, Prototypes, Experiences

  Pfeiffer, R.-H., 2013, IT-Universitetet i København. 247 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Enviroment 100%
  • Language Development 100%
  • Space Model 100%
  • Design Space 100%
  • Multi-language 100%

• VisTool: A user interface and visualization development system

  Xu, S., 2013, IT-Universitetet i København. 207 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • User Interface 100%
  • Visualization Development 100%
  • Developmental Systems 100%
  • User Interface Development 100%
  • Development System 100%
• 2009

  Domain-Specific Multimodeling

  Hessellund, A., 2009, IT-Universitetet i København.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  • Enterprise System 100%
  • Coordination Model 100%
  • Software Development 50%
  • Software Evolution 50%
  • Domain-specific languages 50%