Research output per year
Research output per year
Research output
- 43 results
Search results
-
2023
Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots
Ghorbani, A., Cassee, N., Robinson, D., Alami, A., Ernst, N., Serebrenik, A. & Wasowski, A., 2023, In: Proceedings of the International Conference on Software Engineering. 2023, p. 1405-1417 12 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Behavior Trees and State Machines in Robotics Applications
Ghzouli, R., Berger, T., Broch Johnsen, E., Wasowski, A. & Dragule, S., 2023, In: I E E E Transactions on Software Engineering. 49, 9, p. 4243-4267 24 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Formal Specification and Testing for Reinforcement Learning
Varshosaz, M., Ghaffari, M., Broch Johnsen, E. & Wasowski, A., 2023, In: Proceedings of the ACM on Programming Languages. 7, Issue ICFP, p. 125-158 33 p., 193.Research output: Journal Article or Conference Article in Journal › Journal article › Research
Open AccessFile -
2022
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, In: Advanced Robotics. 36, 11, p. 502-518 17 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Patching Locking Bugs Statically with Crayons
Cruz, A., Varshosaz, M., Le Goues, C. & Wasowski, A., 22 Aug 2022, In: ACM Transactions on Software Engineering and Methodology.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
2021
A Modeling Tool for Reconfigurable Skills in ROS
Bozhinoski, D., Aguado, E., Oviedo, M. G., Corbato, C. H., Sanz, R. & Wasowski, A., 2021, In: 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE). p. 25-28Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Pull Request Governance In Open Source Communities
Alami, A., Pardo, R., Cohn, M. & Wasowski, A., 16 Nov 2021, In: I E E E Transactions on Software Engineering. 48, 12, p. 4838-4856Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Verification of Program Transformations with Inductive Refinement Types
Al-Sibahi, A. S., Jensen, T. P., Dimovski, A. & Wasowski, A., 2021, In: ACM Transactions on Software Engineering and Methodology. 30, 1, p. 1-33 5.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
File -
2020
A Tailored Participatory Action Research for FOSS Communities
Alami, A., Nielsen, P. A. & Wasowski, A., 4 Sept 2020, In: Journal of Empirical Software Engineering. 25, 5, p. 3639 - 3670 23 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
File -
Generalized abstraction-refinement for game-based CTL lifted model checking
Dimovski, A., Wasowski, A. & Legay, A., 2020, In: Theoretical Computer Science. 837, p. 181-206 26 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
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, In: Proceedings of the International Conference on Software Engineering. p. 21-30 10 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
2019
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
Juodisius, P., Sarkar, A., Mukkamala, R. R., Antkiewicz, M., Czarnecki, K. & Wasowski, A., 2019, In: The Art, Science, and Engineering of Programming. 3, 1, p. 2:1-2:62 62 p., 2.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Finding suitable variability abstractions for lifted analysis
Dimovski, A., Brabrand, C. & Wasowski, A., 2019, In: Formal Aspects of Computing. 31, 2, p. 231-259Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
2018
Variability abstractions for lifted analyses
Dimovski, A., Brabrand, C. & Wasowski, A., 2018, In: Science of Computer Programming. 159, p. 1-27Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
File -
Variability Bugs in Highly Configurable Systems: A Qualitative Analysis
Abal, I., Melo, J., Stanciulescu, S., Brabrand, C., Ribeiro, M. & Wasowski, A., 2018, In: ACM Transactions on Software Engineering and Methodology. 26, 3, 10.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
2017
Controller synthesis for dynamic hierarchical real-time plants using timed automata
Bin Waez, M. T., Wasowski, A., Dingel, J. & Rudie, K., 2017, In: Discrete Event Dynamic Systems. 27, 2, p. 407-441Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
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, In: Empirical Software Engineering. 42 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Effective Analysis of C Programs by Rewriting Variability
Iosif-Lazar, A. F., Melo, J., Dimovski, A., Brabrand, C. & Wasowski, A., 27 Jan 2017, In: The Art, Science, and Engineering of Programming. 1, 1, p. 1-25 25 p., 1.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
2016
Efficient family-based model checking via variability abstractions
Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 26 May 2016, In: International Journal on Software Tools for Technology Transfer. 19, 5, p. 585–603 19 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Trustworthy Variant Derivation with Translation Validation for Safety Critical Product Lines
Iosif-Lazăr, A. F. & Wasowski, A., 24 Nov 2016, In: The Journal of Logic and Algebraic Programming. 85, 6, p. 1154–1176 23 p., 85.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
File -
2015
Clafer: Unifying Class and Feature Modeling
Bąk, K., Diskin, Z., Antkiewicz, M., Czarnecki, K. & Wasowski, A., 2015, In: Software and Systems Modeling. p. 1-35 34 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Coevolution of variability models and related software artifacts
Passos, L., Teixeira, L., Dinztner, N., Apel, S., Wasowski, A., Czarnecki, K., Borba, P. & Guo, J., 2015, In: Empirical Software Engineering. p. 1-50 50 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Quantifying information leakage of randomized protocols
Biondi, F., Legay, A., Malacaria, P. & Wasowski, A., 2015, In: Theoretical Computer Science. 597, p. 62-87Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
File -
2014
A modal specification theory for components with data
S. Bauer, S., Larsen, K. G., Legay, A., Nyman, U. M. & Wasowski, A., 2014, In: Science of Computer Programming. 83, p. 106-128Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Efficient synthesis of feature models
She, S., Ryssel, U., Andersen, N., Wasowski, A. & Czarnecki, K., 2014, In: Information and Software Technology. 56, 9, p. 1122-1143Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Information Leakage of Non-Terminating Processes
Biondi, F., Legay, A., Nielsen, B. F., Malacaria, P. & Wasowski, A., 2014, In: Leibniz International Proceedings in Informatics. 29, p. 517-529Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Maximizing Entropy over Markov Processes
Biondi, F., Legay, A., Nielsen, B. F. & Wasowski, A., 2014, In: Journal of Logic and Algebraic Programming. 83, 5-6, p. 384-399 12 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Robust synthesis for real-time systems
Larsen, K. G., Legay, A., Traonouez, L.-M. & Wasowski, A., 2014, In: Theoretical Computer Science. 515, p. 96-122 28 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
The Design Space of Multi-Language Development Environments
Pfeiffer, R.-H. & Wasowski, A., Sept 2014, In: Software and Systems Modeling. 23 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Three Cases of Feature-Based Variability Modeling in Industry
Berger, T., Nair, D., Rublack, R., Atlee, J. M., Czarnecki, K. & Wasowski, A., 2014, In: Lecture Notes in Computer Science. 8767, p. 302-319Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Variability mechanisms in software ecosystems
Berger, T., Pfeiffer, R.-H., Tartler, R., Dienst, S., Czarnecki, K., Wasowski, A. & She, S., 2014, In: Information and Software Technology. 56, 11, p. 1520-1535Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
2013
Abstract Probabilistic Automata
Delahaye, B., Katoen, J.-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., Nov 2013, In: Information and Computation. 232, p. 66-116 50 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
A Study of Variability Models and Languages in the Systems Software Domain
Berger, T., She, S., Lotufo, R., Wasowski, A. & Czarnecki, K., Dec 2013, In: I E E E Transactions on Software Engineering. 39, 12, p. 1611-1640 29 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Maximizing Entropy over Markov Processes
Biondi, F., Wasowski, A., Legay, A. & Nielsen, B. F., 2013, In: Lecture Notes in Computer Science. 7810, p. 128-140Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Real-time specifications
David, A., Larsen, K. G., Legay, A., Nyman, U. M., Traonouez, L.-M. & Wasowski, A., Aug 2013, In: International Journal on Software Tools for Technology Transfer. p. 1-29 29 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
2012
Compositional verification of real-time systems using Ecdar
David, A., Larsen, K. G., Legay, A., Møller, M. H., Nyman, U. M., Ravn, A. P., Skou, A. J. & Wasowski, A., 2012, In: International Journal on Software Tools for Technology Transfer. 14, 6, p. 703-720Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Consistency and refinement for Interval Markov Chains
Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2012, In: Journal of Logic and Algebraic Programming. 81, 3, p. 209-266Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
New results for Constraint Markov Chains
Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2012, In: Performance Evaluation. 69, 7-8, p. 379-401Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Tengi Interfaces for Tracing between Heterogeneous Components
Pfeiffer, R.-H. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7680, p. 431-447 16 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
TexMo: A Multi-language Development Environment
Pfeiffer, R.-H. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7349, p. 178-193Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
2011
Constraint Markov Chains
Translated title of the contribution :Constraint Markov Chains Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
2010
Modal and Mixed Specifications: Key Decision Problems and their Complexities
Antonik, A., Huth, M., Larsen, K. G., Nyman, U. M. & Wasowski, A., 2010, In: Mathematical Structures in Computer Science. 20, p. 75-103Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
2008
20 Years of Modal and Mixed Specifications
Antonik, A., Huth, M., Larsen, K. G., Nyman, U. M. & Wasowski, A., 2008, In: Bulletin of the European Association for Theoretical Computer Science. 95Research output: Journal Article or Conference Article in Journal › Journal article › Research