Publikationer pr. år
Publikationer pr. år
Publikation
- 1 - 50 ud af 141 resultater
Søgeresultater
-
2023
Domain-Specific Languages: Effective modeling, automation, and reuse
Wasowski, A. & Berger, T., 2023, Springer International Publishing. 492 s.Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Formidling
-
Exact and Efficient Bayesian Inference for Privacy Risk Quantification
Rønneberg, R. C., Pardo, R. & Wasowski, A., 31 okt. 2023, Proceedings of Software Engineering and Formal Methods (SEFM'23). Springer, Cham, Bind 14323. s. 263-281 18 s. (Lecture Notes in Computer Science).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Fil -
2022
A Specification Logic for Programs in the Probabilistic Guarded Command Language
Pardo, R., Broch Johnsen, E., Schaefer, I. & Wasowski, A., okt. 2022, A Specification Logic for Programs in the Probabilistic Guarded Command Language. Springer, Cham, Bind 13572. 19 s. (Proceedings of 19th International Colloquium on Theoretical Aspects of Computing - ICTAC 2022).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Fil -
Belief-based fault recovery for marine robotics
Jeremy Paul Coffelt, Mohammadi Kashani, M., Wasowski, A. & Peter Kampmann, 16 aug. 2022, The Eighth Joint Ontology Workshops (JOWO’22), August 15-19, 2022, Jönköping University, Sweden. Bind Vol-3249. 14 s. paper3-RobOnticsPublikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang -
MROS: runtime adaptation for robot control architectures
Bozhinoski, D., Oviedo, M. G., Garcia, N. H., Deshpande, H., Hoorn, G. V. D., Tjerngren, J., Wasowski, A. & Corbato, C. H., 2022, I: Advanced Robotics. 36, 11, s. 502-518 17 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Patching Locking Bugs Statically with Crayons
Cruz, A., Varshosaz, M., Le Goues, C. & Wasowski, A., 22 aug. 2022, I: ACM Transactions on Software Engineering and Methodology.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores
Pardo, R., Rafnsson, W., Steinhorn, G., Lavrov, D., Lumley, T., Probst, C., Ziedins, I. & Wasowski, A., 2022, Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores. Springer, Cham, Bind 13619. s. 1-16 16 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
-
2021
A Modeling Tool for Reconfigurable Skills in ROS
Bozhinoski, D., Aguado, E., Oviedo, M. G., Corbato, C. H., Sanz, R. & Wasowski, A., 2021, I: 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE). s. 25-28Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis
Pardo, R., Rafnsson, W., Probst, C. & Wasowski, A., 2021, European Symposium on Research in Computer Security: Computer Security – ESORICS 2021. Springer, Bind 12973. (Lecture Notes in Computer Science, Bind 12973).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Fil -
Pull Request Governance In Open Source Communities
Alami, A., Pardo, R., Cohn, M. & Wasowski, A., 16 nov. 2021, I: I E E E Transactions on Software Engineering. 48, 12, s. 4838-4856Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Reactive Programming of Robots with RxROS
Larsen, H., van der Hoorn, G. & Wasowski, A., 2021, Robot Operating System (ROS). Springer, Bind 962. s. 55-83 (Studies in Computational Intelligence, Bind 962).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
-
Verification of Program Transformations with Inductive Refinement Types
Al-Sibahi, A. S., Jensen, T. P., Dimovski, A. & Wasowski, A., 2021, I: ACM Transactions on Software Engineering and Methodology. 30, 1, s. 1-33 5.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil -
2020
Assessing Privacy Risks Using Probabilistic Programming
Jimenez, R. P., Rafnsson, W., Probst, C. W. & Wasowski, A., 2020.Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Poster › Forskning › peer review
-
A Tailored Participatory Action Research for FOSS Communities
Alami, A., Nielsen, P. A. & Wasowski, A., 4 sep. 2020, I: Journal of Empirical Software Engineering. 25, 5, s. 3639 - 3670 23 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil -
Behavior trees in action: A study of robotics applications
Ghzouli, R., Berger, T., Broch Johnsen, E., Dragule, S. & Wasowski, A., 2020, Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, Virtual Event, USA, November 16-17, 2020. Association for Computing Machinery, s. 196–209 (Proceedings of ACM SIGPLAN International Conference on Software Language Engineering).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
Åben adgangFil -
Dependency bugs: the dark side of variability, reuse and modularity
Wasowski, A., 2020, 2 s. Association for Computing Machinery.Publikation: Andet › Andet bidrag › Forskning
-
Galois Connections for Recursive Types
Al-Sibahi, A. S., Jensen, T. P., Møgelberg, R. E. & Wasowski, A., 2020, From Lambda Calculus to Cybersecurity Through Program Analysis. Springer, s. 105-131 (Lecture Notes in Computer Science, Bind 12065).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
Åben adgangFil -
Generalized abstraction-refinement for game-based CTL lifted model checking
Dimovski, A., Wasowski, A. & Legay, A., 2020, I: Theoretical Computer Science. 837, s. 181-206 26 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Guest editorial to the special section on MODELS 2018
Wasowski, A., Paige, R. & Haugen, Ø., 2020, I: Software and Systems Modeling. 19, 4, s. 825-826 2 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Leder
Åben adgang -
How Do FOSS Communities Decide to Accept Pull Requests?
Alami, A., Cohn, M. & Wasowski, A., 15 apr. 2020, EASE '20: Proceedings of the Evaluation and Assessment in Software Engineering. Association for Computing Machinery, s. 220-229 10 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Intention-Based Integration of Software Variants
Lillack, M., Stanciulescu, S., Hedman, W., Berger, T. & Wasowski, A., 2020, Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria. . Gesellschaft fur Informatik (GI), s. 57-58 2 s. (Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
Åben adgangFil -
The forgotten case of the dependency bugs: on the example of the robot operating system
Fischer-Nielsen, A., Fu, Z., Su, T. & Wasowski, A., 2020, I: Proceedings of the International Conference on Software Engineering. s. 21-30 10 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
2019
Affiliated Participation in Open Source Communities
Alami, A. & Wasowski, A., 19 sep. 2019, The 13th edition of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) . IEEE, 12 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
Juodisius, P., Sarkar, A., Mukkamala, R. R., Antkiewicz, M., Czarnecki, K. & Wasowski, A., 2019, I: The Art, Science, and Engineering of Programming. 3, 1, s. 2:1-2:62 62 s., 2.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Finding suitable variability abstractions for lifted analysis
Dimovski, A., Brabrand, C. & Wasowski, A., 2019, I: Formal Aspects of Computing. 31, 2, s. 231-259Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Guest editorial to the special section on ECMFA and ICMT at STAF 2016: Modeling and model transformations research in 2016
Van Gorp, P. & Wasowski, A., 2019, I: Software and Systems Modeling. 18, 2, s. 959-960Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Leder
Åben adgang -
Identifying Redundancies in Fork-based Development
Ren, L., Zhou, S., Kästner, C. & Wasowski, A., 2019, The 26th IEEE International Conference on Software Analysis Evolution and Reengineering, Hangzhou, China, Februrary 24-27, 2019. IEEE PressPublikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Intention-based integration of software variants
Lillack, M., Stanciulescu, S., Hedman, W., Berger, T. & Wasowski, A., 2019, Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. IEEE, s. 831-842 (Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT
Hebig, R., Seidl, C., Berger, T., Kook Pedersen, J. & Wasowski, A., 2019, Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Gesellschaft fur Informatik (GI), s. 91-92 (Lecture Notes in Informatics).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL
Dimovski, A., Legay, A. & Wasowski, A., 2019, Fundamental Approaches to Software Engineering. FASE 2019. Springer, s. 192-209 (Lecture Notes in Computer Science, Bind 11424).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Why Does Code Review Work for Open Source Software Communities?
Alami, A., Cohn, M. & Wasowski, A., 25 maj 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE). IEEEPublikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
2018
Editorial
Denney, E., Stevens, P. & Wasowski, A., 2018, I: Formal Aspects of Computing. 30, 1, s. 1-1 1 s., 1.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Leder
Åben adgang -
Going Beyond Obscurity: Organizational Approaches to Data Anonymization
Hargitai, V., Shklovski, I. & Wasowski, A., 2018, Proceedings of the ACM on Human-Computer Interaction - CSCW. Association for Computing Machinery, Bind 2. (Proceedings of the ACM on Human-Computer Interaction - CSCW).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Identifying Features in Forks
Zhou, S., Stanciulescu, S., Lessnich, O., Xiong, Y., Wasowski, A. & Kästner, C., 2018, Proceedings of the 40th ACM/IEEE International Conference on Software Engineering (ICSE2018), Gothenburg, Sweden. IEEE, 12 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Influencers of Quality Assurance in an Open Source Community
Alami, A., Dittrich, Y. & Wasowski, A., 27 maj 2018, Proceedings of the 11th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE '18). Association for Computing Machinery, s. 61-68 8 s. ICSE-WS-CHASE-22Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT
Hebig, R., Berger, T., Seidl, C., Kook Pedersen, J. & Wasowski, A., 2018, 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. Association for Computing Machinery, s. 445-455 11 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018
Wasowski, A., Paige, R. & Haugen, Ø., 2018, Association for Computing Machinery.Publikation: Andet › Andet bidrag › Forskning
-
Variability abstractions for lifted analyses
Dimovski, A., Brabrand, C. & Wasowski, A., 2018, I: Science of Computer Programming. 159, s. 1-27Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil -
Variability Bugs in Highly Configurable Systems: A Qualitative Analysis
Abal, I., Melo, J., Stanciulescu, S., Brabrand, C., Ribeiro, M. & Wasowski, A., 2018, I: ACM Transactions on Software Engineering and Methodology. 26, 3, 10.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Verification of high-level transformations with inductive refinement types
Al-Sibahi, A. S., Jensen, T. P., Dimovski, A. & Wasowski, A., 2018, Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston, MA, USA, November 5-6, 2018. Association for Computing Machinery, s. 147-160 14 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
2017
Controller synthesis for dynamic hierarchical real-time plants using timed automata
Bin Waez, M. T., Wasowski, A., Dingel, J. & Rudie, K., 2017, I: Discrete Event Dynamic Systems. 27, 2, s. 407-441Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Data-efficient performance learning for configurable systems
Guo, J., Yang, D., Siegmund, N., Apel, S., Sarkar, A., Valov, P., Czarnecki, K., Wasowski, A. & Yu, H., nov. 2017, I: Empirical Software Engineering. 42 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Effective Analysis of C Programs by Rewriting Variability
Iosif-Lazar, A. F., Melo, J., Dimovski, A., Brabrand, C. & Wasowski, A., 27 jan. 2017, I: The Art, Science, and Engineering of Programming. 1, 1, s. 1-25 25 s., 1.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Effective Bug Finding in C Programs with Shape and Effect Abstractions
Abal, I., Brabrand, C. & Wasowski, A., 2017, Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings. Springer, s. 34-54 (Lecture Notes in Computer Science, Bind 10145).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL
Dimovski, A. & Wasowski, A., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer, s. 249-268 (Lecture Notes in Computer Science, Bind 10460).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
Åben adgangFil -
Variability-Specific Abstraction Refinement for Family-Based Model Checking
Dimovski, A. & Wasowski, A., 23 mar. 2017, 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: Fundamental Approaches to Software Engineering, FASE 2017. Huisman, M. & Rubin, J. (red.). Berlin, Heidelberg: Springer, s. 406-423 17 s. (Lecture Notes in Computer Science, Bind 10202).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Variability through the Eyes of the Programmer
Melo, J., Batista Narcizo, F., Hansen, D. W., Brabrand, C. & Wasowski, A., 1 maj 2017, 2017 IEEE/ACM 25th International Conference on Program Comprehension (ICPC). IEEE, s. 34-44 11 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
2016
Concepts, Operations, and Feasibility of a Projection-Based Variation Control System
Stanciulescu, S., Berger, T., Walkingshaw, E. & Wasowski, A., 5 okt. 2016, Proceedings of 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 11 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
-
Efficient family-based model checking via variability abstractions
Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 26 maj 2016, I: International Journal on Software Tools for Technology Transfer. 19, 5, s. 585–603 19 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Finding Suitable Variability Abstractions for Family-Based Analysis
Dimovski, A., Brabrand, C. & Wasowski, A., 8 nov. 2016, FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Fitzgerald, J. S., Heitmeyer, C. L., Gnesi, S. & Philippou, A. (red.). Limassol, Cyprus, November 9-11, 2016: Springer, s. 217-234 17 s. (Lecture Notes in Computer Science, Bind 9995).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil