2008 |
18 | EE | Adam Antonik,
Michael Huth,
Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Complexity of Decision Problems for Mixed and Modal Specifications.
FoSSaCS 2008: 112-126 |
17 | EE | Marcílio Mendonça,
Andrzej Wasowski,
Krzysztof Czarnecki,
Donald D. Cowan:
Efficient compilation techniques for large scale feature models.
GPCE 2008: 13-22 |
16 | EE | Anders Hessellund,
Andrzej Wasowski:
Interfaces and Metainterfaces for Models and Metamodels.
MoDELS 2008: 401-415 |
15 | EE | Mikolás Janota,
Victoria Kuzina,
Andrzej Wasowski:
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax.
MoDELS 2008: 431-445 |
14 | EE | Krzysztof Czarnecki,
Steven She,
Andrzej Wasowski:
Sample Spaces and Feature Models: There and Back Again.
SPLC 2008: 22-31 |
2007 |
13 | EE | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
On Modal Refinement and Consistency.
CONCUR 2007: 105-119 |
12 | EE | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Modal I/O Automata for Interface and Product Line Theories.
ESOP 2007: 64-79 |
11 | EE | Tarik Hadzic,
Andrzej Wasowski,
Henrik Reif Andersen:
Techniques for Efficient Interactive Configuration of Distribution Networks.
IJCAI 2007: 100-105 |
10 | EE | Anders Hessellund,
Krzysztof Czarnecki,
Andrzej Wasowski:
Guided Development with Multiple Domain-Specific Languages.
MoDELS 2007: 46-60 |
9 | EE | Krzysztof Czarnecki,
Andrzej Wasowski:
Feature Diagrams and Logics: There and Back Again.
SPLC 2007: 23-34 |
8 | EE | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Modeling software product lines using color-blind transition systems.
STTT 9(5-6): 471-487 (2007) |
2006 |
7 | EE | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Interface Input/Output Automata.
FM 2006: 82-97 |
6 | EE | Erik Roland van der Meer,
Andrzej Wasowski,
Henrik Reif Andersen:
Efficient interactive configuration of unbounded modular systems.
SAC 2006: 409-414 |
2005 |
5 | EE | Kim Guldstrand Larsen,
Ulrik Larsen,
Andrzej Wasowski:
Color-Blind Specifications for Transformations of Reactive Synchronous Programs.
FASE 2005: 160-174 |
4 | EE | Andrzej Wasowski:
On Succinctness of Hierarchical State Diagrams in Absence of Message Passing.
Electr. Notes Theor. Comput. Sci. 115: 89-97 (2005) |
2004 |
3 | EE | Andrzej Wasowski:
Flattening statecharts without explosions.
LCTES 2004: 257-266 |
2003 |
2 | EE | Andrzej Wasowski:
On efficient program synthesis from statecharts.
LCTES 2003: 163-170 |
2001 |
1 | | 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 |