Andrzej Wasowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
76
Venues
29
Active years
2004–2025
Best venue rank
A*
Where they publish
- BSPLC13 papers
- A*ICSE11 papers
- AMODELS10 papers
- BFASE6 papers
- BSLE4 papers
- BVMCAI4 papers
- BGPCE3 papers
- AESORICS2 papers
- BFM2 papers
- CLATA2 papers
- ASAT1 paper
- ASEAMS1 paper
- AIROS1 paper
- AICST1 paper
- CVECoS1 paper
- BSEFM1 paper
- CICTAC1 paper
- AEASE1 paper
- AESEM1 paper
- AECOOP1 paper
- CISoLA1 paper
- A*CAV1 paper
- BATVA1 paper
- BECSA1 paper
- BFOSSACS1 paper
- BCONCUR1 paper
- AESOP1 paper
- A*IJCAI1 paper
- MulticonferenceSAC1 paper
Papers
76 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FASE | Symbolic State Partitioning for Reinforcement Learning. | Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski |
| 2025 | SAT | SAT-Metropolis: Combining Markov Chain Monte Carlo with SAT/SMT Sampling. | Maja Aaslyng Dall, Ral Pardo, Thomas Lumley, Andrzej Wasowski |
| 2025 | SEAMS | Symbolic State Seeding Improves Coverage of Reinforcement Learning. | Mohsen Ghaffari, Cong Chen, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski |
| 2024 | IROS | Risk-Averse Planning and Plan Assessment for Marine Robots. | Mahya Mohammadi Kashani, Tobias John, Jeremy Paul Coffelt, Einar Broch Johnsen, Andrzej Wasowski |
| 2024 | ICST | Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors. | Sergio Quijano, Mahsa Varshosaz, Andrzej Wasowski |
| 2024 | MODELS | From a Natural to a Formal Language with DSL Assistant. | My M. Mosthaf, Andrzej Wasowski |
| 2024 | VECoS | Monitoring Safety and Reliability of Underwater Robots: A Case Study. | Mahsa Varshosaz, Andrzej Wasowski |
| 2023 | ICSE | 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 |
| 2023 | ICSE | MROS: A framework for robot self-adaptation. | Gustavo Rezende Silva, Nadia Hammoudeh Garcia, Darko Bozhinoski, Harshavardhan Deshpande, Mario Garzon Oviedo, Andrzej Wasowski, Mariano Ramrez Montero, Carlos Hernndez Corbato |
| 2023 | SEFM | Exact and Efficient Bayesian Inference for Privacy Risk Quantification. | Rasmus C. Rnneberg, Ral Pardo, Andrzej Wasowski |
| 2022 | ESORICS | Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores. | Ral Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski |
| 2022 | ICTAC | A Specification Logic for Programs in the Probabilistic Guarded Command Language. | Ral Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski |
| 2021 | ESORICS | Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis. | Ral Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski |
| 2020 | EASE | How Do FOSS Communities Decide to Accept Pull Requests? | Adam Alami, Marisa Leavitt Cohn, Andrzej Wasowski |
| 2020 | ICSE | The forgotten case of the dependency bugs: on the example of the robot operating system. | Anders Fischer-Nielsen, Zhoulai Fu, Ting Su, Andrzej Wasowski |
| 2020 | SLE | Behavior trees in action: a study of robotics applications. | Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski |
| 2019 | ESEM | Affiliated Participation in Open Source Communities. | Adam Alami, Andrzej Wasowski |
| 2019 | FASE | Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. | Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski |
| 2019 | ICSE | Why does code review work for open source software communities? | Adam Alami, Marisa Leavitt Cohn, Andrzej Wasowski |
| 2019 | ICSE | Intention-based integration of software variants. | Max Lillack, Stefan Stanciulescu, Wilhelm Hedman, Thorsten Berger, Andrzej Wasowski |
| 2018 | GPCE | Verification of high-level transformations with inductive refinement types. | Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski |
| 2018 | ICSE | Influencers of quality assurance in an open source community. | Adam Alami, Yvonne Dittrich, Andrzej Wasowski |
| 2018 | ICSE | Identifying features in forks. | Shurui Zhou, Stefan Stanciulescu, Olaf Leenich, Yingfei Xiong, Andrzej Wasowski, Christian Kstner |
| 2017 | FASE | Variability-Specific Abstraction Refinement for Family-Based Model Checking. | Aleksandar S. Dimovski, Andrzej Wasowski |
| 2017 | VMCAI | Effective Bug Finding in C Programs with Shape and Effect Abstractions. | Iago Abal, Claus Brabrand, Andrzej Wasowski |
| 2016 | FM | Finding Suitable Variability Abstractions for Family-Based Analysis. | Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski |
| 2016 | ICSE | How does the degree of variability affect bug finding? | Jean Melo, Claus Brabrand, Andrzej Wasowski |
| 2016 | SLE | Symbolic execution of high-level transformations. | Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski |
| 2015 | ECOOP | Variability Abstractions: Trading Precision for Speed in Family-Based Analyses. | Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski |
| 2015 | SPLC | Family-based model checking using off-the-shelf model checkers: extended abstract. | Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski |
| 2015 | VMCAI | A Model for Industrial Real-Time Systems. | Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie |
| 2014 | FASE | Sound Merging and Differencing for Class Diagrams. | Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski |
| 2014 | ICSE | Flexible product line engineering with a virtual platform. | Michal Antkiewicz, Wenbin Ji, Thorsten Berger, Krzysztof Czarnecki, Thomas Schmorleiz, Ralf Lmmel, Stefan Stanciulescu, Andrzej Wasowski, Ina Schaefer |
| 2014 | ISoLA | A Core Language for Separate Variability Modeling. | Alexandru F. Iosif-Lazar, Ina Schaefer, Andrzej Wasowski |
| 2014 | MODELS | Three Cases of Feature-Based Variability Modeling in Industry. | Thorsten Berger, Divya Nair, Ralf Rublack, Joanne M. Atlee, Krzysztof Czarnecki, Andrzej Wasowski |
| 2014 | SPLC | To connect or not to connect: experiences from modeling topological variability. | Thorsten Berger, Stefan Stanciulescu, Ommund grd, ystein Haugen, Bo Larsen, Andrzej Wasowski |
| 2013 | CAV | QUAIL: A Quantitative Security Analyzer for Imperative Code. | Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski |
| 2013 | ICSE | Example-driven modeling: model = abstractions + examples. | Kacper Bak, Dina Zayan, Krzysztof Czarnecki, Michal Antkiewicz, Zinovy Diskin, Andrzej Wasowski, Derek Rayside |
| 2013 | LATA | Maximizing Entropy over Markov Processes. | Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski |
| 2013 | MODELS | Example-Driven Modeling using Clafer. | Michal Antkiewicz, Kacper Bak, Krzysztof Czarnecki, Zinovy Diskin, Dina Zayan, Andrzej Wasowski |
| 2013 | SLE | Partial Instances via Subclassing. | Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski |
| 2013 | SPLC | CVL: common variability language. | ystein Haugen, Andrzej Wasowski, Krzysztof Czarnecki |
| 2013 | SPLC | Coevolution of variability models and related artifacts: a case study from the Linux kernel. | Leonardo Teixeira Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wasowski, Paulo Borba |
| 2013 | VMCAI | Quantifying Information Leakage of Randomized Protocols. | Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski |
| 2012 | FASE | 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 |
| 2012 | GPCE | Towards a catalog of variability evolution patterns: the Linux kernel case. | Leonardo Teixeira Passos, Krzysztof Czarnecki, Andrzej Wasowski |
| 2012 | MODELS | VARY 2012: VARiability for You. | ystein Haugen, Jean-Marc Jzquel, Andrzej Wasowski, Birger Mller-Pedersen, Krzysztof Czarnecki |
| 2012 | MODELS | Cross-Language Support Mechanisms Significantly Aid Software Development. | Rolf-Helge Pfeiffer, Andrzej Wasowski |
| 2012 | MODELS | Usage scenarios for feature model synthesis. | Steven She, Krzysztof Czarnecki, Andrzej Wasowski |
| 2012 | SPLC | Efficient synthesis of feature models. | Nele Andersen, Krzysztof Czarnecki, Steven She, Andrzej Wasowski |
| 2012 | SPLC | CVL: common variability language. | ystein Haugen, Andrzej Wasowski, Krzysztof Czarnecki |
| 2011 | ICSE | Reverse engineering feature models. | Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, Krzysztof Czarnecki |
| 2011 | LATA | Decision Problems for Interval Markov Chains. | Benot Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski |
| 2011 | MODELS | Vision Paper: Make a Difference! (Semantically). | Uli Fahrenberg, Axel Legay, Andrzej Wasowski |
| 2011 | SPLC | A study of non-Boolean constraints in variability models of an embedded operating system. | Leonardo Teixeira Passos, Thorsten Berger, Marko Novakovic, Krzysztof Czarnecki, Yingfei Xiong, Andrzej Wasowski |
| 2011 | VMCAI | Abstract Probabilistic Automata. | Benot Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski |
| 2010 | ATVA | ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
| 2010 | ECSA | 8th Nordic Workshop on Model-Driven Software Engineering (NW-MODE 2010). | Andrzej Wasowski, Dragos Truscan, Ludwik Kuzniarz |
| 2010 | SLE | Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled. | Kacper Bak, Krzysztof Czarnecki, Andrzej Wasowski |
| 2010 | SPLC | Feature-to-Code Mapping in Two Large Product Lines. | Thorsten Berger, Steven She, Rafael Lotufo, Krzysztof Czarnecki, Andrzej Wasowski |
| 2010 | SPLC | Evolution of the Linux Kernel Variability Model. | Rafael Lotufo, Steven She, Thorsten Berger, Krzysztof Czarnecki, Andrzej Wasowski |
| 2009 | SPLC | SAT-based analysis of feature models is easy. | Marclio Mendona, Andrzej Wasowski, Krzysztof Czarnecki |
| 2008 | FOSSACS | Complexity of Decision Problems for Mixed and Modal Specifications. | Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2008 | GPCE | Efficient compilation techniques for large scale feature models. | Marclio Mendona, Andrzej Wasowski, Krzysztof Czarnecki, Donald D. Cowan |
| 2008 | MODELS | Interfaces and Metainterfaces for Models and Metamodels. | Anders Hessellund, Andrzej Wasowski |
| 2008 | MODELS | Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax. | Mikols Janota, Victoria Kuzina, Andrzej Wasowski |
| 2008 | SPLC | Sample Spaces and Feature Models: There and Back Again. | Krzysztof Czarnecki, Steven She, Andrzej Wasowski |
| 2007 | CONCUR | On Modal Refinement and Consistency. | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2007 | ESOP | Modal I/O Automata for Interface and Product Line Theories. | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2007 | IJCAI | Techniques for Efficient Interactive Configuration of Distribution Networks. | Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen |
| 2007 | MODELS | Guided Development with Multiple Domain-Specific Languages. | Anders Hessellund, Krzysztof Czarnecki, Andrzej Wasowski |
| 2007 | SPLC | Feature Diagrams and Logics: There and Back Again. | Krzysztof Czarnecki, Andrzej Wasowski |
| 2006 | FM | Interface Input/Output Automata. | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2006 | SAC | Efficient interactive configuration of unbounded modular systems. | Erik Roland van der Meer, Andrzej Wasowski, Henrik Reif Andersen |
| 2005 | FASE | Color-Blind Specifications for Transformations of Reactive Synchronous Programs. | Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski |
| 2004 | SPLC | Automatic Generation of Program Families by Model Restrictions. | Andrzej Wasowski |