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 2023	Committee Member in Steering Committee
ECMFA 2023	Keynote Speaker in Keynote speaker within the Keynote-track
ICSE 2023	Author of Patching Locking Bugs Statically with Crayons within the Journal-First Papers-track Author of MROS: A framework for robot self-adaptation within the DEMO - Demonstrations-track Author of Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots within the Technical Track-track Program Committee Member in Technical Track within the Technical Track-track Session Chair of Cyber-physical systems development (part of SEIP - Software Engineering in Practice)
MODELS 2022	Steering Committee Member in Steering Committee
ASE 2022	Committee Member in Program Committee within the Research Papers-track
MODELS 2021	Committee Member in Steering Committee Committee Member in PC - Foundations Track within the Technical Papers-track
ESEC/FSE 2021	Committee Member in Program Committee within the Research Papers-track
ICSE 2021	Committee Member in Program Committee within the Technical Track-track
RoSE 2021	Author of A Modeling Tool for Reconfigurable Skills in ROS within the RoSE 2021-track
DeepTest 2021	Committee Member in Program Committee within the deeptest2021-track
SLE 2020	Author of Behavior Trees in Action: A Study of Robotics Applications within the SLE-track
MODELS 2020	Committee Member in Steering Committee
ICSE 2020	Author of The Forgotten Case of the Dependency Bugs: On the Example of the Robot Operating System within the Software Engineering in Practice-track
ICSE 2019	Author 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
FASE 2019	Author of Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL within the FASE 2019-track
‹Programming› 2019	Author of Clafer: Lightweight Modeling of Structure, Behaviour, and Variability within the Research Papers-track
ESEC/FSE 2018	Author of Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT within the Research Papers-track
GPCE 2018	Author of Verification of High-Level Transformations with Inductive Refinement Types within the GPCE 2018-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 )
‹Programming› 2017	Author of Effective Analysis of C Programs by Rewriting Variability within the Research Papers-track
VMCAI 2017	Author of Effective Bug Finding in C Programs with Shape and Effect Abstraction within the VMCAI-track
SLE 2016	Author of Symbolic Execution of High-Level Transformations within the SLE-track Committee Member in Program Committee within the SLE-track
Modularity 2016	Committee Member in Program Committee within the Modularity Visions-track
ECOOP 2015	Author of Variability Abstractions: Trading Precision for Speed in Family-Based Analyses within the Research Track-track
DSLDI 2015	Panelist of Panel Discussion: Language Composition within the DSLDI-track
SLE 2013	Author of Partial Instances via Subclassing within the Research Papers-track
SPLASH 2013	Committee Member in Program Committee within the GPCE-track
GPCE 2011	Committee Member in Program Committee within the GPCE 2011-track