Andrzej Wasowski

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 91

Top Venues

Publications

Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski, Swaib Dragule
Behavior Trees and State Machines in Robotics Applications. Software Engineering (2024)
Luiza Ribeiro Marnet, Yury Brodskiy, Stella Grasshof, Andrzej Wasowski
Uncertainty Driven Active Learning for Image Segmentation in Underwater Inspection. CoRR (2024)
Christopher Steven Timperley, Gijs van der Hoorn, André Santos, Harshavardhan Deshpande, Andrzej Wasowski
ROBUST: 221 Bugs in the Robot Operating System. CoRR (2024)
Luiza Ribeiro Marnet, Yury Brodskiy, Stella Grasshof, Andrzej Wasowski
Uncertainty Driven Active Learning for Image Segmentation in Underwater Inspection. ROBOVIS (2024)
Christopher Steven Timperley, Gijs van der Hoorn, André Santos, Harshavardhan Deshpande, Andrzej Wasowski
ROBUST: 221 bugs in the Robot Operating System. Empir. Softw. Eng. 29 (3) (2024)
Gustavo Rezende Silva, Nadia Hammoudeh Garcia, Darko Bozhinoski, Harshavardhan Deshpande, Mario Garzon Oviedo, Andrzej Wasowski, Mariano Ramírez Montero, Carlos Hernández Corbato
MROS: A framework for robot self-adaptation. ICSE Companion (2023)
Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski
Timed I/O Automata: It is never too late to complete your timed specification theory. CoRR (2023)
Amir Ghorbani, Nathan Cassee, Derek Robinson, Adam Alami, Neil A. Ernst, Alexander Serebrenik, Andrzej Wasowski
Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots. ICSE (2023)
Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
Symbolic Semantics for Probabilistic Programs (extended version). CoRR (2023)
Juan Cruz-Carlon, Mahsa Varshosaz, Claire Le Goues, Andrzej Wasowski
Patching Locking Bugs Statically with Crayons. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Amir Ghorbani, Nathan Cassee, Derek Robinson, Adam Alami, Neil A. Ernst, Alexander Serebrenik, Andrzej Wasowski
Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots. CoRR (2023)
Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski
Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Extended Version). CoRR (2023)
Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wasowski
Formal Specification and Testing for Reinforcement Learning. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski
Exact and Efficient Bayesian Inference for Privacy Risk Quantification. SEFM (2023)
Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
Symbolic Semantics for Probabilistic Programs. QEST (2023)
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski, Swaib Dragule
Behavior Trees and State Machines in Robotics Applications. IEEE Trans. Software Eng. 49 (9) (2023)
Gustavo Rezende Silva, Darko Bozhinoski, Mario Garzon Oviedo, Mariano Ramirez Montero, Nadia Hammoudeh Garcia, Harshavardhan Deshpande, Andrzej Wasowski, Carlos Hernández Corbato
MROS: A framework for robot self-adaptation. CoRR (2023)
Raúl Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski
Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores. DPM/CBT@ESORICS (2022)
Darko Bozhinoski, Mario Garzon Oviedo, Nadia Hammoudeh Garcia, Harshavardhan Deshpande, Gijs van der Hoorn, Jon Tjerngren, Andrzej Wasowski, Carlos Hernández Corbato
MROS: runtime adaptation for robot control architectures. Adv. Robotics 36 (11) (2022)
Razan Ghzouli, Swaib Dragule, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski
Behavior Trees and State Machines in Robotics Applications. CoRR (2022)
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
A Specification Logic for Programs in the Probabilistic Guarded Command Language. ICTAC (2022)
Raúl Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski
Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores. CoRR (2022)
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version). CoRR (2022)
Jeremy Coffelt, Mahya Mohammadi Kashani, Andrzej Wasowski, Peter Kampmann
Belief-Based Fault Recovery for Marine Robotics. JOWO (2022)
Adam Alami, Raúl Pardo, Marisa Leavitt Cohn, Andrzej Wasowski
Pull Request Governance in Open Source Communities. IEEE Trans. Software Eng. 48 (12) (2022)
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
Verification of Program Transformations with Inductive Refinement Types. ACM Trans. Softw. Eng. Methodol. 30 (1) (2021)
Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski
Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis. ESORICS (2) (2021)
Darko Bozhinoski, Esther Aguado, Mario Garzon Oviedo, Carlos Hernández Corbato, Ricardo Sanz, Andrzej Wasowski
A Modeling Tool for Reconfigurable Skills in ROS. RoSE@ICSE (2021)
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski
Galois Connections for Recursive Types. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Adam Alami, Peter Axel Nielsen, Andrzej Wasowski
A tailored participatory action research for foss communities. Empir. Softw. Eng. 25 (5) (2020)
Andrzej Wasowski
Dependency bugs: the dark side of variability, reuse and modularity. VaMoS (2020)
Anders Fischer-Nielsen, Zhoulai Fu, Ting Su, Andrzej Wasowski
The forgotten case of the dependency bugs: on the example of the robot operating system. ICSE (SEIP) (2020)
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski
Behavior Trees in Action: A Study of Robotics Applications. CoRR (2020)
Andrzej Wasowski, Richard F. Paige, Øystein Haugen
Guest editorial to the special section on MODELS 2018. Softw. Syst. Model. 19 (4) (2020)
Adam Alami, Marisa Leavitt Cohn, Andrzej Wasowski
How Do FOSS Communities Decide to Accept Pull Requests? EASE (2020)
Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
Generalized abstraction-refinement for game-based CTL lifted model checking. Theor. Comput. Sci. 837 (2020)
Carlos Hernández Corbato, Darko Bozhinoski, Mario Garzon Oviedo, Gijs van der Hoorn, Nadia Hammoudeh Garcia, Harshavardhan Deshpande, Jon Tjerngren, Andrzej Wasowski
MROS: Runtime Adaptation For Robot Control Architectures. CoRR (2020)
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski
Behavior trees in action: a study of robotics applications. SLE (2020)
Raúl Pardo, Willard Rafnsson, Christian Probst, Andrzej Wasowski
Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis. CoRR (2020)
Max Lillack, Stefan Stanciulescu, Wilhelm Hedman, Thorsten Berger, Andrzej Wasowski
Intention-Based Integration of Software Variants. SE (2020)
Adam Alami, Andrzej Wasowski
Affiliated Participation in Open Source Communities. ESEM (2019)
Regina Hebig, Christoph Seidl, Thorsten Berger, John Kook Pedersen, Andrzej Wasowski
Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT. SE/SWM (2019)
Max Lillack, Stefan Stanciulescu, Wilhelm Hedman, Thorsten Berger, Andrzej Wasowski
Intention-based integration of software variants. ICSE (2019)
Adam Alami, Andrzej Wasowski
Affiliated participation in open source communities. PeerJ Prepr. 7 (2019)
Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version). CoRR (2019)
Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. FASE (2019)
Adam Alami, Marisa Leavitt Cohn, Andrzej Wasowski
Why does code review work for open source software communities? ICSE (2019)
Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability. Art Sci. Eng. Program. 3 (1) (2019)
Luyao Ren, Shurui Zhou, Christian Kästner, Andrzej Wasowski
Identifying Redundancies in Fork-based Development. SANER (2019)
Pieter Van Gorp, Andrzej Wasowski
Guest editorial to the special section on ECMFA and ICMT at STAF 2016 - Modeling and model transformations research in 2016. Softw. Syst. Model. 18 (2) (2019)
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
Finding suitable variability abstractions for lifted analysis. Formal Aspects Comput. 31 (2) (2019)
Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability. CoRR (2018)
Iago Abal, Jean Melo, Stefan Stanciulescu, Claus Brabrand, Márcio Ribeiro, Andrzej Wasowski
Variability Bugs in Highly Configurable Systems: A Qualitative Analysis. ACM Trans. Softw. Eng. Methodol. 26 (3) (2018)
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
Verification of High-Level Transformations with Inductive Refinement Types. CoRR (2018)
Regina Hebig, Christoph Seidl, Thorsten Berger, John Kook Pedersen, Andrzej Wasowski
Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT. ESEC/SIGSOFT FSE (2018)
Adam Alami, Yvonne Dittrich, Andrzej Wasowski
Influencers of quality assurance in an open source community. CHASE@ICSE (2018)
Jianmei Guo, Dingyu Yang, Norbert Siegmund, Sven Apel, Atrisha Sarkar, Pavel Valov, Krzysztof Czarnecki, Andrzej Wasowski, Huiqun Yu
Data-efficient performance learning for configurable systems. Empir. Softw. Eng. 23 (3) (2018)
Viktor Hargitai, Irina Shklovski, Andrzej Wasowski
Going Beyond Obscurity: Organizational Approaches to Data Anonymization. Proc. ACM Hum. Comput. Interact. 2 (CSCW) (2018)
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
Variability abstractions for lifted analyses. Sci. Comput. Program. 159 (2018)
Shurui Zhou, Stefan Stanciulescu, Olaf Leßenich, Yingfei Xiong, Andrzej Wasowski, Christian Kästner
Identifying features in forks. ICSE (2018)
Ewen Denney, Perdita Stevens, Andrzej Wasowski
Editorial. Formal Aspects Comput. 30 (1) (2018)
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
Verification of high-level transformations with inductive refinement types. GPCE (2018)
Alexandru Florin Iosif-Lazar, Jean Melo, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
Effective Analysis of C Programs by Rewriting Variability. CoRR (2017)
Andrzej Wasowski, Thorsten Weyer
Introduction to the theme issue on variability modeling of software-intensive systems. Softw. Syst. Model. 16 (1) (2017)
Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie
Controller synthesis for dynamic hierarchical real-time plants using timed automata. Discret. Event Dyn. Syst. 27 (2) (2017)
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski
Efficient family-based model checking via variability abstractions. Int. J. Softw. Tools Technol. Transf. 19 (5) (2017)
Jean Melo, Fabricio Batista Narcizo, Dan Witzner Hansen, Claus Brabrand, Andrzej Wasowski
Variability through the eyes of the programmer. ICPC (2017)
Iago Abal, Claus Brabrand, Andrzej Wasowski
Effective Bug Finding in C Programs with Shape and Effect Abstractions. VMCAI (2017)
Aleksandar S. Dimovski, Andrzej Wasowski
From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL. Models, Algorithms, Logics and Tools (2017)
Aleksandar S. Dimovski, Andrzej Wasowski
Variability-Specific Abstraction Refinement for Family-Based Model Checking. FASE (2017)
Alexandru Florin Iosif-Lazar, Jean Melo, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
Effective Analysis of C Programs by Rewriting Variability. Art Sci. Eng. Program. 1 (1) (2017)
Andrzej Wasowski, Thorsten Weyer
Erratum to: Introduction to the theme issue on variability modeling of software-intensive systems. Softw. Syst. Model. 16 (1) (2017)
Jean Melo, Elvis Flesborg, Claus Brabrand, Andrzej Wasowski
A Quantitative Analysis of Variability Warnings in Linux. VaMoS (2016)
Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski
Clafer: unifying class and feature modeling. Softw. Syst. Model. 15 (3) (2016)
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
Finding Suitable Variability Abstractions for Family-Based Analysis. FM (2016)
Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski
Symbolic execution of high-level transformations. SLE (2016)
Stefan Stanciulescu, Thorsten Berger, Eric Walkingshaw, Andrzej Wasowski
Concepts, Operations, and Feasibility of a Projection-Based Variation Control System. ICSME (2016)
Leonardo Teixeira Passos, Leopoldo Teixeira, Nicolas Dintzner, Sven Apel, Andrzej Wasowski, Krzysztof Czarnecki, Paulo Borba, Jianmei Guo
Coevolution of variability models and related software artifacts - A fresh look at evolution patterns in the Linux kernel. Empir. Softw. Eng. 21 (4) (2016)
Alexandru F. Iosif-Lazar, Andrzej Wasowski
Trustworthy variant derivation with translation validation for safety critical product lines. J. Log. Algebraic Methods Program. 85 (6) (2016)
Jean Melo, Claus Brabrand, Andrzej Wasowski
How does the degree of variability affect bug finding? ICSE (2016)
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski
Family-based model checking using off-the-shelf model checkers: extended abstract. SPLC (2015)
Jan Midtgaard, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
Systematic derivation of correct variability-aware program analyses. Sci. Comput. Program. 105 (2015)
Alexandru F. Iosif-Lazar, Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Juha Erik Savolainen, Krzysztof Sierszecki, Andrzej Wasowski
Experiences from Designing and Validating a Software Modernization Transformation (E). ASE (2015)
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski
Real-time specifications. Int. J. Softw. Tools Technol. Transf. 17 (1) (2015)
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski
Family-Based Model Checking Without a Family-Based Model Checker. SPIN (2015)
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version). CoRR (2015)
Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski
Quantifying information leakage of randomized protocols. Theor. Comput. Sci. 597 (2015)
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses. ECOOP (2015)
Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie
A Model for Industrial Real-Time Systems. VMCAI (2015)
Stefan Stanciulescu, Sandro Schulze, Andrzej Wasowski
Forked and integrated variants in an open-source firmware project. ICSME (2015)
Rolf-Helge Pfeiffer, Andrzej Wasowski
The design space of multi-language development environments. Softw. Syst. Model. 14 (1) (2015)
Michal Antkiewicz, Wenbin Ji, Thorsten Berger, Krzysztof Czarnecki, Thomas Schmorleiz, Ralf Lämmel, Stefan Stanciulescu, Andrzej Wasowski, Ina Schaefer
Flexible product line engineering with a virtual platform. ICSE Companion (2014)
Steven She, Uwe Ryssel, Nele Andersen, Andrzej Wasowski, Krzysztof Czarnecki
Efficient synthesis of feature models. Inf. Softw. Technol. 56 (9) (2014)
Iago Abal, Claus Brabrand, Andrzej Wasowski
42 variability bugs in the linux kernel: a qualitative analysis. ASE (2014)
Rolf-Helge Pfeiffer, Jan Reimann, Andrzej Wasowski
Language-Independent Traceability with Lässig. ECMFA (2014)
Md Tawhid Bin Waez, Andrzej Wasowski, Jürgen Dingel, Karen Rudie
Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report. FACS (2014)
Thorsten Berger, Stefan Stanciulescu, Ommund Øgård, Øystein Haugen, Bo Larsen, Andrzej Wasowski
To connect or not to connect: experiences from modeling topological variability. SPLC (2014)
Thorsten Berger, Divya Nair, Ralf Rublack, Joanne M. Atlee, Krzysztof Czarnecki, Andrzej Wasowski
Three Cases of Feature-Based Variability Modeling in Industry. MoDELS (2014)
Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski
Sound Merging and Differencing for Class Diagrams. FASE (2014)
Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
Robust synthesis for real-time systems. Theor. Comput. Sci. 515 (2014)

Andrzej Wasowski.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrzej Wasowski