Search the dblp DataBase

Publications of Author

1. Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski
   Color-Blind Specifications for Transformations of Reactive Synchronous Programs. [Citation Graph (0, 0)][DBLP]
   FASE, 2005, pp:160-174 [Conf]
   
2. Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
   Interface Input/Output Automata. [Citation Graph (0, 0)][DBLP]
   FM, 2006, pp:82-97 [Conf]
   
3. Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Maciej Michalewicz, Marek A. Bednarczyk, Wieslaw Pawlowski, Andrzej Wasowski
   Bayesian Network Mining System. [Citation Graph (0, 0)][DBLP]
   Intelligent Information Systems, 2001, pp:179-193 [Conf]
   
4. Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen
   Techniques for Efficient Interactive Configuration of Distribution Networks. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2007, pp:100-105 [Conf]
   
5. Andrzej Wasowski
   On efficient program synthesis from statecharts. [Citation Graph (0, 0)][DBLP]
   LCTES, 2003, pp:163-170 [Conf]
   
6. Andrzej Wasowski
   Flattening statecharts without explosions. [Citation Graph (0, 0)][DBLP]
   LCTES, 2004, pp:257-266 [Conf]
   
7. Erik Roland van der Meer, Andrzej Wasowski, Henrik Reif Andersen
   Efficient interactive configuration of unbounded modular systems. [Citation Graph (0, 0)][DBLP]
   SAC, 2006, pp:409-414 [Conf]
   
8. Andrzej Wasowski
   On Succinctness of Hierarchical State Diagrams in Absence of Message Passing. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:89-97 [Journal]
   
9. Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
   On Modal Refinement and Consistency. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2007, pp:105-119 [Conf]
   
10. Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
    Modal I/O Automata for Interface and Product Line Theories. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:64-79 [Conf]
    
11. Anders Hessellund, Krzysztof Czarnecki, Andrzej Wasowski
    Guided Development with Multiple Domain-Specific Languages. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2007, pp:46-60 [Conf]
    
12. 
    ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. [Citation Graph (, )][DBLP]
    
    
13. 
    Complexity of Decision Problems for Mixed and Modal Specifications. [Citation Graph (, )][DBLP]
    
    
14. 
    Efficient compilation techniques for large scale feature models. [Citation Graph (, )][DBLP]
    
    
15. 
    Timed I/O automata: a complete specification theory for real-time systems. [Citation Graph (, )][DBLP]
    
    
16. 
    Variability modeling in the real: a perspective from the operating systems domain. [Citation Graph (, )][DBLP]
    
    
17. 
    Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax. [Citation Graph (, )][DBLP]
    
    
18. 
    Interfaces and Metainterfaces for Models and Metamodels. [Citation Graph (, )][DBLP]
    
    
19. 
    Feature Diagrams and Logics: There and Back Again. [Citation Graph (, )][DBLP]
    
    
20. 
    Sample Spaces and Feature Models: There and Back Again. [Citation Graph (, )][DBLP]
    
    
21. 
    SAT-based analysis of feature models is easy. [Citation Graph (, )][DBLP]
    
    
22. 
    Evolution of the Linux Kernel Variability Model. [Citation Graph (, )][DBLP]
    
    
23. 
    Feature-to-Code Mapping in Two Large Product Lines. [Citation Graph (, )][DBLP]
    
    
24. 
    8th Nordic Workshop on Model-Driven Software Engineering (NW-MODE 2010). [Citation Graph (, )][DBLP]
    
    
25. 
    The Variability Model of The Linux Kernel. [Citation Graph (, )][DBLP]
    
    
26. 
    EXPTIME-complete Decision Problems for Modal and Mixed Specifications. [Citation Graph (, )][DBLP]