Travelled to:1 × Austria
1 × Belgium
1 × Brazil
1 × Canada
1 × Czech Republic
1 × Denmark
1 × Estonia
1 × Hungary
1 × India
1 × Ireland
1 × New Zealand
1 × Russia
1 × South Korea
1 × Sweden
12 × USA
2 × Italy
2 × Portugal
2 × The Netherlands
3 × France
3 × Japan
3 × Spain
3 × United Kingdom
Collaborated with:K.Czarnecki R.Pfeiffer A.S.Dimovski A.Legay ∅ S.She K.G.Larsen T.Berger U.Nyman A.S.Al-Sibahi C.Brabrand A.Hessellund R.Lotufo F.Biondi K.Bak U.Fahrenberg M.Mendonça S.Stanciulescu Ø.Haugen J.Guo M.Antkiewicz Z.Diskin B.Delahaye K.G.Larsen M.L.Pedersen S.Schulze I.Abal J.Reimann M.Janota V.Kuzina E.R.v.d.Meer H.R.Andersen U.Larsen M.T.B.Waez J.Dingel K.Rudie M.Acher L.Traonouez B.F.Nielsen P.Malacaria N.Andersen D.D.Cowan T.P.Jensen S.Apel N.Siegmund A.Antonik M.Huth R.Hebig C.Seidl J.K.Pedersen D.Nair R.Rublack J.M.Atlee O.Øgård B.Larsen L.T.Passos L.Teixeira P.Borba A.F.Iosif-Lazar J.E.Savolainen K.Sierszecki D.Zayan D.Rayside S.S.Bauer A.David R.Hennicker J.Katoen F.Sher
Talks about:model (23) variabl (11) featur (9) languag (8) base (7) transform (6) abstract (6) specif (5) interfac (4) develop (4)
♂ Person: Andrzej Wasowski
DBLP: Wasowski:Andrzej
Facilitated 6 volumes:
PrCoPrCo
EdEd
EdContributed to:
2015
2015
2015
2015
201420142014201420142013
2013
2013
2013
201320132013201220152012201220122011
201120112011201120112010201020102009
2008
2008
200820082008
200720072007
2006
20062005
20042004200320152016
2018201820172019Wrote 54 papers:
- ECOOP-2015-DimovskiBW #abstraction #analysis #precise #variability
- Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (ASD, CB, AW), pp. 247–270.
- ICSME-2015-StanciulescuSW #open source
- Forked and integrated variants in an open-source firmware project (SS, SS, AW), pp. 151–160.
- SPLC-2015-DimovskiABW #model checking #off the shelf #using
- Family-based model checking using off-the-shelf model checkers: extended abstract (ASD, ASAS, CB, AW), p. 397.
- VMCAI-2015-WaezWDR #industrial #realtime
- A Model for Industrial Real-Time Systems (MTBW, AW, JD, KR), pp. 153–171.
- ASE-2014-AbalBW #analysis #debugging #kernel #linux #variability
- 42 variability bugs in the linux kernel: a qualitative analysis (IA, CB, AW), pp. 421–432.
- ECMFA-2014-PfeifferRW #independence #traceability
- Language-Independent Traceability with Lässig (RHP, JR, AW), pp. 148–163.
- FASE-2014-FahrenbergALW #diagrams #difference
- Sound Merging and Differencing for Class Diagrams (UF, MA, AL, AW), pp. 63–78.
- MoDELS-2014-BergerNRACW #industrial #modelling #variability
- Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.
- SPLC-2014-BergerSOHLW #case study #experience #modelling #variability
- To connect or not to connect: experiences from modeling topological variability (TB, SS, OØ, ØH, BL, AW), pp. 330–339.
- ASE-2013-GuoCASW #approach #learning #performance #predict #statistics #variability
- Variability-aware performance prediction: A statistical learning approach (JG, KC, SA, NS, AW), pp. 301–311.
- CAV-2013-BiondiLTW #imperative #named #security
- QUAIL: A Quantitative Security Analyzer for Imperative Code (FB, AL, LMT, AW), pp. 702–707.
- ICSE-2013-BakZCADWR #abstraction #modelling
- Example-driven modeling: model = abstractions + examples (KB, DZ, KC, MA, ZD, AW, DR), pp. 1273–1276.
- LATA-2013-BiondiLNW #markov #process
- Maximizing Entropy over Markov Processes (FB, AL, BFN, AW), pp. 128–140.
- SLE-2013-BakDACW #subclass
- Partial Instances via Subclassing (KB, ZD, MA, KC, AW), pp. 344–364.
- SPLC-2013-HaugenWC #named #variability
- CVL: common variability language (ØH, AW, KC), p. 277.
- SPLC-2013-PassosGTCWB #case study #kernel #linux #modelling #variability
- Coevolution of variability models and related artifacts: a case study from the Linux kernel (LTP, JG, LT, KC, AW, PB), pp. 91–100.
- VMCAI-2013-BiondiLMW #information management #protocol #random
- Quantifying Information Leakage of Randomized Protocols (FB, AL, PM, AW), pp. 68–87.
- ECMFA-2012-PfeifferW #development #multi #named
- TexMo: A Multi-language Development Environment (RHP, AW), pp. 178–193.
- ECMFA-J-2012-PfeifferW15 #design #development #multi
- The design space of multi-language development environments (RHP, AW), pp. 383–411.
- FASE-2012-BauerDHLLNW #component #contract #design #specification
- Moving from Specifications to Contracts in Component-Based Design (SSB, AD, RH, KGL, AL, UN, AW), pp. 43–58.
- MoDELS-2012-PfeifferW #development
- Cross-Language Support Mechanisms Significantly Aid Software Development (RHP, AW), pp. 168–184.
- SPLC-2012-AndersenCSW #feature model #modelling #performance #synthesis
- Efficient synthesis of feature models (NA, KC, SS, AW), pp. 106–115.
- ECMFA-2011-PfeifferW
- Taming the Confusion of Languages (RHP, AW), pp. 312–328.
- GTTSE-2011-PfeifferW #component #interface
- Tengi Interfaces for Tracing between Heterogeneous Components (RHP, AW), pp. 431–447.
- ICSE-2011-SheLBWC #feature model #modelling #reverse engineering
- Reverse engineering feature models (SS, RL, TB, AW, KC), pp. 461–470.
- LATA-2011-DelahayeLLPW #markov #problem
- Decision Problems for Interval Markov Chains (BD, KGL, AL, MLP, AW), pp. 274–285.
- MoDELS-2011-FahrenbergLW #difference #exclamation #semantics
- Vision Paper: Make a Difference! (Semantically) (UF, AL, AW), pp. 490–500.
- VMCAI-2011-DelahayeKLLPSW #automaton #probability
- Abstract Probabilistic Automata (BD, JPK, KGL, AL, MLP, FS, AW), pp. 324–339.
- ASE-2010-BergerSLWC #modelling #operating system #variability
- Variability modeling in the real: a perspective from the operating systems domain (TB, SS, RL, AW, KC), pp. 73–82.
- SLE-2010-BakCW #metamodelling
- Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled (KB, KC, AW), pp. 102–122.
- SPLC-2010-BergerSLCW #product line #scalability
- Feature-to-Code Mapping in Two Large Product Lines (TB, SS, RL, KC, AW), pp. 498–499.
- SPLC-2010-LotufoSBCW #evolution #kernel #linux #variability
- Evolution of the Linux Kernel Variability Model (RL, SS, TB, KC, AW), pp. 136–150.
- SPLC-2009-MendoncaWC #analysis #feature model #modelling #satisfiability
- SAT-based analysis of feature models is easy (MM, AW, KC), pp. 231–240.
- BX-2008-Wasowski #modelling
- Models and Transformations Short Talk 4 (AW), p. 25.
- FoSSaCS-2008-AntonikHLNW #complexity #problem #specification
- Complexity of Decision Problems for Mixed and Modal Specifications (AA, MH, KGL, UN, AW), pp. 112–126.
- GPCE-2008-MendoncaWCC #compilation #feature model #modelling #performance #scalability
- Efficient compilation techniques for large scale feature models (MM, AW, KC, DDC), pp. 13–22.
- MoDELS-2008-HessellundW #interface #metamodelling #modelling
- Interfaces and Metainterfaces for Models and Metamodels (AH, AW), pp. 401–415.
- MoDELS-2008-JanotaKW #constraints #interactive #semantics #syntax
- Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax (MJ, VK, AW), pp. 431–445.
- SPLC-2008-CzarneckiSW #feature model #modelling
- Sample Spaces and Feature Models: There and Back Again (KC, SS, AW), pp. 22–31.
- ESOP-2007-LarsenNW #automaton #interface #product line
- Modal I/O Automata for Interface and Product Line Theories (KGL, UN, AW), pp. 64–79.
- MoDELS-2007-HessellundCW #development #domain-specific language #multi
- Guided Development with Multiple Domain-Specific Languages (AH, KC, AW), pp. 46–60.
- SPLC-2007-CzarneckiW #diagrams #feature model #logic
- Feature Diagrams and Logics: There and Back Again (KC, AW), pp. 23–34.
- FM-2006-LarsenNW #automaton #interface
- Interface Input/Output Automata (KGL, UN, AW), pp. 82–97.
- SAC-2006-MeerWA #bound #composition #interactive #performance
- Efficient interactive configuration of unbounded modular systems (ERvdM, AW, HRA), pp. 409–414.
- FASE-2005-LarsenLW #source code #specification
- Color-Blind Specifications for Transformations of Reactive Synchronous Programs (KGL, UL, AW), pp. 160–174.
- LCTES-2004-Wasowski
- Flattening statecharts without explosions (AW), pp. 257–266.
- SPLC-2004-Wesowski #automation #generative #product line #strict
- Automatic Generation of Program Families by Model Restrictions (AW), pp. 73–89.
- LCTES-2003-Wasowski #on the #performance #synthesis
- On efficient program synthesis from statecharts (AW), pp. 163–170.
- ASE-2015-Iosif-LazarADSS #case study #design #experience #legacy #validation
- Experiences from Designing and Validating a Software Modernization Transformation (E) (AFIL, ASAS, ASD, JES, KS, AW), pp. 597–607.
- SLE-2016-Al-SibahiDW #execution #symbolic computation
- Symbolic execution of high-level transformations (ASAS, ASD, AW), pp. 207–220.
- ESEC-FSE-2018-HebigSBPW #atl #empirical #model transformation #qvt #transformation language
- Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT (RH, CS, TB, JKP, AW), pp. 445–455.
- GPCE-2018-Al-SibahiJDW #induction #refinement #verification
- Verification of high-level transformations with inductive refinement types (ASAS, TPJ, ASD, AW), pp. 147–160.
- FASE-2017-DimovskiW #abstraction #model checking #refinement #variability
- Variability-Specific Abstraction Refinement for Family-Based Model Checking (ASD, AW), pp. 406–423.
- FASE-2019-DimovskiLW #abstraction #game studies #model checking #refinement #variability
- Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL (ASD, AL, AW), pp. 192–209.