Andrzej Wasowski

Kacper Bak, Dina Zayan, Krzysztof Czarnecki, Michal Antkiewicz, Zinovy Diskin, Andrzej Wasowski, Derek Rayside: Example-driven modeling: model = abstractions + examples. ICSE 2013: 1273-1276

Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski: Maximizing Entropy over Markov Processes. LATA 2013: 128-140

Thorsten Berger, Ralf Rublack, Divya Nair, Joanne M. Atlee, Martin Becker, Krzysztof Czarnecki, Andrzej Wasowski: A survey of variability modeling in industrial practice. VaMoS 2013: 7

Leonardo Teixeira Passos, Krzysztof Czarnecki, Sven Apel, Andrzej Wasowski, Christian Kästner, Jianmei Guo: Feature-oriented software evolution. VaMoS 2013: 17

Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski: Quantifying Information Leakage of Randomized Protocols. VMCAI 2013: 68-87

Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Consistency and refinement for Interval Markov Chains. J. Log. Algebr. Program. 81(3): 209-226 (2012)

Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: New results for Constraint Markov Chains. Perform. Eval. 69(7-8): 379-401 (2012)

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski: Compositional verification of real-time systems using Ecdar. STTT 14(6): 703-720 (2012)

Rolf-Helge Pfeiffer, Andrzej Wasowski: TexMo: A Multi-language Development Environment. ECMFA 2012: 178-193

Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Moving from Specifications to Contracts in Component-Based Design. FASE 2012: 43-58

Rolf-Helge Pfeiffer, Andrzej Wasowski: Cross-Language Support Mechanisms Significantly Aid Software Development. MoDELS 2012: 168-184

Nele Andersen, Krzysztof Czarnecki, Steven She, Andrzej Wasowski: Efficient synthesis of feature models. SPLC (1) 2012: 106-115

Øystein Haugen, Andrzej Wasowski, Krzysztof Czarnecki: CVL: common variability language. SPLC (2) 2012: 266-267

Krzysztof Czarnecki, Paul Grünbacher, Rick Rabiser, Klaus Schmid, Andrzej Wasowski: Cool features and tough decisions: a comparison of variability modeling approaches. VaMoS 2012: 173-182

Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski: Refinement for Transition Systems with Responses. FIT 2012: 48-55

Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Constraint Markov Chains. Theor. Comput. Sci. 412(34): 4373-4404 (2011)

Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski: New Results on Abstract Probabilistic Automata. ACSD 2011: 118-127

Rolf-Helge Pfeiffer, Andrzej Wasowski: Taming the Confusion of Languages. ECMFA 2011: 312-328

Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: A Modal Specification Theory for Components with Data. FACS 2011: 61-78

Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski: Robust Specification of Real Time Components. FORMATS 2011: 129-144

Rolf-Helge Pfeiffer, Andrzej Wasowski: Tengi Interfaces for Tracing between Heterogeneous Components. GTTSE 2011: 431-447

Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, Krzysztof Czarnecki: Reverse engineering feature models. ICSE 2011: 461-470

Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Decision Problems for Interval Markov Chains. LATA 2011: 274-285

Uli Fahrenberg, Axel Legay, Andrzej Wasowski: Vision Paper: Make a Difference! (Semantically). MoDELS 2011: 490-500

Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: APAC: A Tool for Reasoning about Abstract Probabilistic Automata. QEST 2011: 151-152

Leonardo Teixeira Passos, Thorsten Berger, Marko Novakovic, Krzysztof Czarnecki, Yingfei Xiong, Andrzej Wasowski: A study of non-Boolean constraints in variability models of an embedded operating system. SPLC Workshops 2011: 2

Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski: Abstract Probabilistic Automata. VMCAI 2011: 324-339

Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski: Modal and mixed specifications: key decision problems and their complexities. Mathematical Structures in Computer Science 20(1): 75-103 (2010)

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. ATVA 2010: 365-370

Rolf-Helge Pfeiffer, Andrzej Wasowski: An aspect-based traceability mechanism for domain specific languages. ECMFA-TW 2010: 47-52

