Andrzej Wasowski - Publications - IT-University of Copenhagen

Emailwasowskiitudk

Emil Holms Kanal, 4F25, EHK
2300 Copenhagen
Denmark

Research activity per year

70 Article in proceedings
43 Journal article
16 Conference article
8 Book chapter
More

4 results

Filter

2016
SymexTRON: Symbolic Execution of High-Level Transformation Languages: Symbolic Execution of High-Level Transformations
Al-Sibahi, A. S., Dimovski, A. & Wasowski, A., Sept 2016, TR-2016-196 ed. IT-Universitetet i København. 24 p. (IT University Technical Report Series; No. TR-2016-196).
Research output: Book / Anthology / Report › Report › Research

File
2014
40 Variability Bugs in the Linux Kernel: A Qualitative Study
Abal Rivas, I., Brabrand, C. & Wasowski, A., May 2014, TR-2014-180 ed. Copenhagen: IT-Universitetet i København. 20 p. (IT University Technical Report Series; No. TR-2014-180).
Research output: Book / Anthology / Report › Report › Research

File
2004
Succinctness of Hierarchical State Diagrams in Absence ofMessage Passing
Wasowski, A., Feb 2004, TR-2004-42 ed. Copenhagen. 11 p. (IT University Technical Report Series; No. TR-2004-42).
Research output: Book / Anthology / Report › Report › Research

Open Access
File
2002
On the Formal Semantics of VisualSTATE Statecharts
Wasowski, A. & Sestoft, P., Sept 2002, TR-2002-19 ed. Copenhagen: IT-Universitetet i København. 30 p. (IT University Technical Report Series; No. TR-2002-19).
Research output: Book / Anthology / Report › Report › Research

Open Access
File