Andrzej Wasowski

Research output

Research output per year 2008 2010 2011 2012 2013 2014 2015 2018 2019 2020 2023

• 65 Article in proceedings
• 40 Journal article
• 14 Conference article
• 5 Book chapter
• 14 More
  • 3 Editorial
  • 3 Other contribution
  • 2 Report
  • 2 Conference abstract for conference
  • 1 Book
  • 1 Report chapter
  • 1 Paper
  • 1 Poster

Research output per year

Research output per year

Search results

• 2023

  Domain-Specific Languages: Effective modeling, automation, and reuse

  Wasowski, A. & Berger, T., 2023, Springer International Publishing. 492 p.

  Research output: Book / Anthology / Report / Ph.D. thesis › Book › Communication

  • Automation 100%
  • Semantics 89%
  • Software engineering 70%
  • Ruby 65%
  • Industrial research 61%
• 2022

  A Specification Logic for Programs in the Probabilistic Guarded Command Language

  Pardo, R., Broch Johnsen, E., Schaefer, I. & Wasowski, A., Oct 2022, A Specification Logic for Programs in the Probabilistic Guarded Command Language. Springer, Cham, Vol. 13572. 19 p. (Proceedings of 19th International Colloquium on Theoretical Aspects of Computing - ICTAC 2022).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  File

  • Semantics 100%
  • Specifications 94%
  • Specification languages 83%

• Belief-based fault recovery for marine robotics

  Jeremy Paul Coffelt, Mohammadi Kashani, M., Wasowski, A. & Peter Kampmann, 16 Aug 2022, The Eighth Joint Ontology Workshops (JOWO’22), August 15-19, 2022, Jönköping University, Sweden. Vol. Vol-3249. 14 p. paper3-RobOntics

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  • Remotely operated vehicles 100%
  • Robotics 58%
  • Health 56%
  • Cameras 54%
  • Recovery 52%

• 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, In: Advanced Robotics. 36, 11, p. 502-518 17 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

• Patching Locking Bugs Statically with Crayons

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

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  • Linux 100%
  • Repair 98%
  • Supercomputers 27%
  • Computer operating systems 26%
  • Static analysis 25%
• 2021

  A Modeling Tool for Reconfigurable Skills in ROS

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

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• Assessing Privacy Risks Using Probabilistic Programming

  Jimenez, R. P., Rafnsson, W., Probst, C. W. & Wasowski, A., 2021.

  Research output: Contribution to conference - NOT published in proceeding or journal › Poster › Research › peer-review

• Pull Request Governance In Open Source Communities

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

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Social aspects 100%
  • Open source software 84%
  • Managers 64%

• Reactive Programming of Robots with RxROS

  Larsen, H., van der Hoorn, G. & Wasowski, A., 2021, Robot Operating System (ROS). Springer, Vol. 962. p. 55-83 (Studies in Computational Intelligence, Vol. 962).

  Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

• Verification of Program Transformations with Inductive Refinement Types

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

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  File
• 2020

  A Tailored Participatory Action Research for FOSS Communities

  Alami, A., Nielsen, P. A. & Wasowski, A., 4 Sep 2020, In: Journal of Empirical Software Engineering. 25, 5, p. 3639 - 3670 23 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  File

  • Open source software 100%
  • Quality assurance 15%
  • Robots 9%

• Behavior trees in action: A study of robotics applications

  Ghzouli, R., Berger, T., Broch Johnsen, E., Dragule, S. & Wasowski, A., 2020, Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, Virtual Event, USA, November 16-17, 2020. Association for Computing Machinery, p. 196–209 (Proceedings of ACM SIGPLAN International Conference on Software Language Engineering).

  Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

  Open Access

  File

  • Robotics 100%
  • Computer games 41%
  • High level languages 40%
  • Modeling languages 36%
  • Semantics 22%

• Dependency bugs: the dark side of variability, reuse and modularity

  Wasowski, A., 2020, 2 p. Association for Computing Machinery.

  Research output: Other contribution › Research

• Galois Connections for Recursive Types

  Al-Sibahi, A. S., Jensen, T. P., Møgelberg, R. E. & Wasowski, A., 2020, From Lambda Calculus to Cybersecurity Through Program Analysis. Springer, p. 105-131 (Lecture Notes in Computer Science, Vol. 12065).

  Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

  Open Access

  File

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

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

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Model Checking 100%
  • Abstraction 95%
  • Model checking 93%
  • Refinement 77%
  • Game 71%

• Guest editorial to the special section on MODELS 2018

  Wasowski, A., Paige, R. & Haugen, Ø., 2020, In: Software and Systems Modeling. 19, 4, p. 825-826 2 p.

  Research output: Journal Article or Conference Article in Journal › Editorial

  Open Access

• How Do FOSS Communities Decide to Accept Pull Requests?

  Alami, A., Cohn, M. & Wasowski, A., 15 Apr 2020, EASE '20: Proceedings of the Evaluation and Assessment in Software Engineering. Association for Computing Machinery, p. 220-229 10 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • software 100%
  • software development 65%
  • sustainability 38%
  • method 11%

