Bayesian Network Mining System. - Mieczyslaw A. Klopotek; Slawomir T. Wierzchon; Maciej Michalewicz; Marek A. Bednarczyk; Wieslaw Pawlowski; Andrzej Wasowski (Intelligent Information Systems, 2001)

On efficient program synthesis from statecharts. - Andrzej Wasowski (LCTES, 2003)

Flattening statecharts without explosions. - Andrzej Wasowski (LCTES, 2004)

Automatic Generation of Program Families by Model Restrictions. - Andrzej Wasowski (SPLC, 2004)

On Succinctness of Hierarchical State Diagrams in Absence of Message Passing. - Andrzej Wasowski (SFEDL@ETAPS, 2004)

Color-Blind Specifications for Transformations of Reactive Synchronous Programs. - Kim Guldstrand Larsen; Ulrik Larsen; Andrzej Wasowski (FASE, 2005)

Interface Input/Output Automata. - Kim Guldstrand Larsen; Ulrik Nyman; Andrzej Wasowski (FM, 2006)

Efficient interactive configuration of unbounded modular systems. - Erik Roland van der Meer; Andrzej Wasowski; Henrik Reif Andersen (SAC, 2006)

On Modal Refinement and Consistency. - Kim Guldstrand Larsen; Ulrik Nyman; Andrzej Wasowski (CONCUR, 2007)

Modal I/O Automata for Interface and Product Line Theories. - Kim Guldstrand Larsen; Ulrik Nyman; Andrzej Wasowski (ESOP, 2007)

Techniques for Efficient Interactive Configuration of Distribution Networks. - Tarik Hadzic; Andrzej Wasowski; Henrik Reif Andersen (IJCAI, 2007)

Guided Development with Multiple Domain-Specific Languages. - Anders Hessellund; Krzysztof Czarnecki 001; Andrzej Wasowski (MoDELS, 2007)

Feature Diagrams and Logics: There and Back Again. - Krzysztof Czarnecki 001; Andrzej Wasowski (SPLC, 2007)

Modeling software product lines using color-blind transition systems. - Kim Guldstrand Larsen; Ulrik Nyman; Andrzej Wasowski (Int. J. Softw. Tools Technol. Transf., 2007)

Complexity of Decision Problems for Mixed and Modal Specifications. - Adam Antonik; Michael Huth 001; Kim Guldstrand Larsen; Ulrik Nyman; Andrzej Wasowski (FoSSaCS, 2008)

Efficient compilation techniques for large scale feature models. - Marcílio Mendonça; Andrzej Wasowski; Krzysztof Czarnecki 001; Donald D. Cowan (GPCE, 2008)

Interfaces and Metainterfaces for Models and Metamodels. - Anders Hessellund; Andrzej Wasowski (MoDELS, 2008)

Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax. - Mikolás Janota; Victoria Kuzina; Andrzej Wasowski (MoDELS, 2008)

Sample Spaces and Feature Models: There and Back Again. - Krzysztof Czarnecki 001; Steven She; Andrzej Wasowski (SPLC, 2008)

20 Years of Modal and Mixed Specifications. - Adam Antonik; Michael Huth 001; Kim G. Larsen; Ulrik Nyman; Andrzej Wasowski (Bull. EATCS, 2008)

EXPTIME-complete Decision Problems for Modal and Mixed Specifications. - Adam Antonik; Michael Huth 001; Kim Guldstrand Larsen; Ulrik Nyman; Andrzej Wasowski (EXPRESS, 2008)

Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. - Alexandre David; Kim G. Larsen; Axel Legay; Ulrik Nyman; Andrzej Wasowski (FMCO, 2009)

SAT-based analysis of feature models is easy. - Marcílio Mendonça; Andrzej Wasowski; Krzysztof Czarnecki 001 (SPLC, 2009)

ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. - Alexandre David; Kim Guldstrand Larsen; Axel Legay; Ulrik Nyman; Andrzej Wasowski (ATVA, 2010)

An aspect-based traceability mechanism for domain specific languages. - Rolf-Helge Pfeiffer; Andrzej Wasowski (ECMFA-TW, 2010)

