Home Papers & Reports Selected Talks, Posters, Lectures, etc.

Publications of Andrzej Wąsowski

Following documents are freely available for noncommercial use. Copyrights belong to authors unless indicated otherwise. Commercial use is allowed under copyright conditions (differs for various papers). In general it is free to cite the papers and use the ideas. It gets tricky if you want to use the actual text, figures, etc.

Papers, Journal Articles, and Reports

Krzysztof Czarnecki, Paul Grünbacher, Rick Rabiser, Klaus Schmid, Andrzej Wąsowski. Cool features and tough decisions: a comparison of variability modeling approaches. VaMoS 2012: 9 pages. [accepted]

Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wąsowski. New Results for Constraint Markov Chains. International Journal on Performance Evaluation. [accepted]

M. Carbone, T. Hildebrandt, H. A. Lopez, G. Perrone, A. Wasowski. Refinement for Transition Systems with ̨Responses. In: 4th International Workshop on Foundations of Interface Technologies 2012. [accepted].

Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wąsowski. New Results on Abstract Probabilistic Automata. In: ACSD 2011. [accepted]

Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. M. and Wasowski, A. New Results on Timed Specifications. Lecture Notes in Computer Science: Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2010. Springer 18 p.

Uli Fahrenberg, Axel Legay, Andrzej Wąsowski. Vision Paper: Make a Difference! (Semantically) In: MODELS 2011

Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wąsowski. APAC: a tool for reasoning about Abstract Probabilistic Automata. In: QEST 2011. [accepted]

Øystein Haugen, Krzysztof Czarnecki, Jean-Marc Jezequel. Birger Møller Pedersen. Andrzej Wąsowski (Editors). Variability for You: Proceedings of VARY International Workshop affiliated with ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS'11). IT University Technical Report no. TR-2011-144. October 2011.

Rolf-Helge Pfeiffer and Andrzej Wąsowski. Taming the Confusion of Languages. In: ECMFA 2011 [accepted]

Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wąsowski. Robust Specification of Real Time Components. In: FORMATS 2011. [accepted]

Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wąsowski. Decision Problems for Interval Markov Chains. In: LATA 2011: [accepted]

Leonardo Teixeira Passos, Thorsten Berger, Marko Novakovic, Krzysztof Czarnecki. Yingfei Xiong, Andrzej Wąsowski. A study of non-Boolean constraints in variability models of an embedded operating system. In: FOSD Workshop 2011.

Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wąsowski. Constraint Markov Chains. In: Theoretical Computer Science 412(34): 4373-4404 (2011) [accepted]

Sebastian Bauer, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wąsowski. A Modal Specification Theory for Components with Data. In: FACS 2011. [accepted, best-paper award]

Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wąsowski, Krzysztof Czarnecki. Reverse Engineering Feature Models. In: ICSE 2011 [accepted, 14%]

Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wąsowski. Abstract Probabilistic Automata. In: VMCAI 2011. [accepted]

Thorsten Berger, Steven She, Rafael Lotufo, Krzysztof Czarnecki, Andrzej Wąsowski. Feature-to-Code Mapping in Two Large Product Lines. In SPLC 2010: LNCS 6287 (2 pages). Springer.

Kacper Bak, Krzysztof Czarnecki, Andrzej Wąsowski. Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled. In: SLE 2010 [accepted]

Axel Legay, Andrzej Wąsowski. A Few Considerations on Structural and Logical Composition in Specification Theories. In: FIT 2010 [accepted]

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

Thorsten Berger, Steven She, Rafael Lotufo, Andrzej Wąsowski, Krzysztof Czarnecki. Variability Modeling in The Real: A Perspective from The Operating Systems Domain. In: Automated Software Engineering (ASE) 2010. Antwerp, Belgium. [accepted, 18%]

Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wąsowski. ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. Accepted for ATVA 2010.

Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wąsowski. Compositional Design Methodology with Constraint Markov Chains In: 7th International Conference on Quantitative Evaluation of SysTems (QEST) 2010. To appear in IEEE Computer Society’s Conference Publishing Services.[accepted]

Rolf-Helge Pfeiffer and Andrzej Wąsowski. An Aspect-based Traceability Mechanism for Domain Specific Languages. In: ECMFA Traceability Workshop 2010. To appear in ACM DL. [accepted]

Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wąsowski. Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. In: Formal Methods for Components and Objects (FMCO'09). To appear in LNCS in 2010. [accepted]

Rafael Lotufo, Steven She, Thorsten Berger, Krzysztof Czarnecki, Andrzej Wąsowski. Evolution of the Linux Kernel Variability Model. In: SPLC 2010. LNCS 6287. Springer

Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wąsowski. Timed I/O Automata: A Complete Specification Theory for Real-time Systems. In: The 13th International Conference on Hybrid Systems: Computation and Control. April 12-16, Stockholm, Sweden. Part of CPSWeek 2010. [accepted, 28%]

Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wąsowski, Krzysztof Czarnecki. The Variability Model of The Linux Kernel. In: VaMoS Fourth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS 2010). Linz, Austria — January 27-29, 2010. [accepted]

Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski. Modal and Mixed Specifications: Key Decision Problems and their Complexities. To appear in Mathematical Structures in Computer Science (a special issue devoted to EXPRESS'08).

Marcílio Mendonça, Andrzej Wąsowski, Krzysztof Czarnecki. SAT-based Analysis of Feature Models is Easy. In: 13th International Conference on Software Product Lines (SPLC 2009). San Francisco, CA, USA, 24-28 August, 2009 [authors' version pdf]

Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski. EXPTIME-complete Decision Problems for Mixed and Modal Specifications. 15th International Workshop on Expressiveness in Concurrency (EXPRESS'08). Electronic Notes in Theoretical Computer Science Volume 242, Issue 1, 9 July 2009, Pages 19-33. 2009 © Elsevier [the official version at Science Direct, authors' version]

Anders Hessellund, Andrzej Wąsowski. Interfaces and Metainterfaces for Models and Metamodels. In: ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS'08). Toulouse, France, 28 September - 3 October, 2008 © Springer Verlag [the official version at Springerlink, authors' version]

Mikoláš Janota, Victoria Kuzina, Andrzej Wąsowski. Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax. In: ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS'08). Toulouse, France, 28 September - 3 October, 2008 © Springer Verlag [the official version at Springerlink, author's version]

