default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndrzej Wasowski
Person information
- affiliation: IT University of Copenhagen, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 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)- [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 - [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
- [b1]Andrzej Wasowski, Thorsten Berger:
Domain-Specific Languages - Effective Modeling, Automation, and Reuse. Springer 2023, ISBN 978-3-031-23668-6, pp. 5-486 - [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) - [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 - [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
- [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) - [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 - [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) - 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) - [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
- [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) - [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 - [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)
2010 – 2019
- 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) - [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 - [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
- [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) - [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 - [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] - [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
- [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) - [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 - [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) - 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) - [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 - [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] - 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) - [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 - [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) - 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) - [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 - [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] - 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]