8th Nordic Workshop on Model-Driven Software Engineering (NW-MODE 2010). - Andrzej Wasowski; Dragos Truscan; Ludwik Kuzniarz (ECSA Companion Volume, 2010)

Timed I/O automata: a complete specification theory for real-time systems. - Alexandre David; Kim G. Larsen; Axel Legay; Ulrik Nyman; Andrzej Wasowski (HSCC, 2010)

Variability modeling in the real: a perspective from the operating systems domain. - Thorsten Berger; Steven She; Rafael Lotufo; Andrzej Wasowski; Krzysztof Czarnecki 001 (ASE, 2010)

Compositional Design Methodology with Constraint Markov Chains. - Benoît Caillaud; Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (QEST, 2010)

Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled. - Kacper Bak; Krzysztof Czarnecki 001; Andrzej Wasowski (SLE, 2010)

Feature-to-Code Mapping in Two Large Product Lines. - Thorsten Berger; Steven She; Rafael Lotufo; Krzysztof Czarnecki 001; Andrzej Wasowski (SPLC, 2010)

Evolution of the Linux Kernel Variability Model. - Rafael Lotufo; Steven She; Thorsten Berger; Krzysztof Czarnecki 001; Andrzej Wasowski (SPLC, 2010)

The Variability Model of The Linux Kernel. - Steven She; Rafael Lotufo; Thorsten Berger; Andrzej Wasowski; Krzysztof Czarnecki 001 (VaMoS, 2010)

New Results on Timed Specifications. - Timothy Bourke; Alexandre David; Kim G. Larsen; Axel Legay; Didier Lime; Ulrik Nyman; Andrzej Wasowski (WADT, 2010)

A Few Considerations on Structural and Logical Composition in Specification Theories - Axel Legay; Andrzej Wasowski (FIT, 2010)

Modal and mixed specifications: key decision problems and their complexities. - Adam Antonik; Michael Huth 001; Kim G. Larsen; Ulrik Nyman; Andrzej Wasowski (Math. Struct. Comput. Sci., 2010)

New Results on Abstract Probabilistic Automata. - Benoît Delahaye; Joost-Pieter Katoen; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Falak Sher; Andrzej Wasowski (ACSD, 2011)

Taming the Confusion of Languages. - Rolf-Helge Pfeiffer; Andrzej Wasowski (ECMFA, 2011)

Robust Specification of Real Time Components. - Kim G. Larsen; Axel Legay; Louis-Marie Traonouez; Andrzej Wasowski (FORMATS, 2011)

Tengi Interfaces for Tracing between Heterogeneous Components. - Rolf-Helge Pfeiffer; Andrzej Wasowski (GTTSE, 2011)

Reverse engineering feature models. - Steven She; Rafael Lotufo; Thorsten Berger; Andrzej Wasowski; Krzysztof Czarnecki 001 (ICSE, 2011)

Decision Problems for Interval Markov Chains. - Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (LATA, 2011)

Vision Paper: Make a Difference! (Semantically). - Uli Fahrenberg; Axel Legay; Andrzej Wasowski (MoDELS, 2011)

APAC: A Tool for Reasoning about Abstract Probabilistic Automata. - Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (QEST, 2011)

A study of non-Boolean constraints in variability models of an embedded operating system. - Leonardo Teixeira Passos; Thorsten Berger; Marko Novakovic; Krzysztof Czarnecki 001; Yingfei Xiong 001; Andrzej Wasowski (SPLC Workshops, 2011)

Constraint Markov Chains. - Benoît Caillaud; Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (Theor. Comput. Sci., 2011)

TexMo: A Multi-language Development Environment. - Rolf-Helge Pfeiffer; Andrzej Wasowski (ECMFA, 2012)

Moving from Specifications to Contracts in Component-Based Design. - Sebastian S. Bauer; Alexandre David; Rolf Hennicker; Kim Guldstrand Larsen; Axel Legay; Ulrik Nyman; Andrzej Wasowski (FASE, 2012)

Towards a catalog of variability evolution patterns: the Linux kernel case. - Leonardo Teixeira Passos; Krzysztof Czarnecki 001; Andrzej Wasowski (FOSD, 2012)

