Research output per year
Research output per year
- 50 - 61 out of 61 results
Search results
-
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 -
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, p. 147-160 14 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › 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 -
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, p. 34-54 (Lecture Notes in Computer Science, Vol. 10145).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
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, p. 249-268 (Lecture Notes in Computer Science, Vol. 10460).Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review
Open AccessFile -
Systematic Reuse and Ad Hoc Forking to Develop Software Variants
Stanciulescu, S., 2017, IT-Universitetet i København. 190 p. (ITU-DS; No. 141).Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis
Open AccessFile -
Variability Bugs: Program and Programmer Perspective
Melo, J., 2017, IT-Universitetet i København. 216 p. (ITU-DS; No. 135).Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis
Open AccessFile -
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. (eds.). Berlin, Heidelberg: Springer, p. 406-423 17 p. (Lecture Notes in Computer Science, Vol. 10202).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Variability through the Eyes of the Programmer
Melo, J., Batista Narcizo, F., Hansen, D. W., Brabrand, C. & Wasowski, A., 1 May 2017, 2017 IEEE/ACM 25th International Conference on Program Comprehension (ICPC). IEEE, p. 34-44 11 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile