Publikationer pr. år
Publikationer pr. år
Publikation
- 18 resultater
Søgeresultater
-
2022
Guiding the Evolution of Product-Line Configurations
Nieke, M., Sampaio, G., Thüm, T., Seidl, C., Teixeira, L. & Schaefer, I., 2022, I: Software & Systems Modeling (SoSyM). 21, s. 225–247Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › 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 -
Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review
Araujo, H., Mousavi, M. R. & Varshosaz, M., 2022, I: ACM Transactions on Software Engineering and Methodology (TOSEM).Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Utilizing Multi-Level Concepts for Multi-Phase Modeling
Franz, T., Seidl, C., Fischer, P. & Gerndt, A., 2022, I: Software & Systems Modeling (SoSyM).Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
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
-
Interacting with academic readings — A comparison of paper and laptop
Inie, N., Barkhuus, L. & Brabrand, C., 2021, I: Social Sciences & Humanities Open. 100226.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
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 -
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
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 -
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 -
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
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 -
2018
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 -
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