VARY 2012: VARiability for You. - Øystein Haugen; Jean-Marc Jézéquel; Andrzej Wasowski; Birger Møller-Pedersen; Krzysztof Czarnecki 001 (VARY@MoDELS, 2012)

Cross-Language Support Mechanisms Significantly Aid Software Development. - Rolf-Helge Pfeiffer; Andrzej Wasowski (MoDELS, 2012)

Usage scenarios for feature model synthesis. - Steven She; Krzysztof Czarnecki 001; Andrzej Wasowski (VARY@MoDELS, 2012)

Efficient synthesis of feature models. - Nele Andersen; Krzysztof Czarnecki 001; Steven She; Andrzej Wasowski (SPLC (1), 2012)

CVL: common variability language. - Øystein Haugen; Andrzej Wasowski; Krzysztof Czarnecki 001 (SPLC (2), 2012)

Cool features and tough decisions: a comparison of variability modeling approaches. - Krzysztof Czarnecki 001; Paul Grünbacher; Rick Rabiser; Klaus Schmid; Andrzej Wasowski (VaMoS, 2012)

Refinement for Transition Systems with Responses - Marco Carbone; Thomas T. Hildebrandt; Gian Perrone; Andrzej Wasowski (FIT, 2012)

Consistency and refinement for Interval Markov Chains. - Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (J. Log. Algebraic Methods Program., 2012)

New results for Constraint Markov Chains. - Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (Perform. Evaluation, 2012)

Compositional verification of real-time systems using Ecdar. - Alexandre David; Kim Guldstrand Larsen; Axel Legay; Mikael H. Møller; Ulrik Nyman; Anders P. Ravn; Arne Skou; Andrzej Wasowski (Int. J. Softw. Tools Technol. Transf., 2012)

QUAIL: A Quantitative Security Analyzer for Imperative Code. - Fabrizio Biondi; Axel Legay; Louis-Marie Traonouez; Andrzej Wasowski (CAV, 2013)

Example-driven modeling: model = abstractions + examples. - Kacper Bak; Dina Zayan; Krzysztof Czarnecki 001; Michal Antkiewicz; Zinovy Diskin; Andrzej Wasowski; Derek Rayside (ICSE, 2013)

Variability-aware performance prediction: A statistical learning approach. - Jianmei Guo; Krzysztof Czarnecki 001; Sven Apel; Norbert Siegmund; Andrzej Wasowski (ASE, 2013)

Example-Driven Modeling using Clafer. - Michal Antkiewicz; Kacper Bak; Krzysztof Czarnecki 001; Zinovy Diskin; Dina Zayan; Andrzej Wasowski (MDEBE@MoDELS, 2013)

Partial Instances via Subclassing. - Kacper Bak; Zinovy Diskin; Michal Antkiewicz; Krzysztof Czarnecki 001; Andrzej Wasowski (SLE, 2013)

Coevolution of variability models and related artifacts: a case study from the Linux kernel. - Leonardo Teixeira Passos; Jianmei Guo; Leopoldo Teixeira; Krzysztof Czarnecki 001; Andrzej Wasowski; Paulo Borba (SPLC, 2013)

A survey of variability modeling in industrial practice. - Thorsten Berger; Ralf Rublack; Divya Nair; Joanne M. Atlee; Martin Becker 002; Krzysztof Czarnecki 001; Andrzej Wasowski (VaMoS, 2013)

Feature-oriented software evolution. - Leonardo Teixeira Passos; Krzysztof Czarnecki 001; Sven Apel; Andrzej Wasowski; Christian Kästner; Jianmei Guo (VaMoS, 2013)

Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091). - Paulo Borba; Myra B. Cohen; Axel Legay; Andrzej Wasowski (Dagstuhl Reports, 2013)

Abstract Probabilistic Automata. - Benoît Delahaye; Joost-Pieter Katoen; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Falak Sher; Andrzej Wasowski (Inf. Comput., 2013)

A Study of Variability Models and Languages in the Systems Software Domain. - Thorsten Berger; Steven She; Rafael Lotufo; Andrzej Wasowski; Krzysztof Czarnecki 001 (IEEE Trans. Software Eng., 2013)

Systematic derivation of static analyses for software product lines. - Jan Midtgaard; Claus Brabrand; Andrzej Wasowski (MODULARITY, 2014)

Language-Independent Traceability with Lässig. - Rolf-Helge Pfeiffer; Jan Reimann 002; Andrzej Wasowski (ECMFA, 2014)

Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report. - Md Tawhid Bin Waez; Andrzej Wasowski; Jürgen Dingel; Karen Rudie (FACS, 2014)

Sound Merging and Differencing for Class Diagrams. - Uli Fahrenberg; Mathieu Acher; Axel Legay; Andrzej Wasowski (FASE, 2014)

Information Leakage of Non-Terminating Processes. - Fabrizio Biondi; Axel Legay; Bo Friis Nielsen; Pasquale Malacaria; Andrzej Wasowski (FSTTCS, 2014)

Flexible product line engineering with a virtual platform. - Michal Antkiewicz; Wenbin Ji; Thorsten Berger; Krzysztof Czarnecki 001; Thomas Schmorleiz; Ralf Lämmel; Stefan Stanciulescu; Andrzej Wasowski; Ina Schaefer (ICSE Companion, 2014)

A Core Language for Separate Variability Modeling. - Alexandru F. Iosif-Lazar; Ina Schaefer; Andrzej Wasowski (ISoLA (1), 2014)

42 variability bugs in the linux kernel: a qualitative analysis. - Iago Abal; Claus Brabrand; Andrzej Wasowski (ASE, 2014)

Three Cases of Feature-Based Variability Modeling in Industry. - Thorsten Berger; Divya Nair; Ralf Rublack; Joanne M. Atlee; Krzysztof Czarnecki 001; Andrzej Wasowski (MoDELS, 2014)

To connect or not to connect: experiences from modeling topological variability. - Thorsten Berger; Stefan Stanciulescu; Ommund Øgård; Øystein Haugen; Bo Larsen; Andrzej Wasowski (SPLC, 2014)

Variability mechanisms in software ecosystems. - Thorsten Berger; Rolf-Helge Pfeiffer; Reinhard Tartler; Steffen Dienst; Krzysztof Czarnecki 001; Andrzej Wasowski; Steven She (Inf. Softw. Technol., 2014)

Efficient synthesis of feature models. - Steven She; Uwe Ryssel; Nele Andersen; Andrzej Wasowski; Krzysztof Czarnecki 001 (Inf. Softw. Technol., 2014)

Maximizing entropy over Markov processes. - Fabrizio Biondi; Axel Legay; Bo Friis Nielsen; Andrzej Wasowski (J. Log. Algebraic Methods Program., 2014)

A modal specification theory for components with data. - Sebastian S. Bauer; Kim G. Larsen; Axel Legay; Ulrik Nyman; Andrzej Wasowski (Sci. Comput. Program., 2014)

Robust synthesis for real-time systems. - Kim G. Larsen; Axel Legay; Louis-Marie Traonouez; Andrzej Wasowski (Theor. Comput. Sci., 2014)

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses. - Aleksandar S. Dimovski; Claus Brabrand; Andrzej Wasowski (ECOOP, 2015)

Forked and integrated variants in an open-source firmware project. - Stefan Stanciulescu; Sandro Schulze; Andrzej Wasowski (ICSME, 2015)

Experiences from Designing and Validating a Software Modernization Transformation (E). - Alexandru F. Iosif-Lazar; Ahmad Salim Al-Sibahi; Aleksandar S. Dimovski; Juha Erik Savolainen; Krzysztof Sierszecki; Andrzej Wasowski (ASE, 2015)

Family-Based Model Checking Without a Family-Based Model Checker. - Aleksandar S. Dimovski; Ahmad Salim Al-Sibahi; Claus Brabrand; Andrzej Wasowski (SPIN, 2015)

Family-based model checking using off-the-shelf model checkers: extended abstract. - Aleksandar S. Dimovski; Ahmad Salim Al-Sibahi; Claus Brabrand; Andrzej Wasowski (SPLC, 2015)

A Model for Industrial Real-Time Systems. - Md Tawhid Bin Waez; Andrzej Wasowski; Juergen Dingel; Karen Rudie (VMCAI, 2015)

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version). - Aleksandar S. Dimovski; Claus Brabrand; Andrzej Wasowski (CoRR, 2015)

