Andrzej Wasowski

208 papers A* 13A 17B 39C 4Misc 3Journal 75Unranked 54
YearRankTypeTitle / Venue / Authors
2026 J jnl
Beyond the Control Equations: An Artifact Study of Implementation Quality in Robot Control Software.
CoRR
Nils Chur, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski
2025 J jnl
A Road Map for Responsible Robotics: Promoting Human Agency and Collaborative Efforts.
IEEE Robotics Autom. Mag.
Dejanira Araiza-Illan, Kevin Baum, Helen Beebee, Raja Chatila, Sarah Moth-Lund Christensen, Simon Coghlan, Emily C. Collins, S. Kate Conroy, Alcino Cunha, Anna Dobrosovestnova, Hein Duijf, Vanessa Evers, Michael Fisher, Nico Hochgeschwender, Nadin Kökciyan, Séverin Lemaignan, Francisco Javier Rodríguez-Lera, Sara Ljungblad, Martin Magnusson, Masoumeh Mansouri, Michael Milford, AJung Moon, Thomas M. Powers, Pericle Salvini, Teresa Scantamburlo, Nick Schuster, Marija Slavkovik, Ufuk Topcu, Daniel F. Preciado Vanegas, Andrzej Wasowski, Yi Yang
2025 J jnl
Compositional symbolic execution semantics.
Theor. Comput. Sci.
Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen, Andrzej Wasowski
2025 A conf
SAT-Metropolis: Combining Markov Chain Monte Carlo with SAT/SMT Sampling.
SAT
Maja Aaslyng Dall, Raúl Pardo, Thomas Lumley, Andrzej Wasowski
2025 B conf
Symbolic State Partitioning for Reinforcement Learning.
FASE
Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski
2025 — conf
Symbolic State Seeding Improves Coverage of Reinforcement Learning.
SEAMS@ICSE
Mohsen Ghaffari, Cong Chen, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski
2025 — conf
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems.
RP
Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Christian Schilling, Andrzej Wasowski
2025 J jnl
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems.
CoRR
Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Christian Schilling, Andrzej Wasowski
2024 J jnl
Abstraction Engineering.
CoRR
Nelly Bencomo, Jordi Cabot, Marsha Chechik, Betty H. C. Cheng, Benoît Combemale, Andrzej Wasowski, Steffen Zschaler
2024 C conf
Behavior Trees and State Machines in Robotics Applications.
Software Engineering
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski, Swaib Dragule
2024 — conf
From a Natural to a Formal Language with DSL Assistant.
MoDELS (Companion)
My M. Mosthaf, Andrzej Wasowski
2024 J jnl
From a Natural to a Formal Language with DSL Assistant.
CoRR
My M. Mosthaf, Andrzej Wasowski
2024 — conf
Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors.
ICSTW
Sergio Quijano, Mahsa Varshosaz, Andrzej Wasowski
2024 — conf
Monitoring Safety and Reliability of Underwater Robots: A Case Study.
AISoLA
Mahsa Varshosaz, Andrzej Wasowski
2024 J jnl
NeRF-To-Real Tester: Neural Radiance Fields as Test Image Generators for Vision of Autonomous Systems.
CoRR
Laura Weihl, Bilal Wehbe, Andrzej Wasowski
2024 J jnl
ROBUST: 221 Bugs in the Robot Operating System.
CoRR
Christopher Steven Timperley, Gijs van der Hoorn, André Santos, Harshavardhan Deshpande, Andrzej Wasowski
2024 J jnl
ROBUST: 221 bugs in the Robot Operating System.
Empir. Softw. Eng.
Christopher Steven Timperley, Gijs van der Hoorn, André Santos, Harshavardhan Deshpande, Andrzej Wasowski
2024 A conf
Risk-Averse Planning and Plan Assessment for Marine Robots.
IROS
Mahya Mohammadi Kashani, Tobias John, Jeremy Paul Coffelt, Einar Broch Johnsen, Andrzej Wasowski
2024 J jnl
Risk-Averse Planning and Plan Assessment for Marine Robots.
CoRR
Mahya Mohammadi Kashani, Tobias John, Jeremy Coffelt, Einar Broch Johnsen, Andrzej Wasowski
2024 — conf
Symbolic Quantitative Information Flow for Probabilistic Programs.
Principles of Verification (1)
Philipp Schröer, Francesca Randone, Raúl Pardo, Andrzej Wasowski
2024 J jnl
Symbolic Quantitative Information Flow for Probabilistic Programs.
CoRR
Philipp Schröer, Francesca Randone, Raúl Pardo, Andrzej Wasowski
2024 J jnl
Symbolic State Partition for Reinforcement Learning.
CoRR
Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski
2024 — conf
Towards a Proof System for Probabilistic Dynamic Logic.
Principles of Verification (1)
Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo, Erik Voogd, Andrzej Wasowski
2024 J jnl
Towards a Proof System for Probabilistic Dynamic Logic.
CoRR
Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo, Erik Voogd, Andrzej Wasowski
2024 — conf
Uncertainty Driven Active Learning for Image Segmentation in Underwater Inspection.
ROBOVIS
Luiza Ribeiro Marnet, Yury Brodskiy, Stella Grasshof, Andrzej Wasowski
2024 J jnl
Uncertainty Driven Active Learning for Image Segmentation in Underwater Inspection.
CoRR
Luiza Ribeiro Marnet, Yury Brodskiy, Stella Grasshof, Andrzej Wasowski
2023 A* conf
Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots.
ICSE
Amir Ghorbani, Nathan Cassee, Derek Robinson, Adam Alami, Neil A. Ernst, Alexander Serebrenik, Andrzej Wasowski
2023 J jnl
Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots.
CoRR
Amir Ghorbani, Nathan Cassee, Derek Robinson, Adam Alami, Neil A. Ernst, Alexander Serebrenik, Andrzej Wasowski
2023 J jnl
Behavior Trees and State Machines in Robotics Applications.
IEEE Trans. Software Eng.
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski, Swaib Dragule
2023 — book
Domain-Specific Languages - Effective Modeling, Automation, and Reuse
Andrzej Wasowski, Thorsten Berger
2023 J jnl
Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Extended Version).
CoRR
Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski
2023 B conf
Exact and Efficient Bayesian Inference for Privacy Risk Quantification.
SEFM
Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski
2023 J jnl
Formal Specification and Testing for Reinforcement Learning.
Proc. ACM Program. Lang.
Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wasowski
2023 — conf
MROS: A framework for robot self-adaptation.
ICSE Companion
Gustavo Rezende Silva, Nadia Hammoudeh Garcia, Darko Bozhinoski, Harshavardhan Deshpande, Mario Garzon Oviedo, Andrzej Wasowski, Mariano Ramírez Montero, Carlos Hernández Corbato
2023 J jnl
MROS: A framework for robot self-adaptation.
CoRR
Gustavo Rezende Silva, Darko Bozhinoski, Mario Garzon Oviedo, Mariano Ramírez Montero, Nadia Hammoudeh Garcia, Harshavardhan Deshpande, Andrzej Wasowski, Carlos Hernández Corbato
2023 J jnl
Patching Locking Bugs Statically with Crayons.
ACM Trans. Softw. Eng. Methodol.
Juan Cruz-Carlon, Mahsa Varshosaz, Claire Le Goues, Andrzej Wasowski
2023 J jnl
Symbolic Semantics for Probabilistic Programs (extended version).
CoRR
Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
2023 — conf
Symbolic Semantics for Probabilistic Programs.
QEST
Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
2023 J jnl
Timed I/O Automata: It is never too late to complete your timed specification theory.
CoRR
Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski
2022 J jnl
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version).
CoRR
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
2022 C conf
A Specification Logic for Programs in the Probabilistic Guarded Command Language.
ICTAC
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
2022 J jnl
Behavior Trees and State Machines in Robotics Applications.
CoRR
Razan Ghzouli, Swaib Dragule, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski
2022 — conf
Belief-Based Fault Recovery for Marine Robotics.
JOWO
Jeremy Coffelt, Mahya Mohammadi Kashani, Andrzej Wasowski, Peter Kampmann
2022 J jnl
MROS: runtime adaptation for robot control architectures.
Adv. Robotics
Darko Bozhinoski, Mario Garzon Oviedo, Nadia Hammoudeh Garcia, Harshavardhan Deshpande, Gijs van der Hoorn, Jon Tjerngren, Andrzej Wasowski, Carlos Hernández Corbato
2022 — conf
Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores.
DPM/CBT@ESORICS
Raúl Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski
2022 J jnl
Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores.
CoRR
Raúl Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski
2022 J jnl
Pull Request Governance in Open Source Communities.
IEEE Trans. Software Eng.
Adam Alami, Raúl Pardo, Marisa Leavitt Cohn, Andrzej Wasowski
2021 — conf
A Modeling Tool for Reconfigurable Skills in ROS.
RoSE@ICSE
Darko Bozhinoski, Esther Aguado, Mario Garzon Oviedo, Carlos Hernández Corbato, Ricardo Sanz, Andrzej Wasowski
2021 — conf
Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis.
ESORICS (2)
Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski
2021 J jnl
Verification of Program Transformations with Inductive Refinement Types.
ACM Trans. Softw. Eng. Methodol.
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
2020 J jnl
A tailored participatory action research for foss communities.
Empir. Softw. Eng.
Adam Alami, Peter Axel Nielsen, Andrzej Wasowski
2020 J jnl
Behavior Trees in Action: A Study of Robotics Applications.
CoRR
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski
2020 B conf
Behavior trees in action: a study of robotics applications.
SLE
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski
2020 — conf
Dependency bugs: the dark side of variability, reuse and modularity.
VaMoS
Andrzej Wasowski
2020 — conf
Galois Connections for Recursive Types.
From Lambda Calculus to Cybersecurity Through Program Analysis
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski
2020 J jnl
Generalized abstraction-refinement for game-based CTL lifted model checking.
Theor. Comput. Sci.
Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
2020 J jnl
Guest editorial to the special section on MODELS 2018.
Softw. Syst. Model.
Andrzej Wasowski, Richard F. Paige, Øystein Haugen
2020 A conf
How Do FOSS Communities Decide to Accept Pull Requests?
EASE
Adam Alami, Marisa Leavitt Cohn, Andrzej Wasowski
2020 — conf
Intention-Based Integration of Software Variants.
SE
Max Lillack, Stefan Stanciulescu, Wilhelm Hedman, Thorsten Berger, Andrzej Wasowski
2020 J jnl
MROS: Runtime Adaptation For Robot Control Architectures.
CoRR
Carlos Hernández Corbato, Darko Bozhinoski, Mario Garzon Oviedo, Gijs van der Hoorn, Nadia Hammoudeh Garcia, Harshavardhan Deshpande, Jon Tjerngren, Andrzej Wasowski
2020 J jnl
Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis.
CoRR
Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski
2020 — conf
The forgotten case of the dependency bugs: on the example of the robot operating system.
ICSE (SEIP)
Anders Fischer-Nielsen, Zhoulai Fu, Ting Su, Andrzej Wasowski
2019 A conf
Affiliated Participation in Open Source Communities.
ESEM
Adam Alami, Andrzej Wasowski
2019 J jnl
Affiliated participation in open source communities.
PeerJ Prepr.
Adam Alami, Andrzej Wasowski
2019 J jnl
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability.
Art Sci. Eng. Program.
Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski
2019 J jnl
Finding suitable variability abstractions for lifted analysis.
Formal Aspects Comput.
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2019 J jnl
Guest editorial to the special section on ECMFA and ICMT at STAF 2016 - Modeling and model transformations research in 2016.
Softw. Syst. Model.
Pieter Van Gorp, Andrzej Wasowski
2019 A conf
Identifying Redundancies in Fork-based Development.
SANER
Luyao Ren, Shurui Zhou, Christian Kästner, Andrzej Wasowski
2019 A* conf
Intention-based integration of software variants.
ICSE
Max Lillack, Stefan Stanciulescu, Wilhelm Hedman, Thorsten Berger, Andrzej Wasowski
2019 — conf
Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT.
SE/SWM
Regina Hebig, Christoph Seidl, Thorsten Berger, John Kook Pedersen, Andrzej Wasowski
2019 B conf
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL.
FASE
Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
2019 J jnl
Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version).
CoRR
Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
2019 A* conf
Why does code review work for open source software communities?
ICSE
Adam Alami, Marisa Leavitt Cohn, Andrzej Wasowski
2018 J jnl
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability.
CoRR
Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski
2018 J jnl
Data-efficient performance learning for configurable systems.
Empir. Softw. Eng.
Jianmei Guo, Dingyu Yang, Norbert Siegmund, Sven Apel, Atrisha Sarkar, Pavel Valov, Krzysztof Czarnecki, Andrzej Wasowski, Huiqun Yu
2018 J jnl
Editorial.
Formal Aspects Comput.
Ewen Denney, Perdita Stevens, Andrzej Wasowski
2018 J jnl
Going Beyond Obscurity: Organizational Approaches to Data Anonymization.
Proc. ACM Hum. Comput. Interact.
Viktor Hargitai, Irina Shklovski, Andrzej Wasowski
2018 A* conf
Identifying features in forks.
ICSE
Shurui Zhou, Stefan Stanciulescu, Olaf Leßenich, Yingfei Xiong, Andrzej Wasowski, Christian Kästner
2018 — conf
Influencers of quality assurance in an open source community.
CHASE@ICSE
Adam Alami, Yvonne Dittrich, Andrzej Wasowski
2018 — conf
Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT.
ESEC/SIGSOFT FSE
Regina Hebig, Christoph Seidl, Thorsten Berger, John Kook Pedersen, Andrzej Wasowski
2018 A ed.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018
MoDELS
Andrzej Wasowski, Richard F. Paige, Øystein Haugen
2018 J jnl
Variability Bugs in Highly Configurable Systems: A Qualitative Analysis.
ACM Trans. Softw. Eng. Methodol.
Iago Abal, Jean Melo, Stefan Stanciulescu, Claus Brabrand, Márcio Ribeiro, Andrzej Wasowski
2018 J jnl
Variability abstractions for lifted analyses.
Sci. Comput. Program.
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2018 J jnl
Verification of High-Level Transformations with Inductive Refinement Types.
CoRR
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
2018 B conf
Verification of high-level transformations with inductive refinement types.
GPCE
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
2017 J jnl
Controller synthesis for dynamic hierarchical real-time plants using timed automata.
Discret. Event Dyn. Syst.
Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie
2017 J jnl
Effective Analysis of C Programs by Rewriting Variability.
CoRR
Alexandru Florin Iosif-Lazar, Jean Melo, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2017 J jnl
Effective Analysis of C Programs by Rewriting Variability.
Art Sci. Eng. Program.
Alexandru Florin Iosif-Lazar, Jean Melo, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2017 B conf
Effective Bug Finding in C Programs with Shape and Effect Abstractions.
VMCAI
Iago Abal, Claus Brabrand, Andrzej Wasowski
2017 J jnl
Efficient family-based model checking via variability abstractions.
Int. J. Softw. Tools Technol. Transf.
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski
2017 J jnl
Erratum to: Introduction to the theme issue on variability modeling of software-intensive systems.
Softw. Syst. Model.
Andrzej Wasowski, Thorsten Weyer
2017 — conf
From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL.
Models, Algorithms, Logics and Tools
Aleksandar S. Dimovski, Andrzej Wasowski
2017 J jnl
Introduction to the theme issue on variability modeling of software-intensive systems.
Softw. Syst. Model.
Andrzej Wasowski, Thorsten Weyer
2017 A conf
Variability through the eyes of the programmer.
ICPC
Jean Melo, Fabricio Batista Narcizo, Dan Witzner Hansen, Claus Brabrand, Andrzej Wasowski
2017 B conf
Variability-Specific Abstraction Refinement for Family-Based Model Checking.
FASE
Aleksandar S. Dimovski, Andrzej Wasowski
2016 — conf
A Quantitative Analysis of Variability Warnings in Linux.
VaMoS
Jean Melo, Elvis Flesborg, Claus Brabrand, Andrzej Wasowski
2016 J jnl
Clafer: unifying class and feature modeling.
Softw. Syst. Model.
Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski
2016 J jnl
Coevolution of variability models and related software artifacts - A fresh look at evolution patterns in the Linux kernel.
Empir. Softw. Eng.
Leonardo Teixeira Passos, Leopoldo Teixeira, Nicolas Dintzner, Sven Apel, Andrzej Wasowski, Krzysztof Czarnecki, Paulo Borba, Jianmei Guo
2016 A conf
Concepts, Operations, and Feasibility of a Projection-Based Variation Control System.
ICSME
Stefan Stanciulescu, Thorsten Berger, Eric Walkingshaw, Andrzej Wasowski
2016 B conf
Finding Suitable Variability Abstractions for Family-Based Analysis.
FM
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2016 B ed.
Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
FASE
Perdita Stevens, Andrzej Wasowski
2016 A* conf
How does the degree of variability affect bug finding?
ICSE
Jean Melo, Claus Brabrand, Andrzej Wasowski
2016 B ed.
Modelling Foundations and Applications - 12th European Conference, ECMFA@STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
ECMFA
Andrzej Wasowski, Henrik Lönn
2016 B conf
Symbolic execution of high-level transformations.
SLE
Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski
2016 J jnl
Trustworthy variant derivation with translation validation for safety critical product lines.
J. Log. Algebraic Methods Program.
Alexandru F. Iosif-Lazar, Andrzej Wasowski
2015 B conf
A Model for Industrial Real-Time Systems.
VMCAI
Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie
2015 A* conf
Experiences from Designing and Validating a Software Modernization Transformation (E).
ASE
Alexandru F. Iosif-Lazar, Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Juha Erik Savolainen, Krzysztof Sierszecki, Andrzej Wasowski
2015 — conf
Family-Based Model Checking Without a Family-Based Model Checker.
SPIN
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski
2015 B conf
Family-based model checking using off-the-shelf model checkers: extended abstract.
SPLC
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski
2015 A conf
Forked and integrated variants in an open-source firmware project.
ICSME
Stefan Stanciulescu, Sandro Schulze, Andrzej Wasowski
2015 J jnl
Quantifying information leakage of randomized protocols.
Theor. Comput. Sci.
Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski
2015 J jnl
Real-time specifications.
Int. J. Softw. Tools Technol. Transf.
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski
2015 J jnl
Systematic derivation of correct variability-aware program analyses.
Sci. Comput. Program.
Jan Midtgaard, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2015 J jnl
The design space of multi-language development environments.
Softw. Syst. Model.
Rolf-Helge Pfeiffer, Andrzej Wasowski
2015 J jnl
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version).
CoRR
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2015 A conf
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses.
ECOOP
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2014 A* conf
42 variability bugs in the linux kernel: a qualitative analysis.
ASE
Iago Abal, Claus Brabrand, Andrzej Wasowski
2014 — conf
A Core Language for Separate Variability Modeling.
ISoLA (1)
Alexandru F. Iosif-Lazar, Ina Schaefer, Andrzej Wasowski
2014 J jnl
A modal specification theory for components with data.
Sci. Comput. Program.
Sebastian S. Bauer, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2014 J jnl
Efficient synthesis of feature models.
Inf. Softw. Technol.
Steven She, Uwe Ryssel, Nele Andersen, Andrzej Wasowski, Krzysztof Czarnecki
2014 — conf
Flexible product line engineering with a virtual platform.
ICSE Companion
Michal Antkiewicz, Wenbin Ji, Thorsten Berger, Krzysztof Czarnecki, Thomas Schmorleiz, Ralf Lämmel, Stefan Stanciulescu, Andrzej Wasowski, Ina Schaefer
2014 — conf
Information Leakage of Non-Terminating Processes.
FSTTCS
Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Pasquale Malacaria, Andrzej Wasowski
2014 B conf
Language-Independent Traceability with Lässig.
ECMFA
Rolf-Helge Pfeiffer, Jan Reimann, Andrzej Wasowski
2014 J jnl
Maximizing entropy over Markov processes.
J. Log. Algebraic Methods Program.
Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski
2014 J jnl
Robust synthesis for real-time systems.
Theor. Comput. Sci.
Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
2014 B conf
Sound Merging and Differencing for Class Diagrams.
FASE
Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski
2014 — conf
Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report.
FACS
Md Tawhid Bin Waez, Andrzej Wasowski, Jürgen Dingel, Karen Rudie
2014 — conf
Systematic derivation of static analyses for software product lines.
MODULARITY
Jan Midtgaard, Claus Brabrand, Andrzej Wasowski
2014 — ed.
The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014
VaMoS
Philippe Collet, Andrzej Wasowski, Thorsten Weyer
2014 A conf
Three Cases of Feature-Based Variability Modeling in Industry.
MoDELS
Thorsten Berger, Divya Nair, Ralf Rublack, Joanne M. Atlee, Krzysztof Czarnecki, Andrzej Wasowski
2014 B conf
To connect or not to connect: experiences from modeling topological variability.
SPLC
Thorsten Berger, Stefan Stanciulescu, Ommund Øgård, Øystein Haugen, Bo Larsen, Andrzej Wasowski
2014 J jnl
Variability mechanisms in software ecosystems.
Inf. Softw. Technol.
Thorsten Berger, Rolf-Helge Pfeiffer, Reinhard Tartler, Steffen Dienst, Krzysztof Czarnecki, Andrzej Wasowski, Steven She
2013 J jnl
A Study of Variability Models and Languages in the Systems Software Domain.
IEEE Trans. Software Eng.
Thorsten Berger, Steven She, Rafael Lotufo, Andrzej Wasowski, Krzysztof Czarnecki
2013 — conf
A survey of variability modeling in industrial practice.
VaMoS
Thorsten Berger, Ralf Rublack, Divya Nair, Joanne M. Atlee, Martin Becker, Krzysztof Czarnecki, Andrzej Wasowski
2013 J jnl
Abstract Probabilistic Automata.
Inf. Comput.
Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2013 J jnl
Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091).
Dagstuhl Reports
Paulo Borba, Myra B. Cohen, Axel Legay, Andrzej Wasowski
2013 B conf
CVL: common variability language.
SPLC
Øystein Haugen, Andrzej Wasowski, Krzysztof Czarnecki
2013 B conf
Coevolution of variability models and related artifacts: a case study from the Linux kernel.
SPLC
Leonardo Teixeira Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wasowski, Paulo Borba
2013 — conf
Example-Driven Modeling using Clafer.
MDEBE@MoDELS
Michal Antkiewicz, Kacper Bak, Krzysztof Czarnecki, Zinovy Diskin, Dina Zayan, Andrzej Wasowski
2013 A* conf
Example-driven modeling: model = abstractions + examples.
ICSE
Kacper Bak, Dina Zayan, Krzysztof Czarnecki, Michal Antkiewicz, Zinovy Diskin, Andrzej Wasowski, Derek Rayside
2013 — conf
Feature-oriented software evolution.
VaMoS
Leonardo Teixeira Passos, Krzysztof Czarnecki, Sven Apel, Andrzej Wasowski, Christian Kästner, Jianmei Guo
2013 C conf
Maximizing Entropy over Markov Processes.
LATA
Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski
2013 B conf
Partial Instances via Subclassing.
SLE
Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski
2013 A* conf
QUAIL: A Quantitative Security Analyzer for Imperative Code.
CAV
Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
2013 B conf
Quantifying Information Leakage of Randomized Protocols.
VMCAI
Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski
2013 A* conf
Variability-aware performance prediction: A statistical learning approach.
ASE
Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, Andrzej Wasowski
2012 — conf
CVL: common variability language.
SPLC (2)
Øystein Haugen, Andrzej Wasowski, Krzysztof Czarnecki
2012 J jnl
Compositional verification of real-time systems using Ecdar.
Int. J. Softw. Tools Technol. Transf.
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski
2012 J jnl
Consistency and refinement for Interval Markov Chains.
J. Log. Algebraic Methods Program.
Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2012 — conf
Cool features and tough decisions: a comparison of variability modeling approaches.
VaMoS
Krzysztof Czarnecki, Paul Grünbacher, Rick Rabiser, Klaus Schmid, Andrzej Wasowski
2012 A conf
Cross-Language Support Mechanisms Significantly Aid Software Development.
MoDELS
Rolf-Helge Pfeiffer, Andrzej Wasowski
2012 — conf
Efficient synthesis of feature models.
SPLC (1)
Nele Andersen, Krzysztof Czarnecki, Steven She, Andrzej Wasowski
2012 B conf
Moving from Specifications to Contracts in Component-Based Design.
FASE
Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2012 J jnl
New results for Constraint Markov Chains.
Perform. Evaluation
Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2012 — ed.
Proceedings of the VARiability for You Workshop - Variability Modeling Made Useful for Everyone, VARY '12, Innsbruck, Austria, September 30, 2012
VARY@MoDELS
Øystein Haugen, Jean-Marc Jézéquel, Andrzej Wasowski, Birger Møller-Pedersen, Krzysztof Czarnecki
2012 Misc conf
Refinement for Transition Systems with Responses
FIT
Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski
2012 B conf
TexMo: A Multi-language Development Environment.
ECMFA
Rolf-Helge Pfeiffer, Andrzej Wasowski
2012 — conf
Towards a catalog of variability evolution patterns: the Linux kernel case.
FOSD
Leonardo Teixeira Passos, Krzysztof Czarnecki, Andrzej Wasowski
2012 — conf
Usage scenarios for feature model synthesis.
VARY@MoDELS
Steven She, Krzysztof Czarnecki, Andrzej Wasowski
2012 — conf
VARY 2012: VARiability for You.
VARY@MoDELS
Øystein Haugen, Jean-Marc Jézéquel, Andrzej Wasowski, Birger Møller-Pedersen, Krzysztof Czarnecki
2011 — conf
A Modal Specification Theory for Components with Data.
FACS
Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2011 — conf
A study of non-Boolean constraints in variability models of an embedded operating system.
SPLC Workshops
Leonardo Teixeira Passos, Thorsten Berger, Marko Novakovic, Krzysztof Czarnecki, Yingfei Xiong, Andrzej Wasowski
2011 — conf
APAC: A Tool for Reasoning about Abstract Probabilistic Automata.
QEST
Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2011 B conf
Abstract Probabilistic Automata.
VMCAI
Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2011 J jnl
Constraint Markov Chains.
Theor. Comput. Sci.
Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2011 C conf
Decision Problems for Interval Markov Chains.
LATA
Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2011 — conf
New Results on Abstract Probabilistic Automata.
ACSD
Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2011 A* conf
Reverse engineering feature models.
ICSE
Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, Krzysztof Czarnecki
2011 — conf
Robust Specification of Real Time Components.
FORMATS
Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
2011 B conf
Taming the Confusion of Languages.
ECMFA
Rolf-Helge Pfeiffer, Andrzej Wasowski
2011 — conf
Tengi Interfaces for Tracing between Heterogeneous Components.
GTTSE
Rolf-Helge Pfeiffer, Andrzej Wasowski
2011 A conf
Vision Paper: Make a Difference! (Semantically).
MoDELS
Uli Fahrenberg, Axel Legay, Andrzej Wasowski
2010 — conf
8th Nordic Workshop on Model-Driven Software Engineering (NW-MODE 2010).
ECSA Companion Volume
Andrzej Wasowski, Dragos Truscan, Ludwik Kuzniarz
2010 Misc conf
A Few Considerations on Structural and Logical Composition in Specification Theories
FIT
Axel Legay, Andrzej Wasowski
2010 — conf
An aspect-based traceability mechanism for domain specific languages.
ECMFA-TW
Rolf-Helge Pfeiffer, Andrzej Wasowski
2010 — conf
Compositional Design Methodology with Constraint Markov Chains.
QEST
Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
2010 B conf
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems.
ATVA
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2010 B conf
Evolution of the Linux Kernel Variability Model.
SPLC
Rafael Lotufo, Steven She, Thorsten Berger, Krzysztof Czarnecki, Andrzej Wasowski
2010 B conf
Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled.
SLE
Kacper Bak, Krzysztof Czarnecki, Andrzej Wasowski
2010 B conf
Feature-to-Code Mapping in Two Large Product Lines.
SPLC
Thorsten Berger, Steven She, Rafael Lotufo, Krzysztof Czarnecki, Andrzej Wasowski
2010 J jnl
Modal and mixed specifications: key decision problems and their complexities.
Math. Struct. Comput. Sci.
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski
2010 — conf
New Results on Timed Specifications.
WADT
Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski
2010 — conf
The Variability Model of The Linux Kernel.
VaMoS
Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, Krzysztof Czarnecki
2010 — conf
Timed I/O automata: a complete specification theory for real-time systems.
HSCC
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2010 A* conf
Variability modeling in the real: a perspective from the operating systems domain.
ASE
Thorsten Berger, Steven She, Rafael Lotufo, Andrzej Wasowski, Krzysztof Czarnecki
2009 — conf
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata.
FMCO
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2009 B conf
SAT-based analysis of feature models is easy.
SPLC
Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki
2008 J jnl
20 Years of Modal and Mixed Specifications.
Bull. EATCS
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski
2008 B conf
Complexity of Decision Problems for Mixed and Modal Specifications.
FoSSaCS
Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
2008 — conf
EXPTIME-complete Decision Problems for Modal and Mixed Specifications.
EXPRESS
Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
2008 B conf
Efficient compilation techniques for large scale feature models.
GPCE
Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki, Donald D. Cowan
2008 A conf
Interfaces and Metainterfaces for Models and Metamodels.
MoDELS
Anders Hessellund, Andrzej Wasowski
2008 A conf
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax.
MoDELS
Mikolás Janota, Victoria Kuzina, Andrzej Wasowski
2008 B conf
Sample Spaces and Feature Models: There and Back Again.
SPLC
Krzysztof Czarnecki, Steven She, Andrzej Wasowski
2007 B conf
Feature Diagrams and Logics: There and Back Again.
SPLC
Krzysztof Czarnecki, Andrzej Wasowski
2007 A conf
Guided Development with Multiple Domain-Specific Languages.
MoDELS
Anders Hessellund, Krzysztof Czarnecki, Andrzej Wasowski
2007 A conf
Modal I/O Automata for Interface and Product Line Theories.
ESOP
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
2007 J jnl
Modeling software product lines using color-blind transition systems.
Int. J. Softw. Tools Technol. Transf.
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
2007 B conf
On Modal Refinement and Consistency.
CONCUR
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
2007 A* conf
Techniques for Efficient Interactive Configuration of Distribution Networks.
IJCAI
Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen
2006 Misc conf
Efficient interactive configuration of unbounded modular systems.
SAC
Erik Roland van der Meer, Andrzej Wasowski, Henrik Reif Andersen
2006 B conf
Interface Input/Output Automata.
FM
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
2005 B conf
Color-Blind Specifications for Transformations of Reactive Synchronous Programs.
FASE
Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski
2004 B conf
Automatic Generation of Program Families by Model Restrictions.
SPLC
Andrzej Wasowski
2004 B conf
Flattening statecharts without explosions.
LCTES
Andrzej Wasowski
2004 — conf
On Succinctness of Hierarchical State Diagrams in Absence of Message Passing.
SFEDL@ETAPS
Andrzej Wasowski
2003 B conf
On efficient program synthesis from statecharts.
LCTES
Andrzej Wasowski
2001 — conf
Bayesian Network Mining System.
Intelligent Information Systems
Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Maciej Michalewicz, Marek A. Bednarczyk, Wieslaw Pawlowski, Andrzej Wasowski