• Intention-Based Integration of Software Variants

  Lillack, M., Stanciulescu, S., Hedman, W., Berger, T. & Wasowski, A., 2020, Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria. . Gesellschaft fur Informatik (GI), p. 57-58 2 p. (Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria).

  Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

  Open Access

  File

  • Merging 100%
  • Cloning 68%
  • Experiments 36%
  • Set theory 32%
  • Costs 19%

• 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, In: Proceedings of the International Conference on Software Engineering. p. 21-30 10 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Robots 100%
  • Taxonomies 54%
  • Software engineering 41%
  • Chemical analysis 33%
• 2019

  Affiliated Participation in Open Source Communities

  Alami, A. & Wasowski, A., 19 Sep 2019, The 13th edition of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) . IEEE, 12 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Open Sources 100%
  • participation 51%
  • software 47%
  • significant acquisition 26%
  • distribution strategy 24%

• Clafer: Lightweight Modeling of Structure, Behaviour, and Variability

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

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Semantics 100%
  • Positive ions 91%
  • Embedded software 91%
  • Temporal logic 86%
  • Modeling languages 81%

• Finding suitable variability abstractions for lifted analysis

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

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Abstraction 100%
  • Static analysis 47%
  • Family 38%
  • Semantics 31%
  • Software Product Lines 20%

• Guest editorial to the special section on ECMFA and ICMT at STAF 2016: Modeling and model transformations research in 2016

  Van Gorp, P. & Wasowski, A., 2019, In: Software and Systems Modeling. 18, 2, p. 959-960

  Research output: Journal Article or Conference Article in Journal › Editorial

  Open Access

• Identifying Redundancies in Fork-based Development

  Ren, L., Zhou, S., Kästner, C. & Wasowski, A., 2019, The 26th IEEE International Conference on Software Analysis Evolution and Reengineering, Hangzhou, China, Februrary 24-27, 2019. IEEE Press

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Redundancy 100%
  • Machine learning 86%

• Intention-based integration of software variants

  Lillack, M., Stanciulescu, S., Hedman, W., Berger, T. & Wasowski, A., 2019, Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. IEEE, p. 831-842 (Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Merging 100%
  • Cloning 68%
  • Experiments 36%
  • Set theory 32%
  • Costs 19%

• Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT

  Hebig, R., Seidl, C., Berger, T., Kook Pedersen, J. & Wasowski, A., 2019, Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Gesellschaft fur Informatik (GI), p. 91-92 (Lecture Notes in Informatics).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Glass 100%
  • Experiments 44%
  • Copying 31%
  • Software engineering 20%

• Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL

  Dimovski, A., Legay, A. & Wasowski, A., 2019, Fundamental Approaches to Software Engineering. FASE 2019. Springer, p. 192-209 (Lecture Notes in Computer Science, Vol. 11424).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Model checking 100%
  • Explosions 14%
  • Semantics 10%
  • Costs 6%

• Why Does Code Review Work for Open Source Software Communities?

  Alami, A., Cohn, M. & Wasowski, A., 25 May 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE). IEEE

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Open source software 100%
  • Ethical aspects 66%
  • Social aspects 16%
• 2018

  Editorial

  Denney, E., Stevens, P. & Wasowski, A., 2018, In: Formal Aspects of Computing. 30, 1, p. 1-1 1 p., 1.

  Research output: Journal Article or Conference Article in Journal › Editorial

  Open Access

• Going Beyond Obscurity: Organizational Approaches to Data Anonymization

  Hargitai, V., Shklovski, I. & Wasowski, A., 2018, Proceedings of the ACM on Human-Computer Interaction - CSCW. Association for Computing Machinery, Vol. 2. (Proceedings of the ACM on Human-Computer Interaction - CSCW).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • anonymity 100%
  • privacy 75%
  • stakeholder 62%
  • decision making 57%
  • responsibility 49%

• Identifying Features in Forks

  Zhou, S., Stanciulescu, S., Lessnich, O., Xiong, Y., Wasowski, A. & Kästner, C., 2018, Proceedings of the 40th ACM/IEEE International Conference on Software Engineering (ICSE2018), Gothenburg, Sweden. IEEE, 12 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Electric network analysis 100%
  • Information retrieval 95%
  • Industry 43%

• Influencers of Quality Assurance in an Open Source Community

  Alami, A., Dittrich, Y. & Wasowski, A., 27 May 2018, Proceedings of the 11th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE '18). Association for Computing Machinery, p. 61-68 8 p. ICSE-WS-CHASE-22

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Open Source 100%
  • Quality Assurance 96%
  • Robotics 55%
  • Robot 36%
  • Alignment 27%

• Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT

  Hebig, R., Berger, T., Seidl, C., Kook Pedersen, J. & Wasowski, A., 2018, Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018. Association for Computing Machinery, p. 445-455 11 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Glass 100%
  • Experiments 44%
  • Copying 31%
  • Software engineering 20%

• Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018

  Wasowski, A., Paige, R. & Haugen, Ø., 2018, Association for Computing Machinery.

  Research output: Other contribution › Research

• Variability abstractions for lifted analyses

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

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  File

  • Formal methods 100%
  • Static analysis 89%
  • Syntactics 88%
  • Acoustic waves 68%
  • Costs 32%

• Variability Bugs in Highly Configurable Systems: A Qualitative Analysis

  Abal, I., Melo, J., Stanciulescu, S., Brabrand, C., Ribeiro, M. & Wasowski, A., 2018, In: ACM Transactions on Software Engineering and Methodology. 26, 3, 10.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Modeling languages 100%
  • Linux 93%
  • User interfaces 79%
  • Large scale systems 77%
  • Sampling 63%

• Verification of high-level transformations with inductive refinement types

  Al-Sibahi, A. S., Jensen, T. P., Dimovski, A. & Wasowski, A., 2018, Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston, MA, USA, November 5-6, 2018. Association for Computing Machinery, p. 147-160 14 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Pattern matching 100%
  • Semantics 30%
• 2017

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

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

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Timed Automata 100%
  • Real-time 85%
  • Controller 71%
  • Synthesis 68%
  • Automata 66%

• 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, In: Empirical Software Engineering. 42 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Feature extraction 100%
  • Statistics 48%
  • Machine learning 47%
  • Chemical analysis 42%
  • Costs 24%

• Effective Analysis of C Programs by Rewriting Variability

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

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Electric grounding 100%

• Effective Bug Finding in C Programs with Shape and Effect Abstractions

  Abal, I., Brabrand, C. & Wasowski, A., 2017, Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings. Springer, p. 34-54 (Lecture Notes in Computer Science, Vol. 10145).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Linux 100%
  • Flow graphs 84%
  • Model checking 34%
  • Scanning 24%
  • Data storage equipment 19%

• From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL

  Dimovski, A. & Wasowski, A., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer, p. 249-268 (Lecture Notes in Computer Science, Vol. 10460).

  Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

  Open Access

  File

  • Model checking 100%
  • Syntactics 16%
  • Personnel 11%
  • Costs 6%

• Variability-Specific Abstraction Refinement for Family-Based Model Checking

  Dimovski, A. & Wasowski, A., 23 Mar 2017, Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017: Fundamental Approaches to Software Engineering, FASE 2017. Huisman, M. & Rubin, J. (eds.). Berlin, Heidelberg: Springer, p. 406-423 17 p. (Lecture Notes in Computer Science, Vol. 10202).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Model checking 100%
  • Interpolation 16%
  • Costs 7%

• Variability through the Eyes of the Programmer

  Melo, J., Batista Narcizo, F., Hansen, D. W., Brabrand, C. & Wasowski, A., 1 May 2017, 2017 IEEE/ACM 25th International Conference on Program Comprehension (ICPC). IEEE, p. 34-44 11 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Eye 100%
  • Eye Movements 41%
  • Evaluation Studies 36%
• 2016

  Concepts, Operations, and Feasibility of a Projection-Based Variation Control System

  Stanciulescu, S., Berger, T., Walkingshaw, E. & Wasowski, A., 5 Oct 2016, Proceedings of 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 11 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Control systems 100%
  • Firmware 98%
  • 3D printers 79%

• Efficient family-based model checking via variability abstractions

  Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 26 May 2016, In: International Journal on Software Tools for Technology Transfer. 19, 5, p. 585–603 19 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Model checking 100%
  • Modeling languages 9%
  • Syntactics 8%
  • Scalability 6%
  • Semantics 5%

• Finding Suitable Variability Abstractions for Family-Based Analysis

  Dimovski, A., Brabrand, C. & Wasowski, A., 8 Nov 2016, FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Fitzgerald, J. S., Heitmeyer, C. L., Gnesi, S. & Philippou, A. (eds.). Limassol, Cyprus, November 9-11, 2016: Springer, p. 217-234 17 p. (Lecture Notes in Computer Science, Vol. 9995).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Static analysis 100%
  • Explosions 90%

• How Does the Degree of Variability Affect Bug-Finding?

  Melo, J., Brabrand, C. & Wasowski, A., 14 May 2016, ICSE '16 Proceedings of the 38th International Conference on Software Engineering. Association for Computing Machinery, p. 679-690 12 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • bug 100%
  • program 22%
  • speed 13%
  • software 6%
  • project 5%

• Symbolic Execution of High-Level Transformations

  Al-Sibahi, A. S., Dimovski, A. & Wasowski, A., 2016, Proceedings of the 9th ACM SIGPLAN International Conference on Software Language Engineering. Association for Computing Machinery

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

• SymexTRON: Symbolic Execution of High-Level Transformation Languages: Symbolic Execution of High-Level Transformations

  Al-Sibahi, A. S., Dimovski, A. & Wasowski, A., Sep 2016, 24 p. (ITU Technical Report Series; No. TR-2016-196).

  Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

  File

  • Semantics 100%