![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Andrzej Wasowski
Person information
- affiliation: IT University of Copenhagen, Denmark
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2023
- [b1]Andrzej Wasowski
, Thorsten Berger:
Domain-Specific Languages - Effective Modeling, Automation, and Reuse. Springer 2023, ISBN 978-3-031-23668-6, pp. 5-486
Journal Articles
- 2024
- [j44]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): 57 (2024) - 2023
- [j43]Mahsa Varshosaz
, Mohsen Ghaffari
, Einar Broch Johnsen
, Andrzej Wasowski
:
Formal Specification and Testing for Reinforcement Learning. Proc. ACM Program. Lang. 7(ICFP): 125-158 (2023) - [j42]Juan Cruz-Carlon
, Mahsa Varshosaz
, Claire Le Goues
, Andrzej Wasowski
:
Patching Locking Bugs Statically with Crayons. ACM Trans. Softw. Eng. Methodol. 32(3): 56:1-56:28 (2023) - [j41]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): 4243-4267 (2023) - 2022
- [j40]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): 502-518 (2022) - [j39]Adam Alami
, Raúl Pardo, Marisa Leavitt Cohn, Andrzej Wasowski
:
Pull Request Governance in Open Source Communities. IEEE Trans. Software Eng. 48(12): 4838-4856 (2022) - 2021
- [j38]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): 5:1-5:33 (2021) - 2020
- [j37]Adam Alami
, Peter Axel Nielsen
, Andrzej Wasowski
:
A tailored participatory action research for foss communities. Empir. Softw. Eng. 25(5): 3639-3670 (2020) - [j36]Andrzej Wasowski
, Richard F. Paige, Øystein Haugen:
Guest editorial to the special section on MODELS 2018. Softw. Syst. Model. 19(4): 825-826 (2020) - [j35]Aleksandar S. Dimovski
, Axel Legay, Andrzej Wasowski
:
Generalized abstraction-refinement for game-based CTL lifted model checking. Theor. Comput. Sci. 837: 181-206 (2020) - 2019
- [j34]Aleksandar S. Dimovski
, Claus Brabrand, Andrzej Wasowski
:
Finding suitable variability abstractions for lifted analysis. Formal Aspects Comput. 31(2): 231-259 (2019) - [j33]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): 2 (2019) - [j32]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): 959-960 (2019) - 2018
- [j31]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): 1826-1867 (2018) - [j30]Ewen Denney, Perdita Stevens, Andrzej Wasowski
:
Editorial. Formal Aspects Comput. 30(1): 1 (2018) - [j29]Viktor Hargitai
, Irina Shklovski, Andrzej Wasowski
:
Going Beyond Obscurity: Organizational Approaches to Data Anonymization. Proc. ACM Hum. Comput. Interact. 2(CSCW): 66:1-66:22 (2018) - [j28]Aleksandar S. Dimovski
, Claus Brabrand, Andrzej Wasowski
:
Variability abstractions for lifted analyses. Sci. Comput. Program. 159: 1-27 (2018) - [j27]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): 10:1-10:34 (2018) - 2017
- [j26]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): 407-441 (2017) - [j25]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): 1 (2017) - [j24]Andrzej Wasowski
, Thorsten Weyer
:
Introduction to the theme issue on variability modeling of software-intensive systems. Softw. Syst. Model. 16(1): 49-51 (2017) - [j23]Andrzej Wasowski
, Thorsten Weyer:
Erratum to: Introduction to the theme issue on variability modeling of software-intensive systems. Softw. Syst. Model. 16(1): 53 (2017) - [j22]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): 585-603 (2017) - 2016
- [j21]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): 1744-1793 (2016) - [j20]Alexandru F. Iosif-Lazar, Andrzej Wasowski
:
Trustworthy variant derivation with translation validation for safety critical product lines. J. Log. Algebraic Methods Program. 85(6): 1154-1176 (2016) - [j19]Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski
:
Clafer: unifying class and feature modeling. Softw. Syst. Model. 15(3): 811-845 (2016) - 2015
- [j18]Jan Midtgaard
, Aleksandar S. Dimovski
, Claus Brabrand, Andrzej Wasowski
:
Systematic derivation of correct variability-aware program analyses. Sci. Comput. Program. 105: 145-170 (2015) - [j17]Rolf-Helge Pfeiffer, Andrzej Wasowski
:
The design space of multi-language development environments. Softw. Syst. Model. 14(1): 383-411 (2015) - [j16]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): 17-45 (2015) - [j15]Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski
:
Quantifying information leakage of randomized protocols. Theor. Comput. Sci. 597: 62-87 (2015) - 2014
- [j14]Steven She, Uwe Ryssel, Nele Andersen, Andrzej Wasowski
, Krzysztof Czarnecki:
Efficient synthesis of feature models. Inf. Softw. Technol. 56(9): 1122-1143 (2014) - [j13]Thorsten Berger, Rolf-Helge Pfeiffer, Reinhard Tartler, Steffen Dienst, Krzysztof Czarnecki, Andrzej Wasowski
, Steven She:
Variability mechanisms in software ecosystems. Inf. Softw. Technol. 56(11): 1520-1535 (2014) - [j12]Fabrizio Biondi, Axel Legay, Bo Friis Nielsen
, Andrzej Wasowski
:
Maximizing entropy over Markov processes. J. Log. Algebraic Methods Program. 83(5-6): 384-399 (2014) - [j11]Sebastian S. Bauer, Kim G. Larsen
, Axel Legay, Ulrik Nyman
, Andrzej Wasowski
:
A modal specification theory for components with data. Sci. Comput. Program. 83: 106-128 (2014) - [j10]Kim G. Larsen
, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
:
Robust synthesis for real-time systems. Theor. Comput. Sci. 515: 96-122 (2014) - 2013
- [j9]Benoît Delahaye, Joost-Pieter Katoen
, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
:
Abstract Probabilistic Automata. Inf. Comput. 232: 66-116 (2013) - [j8]Thorsten Berger, Steven She, Rafael Lotufo, Andrzej Wasowski
, Krzysztof Czarnecki:
A Study of Variability Models and Languages in the Systems Software Domain. IEEE Trans. Software Eng. 39(12): 1611-1640 (2013) - 2012
- [j7]Benoît Delahaye, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
:
Consistency and refinement for Interval Markov Chains. J. Log. Algebraic Methods Program. 81(3): 209-226 (2012) - [j6]Benoît Delahaye, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
:
New results for Constraint Markov Chains. Perform. Evaluation 69(7-8): 379-401 (2012) - [j5]Alexandre David, Kim Guldstrand Larsen
, Axel Legay, Mikael H. Møller, Ulrik Nyman
, Anders P. Ravn, Arne Skou, Andrzej Wasowski
:
Compositional verification of real-time systems using Ecdar. Int. J. Softw. Tools Technol. Transf. 14(6): 703-720 (2012) - 2011
- [j4]Benoît Caillaud, Benoît Delahaye
, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
:
Constraint Markov Chains. Theor. Comput. Sci. 412(34): 4373-4404 (2011) - 2010
- [j3]Adam Antonik, Michael Huth, Kim G. Larsen
, Ulrik Nyman
, Andrzej Wasowski
:
Modal and mixed specifications: key decision problems and their complexities. Math. Struct. Comput. Sci. 20(1): 75-103 (2010) - 2008
- [j2]Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski:
20 Years of Modal and Mixed Specifications. Bull. EATCS 95: 94-129 (2008) - 2007
- [j1]Kim Guldstrand Larsen
, Ulrik Nyman
, Andrzej Wasowski
:
Modeling software product lines using color-blind transition systems. Int. J. Softw. Tools Technol. Transf. 9(5-6): 471-487 (2007)
Conference and Workshop Papers
- 2024
- [c117]Luiza Ribeiro Marnet
, Yury Brodskiy
, Stella Grasshof
, Andrzej Wasowski
:
Uncertainty Driven Active Learning for Image Segmentation in Underwater Inspection. ROBOVIS 2024: 66-81 - [c116]Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski, Swaib Dragule:
Behavior Trees and State Machines in Robotics Applications. Software Engineering 2024: 73-74 - 2023
- [c115]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: 151-155 - [c114]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: 1405-1417 - [c113]Erik Voogd
, Einar Broch Johnsen
, Alexandra Silva
, Zachary J. Susag
, Andrzej Wasowski
:
Symbolic Semantics for Probabilistic Programs. QEST 2023: 329-345 - [c112]Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski
:
Exact and Efficient Bayesian Inference for Privacy Risk Quantification. SEFM 2023: 263-281 - 2022
- [c111]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: 103-119 - [c110]Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
:
A Specification Logic for Programs in the Probabilistic Guarded Command Language. ICTAC 2022: 369-387 - [c109]Jeremy Coffelt, Mahya Mohammadi Kashani, Andrzej Wasowski, Peter Kampmann:
Belief-Based Fault Recovery for Marine Robotics. JOWO 2022 - 2021
- [c108]Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski
:
Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis. ESORICS (2) 2021: 417-438 - [c107]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: 25-28 - 2020
- [c106]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: 105-131 - [c105]Adam Alami, Marisa Leavitt Cohn, Andrzej Wasowski:
How Do FOSS Communities Decide to Accept Pull Requests? EASE 2020: 220-229 - [c104]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: 21-30 - [c103]Max Lillack, Stefan Stanciulescu, Wilhelm Hedman, Thorsten Berger, Andrzej Wasowski
:
Intention-Based Integration of Software Variants. SE 2020: 57-58 - [c102]Razan Ghzouli
, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski
:
Behavior trees in action: a study of robotics applications. SLE 2020: 196-209 - [c101]Andrzej Wasowski
:
Dependency bugs: the dark side of variability, reuse and modularity. VaMoS 2020: 1:1-1:2 - 2019
- [c100]Adam Alami, Andrzej Wasowski
:
Affiliated Participation in Open Source Communities. ESEM 2019: 1-11 - [c99]Aleksandar S. Dimovski
, Axel Legay, Andrzej Wasowski
:
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. FASE 2019: 192-209 - [c98]Max Lillack, Stefan Stanciulescu, Wilhelm Hedman, Thorsten Berger, Andrzej Wasowski
:
Intention-based integration of software variants. ICSE 2019: 831-842 - [c97]Adam Alami, Marisa Leavitt Cohn, Andrzej Wasowski:
Why does code review work for open source software communities? ICSE 2019: 1073-1083 - [c96]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: 91-92 - [c95]Luyao Ren, Shurui Zhou, Christian Kästner, Andrzej Wasowski
:
Identifying Redundancies in Fork-based Development. SANER 2019: 230-241 - 2018
- [c94]Ahmad Salim Al-Sibahi
, Thomas P. Jensen, Aleksandar S. Dimovski
, Andrzej Wasowski
:
Verification of high-level transformations with inductive refinement types. GPCE 2018: 147-160 - [c93]Adam Alami, Yvonne Dittrich
, Andrzej Wasowski:
Influencers of quality assurance in an open source community. CHASE@ICSE 2018: 61-68 - [c92]Shurui Zhou, Stefan Stanciulescu, Olaf Leßenich
, Yingfei Xiong, Andrzej Wasowski, Christian Kästner
:
Identifying features in forks. ICSE 2018: 105-116 - [c91]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: 445-455 - 2017
- [c90]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: 249-268 - [c89]Aleksandar S. Dimovski
, Andrzej Wasowski
:
Variability-Specific Abstraction Refinement for Family-Based Model Checking. FASE 2017: 406-423 - [c88]Jean Melo, Fabricio Batista Narcizo, Dan Witzner Hansen, Claus Brabrand, Andrzej Wasowski
:
Variability through the eyes of the programmer. ICPC 2017: 34-44 - [c87]Iago Abal, Claus Brabrand, Andrzej Wasowski
:
Effective Bug Finding in C Programs with Shape and Effect Abstractions. VMCAI 2017: 34-54 - 2016
- [c86]Aleksandar S. Dimovski
, Claus Brabrand, Andrzej Wasowski
:
Finding Suitable Variability Abstractions for Family-Based Analysis. FM 2016: 217-234 - [c85]Jean Melo, Claus Brabrand, Andrzej Wasowski
:
How does the degree of variability affect bug finding? ICSE 2016: 679-690 - [c84]Stefan Stanciulescu, Thorsten Berger, Eric Walkingshaw, Andrzej Wasowski
:
Concepts, Operations, and Feasibility of a Projection-Based Variation Control System. ICSME 2016: 323-333 - [c83]Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski:
Symbolic execution of high-level transformations. SLE 2016: 207-220 - [c82]Jean Melo, Elvis Flesborg, Claus Brabrand, Andrzej Wasowski
:
A Quantitative Analysis of Variability Warnings in Linux. VaMoS 2016: 3-8 - 2015
- [c81]Aleksandar S. Dimovski
, Claus Brabrand, Andrzej Wasowski
:
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses. ECOOP 2015: 247-270 - [c80]Stefan Stanciulescu, Sandro Schulze
, Andrzej Wasowski
:
Forked and integrated variants in an open-source firmware project. ICSME 2015: 151-160 - [c79]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: 597-607 - [c78]Aleksandar S. Dimovski
, Ahmad Salim Al-Sibahi
, Claus Brabrand, Andrzej Wasowski
:
Family-Based Model Checking Without a Family-Based Model Checker. SPIN 2015: 282-299 - [c77]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: 397 - [c76]Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie:
A Model for Industrial Real-Time Systems. VMCAI 2015: 153-171 - 2014
- [c75]Jan Midtgaard
, Claus Brabrand, Andrzej Wasowski
:
Systematic derivation of static analyses for software product lines. MODULARITY 2014: 181-192 - [c74]Rolf-Helge Pfeiffer, Jan Reimann
, Andrzej Wasowski
:
Language-Independent Traceability with Lässig. ECMFA 2014: 148-163 - [c73]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: 162-180 - [c72]Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski
:
Sound Merging and Differencing for Class Diagrams. FASE 2014: 63-78 - [c71]Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Pasquale Malacaria, Andrzej Wasowski
:
Information Leakage of Non-Terminating Processes. FSTTCS 2014: 517-529 - [c70]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: 532-535 - [c69]Alexandru F. Iosif-Lazar, Ina Schaefer, Andrzej Wasowski
:
A Core Language for Separate Variability Modeling. ISoLA (1) 2014: 257-272 - [c68]Iago Abal, Claus Brabrand, Andrzej Wasowski
:
42 variability bugs in the linux kernel: a qualitative analysis. ASE 2014: 421-432 - [c67]Thorsten Berger, Divya Nair, Ralf Rublack, Joanne M. Atlee, Krzysztof Czarnecki, Andrzej Wasowski
:
Three Cases of Feature-Based Variability Modeling in Industry. MoDELS 2014: 302-319 - [c66]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: 330-339 - 2013
- [c65]Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
:
QUAIL: A Quantitative Security Analyzer for Imperative Code. CAV 2013: 702-707 - [c64]Kacper Bak, Dina Zayan, Krzysztof Czarnecki, Michal Antkiewicz, Zinovy Diskin, Andrzej Wasowski
, Derek Rayside:
Example-driven modeling: model = abstractions + examples. ICSE 2013: 1273-1276 - [c63]Jianmei Guo, Krzysztof Czarnecki, Sven Apel
, Norbert Siegmund, Andrzej Wasowski
:
Variability-aware performance prediction: A statistical learning approach. ASE 2013: 301-311 - [c62]Fabrizio Biondi, Axel Legay, Bo Friis Nielsen
, Andrzej Wasowski
:
Maximizing Entropy over Markov Processes. LATA 2013: 128-140 - [c61]Michal Antkiewicz, Kacper Bak, Krzysztof Czarnecki, Zinovy Diskin, Dina Zayan, Andrzej Wasowski:
Example-Driven Modeling using Clafer. MDEBE@MoDELS 2013: 32-41 - [c60]Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski
:
Partial Instances via Subclassing. SLE 2013: 344-364 - [c59]Leonardo Teixeira Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wasowski, Paulo Borba
:
Coevolution of variability models and related artifacts: a case study from the Linux kernel. SPLC 2013: 91-100 - [c58]Øystein Haugen, Andrzej Wasowski
, Krzysztof Czarnecki:
CVL: common variability language. SPLC 2013: 277 - [c57]Thorsten Berger, Ralf Rublack, Divya Nair, Joanne M. Atlee, Martin Becker, Krzysztof Czarnecki, Andrzej Wasowski
:
A survey of variability modeling in industrial practice. VaMoS 2013: 7:1-7:8 - [c56]Leonardo Teixeira Passos, Krzysztof Czarnecki, Sven Apel
, Andrzej Wasowski, Christian Kästner
, Jianmei Guo:
Feature-oriented software evolution. VaMoS 2013: 17:1-17:8 - [c55]Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski
:
Quantifying Information Leakage of Randomized Protocols. VMCAI 2013: 68-87 - 2012
- [c54]Rolf-Helge Pfeiffer, Andrzej Wasowski
:
TexMo: A Multi-language Development Environment. ECMFA 2012: 178-193 - [c53]Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen
, Axel Legay, Ulrik Nyman
, Andrzej Wasowski
:
Moving from Specifications to Contracts in Component-Based Design. FASE 2012: 43-58 - [c52]Leonardo Teixeira Passos, Krzysztof Czarnecki, Andrzej Wasowski
:
Towards a catalog of variability evolution patterns: the Linux kernel case. FOSD 2012: 62-69 - [c51]Øystein Haugen, Jean-Marc Jézéquel, Andrzej Wasowski
, Birger Møller-Pedersen, Krzysztof Czarnecki:
VARY 2012: VARiability for You. VARY@MoDELS 2012: 1-2 - [c50]Steven She, Krzysztof Czarnecki, Andrzej Wasowski:
Usage scenarios for feature model synthesis. VARY@MoDELS 2012: 15-20 - [c49]Rolf-Helge Pfeiffer, Andrzej Wasowski
:
Cross-Language Support Mechanisms Significantly Aid Software Development. MoDELS 2012: 168-184 - [c48]Nele Andersen, Krzysztof Czarnecki, Steven She, Andrzej Wasowski:
Efficient synthesis of feature models. SPLC (1) 2012: 106-115 - [c47]Øystein Haugen, Andrzej Wasowski
, Krzysztof Czarnecki:
CVL: common variability language. SPLC (2) 2012: 266-267 - [c46]Krzysztof Czarnecki, Paul Grünbacher
, Rick Rabiser
, Klaus Schmid
, Andrzej Wasowski
:
Cool features and tough decisions: a comparison of variability modeling approaches. VaMoS 2012: 173-182 - [c45]Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski
:
Refinement for Transition Systems with Responses. FIT 2012: 48-55 - 2011
- [c44]Benoît Delahaye, Joost-Pieter Katoen
, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
:
New Results on Abstract Probabilistic Automata. ACSD 2011: 118-127 - [c43]Rolf-Helge Pfeiffer, Andrzej Wasowski
:
Taming the Confusion of Languages. ECMFA 2011: 312-328 - [c42]Sebastian S. Bauer, Kim Guldstrand Larsen
, Axel Legay, Ulrik Nyman
, Andrzej Wasowski
:
A Modal Specification Theory for Components with Data. FACS 2011: 61-78 - [c41]Kim G. Larsen
, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
:
Robust Specification of Real Time Components. FORMATS 2011: 129-144 - [c40]Rolf-Helge Pfeiffer, Andrzej Wasowski
:
Tengi Interfaces for Tracing between Heterogeneous Components. GTTSE 2011: 431-447 - [c39]Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski
, Krzysztof Czarnecki:
Reverse engineering feature models. ICSE 2011: 461-470 - [c38]Benoît Delahaye, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
:
Decision Problems for Interval Markov Chains. LATA 2011: 274-285 - [c37]Uli Fahrenberg, Axel Legay, Andrzej Wasowski
:
Vision Paper: Make a Difference! (Semantically). MoDELS 2011: 490-500 - [c36]Benoît Delahaye, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
:
APAC: A Tool for Reasoning about Abstract Probabilistic Automata. QEST 2011: 151-152 - [c35]Leonardo Teixeira Passos, Thorsten Berger, Marko Novakovic, Krzysztof Czarnecki, Yingfei Xiong
, Andrzej Wasowski
:
A study of non-Boolean constraints in variability models of an embedded operating system. SPLC Workshops 2011: 2 - [c34]Benoît Delahaye, Joost-Pieter Katoen
, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
:
Abstract Probabilistic Automata. VMCAI 2011: 324-339 - 2010
- [c33]Alexandre David, Kim Guldstrand Larsen
, Axel Legay, Ulrik Nyman
, Andrzej Wasowski
:
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. ATVA 2010: 365-370 - [c32]Rolf-Helge Pfeiffer, Andrzej Wasowski
:
An aspect-based traceability mechanism for domain specific languages. ECMFA-TW 2010: 47-52 - [c31]Andrzej Wasowski
, Dragos Truscan
, Ludwik Kuzniarz:
8th Nordic Workshop on Model-Driven Software Engineering (NW-MODE 2010). ECSA Companion Volume 2010: 243-244 - [c30]Alexandre David, Kim G. Larsen
, Axel Legay, Ulrik Nyman
, Andrzej Wasowski
:
Timed I/O automata: a complete specification theory for real-time systems. HSCC 2010: 91-100 - [c29]Thorsten Berger, Steven She, Rafael Lotufo, Andrzej Wasowski
, Krzysztof Czarnecki:
Variability modeling in the real: a perspective from the operating systems domain. ASE 2010: 73-82 - [c28]Benoît Caillaud, Benoît Delahaye
, Kim G. Larsen
, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
Compositional Design Methodology with Constraint Markov Chains. QEST 2010: 123-132 - [c27]Kacper Bak, Krzysztof Czarnecki, Andrzej Wasowski
:
Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled. SLE 2010: 102-122 - [c26]Rafael Lotufo, Steven She, Thorsten Berger, Krzysztof Czarnecki, Andrzej Wasowski:
Evolution of the Linux Kernel Variability Model. SPLC 2010: 136-150 - [c25]Thorsten Berger, Steven She, Rafael Lotufo, Krzysztof Czarnecki, Andrzej Wasowski
:
Feature-to-Code Mapping in Two Large Product Lines. SPLC 2010: 498-499 - [c24]Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, Krzysztof Czarnecki:
The Variability Model of The Linux Kernel. VaMoS 2010: 45-51 - [c23]Timothy Bourke, Alexandre David, Kim G. Larsen
, Axel Legay, Didier Lime
, Ulrik Nyman
, Andrzej Wasowski
:
New Results on Timed Specifications. WADT 2010: 175-192 - [c22]Axel Legay, Andrzej Wasowski:
A Few Considerations on Structural and Logical Composition in Specification Theories. FIT 2010: 49-54 - 2009
- [c21]Alexandre David, Kim G. Larsen
, Axel Legay, Ulrik Nyman
, Andrzej Wasowski
:
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. FMCO 2009: 290-310 - [c20]Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki:
SAT-based analysis of feature models is easy. SPLC 2009: 231-240 - 2008
- [c19]Adam Antonik, Michael Huth, Kim Guldstrand Larsen
, Ulrik Nyman
, Andrzej Wasowski
:
Complexity of Decision Problems for Mixed and Modal Specifications. FoSSaCS 2008: 112-126 - [c18]Marcílio Mendonça, Andrzej Wasowski
, Krzysztof Czarnecki, Donald D. Cowan:
Efficient compilation techniques for large scale feature models. GPCE 2008: 13-22 - [c17]Anders Hessellund, Andrzej Wasowski
:
Interfaces and Metainterfaces for Models and Metamodels. MoDELS 2008: 401-415 - [c16]Mikolás Janota
, Victoria Kuzina, Andrzej Wasowski:
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax. MoDELS 2008: 431-445 - [c15]Krzysztof Czarnecki, Steven She, Andrzej Wasowski
:
Sample Spaces and Feature Models: There and Back Again. SPLC 2008: 22-31 - [c14]Adam Antonik, Michael Huth, Kim Guldstrand Larsen
, Ulrik Nyman
, Andrzej Wasowski
:
EXPTIME-complete Decision Problems for Modal and Mixed Specifications. EXPRESS 2008: 19-33 - 2007
- [c13]Kim Guldstrand Larsen
, Ulrik Nyman
, Andrzej Wasowski
:
On Modal Refinement and Consistency. CONCUR 2007: 105-119 - [c12]Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
:
Modal I/O Automata for Interface and Product Line Theories. ESOP 2007: 64-79 - [c11]Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen:
Techniques for Efficient Interactive Configuration of Distribution Networks. IJCAI 2007: 100-105 - [c10]Anders Hessellund, Krzysztof Czarnecki, Andrzej Wasowski
:
Guided Development with Multiple Domain-Specific Languages. MoDELS 2007: 46-60 - [c9]Krzysztof Czarnecki, Andrzej Wasowski:
Feature Diagrams and Logics: There and Back Again. SPLC 2007: 23-34 - 2006
- [c8]Kim Guldstrand Larsen
, Ulrik Nyman
, Andrzej Wasowski
:
Interface Input/Output Automata. FM 2006: 82-97 - [c7]Erik Roland van der Meer, Andrzej Wasowski
, Henrik Reif Andersen:
Efficient interactive configuration of unbounded modular systems. SAC 2006: 409-414 - 2005
- [c6]Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski
:
Color-Blind Specifications for Transformations of Reactive Synchronous Programs. FASE 2005: 160-174 - 2004
- [c5]Andrzej Wasowski
:
Flattening statecharts without explosions. LCTES 2004: 257-266 - [c4]Andrzej Wasowski:
Automatic Generation of Program Families by Model Restrictions. SPLC 2004: 73-89 - [c3]Andrzej Wasowski
:
On Succinctness of Hierarchical State Diagrams in Absence of Message Passing. SFEDL@ETAPS 2004: 89-97 - 2003
- [c2]Andrzej Wasowski
:
On efficient program synthesis from statecharts. LCTES 2003: 163-170 - 2001
- [c1]Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Maciej Michalewicz, Marek A. Bednarczyk, Wieslaw Pawlowski, Andrzej Wasowski:
Bayesian Network Mining System. Intelligent Information Systems 2001: 179-193
Editorship
- 2018
- [e5]Andrzej Wasowski, Richard F. Paige, Øystein Haugen:
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018. ACM 2018 [contents] - 2016
- [e4]Andrzej Wasowski, Henrik Lönn:
Modelling Foundations and Applications - 12th European Conference, ECMFA@STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. Lecture Notes in Computer Science 9764, Springer 2016, ISBN 978-3-319-42060-8 [contents] - [e3]Perdita Stevens, Andrzej Wasowski:
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. Lecture Notes in Computer Science 9633, Springer 2016, ISBN 978-3-662-49664-0 [contents] - 2014
- [e2]Philippe Collet, Andrzej Wasowski, Thorsten Weyer:
The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014. ACM 2014, ISBN 978-1-4503-2556-1 [contents] - 2012
- [e1]Øystein Haugen, Jean-Marc Jézéquel, Andrzej Wasowski, Birger Møller-Pedersen, Krzysztof Czarnecki:
Proceedings of the VARiability for You Workshop - Variability Modeling Made Useful for Everyone, VARY '12, Innsbruck, Austria, September 30, 2012. ACM 2012, ISBN 978-1-4503-1809-9 [contents]
Informal and Other Publications
- 2024
- [i20]Luiza Ribeiro Marnet, Yury Brodskiy, Stella Grasshof, Andrzej Wasowski:
Uncertainty Driven Active Learning for Image Segmentation in Underwater Inspection. CoRR abs/2403.14002 (2024) - [i19]Christopher Steven Timperley, Gijs van der Hoorn, André Santos, Harshavardhan Deshpande, Andrzej Wasowski:
ROBUST: 221 Bugs in the Robot Operating System. CoRR abs/2404.03629 (2024) - 2023
- [i18]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 abs/2302.04529 (2023) - [i17]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 abs/2302.05048 (2023) - [i16]Gustavo Rezende Silva, Darko Bozhinoski, Mario Garzon Oviedo, Mariano Ramírez Montero, Nadia Hammoudeh Garcia, Harshavardhan Deshpande, Andrzej Wasowski
, Carlos Hernández Corbato:
MROS: A framework for robot self-adaptation. CoRR abs/2303.09227 (2023) - [i15]Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski:
Symbolic Semantics for Probabilistic Programs (extended version). CoRR abs/2307.09951 (2023) - [i14]Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski
:
Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Extended Version). CoRR abs/2308.16700 (2023) - 2022
- [i13]Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski
:
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version). CoRR abs/2205.04822 (2022) - [i12]Razan Ghzouli, Swaib Dragule, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski
:
Behavior Trees and State Machines in Robotics Applications. CoRR abs/2208.04211 (2022) - [i11]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 abs/2208.12497 (2022) - 2020
- [i10]Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wasowski:
Behavior Trees in Action: A Study of Robotics Applications. CoRR abs/2010.06256 (2020) - [i9]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 abs/2010.09145 (2020) - [i8]Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski:
Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis. CoRR abs/2011.08742 (2020) - 2019
- [i7]Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski:
Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version). CoRR abs/1902.05594 (2019) - [i6]Adam Alami, Andrzej Wasowski:
Affiliated participation in open source communities. PeerJ Prepr. 7: e27827 (2019) - 2018
- [i5]Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski:
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability. CoRR abs/1807.08576 (2018) - [i4]Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski:
Verification of High-Level Transformations with Inductive Refinement Types. CoRR abs/1809.06336 (2018) - 2017
- [i3]Alexandru Florin Iosif-Lazar, Jean Melo, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski:
Effective Analysis of C Programs by Rewriting Variability. CoRR abs/1701.08114 (2017) - 2015
- [i2]Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski:
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version). CoRR abs/1503.04608 (2015) - 2013
- [i1]Paulo Borba, Myra B. Cohen, Axel Legay, Andrzej Wasowski:
Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091). Dagstuhl Reports 3(2): 144-170 (2013)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 21:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint