Software Quality Research (SQUARE)

Publikation

Publikationer pr. år 2013 2017 2018 2019 2020 2022 2023 2024 2025

• 44 Konferencebidrag i proceedings
• 23 Tidsskriftartikel
• 10 Ph.d.-afhandling
• 7 Bidrag til bog/antologi
• 12 Mere
  • 3 Leder
  • 2 Konferenceartikel
  • 2 Andet bidrag
  • 1 Bog
  • 1 Konferenceabstrakt i proceedings
  • 1 Konferenceabstrakt til konference
  • 1 Poster
  • 1 Preprint

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2024

  Free open source communities sustainability: Does it make a difference in software quality?

  Alami, A., Pardo, R. & Linåker, J., 23 jul. 2024, I: Empirical Software Engineering. 29, 114.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Software Quality 100%
  • Code Quality 100%
  • Open Source Community 100%
  • Sustainability Metrics 100%
  • Community Sustainability 100%
• 2023

  Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots

  Ghorbani, A., Cassee, N., Robinson, D., Alami, A., Ernst, N., Serebrenik, A. & Wasowski, A., 2023, I: Proceedings of the International Conference on Software Engineering. 2023, s. 1405-1417 12 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Software Development 100%
  • Increased Productivity 100%
  • Vignettes 100%
  • GitHub 100%
  • Project Culture 100%

• Behavior Trees and State Machines in Robotics Applications

  Ghzouli, R., Berger, T., Broch Johnsen, E., Wasowski, A. & Dragule, S., 2023, I: I E E E Transactions on Software Engineering. 49, 9, s. 4243-4267 24 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • And-States 100%
  • Domain-specific languages 100%
  • Robotics Application 100%
  • State Machine 100%
  • Robotic Applications 100%

• Formal Specification and Testing for Reinforcement Learning

  Varshosaz, M., Ghaffari, M., Broch Johnsen, E. & Wasowski, A., 2023, I: Proceedings of the ACM on Programming Languages. 7, Issue ICFP, s. 125-158 33 s., 193.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning

  Åben adgang

  Fil

  • Formal Specification 100%
  • Reinforcement Learning 100%
  • Application of Reinforcement Learning 100%
  • Formal Testing 100%
  • Reinforcement Learning Problems 66%

• Learning-based systems for assessing hazard places of contagious diseases and diagnosing patient possibility

  Davoodi Monfared, M. & Ghaffari, M., 2023, I: Expert Systems With Applications. 213, Part B, 119043.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Contagious Diseases 100%
  • Urban Environment 100%
  • Case Study 100%
  • Closed Population 100%
  • Probability Theory 100%
• 2022

  Guiding the Evolution of Product-Line Configurations

  Nieke, M., Sampaio, G., Thüm, T., Seidl, C., Teixeira, L. & Schaefer, I., 2022, I: Software & Systems Modeling (SoSyM). 21, s. 225–247

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Quantitative Evaluation 100%
  • Knowledge-Sharing 100%
  • Configuration Option 100%
  • Update Operation 100%
  • Automatic Update 100%

• MROS: runtime adaptation for robot control architectures

  Bozhinoski, D., Oviedo, M. G., Garcia, N. H., Deshpande, H., Hoorn, G. V. D., Tjerngren, J., Wasowski, A. & Corbato, C. H., 2022, I: Advanced Robotics. 36, 11, s. 502-518 17 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Runtime Adaptation 100%
  • MROS 100%
  • Robot Control Architecture 100%
  • Robot 100%
  • Robot Control 100%

• Patching Locking Bugs Statically with Crayons

  Cruz, A., Varshosaz, M., Le Goues, C. & Wasowski, A., 22 aug. 2022, I: ACM Transactions on Software Engineering and Methodology.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Linux 100%
  • Computing Infrastructure 50%
  • Operating Systems 50%
  • Supercomputer 50%
  • Static Program Analysis 50%

• Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review

  Araujo, H., Mousavi, M. R. & Varshosaz, M., 2022, I: ACM Transactions on Software Engineering and Methodology (TOSEM).

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Robotic System 100%
  • Autonomous Systems 100%
  • Testing Validation 100%
  • Autonomous System 100%
  • System Behavior 50%

• Utilizing Multi-Level Concepts for Multi-Phase Modeling

  Franz, T., Seidl, C., Fischer, P. & Gerndt, A., 2022, I: Software & Systems Modeling (SoSyM).

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Multiphase Modeling 100%
  • Multilevel Concept 100%
  • Phase Modeling 100%
  • Multilevel Modeling 75%
  • Phase Ordering 50%
• 2021

  A Modeling Tool for Reconfigurable Skills in ROS

  Bozhinoski, D., Aguado, E., Oviedo, M. G., Corbato, C. H., Sanz, R. & Wasowski, A., 2021, I: 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE). s. 25-28

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Robot Operating System 100%
  • Ontology 100%
  • Reconfigurable 100%
  • Modeling Tools 100%
  • System Platform 100%

• Interacting with academic readings — A comparison of paper and laptop

  Inie, N., Barkhuus, L. & Brabrand, C., 2021, I: Social Sciences & Humanities Open. 100226.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • University Students 100%
  • Natural Environment 100%
  • Reading Comprehension 100%
  • Annotation 100%
  • Reading Time 100%

• Pull Request Governance In Open Source Communities

  Alami, A., Pardo, R., Cohn, M. & Wasowski, A., 16 nov. 2021, I: I E E E Transactions on Software Engineering. 48, 12, s. 4838-4856

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Open Source Community 100%
  • Pull Request 100%
  • Open Source 50%
  • Software Project 50%
  • Open Source Software 50%

• Verification of Program Transformations with Inductive Refinement Types

  Al-Sibahi, A. S., Jensen, T. P., Dimovski, A. & Wasowski, A., 2021, I: ACM Transactions on Software Engineering and Methodology. 30, 1, s. 1-33 5.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

  • Pattern Matching 100%
  • Traversal 100%
  • Program Transformation 100%
  • Abstract Interpretation 100%
  • Program Verification 100%
• 2020

  A Tailored Participatory Action Research for FOSS Communities

  Alami, A., Nielsen, P. A. & Wasowski, A., 4 sep. 2020, I: Journal of Empirical Software Engineering. 25, 5, s. 3639 - 3670 23 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

  • Robot 100%
  • Operating Systems 100%
  • Open Source 100%
  • Control Mechanism 100%
  • Research Framework 100%

• Generalized abstraction-refinement for game-based CTL lifted model checking

  Dimovski, A., Wasowski, A. & Legay, A., 2020, I: Theoretical Computer Science. 837, s. 181-206 26 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Model Checking 100%
  • Lift Model 100%
  • Variability Model 71%
  • Modal Transition Systems 33%
  • Software Product Line 28%

• The forgotten case of the dependency bugs: on the example of the robot operating system

  Fischer-Nielsen, A., Fu, Z., Su, T. & Wasowski, A., 2020, I: Proceedings of the International Conference on Software Engineering. s. 21-30 10 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Robot 100%
  • Operating Systems 100%
  • Robot Operating System 100%
  • bug report 50%
  • Bug Reports 50%
• 2019

  Clafer: Lightweight Modeling of Structure, Behaviour, and Variability

  Juodisius, P., Sarkar, A., Mukkamala, R. R., Antkiewicz, M., Czarnecki, K. & Wasowski, A., 2019, I: The Art, Science, and Engineering of Programming. 3, 1, s. 2:1-2:62 62 s., 2.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Clafer 100%
  • Structure Modeling 100%
  • Structure Behavior 100%
  • Automaton 100%
  • Automata 50%

• Finding suitable variability abstractions for lifted analysis

  Dimovski, A., Brabrand, C. & Wasowski, A., 2019, I: Formal Aspects of Computing. 31, 2, s. 231-259

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Software Systems 100%
  • Static Program Analysis 100%
  • Software Product Line 100%
  • Case Study 100%
  • Computational Cost 100%
• 2018

  Variability abstractions for lifted analyses

  Dimovski, A., Brabrand, C. & Wasowski, A., 2018, I: Science of Computer Programming. 159, s. 1-27

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

  • Program Families 100%
  • Variability Abstractions 100%
  • Program Analysis 100%
  • Single Program 66%
  • Language Specific 66%
• 2017

  Controller synthesis for dynamic hierarchical real-time plants using timed automata

  Bin Waez, M. T., Wasowski, A., Dingel, J. & Rudie, K., 2017, I: Discrete Event Dynamic Systems. 27, 2, s. 407-441

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Automata 100%
  • Controller Synthesis 100%
  • Timed Automata 100%
  • Automaton 100%
  • Timed Automaton 100%

• Data-efficient performance learning for configurable systems

  Guo, J., Yang, D., Siegmund, N., Apel, S., Sarkar, A., Valov, P., Czarnecki, K., Wasowski, A. & Yu, H., nov. 2017, I: Empirical Software Engineering. 42 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Performance Learning 100%
  • Configurable Systems 100%
  • Performance Efficiency 100%
  • Configurable System 100%
  • Learning Performance 100%

• Effective Analysis of C Programs by Rewriting Variability

  Iosif-Lazar, A. F., Melo, J., Dimovski, A., Brabrand, C. & Wasowski, A., 27 jan. 2017, I: The Art, Science, and Engineering of Programming. 1, 1, s. 1-25 25 s., 1.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Program Families 100%
  • C Program 100%
  • Effective Analysis 100%
  • Single Program 100%
  • Program Analysis 40%