Andrzej Wasowski, Dragos Truscan, Ludwik Kuzniarz: 8th Nordic Workshop on Model-Driven Software Engineering (NW-MODE 2010). ECSA Companion Volume 2010: 243-244

Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Timed I/O automata: a complete specification theory for real-time systems. HSCC 2010: 91-100

Thorsten Berger, Steven She, Rafael Lotufo, Andrzej Wasowski, Krzysztof Czarnecki: Variability modeling in the real: a perspective from the operating systems domain. ASE 2010: 73-82

Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Compositional Design Methodology with Constraint Markov Chains. QEST 2010: 123-132

Kacper Bak, Krzysztof Czarnecki, Andrzej Wasowski: Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled. SLE 2010: 102-122

Rafael Lotufo, Steven She, Thorsten Berger, Krzysztof Czarnecki, Andrzej Wasowski: Evolution of the Linux Kernel Variability Model. SPLC 2010: 136-150

Thorsten Berger, Steven She, Rafael Lotufo, Krzysztof Czarnecki, Andrzej Wasowski: Feature-to-Code Mapping in Two Large Product Lines. SPLC 2010: 498-499

Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, Krzysztof Czarnecki: The Variability Model of The Linux Kernel. VaMoS 2010: 45-51

Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski: New Results on Timed Specifications. WADT 2010: 175-192

Axel Legay, Andrzej Wasowski: A Few Considerations on Structural and Logical Composition in Specification Theories. FIT 2010: 49-54

Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: EXPTIME-complete Decision Problems for Modal and Mixed Specifications. Electr. Notes Theor. Comput. Sci. 242(1): 19-33 (2009)

Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. FMCO 2009: 290-310

Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki: SAT-based analysis of feature models is easy. SPLC 2009: 231-240

Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski: 20 Years of Modal and Mixed Specifications. Bulletin of the EATCS 95: 94-129 (2008)

Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Complexity of Decision Problems for Mixed and Modal Specifications. FoSSaCS 2008: 112-126

Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki, Donald D. Cowan: Efficient compilation techniques for large scale feature models. GPCE 2008: 13-22

Anders Hessellund, Andrzej Wasowski: Interfaces and Metainterfaces for Models and Metamodels. MoDELS 2008: 401-415

Mikolás Janota, Victoria Kuzina, Andrzej Wasowski: Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax. MoDELS 2008: 431-445

Krzysztof Czarnecki, Steven She, Andrzej Wasowski: Sample Spaces and Feature Models: There and Back Again. SPLC 2008: 22-31

Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Modeling software product lines using color-blind transition systems. STTT 9(5-6): 471-487 (2007)

Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: On Modal Refinement and Consistency. CONCUR 2007: 105-119

Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Modal I/O Automata for Interface and Product Line Theories. ESOP 2007: 64-79

Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen: Techniques for Efficient Interactive Configuration of Distribution Networks. IJCAI 2007: 100-105

Anders Hessellund, Krzysztof Czarnecki, Andrzej Wasowski: Guided Development with Multiple Domain-Specific Languages. MoDELS 2007: 46-60

Krzysztof Czarnecki, Andrzej Wasowski: Feature Diagrams and Logics: There and Back Again. SPLC 2007: 23-34

Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Interface Input/Output Automata. FM 2006: 82-97

Erik Roland van der Meer, Andrzej Wasowski, Henrik Reif Andersen: Efficient interactive configuration of unbounded modular systems. SAC 2006: 409-414

Andrzej Wasowski: On Succinctness of Hierarchical State Diagrams in Absence of Message Passing. Electr. Notes Theor. Comput. Sci. 115: 89-97 (2005)

Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski: Color-Blind Specifications for Transformations of Reactive Synchronous Programs. FASE 2005: 160-174

Andrzej Wasowski: Flattening statecharts without explosions. LCTES 2004: 257-266

Andrzej Wasowski: Automatic Generation of Program Families by Model Restrictions. SPLC 2004: 73-89

Andrzej Wasowski: On efficient program synthesis from statecharts. LCTES 2003: 163-170

Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Maciej Michalewicz, Marek A. Bednarczyk, Wieslaw Pawlowski, Andrzej Wasowski: Bayesian Network Mining System. Intelligent Information Systems 2001: 179-193