Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andrzej Wasowski
@inproceedings{DBLP:conf/se/GhzouliBJWD24,
author = {Razan Ghzouli and
Thorsten Berger and
Einar Broch Johnsen and
Andrzej Wasowski and
Swaib Dragule},
editor = {Rick Rabiser and
Manuel Wimmer and
Iris Groher and
Andreas Wortmann and
Bianca Wiesmayr},
title = {Behavior Trees and State Machines in Robotics Applications},
booktitle = {Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik,
Linz, Austria, February 26 - March 1, 2024},
series = {{LNI}},
volume = {{P-343}},
pages = {73--74},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2024},
url = {https://doi.org/10.18420/sw2024\_20},
doi = {10.18420/SW2024\_20},
timestamp = {Mon, 11 Mar 2024 16:51:10 +0100},
biburl = {https://dblp.org/rec/conf/se/GhzouliBJWD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-14002,
author = {Luiza Ribeiro Marnet and
Yury Brodskiy and
Stella Grasshof and
Andrzej Wasowski},
title = {Uncertainty Driven Active Learning for Image Segmentation in Underwater
Inspection},
journal = {CoRR},
volume = {abs/2403.14002},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.14002},
doi = {10.48550/ARXIV.2403.14002},
eprinttype = {arXiv},
eprint = {2403.14002},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-14002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/WasowskiB23,
author = {Andrzej Wasowski and
Thorsten Berger},
title = {Domain-Specific Languages - Effective Modeling, Automation, and Reuse},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-23669-3},
doi = {10.1007/978-3-031-23669-3},
isbn = {978-3-031-23668-6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/WasowskiB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/VarshosazGJW23,
author = {Mahsa Varshosaz and
Mohsen Ghaffari and
Einar Broch Johnsen and
Andrzej Wasowski},
title = {Formal Specification and Testing for Reinforcement Learning},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {125--158},
year = {2023},
url = {https://doi.org/10.1145/3607835},
doi = {10.1145/3607835},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/VarshosazGJW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/CruzCarlonVGW23,
author = {Juan Cruz{-}Carlon and
Mahsa Varshosaz and
Claire Le Goues and
Andrzej Wasowski},
title = {Patching Locking Bugs Statically with Crayons},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {32},
number = {3},
pages = {56:1--56:28},
year = {2023},
url = {https://doi.org/10.1145/3548684},
doi = {10.1145/3548684},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/CruzCarlonVGW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GhzouliBJWD23,
author = {Razan Ghzouli and
Thorsten Berger and
Einar Broch Johnsen and
Andrzej Wasowski and
Swaib Dragule},
title = {Behavior Trees and State Machines in Robotics Applications},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {9},
pages = {4243--4267},
year = {2023},
url = {https://doi.org/10.1109/TSE.2023.3269081},
doi = {10.1109/TSE.2023.3269081},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GhzouliBJWD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SilvaGBDOWMC23,
author = {Gustavo Rezende Silva and
Nadia Hammoudeh Garcia and
Darko Bozhinoski and
Harshavardhan Deshpande and
Mario Garzon Oviedo and
Andrzej Wasowski and
Mariano Ram{\'{\i}}rez Montero and
Carlos Hern{\'{a}}ndez Corbato},
title = {{MROS:} {A} framework for robot self-adaptation},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering:
{ICSE} 2023 Companion Proceedings, Melbourne, Australia, May 14-20,
2023},
pages = {151--155},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE-Companion58688.2023.00044},
doi = {10.1109/ICSE-COMPANION58688.2023.00044},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SilvaGBDOWMC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GhorbaniCRAESW23,
author = {Amir Ghorbani and
Nathan Cassee and
Derek Robinson and
Adam Alami and
Neil A. Ernst and
Alexander Serebrenik and
Andrzej Wasowski},
title = {Autonomy Is An Acquired Taste: Exploring Developer Preferences for
GitHub Bots},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
pages = {1405--1417},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE48619.2023.00123},
doi = {10.1109/ICSE48619.2023.00123},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GhorbaniCRAESW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/VoogdJSSW23,
author = {Erik Voogd and
Einar Broch Johnsen and
Alexandra Silva and
Zachary J. Susag and
Andrzej Wasowski},
editor = {Nils Jansen and
Mirco Tribastone},
title = {Symbolic Semantics for Probabilistic Programs},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
pages = {329--345},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6\_23},
doi = {10.1007/978-3-031-43835-6\_23},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/VoogdJSSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/RonnebergPW23,
author = {Rasmus C. R{\o}nneberg and
Ra{\'{u}}l Pardo and
Andrzej Wasowski},
editor = {Carla Ferreira and
Tim A. C. Willemse},
title = {Exact and Efficient Bayesian Inference for Privacy Risk Quantification},
booktitle = {Software Engineering and Formal Methods - 21st International Conference,
{SEFM} 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14323},
pages = {263--281},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47115-5\_15},
doi = {10.1007/978-3-031-47115-5\_15},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/RonnebergPW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-04529,
author = {Martijn A. Goorden and
Kim G. Larsen and
Axel Legay and
Florian Lorber and
Ulrik Nyman and
Andrzej Wasowski},
title = {Timed {I/O} Automata: It is never too late to complete your timed
specification theory},
journal = {CoRR},
volume = {abs/2302.04529},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.04529},
doi = {10.48550/ARXIV.2302.04529},
eprinttype = {arXiv},
eprint = {2302.04529},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-04529.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-05048,
author = {Amir Ghorbani and
Nathan Cassee and
Derek Robinson and
Adam Alami and
Neil A. Ernst and
Alexander Serebrenik and
Andrzej Wasowski},
title = {Autonomy Is An Acquired Taste: Exploring Developer Preferences for
GitHub Bots},
journal = {CoRR},
volume = {abs/2302.05048},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.05048},
doi = {10.48550/ARXIV.2302.05048},
eprinttype = {arXiv},
eprint = {2302.05048},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-05048.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-09227,
author = {Gustavo Rezende Silva and
Darko Bozhinoski and
Mario Garzon Oviedo and
Mariano Ram{\'{\i}}rez Montero and
Nadia Hammoudeh Garcia and
Harshavardhan Deshpande and
Andrzej Wasowski and
Carlos Hern{\'{a}}ndez Corbato},
title = {{MROS:} {A} framework for robot self-adaptation},
journal = {CoRR},
volume = {abs/2303.09227},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.09227},
doi = {10.48550/ARXIV.2303.09227},
eprinttype = {arXiv},
eprint = {2303.09227},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-09227.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-09951,
author = {Erik Voogd and
Einar Broch Johnsen and
Alexandra Silva and
Zachary J. Susag and
Andrzej Wasowski},
title = {Symbolic Semantics for Probabilistic Programs (extended version)},
journal = {CoRR},
volume = {abs/2307.09951},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.09951},
doi = {10.48550/ARXIV.2307.09951},
eprinttype = {arXiv},
eprint = {2307.09951},
timestamp = {Thu, 03 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-09951.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-16700,
author = {Rasmus C. R{\o}nneberg and
Ra{\'{u}}l Pardo and
Andrzej Wasowski},
title = {Exact and Efficient Bayesian Inference for Privacy Risk Quantification
(Extended Version)},
journal = {CoRR},
volume = {abs/2308.16700},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.16700},
doi = {10.48550/ARXIV.2308.16700},
eprinttype = {arXiv},
eprint = {2308.16700},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-16700.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ar/BozhinoskiOGDHT22,
author = {Darko Bozhinoski and
Mario Garzon Oviedo and
Nadia Hammoudeh Garcia and
Harshavardhan Deshpande and
Gijs van der Hoorn and
Jon Tjerngren and
Andrzej Wasowski and
Carlos Hern{\'{a}}ndez Corbato},
title = {{MROS:} runtime adaptation for robot control architectures},
journal = {Adv. Robotics},
volume = {36},
number = {11},
pages = {502--518},
year = {2022},
url = {https://doi.org/10.1080/01691864.2022.2039761},
doi = {10.1080/01691864.2022.2039761},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ar/BozhinoskiOGDHT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AlamiPCW22,
author = {Adam Alami and
Ra{\'{u}}l Pardo and
Marisa Leavitt Cohn and
Andrzej Wasowski},
title = {Pull Request Governance in Open Source Communities},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {12},
pages = {4838--4856},
year = {2022},
url = {https://doi.org/10.1109/TSE.2021.3128356},
doi = {10.1109/TSE.2021.3128356},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/AlamiPCW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/PardoRSLLPZW22,
author = {Ra{\'{u}}l Pardo and
Willard Rafnsson and
Gregor Steinhorn and
Denis Lavrov and
Thomas Lumley and
Christian W. Probst and
Ilze Ziedins and
Andrzej Wasowski},
editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Guillermo Navarro{-}Arribas and
Nicola Dragoni},
title = {Privacy with Good Taste - {A} Case Study in Quantifying Privacy Risks
in Genetic Scores},
booktitle = {Data Privacy Management, Cryptocurrencies and Blockchain Technology
- {ESORICS} 2022 International Workshops, {DPM} 2022 and {CBT} 2022,
Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13619},
pages = {103--119},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25734-6\_7},
doi = {10.1007/978-3-031-25734-6\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/PardoRSLLPZW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/PardoJSW22,
author = {Ra{\'{u}}l Pardo and
Einar Broch Johnsen and
Ina Schaefer and
Andrzej Wasowski},
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {A Specification Logic for Programs in the Probabilistic Guarded Command
Language},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
pages = {369--387},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6\_24},
doi = {10.1007/978-3-031-17715-6\_24},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/PardoJSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jowo/CoffeltKWK22,
author = {Jeremy Coffelt and
Mahya Mohammadi Kashani and
Andrzej Wasowski and
Peter Kampmann},
editor = {Tiago Prince Sales and
Maria M. Hedblom and
He Tan and
Guendalina Righetti and
Oliver Kutz and
Martin Glauer and
Janna Hastings and
Till Mossakowski and
Fabian Neuhaus and
Luc{\'{\i}}a G{\'{o}}mez {\'{A}}lvarez and
Rafael Pe{\~{n}}aloza and
Srdjan Vesic and
Claudenir Morais Fonseca and
Jona Thai and
Stefano Borgo and
Damion M. Dooley and
Rhiannon Cameron and
Lauren E. Chan and
Duccio Cavalieri and
Robert Warren and
Hande K{\"{u}}{\c{c}}{\"{u}}k{-}McGinty and
Matthew Lange and
Fernanda Forea and
Francesco Vitali and
Bart Gajderowicz and
Daniela Rosu and
Aldo Gangemi and
Robert Porzel and
Daniel Be{\ss}ler and
Mihai Pomarlan and
Mohammed Diab and
Alberto Olivares Alarcos},
title = {Belief-Based Fault Recovery for Marine Robotics},
booktitle = {Proceedings of the Joint Ontology Workshops 2022 Episode {VIII:} The
Svear Sommar of Ontology, J{\"{o}}nk{\"{o}}ping, Sweden,
August 15-19, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3249},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3249/paper3-RobOntics.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/jowo/CoffeltKWK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-04822,
author = {Ra{\'{u}}l Pardo and
Einar Broch Johnsen and
Ina Schaefer and
Andrzej Wasowski},
title = {A Specification Logic for Programs in the Probabilistic Guarded Command
Language (Extended Version)},
journal = {CoRR},
volume = {abs/2205.04822},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.04822},
doi = {10.48550/ARXIV.2205.04822},
eprinttype = {arXiv},
eprint = {2205.04822},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-04822.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-04211,
author = {Razan Ghzouli and
Swaib Dragule and
Thorsten Berger and
Einar Broch Johnsen and
Andrzej Wasowski},
title = {Behavior Trees and State Machines in Robotics Applications},
journal = {CoRR},
volume = {abs/2208.04211},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.04211},
doi = {10.48550/ARXIV.2208.04211},
eprinttype = {arXiv},
eprint = {2208.04211},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-04211.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-12497,
author = {Ra{\'{u}}l Pardo and
Willard Rafnsson and
Gregor Steinhorn and
Denis Lavrov and
Thomas Lumley and
Christian W. Probst and
Ilze Ziedins and
Andrzej Wasowski},
title = {Privacy with Good Taste: {A} Case Study in Quantifying Privacy Risks
in Genetic Scores},
journal = {CoRR},
volume = {abs/2208.12497},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.12497},
doi = {10.48550/ARXIV.2208.12497},
eprinttype = {arXiv},
eprint = {2208.12497},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-12497.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/Al-SibahiJDW21,
author = {Ahmad Salim Al{-}Sibahi and
Thomas P. Jensen and
Aleksandar S. Dimovski and
Andrzej Wasowski},
title = {Verification of Program Transformations with Inductive Refinement
Types},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {30},
number = {1},
pages = {5:1--5:33},
year = {2021},
url = {https://doi.org/10.1145/3409805},
doi = {10.1145/3409805},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/Al-SibahiJDW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/PardoRPW21,
author = {Ra{\'{u}}l Pardo and
Willard Rafnsson and
Christian W. Probst and
Andrzej Wasowski},
editor = {Elisa Bertino and
Haya Schulmann and
Michael Waidner},
title = {Privug: Using Probabilistic Programming for Quantifying Leakage in
Privacy Risk Analysis},
booktitle = {Computer Security - {ESORICS} 2021 - 26th European Symposium on Research
in Computer Security, Darmstadt, Germany, October 4-8, 2021, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12973},
pages = {417--438},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88428-4\_21},
doi = {10.1007/978-3-030-88428-4\_21},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/PardoRPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rose-ws/BozhinoskiAOCSW21,
author = {Darko Bozhinoski and
Esther Aguado and
Mario Garzon Oviedo and
Carlos Hern{\'{a}}ndez Corbato and
Ricardo Sanz and
Andrzej Wasowski},
title = {A Modeling Tool for Reconfigurable Skills in {ROS}},
booktitle = {3rd {IEEE/ACM} International Workshop on Robotics Software Engineering,
RoSE@ICSE 2021, Madrid, Spain, June 2, 2021},
pages = {25--28},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/RoSE52553.2021.00011},
doi = {10.1109/ROSE52553.2021.00011},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rose-ws/BozhinoskiAOCSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/AlamiNW20,
author = {Adam Alami and
Peter Axel Nielsen and
Andrzej Wasowski},
title = {A tailored participatory action research for foss communities},
journal = {Empir. Softw. Eng.},
volume = {25},
number = {5},
pages = {3639--3670},
year = {2020},
url = {https://doi.org/10.1007/s10664-020-09849-0},
doi = {10.1007/S10664-020-09849-0},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/AlamiNW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/WasowskiPH20,
author = {Andrzej Wasowski and
Richard F. Paige and
{\O}ystein Haugen},
title = {Guest editorial to the special section on {MODELS} 2018},
journal = {Softw. Syst. Model.},
volume = {19},
number = {4},
pages = {825--826},
year = {2020},
url = {https://doi.org/10.1007/s10270-020-00800-x},
doi = {10.1007/S10270-020-00800-X},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/WasowskiPH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DimovskiLW20,
author = {Aleksandar S. Dimovski and
Axel Legay and
Andrzej Wasowski},
title = {Generalized abstraction-refinement for game-based {CTL} lifted model
checking},
journal = {Theor. Comput. Sci.},
volume = {837},
pages = {181--206},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.06.011},
doi = {10.1016/J.TCS.2020.06.011},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DimovskiLW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Al-SibahiJMW15,
author = {Ahmad Salim Al{-}Sibahi and
Thomas P. Jensen and
Rasmus Ejlers M{\o}gelberg and
Andrzej Wasowski},
editor = {Alessandra Di Pierro and
Pasquale Malacaria and
Rajagopal Nagarajan},
title = {Galois Connections for Recursive Types},
booktitle = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
Dedicated to Chris Hankin on the Occasion of His Retirement},
series = {Lecture Notes in Computer Science},
volume = {12065},
pages = {105--131},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-41103-9\_4},
doi = {10.1007/978-3-030-41103-9\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Al-SibahiJMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ease/AlamiCW20,
author = {Adam Alami and
Marisa Leavitt Cohn and
Andrzej Wasowski},
editor = {Jingyue Li and
Letizia Jaccheri and
Torgeir Dings{\o}yr and
Ruzanna Chitchyan},
title = {How Do {FOSS} Communities Decide to Accept Pull Requests?},
booktitle = {{EASE} '20: Evaluation and Assessment in Software Engineering, Trondheim,
Norway, April 15-17, 2020},
pages = {220--229},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3383219.3383242},
doi = {10.1145/3383219.3383242},
timestamp = {Wed, 06 May 2020 14:53:17 +0200},
biburl = {https://dblp.org/rec/conf/ease/AlamiCW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Fischer-Nielsen20,
author = {Anders Fischer{-}Nielsen and
Zhoulai Fu and
Ting Su and
Andrzej Wasowski},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {The forgotten case of the dependency bugs: on the example of the robot
operating system},
booktitle = {{ICSE-SEIP} 2020: 42nd International Conference on Software Engineering,
Software Engineering in Practice, Seoul, South Korea, 27 June - 19
July, 2020},
pages = {21--30},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377813.3381364},
doi = {10.1145/3377813.3381364},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Fischer-Nielsen20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/LillackSHBW20,
author = {Max Lillack and
Stefan Stanciulescu and
Wilhelm Hedman and
Thorsten Berger and
Andrzej Wasowski},
editor = {Michael Felderer and
Wilhelm Hasselbring and
Rick Rabiser and
Reiner Jung},
title = {Intention-Based Integration of Software Variants},
booktitle = {Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik,
24.-28. Februar 2020, Innsbruck, Austria},
series = {{LNI}},
volume = {{P-300}},
pages = {57--58},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2020},
url = {https://doi.org/10.18420/SE2020\_15},
doi = {10.18420/SE2020\_15},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/LillackSHBW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/GhzouliBJDW20,
author = {Razan Ghzouli and
Thorsten Berger and
Einar Broch Johnsen and
Swaib Dragule and
Andrzej Wasowski},
editor = {Ralf L{\"{a}}mmel and
Laurence Tratt and
Juan de Lara},
title = {Behavior trees in action: a study of robotics applications},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2020, Virtual Event, USA, November
16-17, 2020},
pages = {196--209},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3426425.3426942},
doi = {10.1145/3426425.3426942},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sle/GhzouliBJDW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/Wasowski20,
author = {Andrzej Wasowski},
editor = {Maxime Cordy and
Mathieu Acher and
Danilo Beuche and
Gunter Saake},
title = {Dependency bugs: the dark side of variability, reuse and modularity},
booktitle = {VaMoS '20: 14th International Working Conference on Variability Modelling
of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020},
pages = {1:1--1:2},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377024.3377712},
doi = {10.1145/3377024.3377712},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/Wasowski20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-06256,
author = {Razan Ghzouli and
Thorsten Berger and
Einar Broch Johnsen and
Swaib Dragule and
Andrzej Wasowski},
title = {Behavior Trees in Action: {A} Study of Robotics Applications},
journal = {CoRR},
volume = {abs/2010.06256},
year = {2020},
url = {https://arxiv.org/abs/2010.06256},
eprinttype = {arXiv},
eprint = {2010.06256},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-06256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-09145,
author = {Carlos Hern{\'{a}}ndez Corbato and
Darko Bozhinoski and
Mario Garzon Oviedo and
Gijs van der Hoorn and
Nadia Hammoudeh Garcia and
Harshavardhan Deshpande and
Jon Tjerngren and
Andrzej Wasowski},
title = {{MROS:} Runtime Adaptation For Robot Control Architectures},
journal = {CoRR},
volume = {abs/2010.09145},
year = {2020},
url = {https://arxiv.org/abs/2010.09145},
eprinttype = {arXiv},
eprint = {2010.09145},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-09145.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-08742,
author = {Ra{\'{u}}l Pardo and
Willard Rafnsson and
Christian W. Probst and
Andrzej Wasowski},
title = {Privug: Quantifying Leakage using Probabilistic Programming for Privacy
Risk Analysis},
journal = {CoRR},
volume = {abs/2011.08742},
year = {2020},
url = {https://arxiv.org/abs/2011.08742},
eprinttype = {arXiv},
eprint = {2011.08742},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-08742.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DimovskiBW19,
author = {Aleksandar S. Dimovski and
Claus Brabrand and
Andrzej Wasowski},
title = {Finding suitable variability abstractions for lifted analysis},
journal = {Formal Aspects Comput.},
volume = {31},
number = {2},
pages = {231--259},
year = {2019},
url = {https://doi.org/10.1007/s00165-019-00479-y},
doi = {10.1007/S00165-019-00479-Y},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/DimovskiBW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/JuodisiusSMACW19,
author = {Paulius Juodisius and
Atrisha Sarkar and
Raghava Rao Mukkamala and
Michal Antkiewicz and
Krzysztof Czarnecki and
Andrzej Wasowski},
title = {Clafer: Lightweight Modeling of Structure, Behaviour, and Variability},
journal = {Art Sci. Eng. Program.},
volume = {3},
number = {1},
pages = {2},
year = {2019},
url = {https://doi.org/10.22152/programming-journal.org/2019/3/2},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2019/3/2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/JuodisiusSMACW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GorpW19,
author = {Pieter Van Gorp and
Andrzej Wasowski},
title = {Guest editorial to the special section on {ECMFA} and {ICMT} at {STAF}
2016 - Modeling and model transformations research in 2016},
journal = {Softw. Syst. Model.},
volume = {18},
number = {2},
pages = {959--960},
year = {2019},
url = {https://doi.org/10.1007/s10270-018-0659-4},
doi = {10.1007/S10270-018-0659-4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/GorpW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/AlamiW19,
author = {Adam Alami and
Andrzej Wasowski},
title = {Affiliated Participation in Open Source Communities},
booktitle = {2019 {ACM/IEEE} International Symposium on Empirical Software Engineering
and Measurement, {ESEM} 2019, Porto de Galinhas, Recife, Brazil, September
19-20, 2019},
pages = {1--11},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ESEM.2019.8870185},
doi = {10.1109/ESEM.2019.8870185},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esem/AlamiW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DimovskiLW19,
author = {Aleksandar S. Dimovski and
Axel Legay and
Andrzej Wasowski},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {Variability Abstraction and Refinement for Game-Based Lifted Model
Checking of Full {CTL}},
booktitle = {Fundamental Approaches to Software Engineering - 22nd International
Conference, {FASE} 2019, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {192--209},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_11},
doi = {10.1007/978-3-030-16722-6\_11},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/DimovskiLW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LillackSHBW19,
author = {Max Lillack and
Stefan Stanciulescu and
Wilhelm Hedman and
Thorsten Berger and
Andrzej Wasowski},
editor = {Joanne M. Atlee and
Tevfik Bultan and
Jon Whittle},
title = {Intention-based integration of software variants},
booktitle = {Proceedings of the 41st International Conference on Software Engineering,
{ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019},
pages = {831--842},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE.2019.00090},
doi = {10.1109/ICSE.2019.00090},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LillackSHBW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlamiCW19,
author = {Adam Alami and
Marisa Leavitt Cohn and
Andrzej Wasowski},
editor = {Joanne M. Atlee and
Tevfik Bultan and
Jon Whittle},
title = {Why does code review work for open source software communities?},
booktitle = {Proceedings of the 41st International Conference on Software Engineering,
{ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019},
pages = {1073--1083},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE.2019.00111},
doi = {10.1109/ICSE.2019.00111},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/AlamiCW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HebigSBPW19,
author = {Regina Hebig and
Christoph Seidl and
Thorsten Berger and
John Kook Pedersen and
Andrzej Wasowski},
editor = {Steffen Becker and
Ivan Bogicevic and
Georg Herzwurm and
Stefan Wagner},
title = {Model Transformation Languages under a Magnifying Glass: {A} Controlled
Experiment with Xtend, ATL, and {QVT}},
booktitle = {Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart,
Germany, February 18-22, 2019},
series = {{LNI}},
volume = {{P-292}},
pages = {91--92},
publisher = {{GI}},
year = {2019},
url = {https://doi.org/10.18420/se2019-25},
doi = {10.18420/SE2019-25},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/HebigSBPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/RenZKW19,
author = {Luyao Ren and
Shurui Zhou and
Christian K{\"{a}}stner and
Andrzej Wasowski},
editor = {Xinyu Wang and
David Lo and
Emad Shihab},
title = {Identifying Redundancies in Fork-based Development},
booktitle = {26th {IEEE} International Conference on Software Analysis, Evolution
and Reengineering, {SANER} 2019, Hangzhou, China, February 24-27,
2019},
pages = {230--241},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SANER.2019.8668023},
doi = {10.1109/SANER.2019.8668023},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/RenZKW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-05594,
author = {Aleksandar S. Dimovski and
Axel Legay and
Andrzej Wasowski},
title = {Variability Abstraction and Refinement for Game-based Lifted Model
Checking of full {CTL} (Extended Version)},
journal = {CoRR},
volume = {abs/1902.05594},
year = {2019},
url = {http://arxiv.org/abs/1902.05594},
eprinttype = {arXiv},
eprint = {1902.05594},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-05594.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/peerjpre/AlamiW19,
author = {Adam Alami and
Andrzej Wasowski},
title = {Affiliated participation in open source communities},
journal = {PeerJ Prepr.},
volume = {7},
pages = {e27827},
year = {2019},
url = {https://doi.org/10.7287/peerj.preprints.27827v1},
doi = {10.7287/PEERJ.PREPRINTS.27827V1},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/peerjpre/AlamiW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/GuoYSASVCWY18,
author = {Jianmei Guo and
Dingyu Yang and
Norbert Siegmund and
Sven Apel and
Atrisha Sarkar and
Pavel Valov and
Krzysztof Czarnecki and
Andrzej Wasowski and
Huiqun Yu},
title = {Data-efficient performance learning for configurable systems},
journal = {Empir. Softw. Eng.},
volume = {23},
number = {3},
pages = {1826--1867},
year = {2018},
url = {https://doi.org/10.1007/s10664-017-9573-6},
doi = {10.1007/S10664-017-9573-6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/GuoYSASVCWY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DenneySW18,
author = {Ewen Denney and
Perdita Stevens and
Andrzej Wasowski},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {30},
number = {1},
pages = {1},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0448-9},
doi = {10.1007/S00165-017-0448-9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/DenneySW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/HargitaiSW18,
author = {Viktor Hargitai and
Irina Shklovski and
Andrzej Wasowski},
title = {Going Beyond Obscurity: Organizational Approaches to Data Anonymization},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {2},
number = {{CSCW}},
pages = {66:1--66:22},
year = {2018},
url = {https://doi.org/10.1145/3274335},
doi = {10.1145/3274335},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmhci/HargitaiSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DimovskiBW18,
author = {Aleksandar S. Dimovski and
Claus Brabrand and
Andrzej Wasowski},
title = {Variability abstractions for lifted analyses},
journal = {Sci. Comput. Program.},
volume = {159},
pages = {1--27},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.12.012},
doi = {10.1016/J.SCICO.2017.12.012},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DimovskiBW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/AbalMSBRW18,
author = {Iago Abal and
Jean Melo and
Stefan Stanciulescu and
Claus Brabrand and
M{\'{a}}rcio Ribeiro and
Andrzej Wasowski},
title = {Variability Bugs in Highly Configurable Systems: {A} Qualitative Analysis},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {26},
number = {3},
pages = {10:1--10:34},
year = {2018},
url = {https://doi.org/10.1145/3149119},
doi = {10.1145/3149119},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/AbalMSBRW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/Al-SibahiJDW18,
author = {Ahmad Salim Al{-}Sibahi and
Thomas P. Jensen and
Aleksandar S. Dimovski and
Andrzej Wasowski},
editor = {Eric Van Wyk and
Tiark Rompf},
title = {Verification of high-level transformations with inductive refinement
types},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston,
MA, USA, November 5-6, 2018},
pages = {147--160},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3278122.3278125},
doi = {10.1145/3278122.3278125},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/Al-SibahiJDW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlamiDW18,
author = {Adam Alami and
Yvonne Dittrich and
Andrzej Wasowski},
editor = {Helen Sharp and
Cleidson R. B. de Souza and
Daniel Graziotin and
Meira Levy and
David Socha},
title = {Influencers of quality assurance in an open source community},
booktitle = {Proceedings of the 11th International Workshop on Cooperative and
Human Aspects of Software Engineering, {ICSE} 2018, Gothenburg, Sweden,
May 27 - June 03, 2018},
pages = {61--68},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3195836.3195853},
doi = {10.1145/3195836.3195853},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/AlamiDW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhouSLXWK18,
author = {Shurui Zhou and
Stefan Stanciulescu and
Olaf Le{\ss}enich and
Yingfei Xiong and
Andrzej Wasowski and
Christian K{\"{a}}stner},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Identifying features in forks},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {105--116},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180205},
doi = {10.1145/3180155.3180205},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZhouSLXWK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HebigSBPW18,
author = {Regina Hebig and
Christoph Seidl and
Thorsten Berger and
John Kook Pedersen and
Andrzej Wasowski},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Model transformation languages under a magnifying glass: a controlled
experiment with Xtend, ATL, and {QVT}},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {445--455},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236046},
doi = {10.1145/3236024.3236046},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HebigSBPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2018,
editor = {Andrzej Wasowski and
Richard F. Paige and
{\O}ystein Haugen},
title = {Proceedings of the 21th {ACM/IEEE} International Conference on Model
Driven Engineering Languages and Systems, {MODELS} 2018, Copenhagen,
Denmark, October 14-19, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3239372},
doi = {10.1145/3239372},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-08576,
author = {Paulius Juodisius and
Atrisha Sarkar and
Raghava Rao Mukkamala and
Michal Antkiewicz and
Krzysztof Czarnecki and
Andrzej Wasowski},
title = {Clafer: Lightweight Modeling of Structure, Behaviour, and Variability},
journal = {CoRR},
volume = {abs/1807.08576},
year = {2018},
url = {http://arxiv.org/abs/1807.08576},
eprinttype = {arXiv},
eprint = {1807.08576},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-08576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-06336,
author = {Ahmad Salim Al{-}Sibahi and
Thomas P. Jensen and
Aleksandar S. Dimovski and
Andrzej Wasowski},
title = {Verification of High-Level Transformations with Inductive Refinement
Types},
journal = {CoRR},
volume = {abs/1809.06336},
year = {2018},
url = {http://arxiv.org/abs/1809.06336},
eprinttype = {arXiv},
eprint = {1809.06336},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-06336.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/WaezWDR17,
author = {Md Tawhid Bin Waez and
Andrzej Wasowski and
Juergen Dingel and
Karen Rudie},
title = {Controller synthesis for dynamic hierarchical real-time plants using
timed automata},
journal = {Discret. Event Dyn. Syst.},
volume = {27},
number = {2},
pages = {407--441},
year = {2017},
url = {https://doi.org/10.1007/s10626-017-0240-2},
doi = {10.1007/S10626-017-0240-2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/deds/WaezWDR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/Iosif-LazarMDBW17,
author = {Alexandru Florin Iosif{-}Lazar and
Jean Melo and
Aleksandar S. Dimovski and
Claus Brabrand and
Andrzej Wasowski},
title = {Effective Analysis of {C} Programs by Rewriting Variability},
journal = {Art Sci. Eng. Program.},
volume = {1},
number = {1},
pages = {1},
year = {2017},
url = {https://doi.org/10.22152/programming-journal.org/2017/1/1},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2017/1/1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/Iosif-LazarMDBW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/WasowskiW17,
author = {Andrzej Wasowski and
Thorsten Weyer},
title = {Introduction to the theme issue on variability modeling of software-intensive
systems},
journal = {Softw. Syst. Model.},
volume = {16},
number = {1},
pages = {49--51},
year = {2017},
url = {https://doi.org/10.1007/s10270-015-0501-1},
doi = {10.1007/S10270-015-0501-1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/WasowskiW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/WasowskiW17a,
author = {Andrzej Wasowski and
Thorsten Weyer},
title = {Erratum to: Introduction to the theme issue on variability modeling
of software-intensive systems},
journal = {Softw. Syst. Model.},
volume = {16},
number = {1},
pages = {53},
year = {2017},
url = {https://doi.org/10.1007/s10270-015-0507-8},
doi = {10.1007/S10270-015-0507-8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/WasowskiW17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DimovskiABW17,
author = {Aleksandar S. Dimovski and
Ahmad Salim Al{-}Sibahi and
Claus Brabrand and
Andrzej Wasowski},
title = {Efficient family-based model checking via variability abstractions},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {5},
pages = {585--603},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0425-2},
doi = {10.1007/S10009-016-0425-2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/DimovskiABW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DimovskiW17,
author = {Aleksandar S. Dimovski and
Andrzej Wasowski},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {From Transition Systems to Variability Models and from Lifted Model
Checking Back to {UPPAAL}},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {249--268},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_13},
doi = {10.1007/978-3-319-63121-9\_13},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/DimovskiW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DimovskiW17,
author = {Aleksandar S. Dimovski and
Andrzej Wasowski},
editor = {Marieke Huisman and
Julia Rubin},
title = {Variability-Specific Abstraction Refinement for Family-Based Model
Checking},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {406--423},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_24},
doi = {10.1007/978-3-662-54494-5\_24},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/DimovskiW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/MeloNHBW17,
author = {Jean Melo and
Fabricio Batista Narcizo and
Dan Witzner Hansen and
Claus Brabrand and
Andrzej Wasowski},
editor = {Giuseppe Scanniello and
David Lo and
Alexander Serebrenik},
title = {Variability through the eyes of the programmer},
booktitle = {Proceedings of the 25th International Conference on Program Comprehension,
{ICPC} 2017, Buenos Aires, Argentina, May 22-23, 2017},
pages = {34--44},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICPC.2017.34},
doi = {10.1109/ICPC.2017.34},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/MeloNHBW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AbalBW17,
author = {Iago Abal and
Claus Brabrand and
Andrzej Wasowski},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Effective Bug Finding in {C} Programs with Shape and Effect Abstractions},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {34--54},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_3},
doi = {10.1007/978-3-319-52234-0\_3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/AbalBW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Iosif-LazarMDBW17,
author = {Alexandru Florin Iosif{-}Lazar and
Jean Melo and
Aleksandar S. Dimovski and
Claus Brabrand and
Andrzej Wasowski},
title = {Effective Analysis of {C} Programs by Rewriting Variability},
journal = {CoRR},
volume = {abs/1701.08114},
year = {2017},
url = {http://arxiv.org/abs/1701.08114},
eprinttype = {arXiv},
eprint = {1701.08114},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Iosif-LazarMDBW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/PassosTDAWCBG16,
author = {Leonardo Teixeira Passos and
Leopoldo Teixeira and
Nicolas Dintzner and
Sven Apel and
Andrzej Wasowski and
Krzysztof Czarnecki and
Paulo Borba and
Jianmei Guo},
title = {Coevolution of variability models and related software artifacts -
{A} fresh look at evolution patterns in the Linux kernel},
journal = {Empir. Softw. Eng.},
volume = {21},
number = {4},
pages = {1744--1793},
year = {2016},
url = {https://doi.org/10.1007/s10664-015-9364-x},
doi = {10.1007/S10664-015-9364-X},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/PassosTDAWCBG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Iosif-LazarW16,
author = {Alexandru F. Iosif{-}Lazar and
Andrzej Wasowski},
title = {Trustworthy variant derivation with translation validation for safety
critical product lines},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {6},
pages = {1154--1176},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.02.001},
doi = {10.1016/J.JLAMP.2016.02.001},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Iosif-LazarW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BakDACW16,
author = {Kacper Bak and
Zinovy Diskin and
Michal Antkiewicz and
Krzysztof Czarnecki and
Andrzej Wasowski},
title = {Clafer: unifying class and feature modeling},
journal = {Softw. Syst. Model.},
volume = {15},
number = {3},
pages = {811--845},
year = {2016},
url = {https://doi.org/10.1007/s10270-014-0441-1},
doi = {10.1007/S10270-014-0441-1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/BakDACW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DimovskiBW16,
author = {Aleksandar S. Dimovski and
Claus Brabrand and
Andrzej Wasowski},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Finding Suitable Variability Abstractions for Family-Based Analysis},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {217--234},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_14},
doi = {10.1007/978-3-319-48989-6\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/DimovskiBW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MeloBW16,
author = {Jean Melo and
Claus Brabrand and
Andrzej Wasowski},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {How does the degree of variability affect bug finding?},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {679--690},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884831},
doi = {10.1145/2884781.2884831},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MeloBW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/StanciulescuBWW16,
author = {Stefan Stanciulescu and
Thorsten Berger and
Eric Walkingshaw and
Andrzej Wasowski},
title = {Concepts, Operations, and Feasibility of a Projection-Based Variation
Control System},
booktitle = {2016 {IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2016, Raleigh, NC, USA, October 2-7, 2016},
pages = {323--333},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICSME.2016.88},
doi = {10.1109/ICSME.2016.88},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/StanciulescuBWW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/Al-SibahiDW16,
author = {Ahmad Salim Al{-}Sibahi and
Aleksandar S. Dimovski and
Andrzej Wasowski},
editor = {Tijs van der Storm and
Emilie Balland and
D{\'{a}}niel Varr{\'{o}}},
title = {Symbolic execution of high-level transformations},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Software Language Engineering, Amsterdam, The Netherlands, October
31 - November 1, 2016},
pages = {207--220},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2997382},
timestamp = {Tue, 06 Nov 2018 11:07:20 +0100},
biburl = {https://dblp.org/rec/conf/sle/Al-SibahiDW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/MeloFBW16,
author = {Jean Melo and
Elvis Flesborg and
Claus Brabrand and
Andrzej Wasowski},
editor = {Ina Schaefer and
Vander Alves and
Eduardo Santana de Almeida},
title = {A Quantitative Analysis of Variability Warnings in Linux},
booktitle = {Proceedings of the Tenth International Workshop on Variability Modelling
of Software-intensive Systems, Salvador, Brazil, January 27 - 29,
2016},
pages = {3--8},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2866614.2866615},
doi = {10.1145/2866614.2866615},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/MeloFBW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecmdafa/2016,
editor = {Andrzej Wasowski and
Henrik L{\"{o}}nn},
title = {Modelling Foundations and Applications - 12th European Conference,
ECMFA@STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9764},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42061-5},
doi = {10.1007/978-3-319-42061-5},
isbn = {978-3-319-42060-8},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2016,
editor = {Perdita Stevens and
Andrzej Wasowski},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {9633},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49665-7},
doi = {10.1007/978-3-662-49665-7},
isbn = {978-3-662-49664-0},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MidtgaardDBW15,
author = {Jan Midtgaard and
Aleksandar S. Dimovski and
Claus Brabrand and
Andrzej Wasowski},
title = {Systematic derivation of correct variability-aware program analyses},
journal = {Sci. Comput. Program.},
volume = {105},
pages = {145--170},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.04.005},
doi = {10.1016/J.SCICO.2015.04.005},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MidtgaardDBW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/PfeifferW15,
author = {Rolf{-}Helge Pfeiffer and
Andrzej Wasowski},
title = {The design space of multi-language development environments},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {383--411},
year = {2015},
url = {https://doi.org/10.1007/s10270-013-0376-y},
doi = {10.1007/S10270-013-0376-Y},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/PfeifferW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DavidLLNTW15,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Ulrik Nyman and
Louis{-}Marie Traonouez and
Andrzej Wasowski},
title = {Real-time specifications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {1},
pages = {17--45},
year = {2015},
url = {https://doi.org/10.1007/s10009-013-0286-x},
doi = {10.1007/S10009-013-0286-X},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/DavidLLNTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BiondiLMW15,
author = {Fabrizio Biondi and
Axel Legay and
Pasquale Malacaria and
Andrzej Wasowski},
title = {Quantifying information leakage of randomized protocols},
journal = {Theor. Comput. Sci.},
volume = {597},
pages = {62--87},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.07.034},
doi = {10.1016/J.TCS.2015.07.034},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BiondiLMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DimovskiBW15,
author = {Aleksandar S. Dimovski and
Claus Brabrand and
Andrzej Wasowski},
editor = {John Tang Boyland},
title = {Variability Abstractions: Trading Precision for Speed in Family-Based
Analyses},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {247--270},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.247},
doi = {10.4230/LIPICS.ECOOP.2015.247},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DimovskiBW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/StanciulescuSW15,
author = {Stefan Stanciulescu and
Sandro Schulze and
Andrzej Wasowski},
editor = {Rainer Koschke and
Jens Krinke and
Martin P. Robillard},
title = {Forked and integrated variants in an open-source firmware project},
booktitle = {2015 {IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2015, Bremen, Germany, September 29 - October 1, 2015},
pages = {151--160},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSM.2015.7332461},
doi = {10.1109/ICSM.2015.7332461},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/StanciulescuSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Iosif-LazarADSS15,
author = {Alexandru F. Iosif{-}Lazar and
Ahmad Salim Al{-}Sibahi and
Aleksandar S. Dimovski and
Juha Erik Savolainen and
Krzysztof Sierszecki and
Andrzej Wasowski},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Experiences from Designing and Validating a Software Modernization
Transformation {(E)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {597--607},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.84},
doi = {10.1109/ASE.2015.84},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Iosif-LazarADSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/DimovskiABW15,
author = {Aleksandar S. Dimovski and
Ahmad Salim Al{-}Sibahi and
Claus Brabrand and
Andrzej Wasowski},
editor = {Bernd Fischer and
Jaco Geldenhuys},
title = {Family-Based Model Checking Without a Family-Based Model Checker},
booktitle = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9232},
pages = {282--299},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23404-5\_18},
doi = {10.1007/978-3-319-23404-5\_18},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/DimovskiABW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/DimovskiABW15,
author = {Aleksandar S. Dimovski and
Ahmad Salim Al{-}Sibahi and
Claus Brabrand and
Andrzej Wasowski},
editor = {Douglas C. Schmidt},
title = {Family-based model checking using off-the-shelf model checkers: extended
abstract},
booktitle = {Proceedings of the 19th International Conference on Software Product
Line, {SPLC} 2015, Nashville, TN, USA, July 20-24, 2015},
pages = {397},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2791060.2791119},
doi = {10.1145/2791060.2791119},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/DimovskiABW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WaezWDR15,
author = {Md Tawhid Bin Waez and
Andrzej Wasowski and
Juergen Dingel and
Karen Rudie},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {A Model for Industrial Real-Time Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {153--171},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_9},
doi = {10.1007/978-3-662-46081-8\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/WaezWDR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DimovskiBW15,
author = {Aleksandar S. Dimovski and
Claus Brabrand and
Andrzej Wasowski},
title = {Variability Abstractions: Trading Precision for Speed in Family-Based
Analyses (Extended Version)},
journal = {CoRR},
volume = {abs/1503.04608},
year = {2015},
url = {http://arxiv.org/abs/1503.04608},
eprinttype = {arXiv},
eprint = {1503.04608},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DimovskiBW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/SheRAWC14,
author = {Steven She and
Uwe Ryssel and
Nele Andersen and
Andrzej Wasowski and
Krzysztof Czarnecki},
title = {Efficient synthesis of feature models},
journal = {Inf. Softw. Technol.},
volume = {56},
number = {9},
pages = {1122--1143},
year = {2014},
url = {https://doi.org/10.1016/j.infsof.2014.01.012},
doi = {10.1016/J.INFSOF.2014.01.012},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/SheRAWC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BergerPTDCWS14,
author = {Thorsten Berger and
Rolf{-}Helge Pfeiffer and
Reinhard Tartler and
Steffen Dienst and
Krzysztof Czarnecki and
Andrzej Wasowski and
Steven She},
title = {Variability mechanisms in software ecosystems},
journal = {Inf. Softw. Technol.},
volume = {56},
number = {11},
pages = {1520--1535},
year = {2014},
url = {https://doi.org/10.1016/j.infsof.2014.05.005},
doi = {10.1016/J.INFSOF.2014.05.005},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/BergerPTDCWS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BiondiLNW14,
author = {Fabrizio Biondi and
Axel Legay and
Bo Friis Nielsen and
Andrzej Wasowski},
title = {Maximizing entropy over Markov processes},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {5-6},
pages = {384--399},
year = {2014},
url = {https://doi.org/10.1016/j.jlamp.2014.05.001},
doi = {10.1016/J.JLAMP.2014.05.001},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BiondiLNW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BauerLLNW14,
author = {Sebastian S. Bauer and
Kim G. Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
title = {A modal specification theory for components with data},
journal = {Sci. Comput. Program.},
volume = {83},
pages = {106--128},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.06.003},
doi = {10.1016/J.SCICO.2013.06.003},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BauerLLNW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LarsenLTW14,
author = {Kim G. Larsen and
Axel Legay and
Louis{-}Marie Traonouez and
Andrzej Wasowski},
title = {Robust synthesis for real-time systems},
journal = {Theor. Comput. Sci.},
volume = {515},
pages = {96--122},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.08.015},
doi = {10.1016/J.TCS.2013.08.015},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LarsenLTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/MidtgaardBW14,
author = {Jan Midtgaard and
Claus Brabrand and
Andrzej Wasowski},
editor = {Walter Binder and
Erik Ernst and
Achille Peternier and
Robert Hirschfeld},
title = {Systematic derivation of static analyses for software product lines},
booktitle = {13th International Conference on Modularity, {MODULARITY} '14, Lugano,
Switzerland, April 22-26, 2014},
pages = {181--192},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2577080.2577091},
doi = {10.1145/2577080.2577091},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/MidtgaardBW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/PfeifferRW14,
author = {Rolf{-}Helge Pfeiffer and
Jan Reimann and
Andrzej Wasowski},
editor = {Jordi Cabot and
Julia Rubin},
title = {Language-Independent Traceability with L{\"{a}}ssig},
booktitle = {Modelling Foundations and Applications - 10th European Conference,
ECMFA@STAF 2014, York, UK, July 21-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8569},
pages = {148--163},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09195-2\_10},
doi = {10.1007/978-3-319-09195-2\_10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/PfeifferRW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/WaezWDR14,
author = {Md Tawhid Bin Waez and
Andrzej Wasowski and
J{\"{u}}rgen Dingel and
Karen Rudie},
editor = {Ivan Lanese and
Eric Madelaine},
title = {Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core
Systems: An Experience Report},
booktitle = {Formal Aspects of Component Software - 11th International Symposium,
{FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8997},
pages = {162--180},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15317-9\_10},
doi = {10.1007/978-3-319-15317-9\_10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/WaezWDR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FahrenbergALW14,
author = {Uli Fahrenberg and
Mathieu Acher and
Axel Legay and
Andrzej Wasowski},
editor = {Stefania Gnesi and
Arend Rensink},
title = {Sound Merging and Differencing for Class Diagrams},
booktitle = {Fundamental Approaches to Software Engineering - 17th International
Conference, {FASE} 2014, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8411},
pages = {63--78},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54804-8\_5},
doi = {10.1007/978-3-642-54804-8\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/FahrenbergALW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BiondiLNMW14,
author = {Fabrizio Biondi and
Axel Legay and
Bo Friis Nielsen and
Pasquale Malacaria and
Andrzej Wasowski},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Information Leakage of Non-Terminating Processes},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {517--529},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.517},
doi = {10.4230/LIPICS.FSTTCS.2014.517},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BiondiLNMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AntkiewiczJBCSLSWS14,
author = {Michal Antkiewicz and
Wenbin Ji and
Thorsten Berger and
Krzysztof Czarnecki and
Thomas Schmorleiz and
Ralf L{\"{a}}mmel and
Stefan Stanciulescu and
Andrzej Wasowski and
Ina Schaefer},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Flexible product line engineering with a virtual platform},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
pages = {532--535},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591062.2591126},
doi = {10.1145/2591062.2591126},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AntkiewiczJBCSLSWS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Iosif-LazarSW14,
author = {Alexandru F. Iosif{-}Lazar and
Ina Schaefer and
Andrzej Wasowski},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Core Language for Separate Variability Modeling},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {257--272},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_19},
doi = {10.1007/978-3-662-45234-9\_19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Iosif-LazarSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AbalBW14,
author = {Iago Abal and
Claus Brabrand and
Andrzej Wasowski},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {42 variability bugs in the linux kernel: a qualitative analysis},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {421--432},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2642990},
doi = {10.1145/2642937.2642990},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AbalBW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BergerNRACW14,
author = {Thorsten Berger and
Divya Nair and
Ralf Rublack and
Joanne M. Atlee and
Krzysztof Czarnecki and
Andrzej Wasowski},
editor = {J{\"{u}}rgen Dingel and
Wolfram Schulte and
Isidro Ramos and
Silvia Abrah{\~{a}}o and
Emilio Insfr{\'{a}}n},
title = {Three Cases of Feature-Based Variability Modeling in Industry},
booktitle = {Model-Driven Engineering Languages and Systems - 17th International
Conference, {MODELS} 2014, Valencia, Spain, September 28 - October
3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8767},
pages = {302--319},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11653-2\_19},
doi = {10.1007/978-3-319-11653-2\_19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BergerNRACW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/BergerSOHLW14,
author = {Thorsten Berger and
Stefan Stanciulescu and
Ommund {\O}g{\aa}rd and
{\O}ystein Haugen and
Bo Larsen and
Andrzej Wasowski},
editor = {Stefania Gnesi and
Alessandro Fantechi and
Patrick Heymans and
Julia Rubin and
Krzysztof Czarnecki and
Deepak Dhungana},
title = {To connect or not to connect: experiences from modeling topological
variability},
booktitle = {18th International Software Product Line Conference, {SPLC} '14, Florence,
Italy, September 15-19, 2014},
pages = {330--339},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2648511.2648549},
doi = {10.1145/2648511.2648549},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/splc/BergerSOHLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vamos/2014,
editor = {Philippe Collet and
Andrzej Wasowski and
Thorsten Weyer},
title = {The Eighth International Workshop on Variability Modelling of Software-intensive
Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2556624},
isbn = {978-1-4503-2556-1},
timestamp = {Mon, 13 Jan 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DelahayeKLLPSW13,
author = {Beno{\^{\i}}t Delahaye and
Joost{-}Pieter Katoen and
Kim G. Larsen and
Axel Legay and
Mikkel L. Pedersen and
Falak Sher and
Andrzej Wasowski},
title = {Abstract Probabilistic Automata},
journal = {Inf. Comput.},
volume = {232},
pages = {66--116},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2013.10.002},
doi = {10.1016/J.IC.2013.10.002},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DelahayeKLLPSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BergerSLWC13,
author = {Thorsten Berger and
Steven She and
Rafael Lotufo and
Andrzej Wasowski and
Krzysztof Czarnecki},
title = {A Study of Variability Models and Languages in the Systems Software
Domain},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {12},
pages = {1611--1640},
year = {2013},
url = {https://doi.org/10.1109/TSE.2013.34},
doi = {10.1109/TSE.2013.34},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/BergerSLWC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BiondiLTW13,
author = {Fabrizio Biondi and
Axel Legay and
Louis{-}Marie Traonouez and
Andrzej Wasowski},
editor = {Natasha Sharygina and
Helmut Veith},
title = {{QUAIL:} {A} Quantitative Security Analyzer for Imperative Code},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {702--707},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_49},
doi = {10.1007/978-3-642-39799-8\_49},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BiondiLTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BakZCADWR04,
author = {Kacper Bak and
Dina Zayan and
Krzysztof Czarnecki and
Michal Antkiewicz and
Zinovy Diskin and
Andrzej Wasowski and
Derek Rayside},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Example-driven modeling: model = abstractions + examples},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {1273--1276},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606696},
doi = {10.1109/ICSE.2013.6606696},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BakZCADWR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GuoCASW13,
author = {Jianmei Guo and
Krzysztof Czarnecki and
Sven Apel and
Norbert Siegmund and
Andrzej Wasowski},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Variability-aware performance prediction: {A} statistical learning
approach},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {301--311},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693089},
doi = {10.1109/ASE.2013.6693089},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GuoCASW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BiondiLNW13,
author = {Fabrizio Biondi and
Axel Legay and
Bo Friis Nielsen and
Andrzej Wasowski},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Maximizing Entropy over Markov Processes},
booktitle = {Language and Automata Theory and Applications - 7th International
Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7810},
pages = {128--140},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37064-9\_13},
doi = {10.1007/978-3-642-37064-9\_13},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/BiondiLNW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AntkiewiczBCDZW13,
author = {Michal Antkiewicz and
Kacper Bak and
Krzysztof Czarnecki and
Zinovy Diskin and
Dina Zayan and
Andrzej Wasowski},
editor = {Marouane Kessentini and
Philip Langer and
Houari A. Sahraoui},
title = {Example-Driven Modeling using Clafer},
booktitle = {Proceedings of the First International Workshop on Model-driven Engineering
By Example co-located with {ACM/IEEE} 16th International Conference
on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami,
Florida, USA, September 29, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1104},
pages = {32--41},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1104/4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/AntkiewiczBCDZW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/BakDACW13,
author = {Kacper Bak and
Zinovy Diskin and
Michal Antkiewicz and
Krzysztof Czarnecki and
Andrzej Wasowski},
editor = {Martin Erwig and
Richard F. Paige and
Eric Van Wyk},
title = {Partial Instances via Subclassing},
booktitle = {Software Language Engineering - 6th International Conference, {SLE}
2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8225},
pages = {344--364},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02654-1\_19},
doi = {10.1007/978-3-319-02654-1\_19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sle/BakDACW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/PassosGTCWB13,
author = {Leonardo Teixeira Passos and
Jianmei Guo and
Leopoldo Teixeira and
Krzysztof Czarnecki and
Andrzej Wasowski and
Paulo Borba},
editor = {Tomoji Kishi and
Stan Jarzabek and
Stefania Gnesi},
title = {Coevolution of variability models and related artifacts: a case study
from the Linux kernel},
booktitle = {17th International Software Product Line Conference, {SPLC} 2013,
Tokyo, Japan - August 26 - 30, 2013},
pages = {91--100},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491627.2491628},
doi = {10.1145/2491627.2491628},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/PassosGTCWB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/HaugenWC13,
author = {{\O}ystein Haugen and
Andrzej Wasowski and
Krzysztof Czarnecki},
editor = {Tomoji Kishi and
Stan Jarzabek and
Stefania Gnesi},
title = {{CVL:} common variability language},
booktitle = {17th International Software Product Line Conference, {SPLC} 2013,
Tokyo, Japan - August 26 - 30, 2013},
pages = {277},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491627.2493899},
doi = {10.1145/2491627.2493899},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/HaugenWC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/BergerRNABCW13,
author = {Thorsten Berger and
Ralf Rublack and
Divya Nair and
Joanne M. Atlee and
Martin Becker and
Krzysztof Czarnecki and
Andrzej Wasowski},
editor = {Stefania Gnesi and
Philippe Collet and
Klaus Schmid},
title = {A survey of variability modeling in industrial practice},
booktitle = {The Seventh International Workshop on Variability Modelling of Software-intensive
Systems, VaMoS '13, Pisa , Italy, January 23 - 25, 2013},
pages = {7:1--7:8},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2430502.2430513},
doi = {10.1145/2430502.2430513},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/BergerRNABCW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/PassosCAWKG13,
author = {Leonardo Teixeira Passos and
Krzysztof Czarnecki and
Sven Apel and
Andrzej Wasowski and
Christian K{\"{a}}stner and
Jianmei Guo},
editor = {Stefania Gnesi and
Philippe Collet and
Klaus Schmid},
title = {Feature-oriented software evolution},
booktitle = {The Seventh International Workshop on Variability Modelling of Software-intensive
Systems, VaMoS '13, Pisa , Italy, January 23 - 25, 2013},
pages = {17:1--17:8},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2430502.2430526},
doi = {10.1145/2430502.2430526},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vamos/PassosCAWKG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BiondiLMW13,
author = {Fabrizio Biondi and
Axel Legay and
Pasquale Malacaria and
Andrzej Wasowski},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {Quantifying Information Leakage of Randomized Protocols},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
pages = {68--87},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_7},
doi = {10.1007/978-3-642-35873-9\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BiondiLMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BorbaCLW13,
author = {Paulo Borba and
Myra B. Cohen and
Axel Legay and
Andrzej Wasowski},
title = {Analysis, Test and Verification in The Presence of Variability (Dagstuhl
Seminar 13091)},
journal = {Dagstuhl Reports},
volume = {3},
number = {2},
pages = {144--170},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.2.144},
doi = {10.4230/DAGREP.3.2.144},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BorbaCLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DelahayeLLPW12,
author = {Beno{\^{\i}}t Delahaye and
Kim G. Larsen and
Axel Legay and
Mikkel L. Pedersen and
Andrzej Wasowski},
title = {Consistency and refinement for Interval Markov Chains},
journal = {J. Log. Algebraic Methods Program.},
volume = {81},
number = {3},
pages = {209--226},
year = {2012},
url = {https://doi.org/10.1016/j.jlap.2011.10.003},
doi = {10.1016/J.JLAP.2011.10.003},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DelahayeLLPW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/DelahayeLLPW12,
author = {Beno{\^{\i}}t Delahaye and
Kim G. Larsen and
Axel Legay and
Mikkel L. Pedersen and
Andrzej Wasowski},
title = {New results for Constraint Markov Chains},
journal = {Perform. Evaluation},
volume = {69},
number = {7-8},
pages = {379--401},
year = {2012},
url = {https://doi.org/10.1016/j.peva.2011.11.003},
doi = {10.1016/J.PEVA.2011.11.003},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/DelahayeLLPW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DavidLLMNRSW12,
author = {Alexandre David and
Kim Guldstrand Larsen and
Axel Legay and
Mikael H. M{\o}ller and
Ulrik Nyman and
Anders P. Ravn and
Arne Skou and
Andrzej Wasowski},
title = {Compositional verification of real-time systems using Ecdar},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {6},
pages = {703--720},
year = {2012},
url = {https://doi.org/10.1007/s10009-012-0237-y},
doi = {10.1007/S10009-012-0237-Y},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/DavidLLMNRSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/PfeifferW12,
author = {Rolf{-}Helge Pfeiffer and
Andrzej Wasowski},
editor = {Antonio Vallecillo and
Juha{-}Pekka Tolvanen and
Ekkart Kindler and
Harald St{\"{o}}rrle and
Dimitrios S. Kolovos},
title = {TexMo: {A} Multi-language Development Environment},
booktitle = {Modelling Foundations and Applications - 8th European Conference,
{ECMFA} 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7349},
pages = {178--193},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31491-9\_15},
doi = {10.1007/978-3-642-31491-9\_15},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/PfeifferW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BauerDHLLNW12,
author = {Sebastian S. Bauer and
Alexandre David and
Rolf Hennicker and
Kim Guldstrand Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Juan de Lara and
Andrea Zisman},
title = {Moving from Specifications to Contracts in Component-Based Design},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {43--58},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_3},
doi = {10.1007/978-3-642-28872-2\_3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/BauerDHLLNW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/PassosCW12,
author = {Leonardo Teixeira Passos and
Krzysztof Czarnecki and
Andrzej Wasowski},
editor = {Ina Schaefer and
Thomas Th{\"{u}}m},
title = {Towards a catalog of variability evolution patterns: the Linux kernel
case},
booktitle = {4th International Workshop on Feature-Oriented Software Development,
{FOSD} '12, Dresden, Germany - September 24 - 25, 2012},
pages = {62--69},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2377816.2377825},
doi = {10.1145/2377816.2377825},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/PassosCW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HaugenJWMC12,
author = {{\O}ystein Haugen and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Andrzej Wasowski and
Birger M{\o}ller{-}Pedersen and
Krzysztof Czarnecki},
editor = {{\O}ystein Haugen and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Andrzej Wasowski and
Birger M{\o}ller{-}Pedersen and
Krzysztof Czarnecki},
title = {{VARY} 2012: VARiability for You},
booktitle = {Proceedings of the VARiability for You Workshop - Variability Modeling
Made Useful for Everyone, {VARY} '12, Innsbruck, Austria, September
30, 2012},
pages = {1--2},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2425415.2425416},
doi = {10.1145/2425415.2425416},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/HaugenJWMC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SheCW12,
author = {Steven She and
Krzysztof Czarnecki and
Andrzej Wasowski},
editor = {{\O}ystein Haugen and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Andrzej Wasowski and
Birger M{\o}ller{-}Pedersen and
Krzysztof Czarnecki},
title = {Usage scenarios for feature model synthesis},
booktitle = {Proceedings of the VARiability for You Workshop - Variability Modeling
Made Useful for Everyone, {VARY} '12, Innsbruck, Austria, September
30, 2012},
pages = {15--20},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2425415.2425419},
doi = {10.1145/2425415.2425419},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/SheCW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PfeifferW12,
author = {Rolf{-}Helge Pfeiffer and
Andrzej Wasowski},
editor = {Robert B. France and
J{\"{u}}rgen Kazmeier and
Ruth Breu and
Colin Atkinson},
title = {Cross-Language Support Mechanisms Significantly Aid Software Development},
booktitle = {Model Driven Engineering Languages and Systems - 15th International
Conference, {MODELS} 2012, Innsbruck, Austria, September 30-October
5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7590},
pages = {168--184},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33666-9\_12},
doi = {10.1007/978-3-642-33666-9\_12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/PfeifferW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/AndersenCSW12,
author = {Nele Andersen and
Krzysztof Czarnecki and
Steven She and
Andrzej Wasowski},
editor = {Eduardo Santana de Almeida and
Christa Schwanninger and
David Benavides},
title = {Efficient synthesis of feature models},
booktitle = {16th International Software Product Line Conference, {SPLC} '12, Salvador,
Brazil - September 2-7, 2012, Volume 1},
pages = {106--115},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2362536.2362553},
doi = {10.1145/2362536.2362553},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/AndersenCSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/HaugenWC12,
author = {{\O}ystein Haugen and
Andrzej Wasowski and
Krzysztof Czarnecki},
editor = {Eduardo Santana de Almeida and
Christa Schwanninger and
David Benavides},
title = {{CVL:} common variability language},
booktitle = {16th International Software Product Line Conference, {SPLC} '12, Salvador,
Brazil - September 2-7, 2012, Volume 2},
pages = {266--267},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364412.2364462},
doi = {10.1145/2364412.2364462},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/HaugenWC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/CzarneckiGRSW12,
author = {Krzysztof Czarnecki and
Paul Gr{\"{u}}nbacher and
Rick Rabiser and
Klaus Schmid and
Andrzej Wasowski},
editor = {Ulrich W. Eisenecker and
Sven Apel and
Stefania Gnesi},
title = {Cool features and tough decisions: a comparison of variability modeling
approaches},
booktitle = {Sixth International Workshop on Variability Modelling of Software-Intensive
Systems, Leipzig, Germany, January 25-27, 2012. Proceedings},
pages = {173--182},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2110147.2110167},
doi = {10.1145/2110147.2110167},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/CzarneckiGRSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1207-4270,
author = {Marco Carbone and
Thomas T. Hildebrandt and
Gian Perrone and
Andrzej Wasowski},
editor = {Sebastian S. Bauer and
Jean{-}Baptiste Raclet},
title = {Refinement for Transition Systems with Responses},
booktitle = {Proceedings Fourth Workshop on Foundations of Interface Technologies,
{FIT} 2012, Tallinn, Estonia, 25th March 2012},
series = {{EPTCS}},
volume = {87},
pages = {48--55},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.87.5},
doi = {10.4204/EPTCS.87.5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-4270.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2012vary,
editor = {{\O}ystein Haugen and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Andrzej Wasowski and
Birger M{\o}ller{-}Pedersen and
Krzysztof Czarnecki},
title = {Proceedings of the VARiability for You Workshop - Variability Modeling
Made Useful for Everyone, {VARY} '12, Innsbruck, Austria, September
30, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2425415},
doi = {10.1145/2425415},
isbn = {978-1-4503-1809-9},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2012vary.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaillaudDLLPW11,
author = {Beno{\^{\i}}t Caillaud and
Beno{\^{\i}}t Delahaye and
Kim G. Larsen and
Axel Legay and
Mikkel L. Pedersen and
Andrzej Wasowski},
title = {Constraint Markov Chains},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {34},
pages = {4373--4404},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.05.010},
doi = {10.1016/J.TCS.2011.05.010},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CaillaudDLLPW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/DelahayeKLLPSW11,
author = {Beno{\^{\i}}t Delahaye and
Joost{-}Pieter Katoen and
Kim G. Larsen and
Axel Legay and
Mikkel L. Pedersen and
Falak Sher and
Andrzej Wasowski},
editor = {Beno{\^{\i}}t Caillaud and
Josep Carmona and
Kunihiko Hiraishi},
title = {New Results on Abstract Probabilistic Automata},
booktitle = {11th International Conference on Application of Concurrency to System
Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
pages = {118--127},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ACSD.2011.10},
doi = {10.1109/ACSD.2011.10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/DelahayeKLLPSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/PfeifferW11,
author = {Rolf{-}Helge Pfeiffer and
Andrzej Wasowski},
editor = {Robert B. France and
Jochen Malte K{\"{u}}ster and
Behzad Bordbar and
Richard F. Paige},
title = {Taming the Confusion of Languages},
booktitle = {Modelling Foundations and Applications - 7th European Conference,
{ECMFA} 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6698},
pages = {312--328},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21470-7\_22},
doi = {10.1007/978-3-642-21470-7\_22},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/PfeifferW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BauerLLNW11,
author = {Sebastian S. Bauer and
Kim Guldstrand Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Farhad Arbab and
Peter Csaba {\"{O}}lveczky},
title = {A Modal Specification Theory for Components with Data},
booktitle = {Formal Aspects of Component Software - 8th International Symposium,
{FACS} 2011, Oslo, Norway, September 14-16, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7253},
pages = {61--78},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35743-5\_5},
doi = {10.1007/978-3-642-35743-5\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BauerLLNW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/LarsenLTW11,
author = {Kim G. Larsen and
Axel Legay and
Louis{-}Marie Traonouez and
Andrzej Wasowski},
editor = {Uli Fahrenberg and
Stavros Tripakis},
title = {Robust Specification of Real Time Components},
booktitle = {Formal Modeling and Analysis of Timed Systems - 9th International
Conference, {FORMATS} 2011, Aalborg, Denmark, September 21-23, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6919},
pages = {129--144},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24310-3\_10},
doi = {10.1007/978-3-642-24310-3\_10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/LarsenLTW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gttse/PfeifferW11,
author = {Rolf{-}Helge Pfeiffer and
Andrzej Wasowski},
editor = {Ralf L{\"{a}}mmel and
Jo{\~{a}}o Saraiva and
Joost Visser},
title = {Tengi Interfaces for Tracing between Heterogeneous Components},
booktitle = {Generative and Transformational Techniques in Software Engineering
IV, International Summer School, {GTTSE} 2011, Braga, Portugal, July
3-9, 2011. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {7680},
pages = {431--447},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35992-7\_12},
doi = {10.1007/978-3-642-35992-7\_12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gttse/PfeifferW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SheLBWC11,
author = {Steven She and
Rafael Lotufo and
Thorsten Berger and
Andrzej Wasowski and
Krzysztof Czarnecki},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Reverse engineering feature models},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {461--470},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985856},
doi = {10.1145/1985793.1985856},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SheLBWC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/DelahayeLLPW11,
author = {Beno{\^{\i}}t Delahaye and
Kim G. Larsen and
Axel Legay and
Mikkel L. Pedersen and
Andrzej Wasowski},
editor = {Adrian{-}Horia Dediu and
Shunsuke Inenaga and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Decision Problems for Interval Markov Chains},
booktitle = {Language and Automata Theory and Applications - 5th International
Conference, {LATA} 2011, Tarragona, Spain, May 26-31, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6638},
pages = {274--285},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21254-3\_21},
doi = {10.1007/978-3-642-21254-3\_21},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/DelahayeLLPW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/FahrenbergLW11,
author = {Uli Fahrenberg and
Axel Legay and
Andrzej Wasowski},
editor = {Jon Whittle and
Tony Clark and
Thomas K{\"{u}}hne},
title = {Vision Paper: Make a Difference! (Semantically)},
booktitle = {Model Driven Engineering Languages and Systems, 14th International
Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6981},
pages = {490--500},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24485-8\_36},
doi = {10.1007/978-3-642-24485-8\_36},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/FahrenbergLW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/DelahayeLLPW11,
author = {Beno{\^{\i}}t Delahaye and
Kim G. Larsen and
Axel Legay and
Mikkel L. Pedersen and
Andrzej Wasowski},
title = {{APAC:} {A} Tool for Reasoning about Abstract Probabilistic Automata},
booktitle = {Eighth International Conference on Quantitative Evaluation of Systems,
{QEST} 2011, Aachen, Germany, 5-8 September, 2011},
pages = {151--152},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/QEST.2011.28},
doi = {10.1109/QEST.2011.28},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/DelahayeLLPW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/PassosBNCXW11,
author = {Leonardo Teixeira Passos and
Thorsten Berger and
Marko Novakovic and
Krzysztof Czarnecki and
Yingfei Xiong and
Andrzej Wasowski},
editor = {Ina Schaefer and
Isabel John and
Klaus Schmid},
title = {A study of non-Boolean constraints in variability models of an embedded
operating system},
booktitle = {Software Product Lines - 15th International Conference, {SPLC} 2011,
Munich, Germany, August 22-26, 2011. Workshop Proceedings (Volume
2)},
pages = {2},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2019136.2019139},
doi = {10.1145/2019136.2019139},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/PassosBNCXW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DelahayeKLLPSW11,
author = {Beno{\^{\i}}t Delahaye and
Joost{-}Pieter Katoen and
Kim G. Larsen and
Axel Legay and
Mikkel L. Pedersen and
Falak Sher and
Andrzej Wasowski},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {Abstract Probabilistic Automata},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6538},
pages = {324--339},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_23},
doi = {10.1007/978-3-642-18275-4\_23},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/DelahayeKLLPSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AntonikHLNW10,
author = {Adam Antonik and
Michael Huth and
Kim G. Larsen and
Ulrik Nyman and
Andrzej Wasowski},
title = {Modal and mixed specifications: key decision problems and their complexities},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {1},
pages = {75--103},
year = {2010},
url = {https://doi.org/10.1017/S0960129509990260},
doi = {10.1017/S0960129509990260},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/AntonikHLNW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DavidLLNW10,
author = {Alexandre David and
Kim Guldstrand Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {{ECDAR:} An Environment for Compositional Design and Analysis of Real
Time Systems},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {365--370},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_29},
doi = {10.1007/978-3-642-15643-4\_29},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/DavidLLNW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/PfeifferW10,
author = {Rolf{-}Helge Pfeiffer and
Andrzej Wasowski},
editor = {Jon Oldevik and
G{\o}ran K. Olsen and
Dimitrios S. Kolovos},
title = {An aspect-based traceability mechanism for domain specific languages},
booktitle = {Proceedings of the 6th {ECMFA} Traceability Workshop, {ECMFA-TW} 2010,
Paris, France, June 15, 2010},
pages = {47--52},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1814392.1814399},
doi = {10.1145/1814392.1814399},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/PfeifferW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/WasowskiTK10,
author = {Andrzej Wasowski and
Dragos Truscan and
Ludwik Kuzniarz},
editor = {Ian Gorton and
Carlos E. Cuesta and
Muhammad Ali Babar},
title = {8th Nordic Workshop on Model-Driven Software Engineering {(NW-MODE}
2010)},
booktitle = {Software Architecture, 4th European Conference, {ECSA} 2010, Copenhagen,
Denmark, August 23-26, 2010. Companion Volume},
series = {{ACM} International Conference Proceeding Series},
pages = {243--244},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1842752.1842799},
doi = {10.1145/1842752.1842799},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecsa/WasowskiTK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DavidLLNW10,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Karl Henrik Johansson and
Wang Yi},
title = {Timed {I/O} automata: a complete specification theory for real-time
systems},
booktitle = {Proceedings of the 13th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2010, Stockholm, Sweden, April 12-15,
2010},
pages = {91--100},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1755952.1755967},
doi = {10.1145/1755952.1755967},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/DavidLLNW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BergerSLWC10,
author = {Thorsten Berger and
Steven She and
Rafael Lotufo and
Andrzej Wasowski and
Krzysztof Czarnecki},
editor = {Charles Pecheur and
Jamie Andrews and
Elisabetta Di Nitto},
title = {Variability modeling in the real: a perspective from the operating
systems domain},
booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
Software Engineering, Antwerp, Belgium, September 20-24, 2010},
pages = {73--82},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1858996.1859010},
doi = {10.1145/1858996.1859010},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BergerSLWC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/CaillaudDLLPW10,
author = {Beno{\^{\i}}t Caillaud and
Beno{\^{\i}}t Delahaye and
Kim G. Larsen and
Axel Legay and
Mikkel L. Pedersen and
Andrzej Wasowski},
title = {Compositional Design Methodology with Constraint Markov Chains},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {123--132},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.23},
doi = {10.1109/QEST.2010.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/CaillaudDLLPW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/BakCW10,
author = {Kacper Bak and
Krzysztof Czarnecki and
Andrzej Wasowski},
editor = {Brian A. Malloy and
Steffen Staab and
Mark van den Brand},
title = {Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled},
booktitle = {Software Language Engineering - Third International Conference, {SLE}
2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6563},
pages = {102--122},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19440-5\_7},
doi = {10.1007/978-3-642-19440-5\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sle/BakCW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/LotufoSBCW10,
author = {Rafael Lotufo and
Steven She and
Thorsten Berger and
Krzysztof Czarnecki and
Andrzej Wasowski},
editor = {Jan Bosch and
Jaejoon Lee},
title = {Evolution of the Linux Kernel Variability Model},
booktitle = {Software Product Lines: Going Beyond - 14th International Conference,
{SPLC} 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6287},
pages = {136--150},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15579-6\_10},
doi = {10.1007/978-3-642-15579-6\_10},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/LotufoSBCW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/BergerSLCW10,
author = {Thorsten Berger and
Steven She and
Rafael Lotufo and
Krzysztof Czarnecki and
Andrzej Wasowski},
editor = {Jan Bosch and
Jaejoon Lee},
title = {Feature-to-Code Mapping in Two Large Product Lines},
booktitle = {Software Product Lines: Going Beyond - 14th International Conference,
{SPLC} 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6287},
pages = {498--499},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15579-6\_48},
doi = {10.1007/978-3-642-15579-6\_48},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/BergerSLCW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/SheLBWC10,
author = {Steven She and
Rafael Lotufo and
Thorsten Berger and
Andrzej Wasowski and
Krzysztof Czarnecki},
editor = {David Benavides and
Don S. Batory and
Paul Gr{\"{u}}nbacher},
title = {The Variability Model of The Linux Kernel},
booktitle = {Fourth International Workshop on Variability Modelling of Software-Intensive
Systems, Linz, Austria, January 27-29, 2010. Proceedings},
series = {ICB-Research Report},
volume = {37},
pages = {45--51},
publisher = {Universit{\"{a}}t Duisburg-Essen},
year = {2010},
url = {http://www.vamos-workshop.net/proceedings/VaMoS\_2010\_Proceedings.pdf},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/SheLBWC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BourkeDLLLNW10,
author = {Timothy Bourke and
Alexandre David and
Kim G. Larsen and
Axel Legay and
Didier Lime and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Till Mossakowski and
Hans{-}J{\"{o}}rg Kreowski},
title = {New Results on Timed Specifications},
booktitle = {Recent Trends in Algebraic Development Techniques - 20th International
Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7137},
pages = {175--192},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-28412-0\_12},
doi = {10.1007/978-3-642-28412-0\_12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wadt/BourkeDLLLNW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1101-4734,
author = {Axel Legay and
Andrzej Wasowski},
editor = {Axel Legay and
Beno{\^{\i}}t Caillaud},
title = {A Few Considerations on Structural and Logical Composition in Specification
Theories},
booktitle = {Proceedings Foundations for Interface Technologies, {FIT} 2010, Paris,
France, 30th August 2010},
series = {{EPTCS}},
volume = {46},
pages = {49--54},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.46.4},
doi = {10.4204/EPTCS.46.4},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-4734.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DavidLLNW09,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Methodologies for Specification of Real-Time Systems Using Timed {I/O}
Automata},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {290--310},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_15},
doi = {10.1007/978-3-642-17071-3\_15},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/DavidLLNW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/MendoncaWC09,
author = {Marc{\'{\i}}lio Mendon{\c{c}}a and
Andrzej Wasowski and
Krzysztof Czarnecki},
editor = {Dirk Muthig and
John D. McGregor},
title = {SAT-based analysis of feature models is easy},
booktitle = {Software Product Lines, 13th International Conference, {SPLC} 2009,
San Francisco, California, USA, August 24-28, 2009, Proceedings},
series = {{ACM} International Conference Proceeding Series},
volume = {446},
pages = {231--240},
publisher = {{ACM}},
year = {2009},
url = {https://dl.acm.org/citation.cfm?id=1753267},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/MendoncaWC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AntonikHLNW08,
author = {Adam Antonik and
Michael Huth and
Kim G. Larsen and
Ulrik Nyman and
Andrzej Wasowski},
title = {20 Years of Modal and Mixed Specifications},
journal = {Bull. {EATCS}},
volume = {95},
pages = {94--129},
year = {2008},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/AntonikHLNW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AntonikHLNW08,
author = {Adam Antonik and
Michael Huth and
Kim Guldstrand Larsen and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Roberto M. Amadio},
title = {Complexity of Decision Problems for Mixed and Modal Specifications},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {112--126},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_9},
doi = {10.1007/978-3-540-78499-9\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/AntonikHLNW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/MendoncaWCC08,
author = {Marc{\'{\i}}lio Mendon{\c{c}}a and
Andrzej Wasowski and
Krzysztof Czarnecki and
Donald D. Cowan},
editor = {Yannis Smaragdakis and
Jeremy G. Siek},
title = {Efficient compilation techniques for large scale feature models},
booktitle = {Generative Programming and Component Engineering, 7th International
Conference, {GPCE} 2008, Nashville, TN, USA, October 19-23, 2008,
Proceedings},
pages = {13--22},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449913.1449918},
doi = {10.1145/1449913.1449918},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/MendoncaWCC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HessellundW08,
author = {Anders Hessellund and
Andrzej Wasowski},
editor = {Krzysztof Czarnecki and
Ileana Ober and
Jean{-}Michel Bruel and
Axel Uhl and
Markus V{\"{o}}lter},
title = {Interfaces and Metainterfaces for Models and Metamodels},
booktitle = {Model Driven Engineering Languages and Systems, 11th International
Conference, MoDELS 2008, Toulouse, France, September 28 - October
3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5301},
pages = {401--415},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87875-9\_29},
doi = {10.1007/978-3-540-87875-9\_29},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/HessellundW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JanotaKW08,
author = {Mikol{\'{a}}s Janota and
Victoria Kuzina and
Andrzej Wasowski},
editor = {Krzysztof Czarnecki and
Ileana Ober and
Jean{-}Michel Bruel and
Axel Uhl and
Markus V{\"{o}}lter},
title = {Model Construction with External Constraints: An Interactive Journey
from Semantics to Syntax},
booktitle = {Model Driven Engineering Languages and Systems, 11th International
Conference, MoDELS 2008, Toulouse, France, September 28 - October
3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5301},
pages = {431--445},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87875-9\_31},
doi = {10.1007/978-3-540-87875-9\_31},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/JanotaKW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/CzarneckiSW08,
author = {Krzysztof Czarnecki and
Steven She and
Andrzej Wasowski},
title = {Sample Spaces and Feature Models: There and Back Again},
booktitle = {Software Product Lines, 12th International Conference, {SPLC} 2008,
Limerick, Ireland, September 8-12, 2008, Proceedings},
pages = {22--31},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SPLC.2008.49},
doi = {10.1109/SPLC.2008.49},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/CzarneckiSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AntonikHLNW09,
author = {Adam Antonik and
Michael Huth and
Kim Guldstrand Larsen and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Thomas T. Hildebrandt and
Daniele Gorla},
title = {EXPTIME-complete Decision Problems for Modal and Mixed Specifications},
booktitle = {Proceedings of the 15th Workshop on Expressiveness in Concurrency,
{EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {242},
number = {1},
pages = {19--33},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.011},
doi = {10.1016/J.ENTCS.2009.06.011},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AntonikHLNW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LarsenNW07,
author = {Kim Guldstrand Larsen and
Ulrik Nyman and
Andrzej Wasowski},
title = {Modeling software product lines using color-blind transition systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {9},
number = {5-6},
pages = {471--487},
year = {2007},
url = {https://doi.org/10.1007/s10009-007-0046-x},
doi = {10.1007/S10009-007-0046-X},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/LarsenNW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LarsenNW07,
author = {Kim Guldstrand Larsen and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {On Modal Refinement and Consistency},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {105--119},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_8},
doi = {10.1007/978-3-540-74407-8\_8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/LarsenNW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LarsenNW07,
author = {Kim Guldstrand Larsen and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Rocco De Nicola},
title = {Modal {I/O} Automata for Interface and Product Line Theories},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {64--79},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_6},
doi = {10.1007/978-3-540-71316-6\_6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/LarsenNW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HadzicWA07,
author = {Tarik Hadzic and
Andrzej Wasowski and
Henrik Reif Andersen},
editor = {Manuela M. Veloso},
title = {Techniques for Efficient Interactive Configuration of Distribution
Networks},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {100--105},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/014.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HadzicWA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HessellundCW07,
author = {Anders Hessellund and
Krzysztof Czarnecki and
Andrzej Wasowski},
editor = {Gregor Engels and
Bill Opdyke and
Douglas C. Schmidt and
Frank Weil},
title = {Guided Development with Multiple Domain-Specific Languages},
booktitle = {Model Driven Engineering Languages and Systems, 10th International
Conference, MoDELS 2007, Nashville, USA, September 30 - October 5,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4735},
pages = {46--60},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75209-7\_4},
doi = {10.1007/978-3-540-75209-7\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/HessellundCW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/CzarneckiW07,
author = {Krzysztof Czarnecki and
Andrzej Wasowski},
title = {Feature Diagrams and Logics: There and Back Again},
booktitle = {Software Product Lines, 11th International Conference, {SPLC} 2007,
Kyoto, Japan, September 10-14, 2007, Proceedings},
pages = {23--34},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SPLINE.2007.24},
doi = {10.1109/SPLINE.2007.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/CzarneckiW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LarsenNW06,
author = {Kim Guldstrand Larsen and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Interface Input/Output Automata},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {82--97},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_7},
doi = {10.1007/11813040\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/LarsenNW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MeerWA06,
author = {Erik Roland van der Meer and
Andrzej Wasowski and
Henrik Reif Andersen},
editor = {Hisham Haddad},
title = {Efficient interactive configuration of unbounded modular systems},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
Dijon, France, April 23-27, 2006},
pages = {409--414},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1141277.1141370},
doi = {10.1145/1141277.1141370},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/MeerWA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LarsenLW05,
author = {Kim Guldstrand Larsen and
Ulrik Larsen and
Andrzej Wasowski},
editor = {Maura Cerioli},
title = {Color-Blind Specifications for Transformations of Reactive Synchronous
Programs},
booktitle = {Fundamental Approaches to Software Engineering, 8th International
Conference, {FASE} 2005, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April
4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3442},
pages = {160--174},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31984-9\_13},
doi = {10.1007/978-3-540-31984-9\_13},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/LarsenLW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/Wasowski04,
author = {Andrzej Wasowski},
editor = {David B. Whalley and
Ron Cytron},
title = {Flattening statecharts without explosions},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'04), Washington,
DC, USA, June 11-13, 2004},
pages = {257--266},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/997163.997200},
doi = {10.1145/997163.997200},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lctrts/Wasowski04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/Wesowski04,
author = {Andrzej Wasowski},
editor = {Robert L. Nord},
title = {Automatic Generation of Program Families by Model Restrictions},
booktitle = {Software Product Lines, Third International Conference, {SPLC} 2004,
Boston, MA, USA, August 30-September 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3154},
pages = {73--89},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28630-1\_5},
doi = {10.1007/978-3-540-28630-1\_5},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/splc/Wesowski04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Wasowski05,
author = {Andrzej Wasowski},
editor = {Gerald L{\"{u}}ttgen and
Natividad Mart{\'{\i}}nez Madrid and
Michael Mendler},
title = {On Succinctness of Hierarchical State Diagrams in Absence of Message
Passing},
booktitle = {Proceedings of the Second Workshop on Semantic Foundations of Engineering
Design Languages, SFEDL@ETAPS 2004, Barcelona, Spain, April 3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {115},
pages = {89--97},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.09.030},
doi = {10.1016/J.ENTCS.2004.09.030},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Wasowski05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/Wasowski03,
author = {Andrzej Wasowski},
editor = {Frank Mueller and
Ulrich Kremer},
title = {On efficient program synthesis from statecharts},
booktitle = {Proceedings of the 2003 Conference on Languages, Compilers, and Tools
for Embedded Systems (LCTES'03). San Diego, California, USA, June
11-13, 2003},
pages = {163--170},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/780732.780755},
doi = {10.1145/780732.780755},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lctrts/Wasowski03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iis/KlopotekWMBPW01,
author = {Mieczyslaw A. Klopotek and
Slawomir T. Wierzchon and
Maciej Michalewicz and
Marek A. Bednarczyk and
Wieslaw Pawlowski and
Andrzej Wasowski},
editor = {Mieczyslaw A. Klopotek and
Maciej Michalewicz and
Slawomir T. Wierzchon},
title = {Bayesian Network Mining System},
booktitle = {Intelligent Information Systems 2001, Proceedings of the International
Symposium "Intelligent Information Systems X", June 18-22, 2001, Zakopane,
Poland},
series = {Advances in Soft Computing},
pages = {179--193},
publisher = {Physica-Verlag},
year = {2001},
timestamp = {Fri, 14 Feb 2003 11:09:17 +0100},
biburl = {https://dblp.org/rec/conf/iis/KlopotekWMBPW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-09 23:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