Marcílio Mendonça, Andrzej Wąsowski, Krzysztof Czarnecki, Donald Cowan. Efficient Compilation Techniques for Large Scale Feature Models. In: 7th International Conference on Generative Programming and Component Engineering (GPCE 2008). Nashville, Tennessee, 19-23 September, 2008 © ACM Press. [the official version, authors' version]

Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski. 20 Years of Modal and Mixed Specifications. In: Concurrency Column of Bulletin of EATCS, June 2008. vol.95. EATCS. [The entire issue—the official version, authors' version]

Krzysztof Czarnecki, Steven She, Andrzej Wąsowski. Sample Spaces and Feature Models: There and Back Again. In: 12th International Software Product Line Conference (SPLC 2008). Limerick, Ireland, 8-12 September, 2008 © IEEE Press. [official version, author's version]

Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski. Complexity of Decision Problems for Mixed and Modal Specifications. In: 11th International Conference on Foundations of Software Science and Computational Structures (FOSSACS), part of ETAPS 2008. Lecture Notes in Computer Science vol. 4962. © Springer Verlag. [official version, author's version]

Anders Hessellund, Krzysztof Czarnecki, Andrzej Wąsowski. Guided Development with Multiple Domain-Specific Languages. In: Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 — October 5, 2007. Proceedings. LNCS vol. 4735 © Springer Verlag [the paper at Springerlink, a local pdf]

Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski. On Modal Refinement and Consistency. In: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings. LNCS vol. 4703 © Springer Verlag [the paper at Springerlink, a local pdf, a local gzipped ps, slides]

Krzysztof Czarnecki, Andrzej Wąsowski. Feature Diagrams and Logics: There and Back Again. In: 11th International Software Product Line Conference (SPLC 2007) Kyoto, Japan, 10-14 September, 2007 © IEEE Press. [ the official version, authors' version, slides]

Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski. Modeling Software Product Lines Using Color-blind Transition Systems. In: International Journal on Software Tools for Technology Transfer (STTT). Volume 9, No. 5-6, October 2007. pp. 471—487. © Springer-Verlag [the paper at Springerlink]

Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski. Modal I/O Automata for Interface and Product Line Theories. In: Programming Languages and Systems. 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 — April 1, 2007. Proceedings. LNCS 4421. © Springer Verlag [the paper at Springerlink, a local preprint in pdf ]

Tarik Hadzic, Andrzej Wąsowski, Henrik Reif Andersen. Techniques for Efficient Interactive Configuration of Distribution Networks. In: Manuela M. Veloso (Ed.) Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'07). Hyderabad, India, January 2007 [local pdf]

Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski. Interface Input/Output Automata. In: 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings. LNCS 4085, © Springer Verlag [the official version at Springer's, local pdf, gzipped ps]

Erik van der Meer, Andrzej Wąsowski, Henrik Reif Andersen. Efficient Interactive Configuration of Unbounded Modular Systems. In: Proceedings of ACM Symposium on Applied Computing (SAC), Dijon, France, April 2006. [pdf]

© ACM, 2006. This is the authors' version, posted here by permission of ACM for your personal use. Not for redistribution. The definitive version is available here.

Andrzej Wąsowski. Code Generation and Model Driven Development for Constrained Embedded Software. PhD dissertation. IT University of Copenhagen. January 2005, with later corrections. The committee consisted of Jens Christian Godskesen (ITU), Alan Mycroft (Cambridge) and Wang Yi (Uppsala). [pdf, gzipped ps]

Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski. Interface Input/Output Automata: Splitting Assumptions from Guarantees. In: Foundations of Interface Technologies (FIT 2005), affiliated workshop of CONCUR 2005. San Francisco, CA, USA, August 20, 2005. Preliminary Proceedings. To be published in ENTCS. [pdf, gzipped ps] [Obsolete, see the FM'2006 version above]

Kim G. Larsen, Ulrik Larsen, Andrzej Wąsowski. Color-blind Specifications for Transformations of Reactive Synchronous Programs. In: Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. LNCS 3442, © Springer Verlag [the paper on Springer's metapress, a local preprint in pdf, or gzipped ps]

A. Wąsowski. Automatic Generation of Program Families by Model Restrictions. In Robert L. Nord (Ed.) Software Product Lines, Third International Conference, SPLC 2004, Boston, MA, USA, August/September 2004. Lecture Notes in Computer Science, vol. 3154 © Springer Verlag [the paper at Springer's website, a local preprint pdf, slides 4 on A4: pdf, gzipped ps]

A. Wąsowski. Flattening Statecharts without Explosions. ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), June 2004, Washington, DC.[gzipped ps, pdf, slides pdf].

© ACM, 2004. This is the author's version, posted here by permission of ACM for your personal use. Not for redistribution. The definitive version is here.

A. Wąsowski. Succinctness of Hierarchical State Diagrams in Absence of Message Passing. ITU Technical Report Series. TR-2004-42, February 2004. ISBN 87-7949-063-8. An extended version of the SFEDL 2004 paper. [pdf, gzipped ps].

A. Wąsowski. On Succinctness of Hierarchical State Diagrams in Absence of Message Passing. In: Workshop on Semantic Foundations of Engineering Design Languages (SFEDL). A satellite workshop of ETAPS. April 2004, Barcelona, Spain. ENTCS vol. 115 [the paper at Science Direct, a local preprint pdf, see an extended version in ITU TR-2004-42 above].

Kim G. Larsen, Ulrik Larsen, Brian Nielsen, Arne Skou, Andrzej Wąsowski. Danfoss EKC Trial Project Deliverables. BRICS Report Series, vol. RS-03-48. Denmark, December 2003. [pdf, from BRICS' site]

A. Wąsowski. On Efficient Program Synthesis from Statecharts. ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). June 2003, San Diego.[gzipped ps, pdf, slides pdf].

© ACM, 2003. This is the author's version, posted here by permission of ACM for your personal use. Not for redistribution. The definitive version is here.

A. Wąsowski, P. Sestoft. Compile-time Scope Resolution for Statecharts Transitions. Workshop on Critical Systems Development with UML (CSDUML). Dresden, Germany. September 2002. [gzipped ps, pdf, slides pdf, 4 on A4 pdf].

A. Wąsowski, P. Sestoft. On the Formal Semantics of VisualSTATE Statecharts. Technical Report TR-2002-19. IT University, Copenhagen, Denmark. September 2002. [gzipped ps, pdf, from IT-C site].

M.A.Klopotek, S.T.Wierzchon, Maciej Michalewicz, Marek Bednarczyk, Wieslaw Pawlowski, Andrzej Wasowski. Bayesian Network Mining System. In: M.A.Klopotek, S.T.Wierzchon, M.Michalewicz (eds): Intelligent Information Systems 2001. Advances in Soft Computing. Physicca/Springer Verlag, Heidelberg New York 2001. ISBN-3-7908-1407-5. pp. 179-193. [This paper uses results from my master thesis]

Andrzej Wąsowski. Zdalna generacja sieci bayesowskich z baz danych. Department of Mathematics and Information Science. Warsaw University of Technology. August 2000. [My master's thesis, in Polish pdf, abstract-poster in polish A3 ps.gz pdf]

Selected Talks, Posters, Lectures, Minor reports (volatile stuff)

Axel Legay, Andrzej Wąsowski. Notes on Structural and Logical Composition in Specification Theories (abstract). Presentation at Workshop on Foundations of Interface Technologies (FIT'10).

Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wąsowski. Decision Problems for Interval Markov Chains (abstract). Presentation accepted for NWPT 2010.

Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wąsowski. An Interface Theory for Real Time systems. Presentation accepted for WADT 2010. (2 pages)

A. Wąsowski. Embedded Q: Synergy Between Existing Quality Assurance and Accreditation Requirements, at ACE Denmark Conference 'Erfaringer fra pilot - til turnusakkrediteringer'. Odense, 12 Nov 2008. [slides in pdf]

K. G. Larsen, A. Skou, B. Nielsen, U. Larsen, A. Wąsowski. Simulation & Code Generation for EKC Thermostat model Phase 0 Working Meeting 14 January 2004 CISS. 14 January 2004. Aalborg, Denmark. This excerpt from the internal documentation of the project contains a list of my favourite options to IAR visualSTATE coder, SCOPE and GCC used when generating and compiling production quality code out of statechart models. [slides 4 on A4 pdf]

A. Wąsowski. Modeling Reactive Systems with IAR visualSTATE statecharts. (The wrist watch talk) A tutorial for students at Technical University of Danmark(DTU). 27 November 2003. Lyngby, Denmark. [slides 4-on-A4 ps.gz pdf, exercise pdf, wrist watch model .vsp .vsr]

A. Wąsowski. Modeling, Simulation, Verification & Code Generation with IAR visualSTATE. (The air conditioner talk) A tutorial like presentation at the meeting with DANFOSS at CISS. 21 November 2003. Aalborg, Denmark. [slides pdf, 4 on A4 ps.gz]

A. Wąsowski. Crossing the Gap between Semantics and Practice: Crafting a Compiler for Statecharts. Nordic Workshop on Programming Theory (NWPT). Tallin, Estonia. November 2002. ISBN 9985-894-50-2. [abstract gzipped ps, pdf, slides pdf, 4 on A4 pdf]