Andrzej Wąsowski

Registered user since Mon 3 Aug 2015

Name: Andrzej Wąsowski

Bio: MSc Eng from Warsaw University of Technology (2000) PhD from IT University of Copenhagen (2005)

Interested in developing repeatable software engineering methods, supported by innovative tools and technology, to solve domain specific problems (safety critical systems, industry automation, robotics, legacy systems, and personal data protection).

Country: Denmark

Affiliation: IT University of Copenhagen, Denmark

Personal website: http://www.itu.dk/people/wasowski

Research interests: Software Engineering, Safety Critical Systems, Model-driven development, Program Analysis, Model Analysis, Robotics, Personal Data Protection

Contributions

MODELS 2020Committee Member in Steering Committee
FASE 2019Author of Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL within the FASE 2019-track
‹Programming› 2019Author of Clafer: Lightweight Modeling of Structure, Behaviour, and Variability within the Research Papers-track
GPCE 2018Author of Verification of High-Level Transformations with Inductive Refinement Types within the GPCE 2018-track
ICSE 2019Author of Intention-Based Integration of Software Variants within the Technical Track-track
Author of Why Does Code Review Work for Open Source Software Communities? within the Technical Track-track
ESEC/FSE 2018Author of Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT within the Research Papers-track
VMCAI 2017Author of Effective Bug Finding in C Programs with Shape and Effect Abstraction within the VMCAI-track
‹Programming› 2017Author of Effective Analysis of C Programs by Rewriting Variability within the Research Papers-track
SLE 2016Author of Symbolic Execution of High-Level Transformations within the SLE-track
Committee Member in Program Committee within the SLE-track
* ICSE 2018 *Committee Member in Program board within the Technical Papers -track
Author of Identifying Features in Forks within the Technical Papers -track
Session Chair of Open-Source Systems (part of Technical Papers )
Modularity 2016 Committee Member in Program Committee within the Modularity Visions-track
DSLDI 2015Panelist of Panel Discussion: Language Composition within the DSLDI-track
ECOOP 2015Author of Variability Abstractions: Trading Precision for Speed in Family-Based Analyses within the Research Track-track
SLE 2013Author of Partial Instances via Subclassing within the Research Papers-track
SPLASH 2013Committee Member in Program Committee within the GPCE-track