Behavior Trees and State Machines in Robotics Applications
Ghzouli, Razan, Berger, Thorsten, Johnsen, Einar Broch, Wasowski, Andrzej, Dragule, Swaib
Published in IEEE transactions on software engineering (01.09.2023)
Published in IEEE transactions on software engineering (01.09.2023)
Get full text
Journal Article
Finding suitable variability abstractions for lifted analysis
Dimovski, Aleksandar S., Brabrand, Claus, Wąsowski, Andrzej
Published in Formal aspects of computing (01.04.2019)
Published in Formal aspects of computing (01.04.2019)
Get full text
Journal Article
Efficient synthesis of feature models
She, Steven, Ryssel, Uwe, Andersen, Nele, Wąsowski, Andrzej, Czarnecki, Krzysztof
Published in Information and software technology (01.09.2014)
Published in Information and software technology (01.09.2014)
Get full text
Journal Article
A tailored participatory action research for foss communities
Alami, Adam, Nielsen, Peter Axel, Wa̧sowski, Andrzej
Published in Empirical software engineering : an international journal (01.09.2020)
Published in Empirical software engineering : an international journal (01.09.2020)
Get full text
Journal Article
Variability mechanisms in software ecosystems
Berger, Thorsten, Pfeiffer, Rolf-Helge, Tartler, Reinhard, Dienst, Steffen, Czarnecki, Krzysztof, Wąsowski, Andrzej, She, Steven
Published in Information and software technology (01.11.2014)
Published in Information and software technology (01.11.2014)
Get full text
Journal Article
Reverse engineering feature models
She, Steven, Lotufo, Rafael, Berger, Thorsten, Wąsowski, Andrzej, Czarnecki, Krzysztof
Published in 2011 33rd International Conference on Software Engineering (ICSE) (21.05.2011)
Published in 2011 33rd International Conference on Software Engineering (ICSE) (21.05.2011)
Get full text
Conference Proceeding
Systematic derivation of correct variability-aware program analyses
Midtgaard, Jan, Dimovski, Aleksandar S., Brabrand, Claus, Wąsowski, Andrzej
Published in Science of computer programming (01.07.2015)
Published in Science of computer programming (01.07.2015)
Get full text
Journal Article
Guest editorial to the special section on MODELS 2018
Wąsowski, Andrzej, Paige, Richard F., Haugen, Øystein
Published in Software and systems modeling (01.07.2020)
Published in Software and systems modeling (01.07.2020)
Get full text
Journal Article
Quantifying information leakage of randomized protocols
Biondi, Fabrizio, Legay, Axel, Malacaria, Pasquale, Wąsowski, Andrzej
Published in Theoretical computer science (13.09.2015)
Published in Theoretical computer science (13.09.2015)
Get full text
Journal Article
A Study of Variability Models and Languages in the Systems Software Domain
Berger, Thorsten, She, Steven, Lotufo, Rafael, Wasowski, Andrzej, Czarnecki, Krzysztof
Published in IEEE transactions on software engineering (01.12.2013)
Published in IEEE transactions on software engineering (01.12.2013)
Get full text
Journal Article
Coevolution of variability models and related software artifacts: A fresh look at evolution patterns in the Linux kernel
Passos, Leonardo, Teixeira, Leopoldo, Dintzner, Nicolas, Apel, Sven, Wąsowski, Andrzej, Czarnecki, Krzysztof, Borba, Paulo, Guo, Jianmei
Published in Empirical software engineering : an international journal (01.08.2016)
Published in Empirical software engineering : an international journal (01.08.2016)
Get full text
Journal Article
How Does the Degree of Variability Affect Bug Finding?
Melo, Jean, Brabrand, Claus, Wasowski, Andrzej
Published in 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) (01.05.2016)
Published in 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) (01.05.2016)
Get full text
Conference Proceeding
Clafer: unifying class and feature modeling
Bąk, Kacper, Diskin, Zinovy, Antkiewicz, Michał, Czarnecki, Krzysztof, Wąsowski, Andrzej
Published in Software and systems modeling (01.07.2016)
Published in Software and systems modeling (01.07.2016)
Get full text
Journal Article
Formal Specification and Testing for Reinforcement Learning
Varshosaz, Mahsa, Ghaffari, Mohsen, Johnsen, Einar Broch, Wąsowski, Andrzej
Published in Proceedings of ACM on programming languages (30.08.2023)
Published in Proceedings of ACM on programming languages (30.08.2023)
Get full text
Journal Article