Systematic derivation of correct variability-aware program analyses. - Jan Midtgaard; Aleksandar S. Dimovski; Claus Brabrand; Andrzej Wasowski (Sci. Comput. Program., 2015)

The design space of multi-language development environments. - Rolf-Helge Pfeiffer; Andrzej Wasowski (Softw. Syst. Model., 2015)

Real-time specifications. - Alexandre David; Kim G. Larsen; Axel Legay; Ulrik Nyman; Louis-Marie Traonouez; Andrzej Wasowski (Int. J. Softw. Tools Technol. Transf., 2015)

Quantifying information leakage of randomized protocols. - Fabrizio Biondi; Axel Legay; Pasquale Malacaria; Andrzej Wasowski (Theor. Comput. Sci., 2015)

Finding Suitable Variability Abstractions for Family-Based Analysis. - Aleksandar S. Dimovski; Claus Brabrand; Andrzej Wasowski (FM, 2016)

How does the degree of variability affect bug finding? - Jean Melo; Claus Brabrand; Andrzej Wasowski (ICSE, 2016)

Concepts, Operations, and Feasibility of a Projection-Based Variation Control System. - Stefan Stanciulescu; Thorsten Berger; Eric Walkingshaw; Andrzej Wasowski (ICSME, 2016)

Symbolic execution of high-level transformations. - Ahmad Salim Al-Sibahi; Aleksandar S. Dimovski; Andrzej Wasowski (SLE, 2016)

A Quantitative Analysis of Variability Warnings in Linux. - Jean Melo; Elvis Flesborg; Claus Brabrand; Andrzej Wasowski (VaMoS, 2016)

Coevolution of variability models and related software artifacts - A fresh look at evolution patterns in the Linux kernel. - Leonardo Teixeira Passos; Leopoldo Teixeira; Nicolas Dintzner; Sven Apel; Andrzej Wasowski; Krzysztof Czarnecki 001; Paulo Borba; Jianmei Guo (Empir. Softw. Eng., 2016)

Trustworthy variant derivation with translation validation for safety critical product lines. - Alexandru F. Iosif-Lazar; Andrzej Wasowski (J. Log. Algebraic Methods Program., 2016)

Clafer: unifying class and feature modeling. - Kacper Bak; Zinovy Diskin; Michal Antkiewicz; Krzysztof Czarnecki 001; Andrzej Wasowski (Softw. Syst. Model., 2016)

From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL. - Aleksandar S. Dimovski; Andrzej Wasowski (Models, Algorithms, Logics and Tools, 2017)

Variability-Specific Abstraction Refinement for Family-Based Model Checking. - Aleksandar S. Dimovski; Andrzej Wasowski (FASE, 2017)

Variability through the eyes of the programmer. - Jean Melo; Fabricio Batista Narcizo; Dan Witzner Hansen; Claus Brabrand; Andrzej Wasowski (ICPC, 2017)

Effective Bug Finding in C Programs with Shape and Effect Abstractions. - Iago Abal; Claus Brabrand; Andrzej Wasowski (VMCAI, 2017)

Controller synthesis for dynamic hierarchical real-time plants using timed automata. - Md Tawhid Bin Waez; Andrzej Wasowski; Juergen Dingel; Karen Rudie (Discret. Event Dyn. Syst., 2017)

Effective Analysis of C Programs by Rewriting Variability. - Alexandru Florin Iosif-Lazar; Jean Melo; Aleksandar S. Dimovski; Claus Brabrand; Andrzej Wasowski (Art Sci. Eng. Program., 2017)

Introduction to the theme issue on variability modeling of software-intensive systems. - Andrzej Wasowski; Thorsten Weyer (Softw. Syst. Model., 2017)

Erratum to: Introduction to the theme issue on variability modeling of software-intensive systems. - Andrzej Wasowski; Thorsten Weyer (Softw. Syst. Model., 2017)

Efficient family-based model checking via variability abstractions. - Aleksandar S. Dimovski; Ahmad Salim Al-Sibahi; Claus Brabrand; Andrzej Wasowski (Int. J. Softw. Tools Technol. Transf., 2017)

