World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
43
Citations
8336
World Ranking
7953
National Ranking
35

Overview

Andrzej Wąsowski is affiliated with the IT University of Copenhagen in Denmark. Their research spans the field of Computer Science, with a focus on several subfields including Artificial Intelligence, Information Systems, Software, Computational Theory and Mathematics, and Computer Science Applications.

Their main research topics encompass:

  • Formal Methods in Verification
  • Software Engineering Research
  • Logic, programming, and type systems
  • Software Testing and Debugging Techniques
  • Model-Driven Software Engineering Techniques
  • Privacy-Preserving Technologies in Data
  • Advanced Software Engineering Methodologies

Recent publications by Andrzej Wąsowski include:

  • "Behavior Trees and State Machines in Robotics Applications", 2023, IEEE Transactions on Software Engineering
  • "MROS: runtime adaptation for robot control architectures", 2022, Advanced Robotics
  • "Generalized abstraction-refinement for game-based CTL lifted model checking", 2020, Theoretical Computer Science
  • "Formal Specification and Testing for Reinforcement Learning", 2023, Proceedings of the ACM on Programming Languages
  • "Pull Request Governance in Open Source Communities", 2021, IEEE Transactions on Software Engineering

They frequently collaborate with several coauthors, including:

  • Einar Broch Johnsen
  • Raúl Pardo
  • Gijs van der Hoorn
  • Adam Alami
  • Darko Bozhinoski

Key publication venues for their work include:

  • arXiv (Cornell University)
  • Research Portal (King's College London)
  • IEEE Transactions on Software Engineering
  • Theoretical Computer Science
  • Empirical Software Engineering

Best Publications

  • A survey of variability modeling in industrial practice

    Thorsten Berger;Ralf Rublack;Divya Nair;Joanne M. Atlee

  • Feature Diagrams and Logics: There and Back Again

    K. Czarnecki;A. Wasowski

  • Cool features and tough decisions: a comparison of variability modeling approaches

    Krzysztof Czarnecki;Paul Grünbacher;Rick Rabiser;Klaus Schmid

  • Reverse engineering feature models

    Steven She;Rafael Lotufo;Thorsten Berger;Andrzej Wasowski

  • SAT-based analysis of feature models is easy

    Marcilio Mendonca;Andrzej Wąsowski;Krzysztof Czarnecki

  • Modal I/O automata for interface and product line theories

    Kim G. Larsen;Ulrik Nyman;Andrzej Wąsowski

  • Timed I/O automata: a complete specification theory for real-time systems

    Alexandre David;Kim G. Larsen;Axel Legay;Ulrik Nyman

  • Evolution of the linux kernel variability model

    Rafael Lotufo;Steven She;Thorsten Berger;Krzysztof Czarnecki

  • A Study of Variability Models and Languages in the Systems Software Domain

    Thorsten Berger;Steven She;Rafael Lotufo;Andrzej Wasowski

  • On modal refinement and consistency

    Kim G. Larsen;Ulrik Nyman;Andrzej Wasowski

  • Variability-aware performance prediction: a statistical learning approach

    Jianmei Guo;Krzysztof Czarnecki;Sven Apely;Norbert Siegmundy

  • Variability modeling in the real: a perspective from the operating systems domain

    Thorsten Berger;Steven She;Rafael Lotufo;Andrzej Wąsowski

  • Efficient compilation techniques for large scale feature models

    Marcilio Mendonca;Andrzej Wasowski;Krzysztof Czarnecki;Donald Cowan

  • Feature and meta-models in Clafer: mixed, specialized, and coupled

    Kacper Bak;Krzysztof Czarnecki;Andrzej Wasowski

  • 42 variability bugs in the linux kernel: a qualitative analysis

    Unknown

  • Sample Spaces and Feature Models: There and Back Again

    K. Czarnecki;S. She;A. Wasowski

  • Clafer: unifying class and feature modeling

    Kacper Bąk;Zinovy Diskin;Michał Antkiewicz;Krzysztof Czarnecki

  • CVL: common variability language

    Øystein Haugen;Andrzej Wąsowski;Krzysztof Czarnecki

  • Moving from specifications to contracts in component-based design

    Sebastian S. Bauer;Alexandre David;Rolf Hennicker;Kim Guldstrand Larsen

  • Data-efficient performance learning for configurable systems

    Jianmei Guo;Dingyu Yang;Norbert Siegmund;Sven Apel

  • Flexible product line engineering with a virtual platform

    Michał Antkiewicz;Wenbin Ji;Thorsten Berger;Krzysztof Czarnecki

  • Efficient synthesis of feature models

    Nele Andersen;Krzysztof Czarnecki;Steven She;Andrzej Wąsowski

Frequent Co-Authors

Krzysztof Czarnecki
Krzysztof Czarnecki University of Waterloo
Axel Legay
Axel Legay Université Catholique de Louvain
Kim Guldstrand Larsen
Kim Guldstrand Larsen Aalborg University
Thorsten Berger
Thorsten Berger Ruhr University Bochum
Alexandre David
Alexandre David Aalborg University
Richard F. Paige
Richard F. Paige McMaster University
Ina Schaefer
Ina Schaefer Technische Universität Braunschweig
Jean-Marc Jézéquel
Jean-Marc Jézéquel University of Rennes
Ralf Lämmel
Ralf Lämmel Facebook (United States)
Yingfei Xiong
Yingfei Xiong Peking University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens up diverse opportunities for further education and career growth. Today, many students begin with an online associate degree—a flexible and affordable option that covers foundational skills and paves the way for advanced study or quick entry into tech roles.

For those looking to elevate their expertise and job prospects, reviewing the best masters degree to get can help identify specialized fields that are in high demand, such as artificial intelligence or cybersecurity. Many top schools now offer these programs entirely online.

Cost and admission requirements are common concerns. Fortunately, there are affordable online colleges that cater to budget-conscious students without compromising on quality. Additionally, some of the online colleges that accept 2.0 gpa ensure access to higher education for those who may have had academic challenges in the past.

Whether starting out or seeking advanced credentials, online study makes it possible to tailor your educational journey and open doors to rewarding tech careers.

Best Scientists Citing Andrzej Wąsowski

Trending Scientists

Recently Published Articles