Verification of high-level transformations with inductive refinement types. - Ahmad Salim Al-Sibahi; Thomas P. Jensen; Aleksandar S. Dimovski; Andrzej Wasowski (GPCE, 2018)

Influencers of quality assurance in an open source community. - Adam Alami; Yvonne Dittrich; Andrzej Wasowski (CHASE@ICSE, 2018)

Identifying features in forks. - Shurui Zhou; Stefan Stanciulescu; Olaf Leßenich; Yingfei Xiong 001; Andrzej Wasowski; Christian Kästner (ICSE, 2018)

Data-efficient performance learning for configurable systems. - Jianmei Guo; Dingyu Yang; Norbert Siegmund; Sven Apel; Atrisha Sarkar; Pavel Valov; Krzysztof Czarnecki 001; Andrzej Wasowski; Huiqun Yu (Empir. Softw. Eng., 2018)

Editorial. - Ewen Denney; Perdita Stevens; Andrzej Wasowski (Formal Aspects Comput., 2018)

Going Beyond Obscurity: Organizational Approaches to Data Anonymization. - Viktor Hargitai; Irina Shklovski; Andrzej Wasowski (Proc. ACM Hum. Comput. Interact., 2018)

Variability abstractions for lifted analyses. - Aleksandar S. Dimovski; Claus Brabrand; Andrzej Wasowski (Sci. Comput. Program., 2018)

Variability Bugs in Highly Configurable Systems: A Qualitative Analysis. - Iago Abal; Jean Melo; Stefan Stanciulescu; Claus Brabrand; Márcio Ribeiro 001; Andrzej Wasowski (ACM Trans. Softw. Eng. Methodol., 2018)

Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. - Aleksandar S. Dimovski; Axel Legay; Andrzej Wasowski (FASE, 2019)

Why does code review work for open source software communities? - Adam Alami; Marisa Leavitt Cohn; Andrzej Wasowski (ICSE, 2019)

Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT. - Regina Hebig; Christoph Seidl 001; Thorsten Berger; John Kook Pedersen; Andrzej Wasowski (SE/SWM, 2019)

Identifying Redundancies in Fork-based Development. - Luyao Ren; Shurui Zhou; Christian Kästner; Andrzej Wasowski (SANER, 2019)

Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version). - Aleksandar S. Dimovski; Axel Legay; Andrzej Wasowski (CoRR, 2019)

Finding suitable variability abstractions for lifted analysis. - Aleksandar S. Dimovski; Claus Brabrand; Andrzej Wasowski (Formal Aspects Comput., 2019)

Affiliated participation in open source communities. - Adam Alami; Andrzej Wasowski (PeerJ Prepr., 2019)

Clafer: Lightweight Modeling of Structure, Behaviour, and Variability. - Paulius Juodisius; Atrisha Sarkar; Raghava Rao Mukkamala; Michal Antkiewicz; Krzysztof Czarnecki 001; Andrzej Wasowski (Art Sci. Eng. Program., 2019)

Guest editorial to the special section on ECMFA and ICMT at STAF 2016 - Modeling and model transformations research in 2016. - Pieter Van Gorp; Andrzej Wasowski (Softw. Syst. Model., 2019)

Galois Connections for Recursive Types. - Ahmad Salim Al-Sibahi; Thomas P. Jensen; Rasmus Ejlers Møgelberg; Andrzej Wasowski (From Lambda Calculus to Cybersecurity Through Program Analysis, 2020)

How Do FOSS Communities Decide to Accept Pull Requests? - Adam Alami; Marisa Leavitt Cohn; Andrzej Wasowski (EASE, 2020)

The forgotten case of the dependency bugs: on the example of the robot operating system. - Anders Fischer-Nielsen; Zhoulai Fu; Ting Su 001; Andrzej Wasowski (ICSE (SEIP), 2020)

Intention-Based Integration of Software Variants. - Max Lillack; Stefan Stanciulescu; Wilhelm Hedman; Thorsten Berger; Andrzej Wasowski (SE, 2020)

Behavior trees in action: a study of robotics applications. - Razan Ghzouli; Thorsten Berger; Einar Broch Johnsen; Swaib Dragule; Andrzej Wasowski (SLE, 2020)

Dependency bugs: the dark side of variability, reuse and modularity. - Andrzej Wasowski (VaMoS, 2020)

Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis. - Raúl Pardo; Willard Rafnsson; Christian W. Probst; Andrzej Wasowski (CoRR, 2020)

A tailored participatory action research for foss communities. - Adam Alami; Peter Axel Nielsen; Andrzej Wasowski (Empir. Softw. Eng., 2020)

Guest editorial to the special section on MODELS 2018. - Andrzej Wasowski; Richard F. Paige; Øystein Haugen (Softw. Syst. Model., 2020)

Generalized abstraction-refinement for game-based CTL lifted model checking. - Aleksandar S. Dimovski; Axel Legay; Andrzej Wasowski (Theor. Comput. Sci., 2020)

Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis. - Raúl Pardo; Willard Rafnsson; Christian W. Probst; Andrzej Wasowski (ESORICS (2), 2021)

A Modeling Tool for Reconfigurable Skills in ROS. - Darko Bozhinoski; Esther Aguado; Mario Garzon Oviedo; Carlos Hernández Corbato; Ricardo Sanz; Andrzej Wasowski (RoSE@ICSE, 2021)

Verification of Program Transformations with Inductive Refinement Types. - Ahmad Salim Al-Sibahi; Thomas P. Jensen; Aleksandar S. Dimovski; Andrzej Wasowski (ACM Trans. Softw. Eng. Methodol., 2021)

Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores. - Raúl Pardo; Willard Rafnsson; Gregor Steinhorn; Denis Lavrov; Thomas Lumley; Christian W. Probst; Ilze Ziedins 001; Andrzej Wasowski (DPM/CBT@ESORICS, 2022)

A Specification Logic for Programs in the Probabilistic Guarded Command Language. - Raúl Pardo; Einar Broch Johnsen; Ina Schaefer; Andrzej Wasowski (ICTAC, 2022)

Belief-Based Fault Recovery for Marine Robotics. - Jeremy Coffelt; Mahya Mohammadi Kashani; Andrzej Wasowski; Peter Kampmann (JOWO, 2022)

MROS: runtime adaptation for robot control architectures. - Darko Bozhinoski; Mario Garzon Oviedo; Nadia Hammoudeh Garcia; Harshavardhan Deshpande; Gijs van der Hoorn; Jon Tjerngren; Andrzej Wasowski; Carlos Hernández Corbato (Adv. Robotics, 2022)

A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version). - Raúl Pardo; Einar Broch Johnsen; Ina Schaefer; Andrzej Wasowski (CoRR, 2022)

Pull Request Governance in Open Source Communities. - Adam Alami; Raúl Pardo; Marisa Leavitt Cohn; Andrzej Wasowski (IEEE Trans. Software Eng., 2022)

Domain-Specific Languages - Effective Modeling, Automation, and Reuse - Andrzej Wasowski; Thorsten Berger (Springer, 2023)

Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots. - Amir Ghorbani; Nathan Cassee; Derek Robinson; Adam Alami; Neil A. Ernst; Alexander Serebrenik; Andrzej Wasowski (ICSE, 2023)

MROS: A framework for robot self-adaptation. - Gustavo Rezende Silva; Nadia Hammoudeh Garcia; Darko Bozhinoski; Harshavardhan Deshpande; Mario Garzon Oviedo; Andrzej Wasowski; Mariano Ramírez Montero; Carlos Hernández Corbato (ICSE Companion, 2023)

Symbolic Semantics for Probabilistic Programs. - Erik Voogd; Einar Broch Johnsen; Alexandra Silva 001; Zachary J. Susag; Andrzej Wasowski (QEST, 2023)

Exact and Efficient Bayesian Inference for Privacy Risk Quantification. - Rasmus C. Rønneberg; Raúl Pardo; Andrzej Wasowski (SEFM, 2023)

Timed I/O Automata: It is never too late to complete your timed specification theory. - Martijn A. Goorden; Kim G. Larsen; Axel Legay; Florian Lorber; Ulrik Nyman; Andrzej Wasowski (CoRR, 2023)

Symbolic Semantics for Probabilistic Programs (extended version). - Erik Voogd; Einar Broch Johnsen; Alexandra Silva 001; Zachary J. Susag; Andrzej Wasowski (CoRR, 2023)

Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Extended Version). - Rasmus C. Rønneberg; Raúl Pardo; Andrzej Wasowski (CoRR, 2023)

Patching Locking Bugs Statically with Crayons. - Juan Cruz-Carlon; Mahsa Varshosaz; Claire Le Goues; Andrzej Wasowski (ACM Trans. Softw. Eng. Methodol., 2023)

Formal Specification and Testing for Reinforcement Learning (Supplementary Material ). - Mahsa Varshosaz; Mohsen Ghaffari 002; Einar Broch Johnsen; Andrzej Wasowski (Zenodo, 2023)

Formal Specification and Testing for Reinforcement Learning. - Mahsa Varshosaz; Mohsen Ghaffari 002; Einar Broch Johnsen; Andrzej Wasowski (Proc. ACM Program. Lang., 2023)

Behavior Trees and State Machines in Robotics Applications. - Razan Ghzouli; Thorsten Berger; Einar Broch Johnsen; Andrzej Wasowski; Swaib Dragule (IEEE Trans. Software Eng., 2023)

Towards a Proof System for Probabilistic Dynamic Logic. - Einar Broch Johnsen; Eduard Kamburjan; Raúl Pardo; Erik Voogd; Andrzej Wasowski (Principles of Verification (1), 2024)

Symbolic Quantitative Information Flow for Probabilistic Programs. - Philipp Schröer; Francesca Randone; Raúl Pardo; Andrzej Wasowski (Principles of Verification (1), 2024)

Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors. - Sergio Quijano; Mahsa Varshosaz; Andrzej Wasowski (ICSTW, 2024)

Risk-Averse Planning and Plan Assessment for Marine Robots. - Mahya Mohammadi Kashani; Tobias John; Jeremy Paul Coffelt; Einar Broch Johnsen; Andrzej Wasowski (IROS, 2024)

From a Natural to a Formal Language with DSL Assistant. - My M. Mosthaf; Andrzej Wasowski (MoDELS (Companion), 2024)

Uncertainty Driven Active Learning for Image Segmentation in Underwater Inspection. - Luiza Ribeiro Marnet; Yury Brodskiy; Stella Grasshof; Andrzej Wasowski (ROBOVIS, 2024)

Monitoring Safety and Reliability of Underwater Robots: A Case Study. - Mahsa Varshosaz; Andrzej Wasowski (AISoLA, 2024)

Abstraction Engineering. - Nelly Bencomo; Jordi Cabot; Marsha Chechik; Betty H. C. Cheng; Benoît Combemale; Andrzej Wasowski; Steffen Zschaler (CoRR, 2024)

Symbolic State Partition for Reinforcement Learning. - Mohsen Ghaffari 002; Mahsa Varshosaz; Einar Broch Johnsen; Andrzej Wasowski (CoRR, 2024)

NeRF-To-Real Tester: Neural Radiance Fields as Test Image Generators for Vision of Autonomous Systems. - Laura Weihl; Bilal Wehbe; Andrzej Wasowski (CoRR, 2024)

ROBUST: 221 bugs in the Robot Operating System. - Christopher Steven Timperley; Gijs van der Hoorn; André Santos 001; Harshavardhan Deshpande; Andrzej Wasowski (Empir. Softw. Eng., 2024)

Symbolic State Partitioning for Reinforcement Learning. - Mohsen Ghaffari 002; Mahsa Varshosaz; Einar Broch Johnsen; Andrzej Wasowski (FASE, 2025)

SAT-Metropolis: Combining Markov Chain Monte Carlo with SAT/SMT Sampling. - Maja Aaslyng Dall; Raúl Pardo; Thomas Lumley; Andrzej Wasowski (SAT, 2025)

Symbolic State Seeding Improves Coverage of Reinforcement Learning. - Mohsen Ghaffari 002; Cong Chen; Mahsa Varshosaz; Einar Broch Johnsen; Andrzej Wasowski (SEAMS@ICSE, 2025)

Compositional symbolic execution semantics. - Erik Voogd; Åsmund Aqissiaq Arild Kløvstad; Einar Broch Johnsen; Andrzej Wasowski (Theor. Comput. Sci., 2025)