Andrzej Wasowski

Research output

Research output per year 2008 2010 2011 2012 2013 2014 2015 2018 2019 2020 2023

• 65 Article in proceedings
• 40 Journal article
• 14 Conference article
• 5 Book chapter
• 14 More
  • 3 Editorial
  • 3 Other contribution
  • 2 Report
  • 2 Conference abstract for conference
  • 1 Book
  • 1 Report chapter
  • 1 Paper
  • 1 Poster

Research output per year

Research output per year

Search results

• 2022

  A Specification Logic for Programs in the Probabilistic Guarded Command Language

  Pardo, R., Broch Johnsen, E., Schaefer, I. & Wasowski, A., Oct 2022, A Specification Logic for Programs in the Probabilistic Guarded Command Language. Springer, Cham, Vol. 13572. 19 p. (Proceedings of 19th International Colloquium on Theoretical Aspects of Computing - ICTAC 2022).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  File

  • Semantics 100%
  • Specifications 94%
  • Specification languages 83%

• Belief-based fault recovery for marine robotics

  Jeremy Paul Coffelt, Mohammadi Kashani, M., Wasowski, A. & Peter Kampmann, 16 Aug 2022, The Eighth Joint Ontology Workshops (JOWO’22), August 15-19, 2022, Jönköping University, Sweden. Vol. Vol-3249. 14 p. paper3-RobOntics

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  • Remotely operated vehicles 100%
  • Robotics 58%
  • Health 56%
  • Cameras 54%
  • Recovery 52%
• 2020

  How Do FOSS Communities Decide to Accept Pull Requests?

  Alami, A., Cohn, M. & Wasowski, A., 15 Apr 2020, EASE '20: Proceedings of the Evaluation and Assessment in Software Engineering. Association for Computing Machinery, p. 220-229 10 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • software 100%
  • software development 65%
  • sustainability 38%
  • method 11%
• 2019

  Affiliated Participation in Open Source Communities

  Alami, A. & Wasowski, A., 19 Sep 2019, The 13th edition of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) . IEEE, 12 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Open Sources 100%
  • participation 51%
  • software 47%
  • significant acquisition 26%
  • distribution strategy 24%

• Identifying Redundancies in Fork-based Development

  Ren, L., Zhou, S., Kästner, C. & Wasowski, A., 2019, The 26th IEEE International Conference on Software Analysis Evolution and Reengineering, Hangzhou, China, Februrary 24-27, 2019. IEEE Press

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Redundancy 100%
  • Machine learning 86%

• Intention-based integration of software variants

  Lillack, M., Stanciulescu, S., Hedman, W., Berger, T. & Wasowski, A., 2019, Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. IEEE, p. 831-842 (Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Merging 100%
  • Cloning 68%
  • Experiments 36%
  • Set theory 32%
  • Costs 19%

• Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT

  Hebig, R., Seidl, C., Berger, T., Kook Pedersen, J. & Wasowski, A., 2019, Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Gesellschaft fur Informatik (GI), p. 91-92 (Lecture Notes in Informatics).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Glass 100%
  • Experiments 44%
  • Copying 31%
  • Software engineering 20%

• Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL

  Dimovski, A., Legay, A. & Wasowski, A., 2019, Fundamental Approaches to Software Engineering. FASE 2019. Springer, p. 192-209 (Lecture Notes in Computer Science, Vol. 11424).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Model checking 100%
  • Explosions 14%
  • Semantics 10%
  • Costs 6%

• Why Does Code Review Work for Open Source Software Communities?

  Alami, A., Cohn, M. & Wasowski, A., 25 May 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE). IEEE

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Open source software 100%
  • Ethical aspects 66%
  • Social aspects 16%
• 2018

  Going Beyond Obscurity: Organizational Approaches to Data Anonymization

  Hargitai, V., Shklovski, I. & Wasowski, A., 2018, Proceedings of the ACM on Human-Computer Interaction - CSCW. Association for Computing Machinery, Vol. 2. (Proceedings of the ACM on Human-Computer Interaction - CSCW).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • anonymity 100%
  • privacy 75%
  • stakeholder 62%
  • decision making 57%
  • responsibility 49%

• Identifying Features in Forks

  Zhou, S., Stanciulescu, S., Lessnich, O., Xiong, Y., Wasowski, A. & Kästner, C., 2018, Proceedings of the 40th ACM/IEEE International Conference on Software Engineering (ICSE2018), Gothenburg, Sweden. IEEE, 12 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Electric network analysis 100%
  • Information retrieval 95%
  • Industry 43%

• Influencers of Quality Assurance in an Open Source Community

  Alami, A., Dittrich, Y. & Wasowski, A., 27 May 2018, Proceedings of the 11th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE '18). Association for Computing Machinery, p. 61-68 8 p. ICSE-WS-CHASE-22

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Open Source 100%
  • Quality Assurance 96%
  • Robotics 55%
  • Robot 36%
  • Alignment 27%

• Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT

  Hebig, R., Berger, T., Seidl, C., Kook Pedersen, J. & Wasowski, A., 2018, Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018. Association for Computing Machinery, p. 445-455 11 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Glass 100%
  • Experiments 44%
  • Copying 31%
  • Software engineering 20%

• Verification of high-level transformations with inductive refinement types

  Al-Sibahi, A. S., Jensen, T. P., Dimovski, A. & Wasowski, A., 2018, Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston, MA, USA, November 5-6, 2018. Association for Computing Machinery, p. 147-160 14 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Pattern matching 100%
  • Semantics 30%
• 2017

  Effective Bug Finding in C Programs with Shape and Effect Abstractions

  Abal, I., Brabrand, C. & Wasowski, A., 2017, Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings. Springer, p. 34-54 (Lecture Notes in Computer Science, Vol. 10145).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Linux 100%
  • Flow graphs 84%
  • Model checking 34%
  • Scanning 24%
  • Data storage equipment 19%

• Variability-Specific Abstraction Refinement for Family-Based Model Checking

  Dimovski, A. & Wasowski, A., 23 Mar 2017, Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017: Fundamental Approaches to Software Engineering, FASE 2017. Huisman, M. & Rubin, J. (eds.). Berlin, Heidelberg: Springer, p. 406-423 17 p. (Lecture Notes in Computer Science, Vol. 10202).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Model checking 100%
  • Interpolation 16%
  • Costs 7%

• Variability through the Eyes of the Programmer

  Melo, J., Batista Narcizo, F., Hansen, D. W., Brabrand, C. & Wasowski, A., 1 May 2017, 2017 IEEE/ACM 25th International Conference on Program Comprehension (ICPC). IEEE, p. 34-44 11 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Eye 100%
  • Eye Movements 41%
  • Evaluation Studies 36%
• 2016

  Concepts, Operations, and Feasibility of a Projection-Based Variation Control System

  Stanciulescu, S., Berger, T., Walkingshaw, E. & Wasowski, A., 5 Oct 2016, Proceedings of 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 11 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Control systems 100%
  • Firmware 98%
  • 3D printers 79%

• Finding Suitable Variability Abstractions for Family-Based Analysis

  Dimovski, A., Brabrand, C. & Wasowski, A., 8 Nov 2016, FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Fitzgerald, J. S., Heitmeyer, C. L., Gnesi, S. & Philippou, A. (eds.). Limassol, Cyprus, November 9-11, 2016: Springer, p. 217-234 17 p. (Lecture Notes in Computer Science, Vol. 9995).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Static analysis 100%
  • Explosions 90%

• How Does the Degree of Variability Affect Bug-Finding?

  Melo, J., Brabrand, C. & Wasowski, A., 14 May 2016, ICSE '16 Proceedings of the 38th International Conference on Software Engineering. Association for Computing Machinery, p. 679-690 12 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • bug 100%
  • program 22%
  • speed 13%
  • software 6%
  • project 5%

• Symbolic Execution of High-Level Transformations

  Al-Sibahi, A. S., Dimovski, A. & Wasowski, A., 2016, Proceedings of the 9th ACM SIGPLAN International Conference on Software Language Engineering. Association for Computing Machinery

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access
• 2015

  A Model for Industrial Real-Time Systems

  Bin Waez, M. T., Wasowski, A., Dingel, J. & Rudie, K., 2015, Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings.. D'Souza, D., Lal, A. & Guldstrand Larsen, K. (eds.). Springer, Vol. 8931. p. 153-171 (Lecture Notes in Computer Science).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Real time systems 100%
  • Formal methods 38%
  • Explosions 31%
  • Dynamic models 26%

• A Quantitative Analysis of Variability Warnings in Linux

  Melo, J., Flesborg, E., Brabrand, C. & Wasowski, A., 10 Dec 2015, VaMoS '16 Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Association for Computing Machinery, p. 3-8

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Linux 100%
  • Warning 72%
  • Quantitative Analysis 70%
  • Kernel 44%
  • Open Source 12%

• Experiences from Designing and Validating a Software Modernization Transformation

  Iosif-Lazăr, A. F., Al-Sibahi, A. S., Dimovski, A., Savolainen, J. E., Sierszecki, K. & Wasowski, A., Nov 2015, Proceedings of the 30th ACM/IEEE international conference on Automated software engineering. IEEE, p. 597 - 607

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Modernization 100%
  • Semantics 20%

• Family-Based Model Checking Without a Family-Based Model Checker

  Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 14 Aug 2015, Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. Fischer, B. & Geldenhuys, J. (eds.). Springer VS, Vol. 9232. p. 282-299 18 p. (Lecture Notes in Computer Science).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Model checking 100%
  • Syntactics 12%
  • Embedded systems 10%
  • Scalability 9%
  • Network protocols 8%

• Forked and Integrated Variants In An Open-Source Firmware Project

  Stanciulescu, S., Schulze, S. & Wasowski, A., 25 Nov 2015, 2015 IEEE International Conference on Software Maintenance and Evolution: ICSME. IEEE, p. 151 - 160 10 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Open Source 100%
  • Cloning 85%
  • Integrated 55%
  • Maturation 30%
  • Printer 25%

• Variability Abstractions: Trading Precision for Speed in Family-Based Analyses

  Dimovski, A., Brabrand, C. & Wasowski, A., 2015, 29th European Conference on Object-Oriented Programming (ECOOP’15): Leibniz International Proceedings in Informatics. Boyland, J. T. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 247-270 23 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Data flow analysis 100%
  • Formal methods 82%
  • Syntactics 72%
  • Acoustic waves 55%
  • Costs 27%
• 2014

  42 Variability Bugs in the Linux Kernel: A Qualitative Study

  Abal, I., Brabrand, C. & Wasowski, A., 2014, ASE '14 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering . Association for Computing Machinery, p. 421-432 12 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • bug 100%
  • software 10%
  • repository 8%
  • family 5%
  • program 4%

• Systematic Derivation of Static Analyses for Software Product Lines

  Midtgaard, J., Brabrand, C. & Wasowski, A., Mar 2014, MODULARITY '14 Proceedings of the 13th international conference on Modularity . Association for Computing Machinery, p. 181-192 12 p. (ITU Technical Report Series; No. TR-2014-170).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  File
• 2013

  A Survey of Variability Modeling in Industrial Practice

  Berger, T., Rublack, R., Nair, D., Atlee, J. M., Becker, M., Czarnecki, K. & Wasowski, A., 23 Jan 2013, VaMoS '13 Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems. Association for Computing Machinery

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

• Coevolution of variability models and related artifacts: a case study from the Linux kernel

  Teixeira Passos, L., Guo, J., Teixeira, L., Czarnecki, K., Wasowski, A. & Borba, P., 2013, SPLC '13 Proceedings of the 17th International Software Product Line Conference . Association for Computing Machinery, p. 91-100 10 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

• CVL: common variability language

  Haugen, Ø., Wasowski, A. & Czarnecki, K., 2013, 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013. Association for Computing Machinery, p. 277 1 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

• Example-driven modeling: model = abstractions + examples

  Bak, K., Zayan, D., Czarnecki, K., Antkiewicz, M., Diskin, Z., Wasowski, A. & Rayside, D., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. IEEE Press, p. 1273-1276 4 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

• Feature-oriented software evolution

  Passos, L., Czarnecki, K., Apel, S., Wasowski, A., Kästner, C. & Guo, J., 2013, VaMoS '13 Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems. Association for Computing Machinery, 17

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

• Partial Instances via Subclassing

  Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K. & Wasowski, A., 2013, Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. Springer VS, Vol. 8225. p. 344-364 20 p. (Lecture Notes in Computer Science, Vol. 8225).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

• QUAIL: A Quantitative Security Analyzer for Imperative Code

  Biondi, F., Wasowski, A., Traonouez, L-M. & Legay, A., Jul 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings.. p. 702-707 6 p. (Lecture Notes in Computer Science, Vol. 8044).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Markov chains 100%
  • Chemical analysis 66%
  • Experiments 36%

• Variability-aware performance prediction: A statistical learning approach

  Guo, J., Czarnecki, K., Apel, S., Siegmund, N. & Wasowski, A., 2013, Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International Conference on . IEEE Press, p. 301-311 10 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
• 2012

  A Modal Specification Theory for Components with Data

  S. Bauer, S., Larsen, K. G., Legay, A., Nyman, U. M. & Wasowski, A., 2012, Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Springer VS, Vol. 7253. p. 61-78 (Lecture Notes in Computer Science, Vol. 7253).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

• Cool features and tough decisions: a comparison of variability modeling approaches

  Czarnecki, K., Gruenbacher, P., Rabiser, R., Schmid, K. & Wasowski, A., 2012, Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems. VaMOS 12.. Association for Computing Machinery, p. 173-182

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

• Cross-Language Support Mechanisms Significantly Aid Software Development

  Pfeiffer, R-H. & Wasowski, A., 2012, Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings. Springer, Vol. 7590. p. 168-184

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Software engineering 100%
  • Modeling languages 45%
  • Computer programming languages 37%
  • Visualization 31%
  • Navigation 31%

• CVL: common variability language

  Haugen, Ø., Wasowski, A. & Czarnecki, K., 2012, 16th International Software Product Line Conference, SPLC'12, Salvador, Brazil - September 2-7, 2012, Volume 2. Association for Computing Machinery, Vol. 2. p. 266-267

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

• Efficient synthesis of feature models

  Andersen, N., Czarnecki, K., She, S. & Wasowski, A., 2012, 16th International Software Product Line Conference, SPLC'12. Association for Computing Machinery, Vol. 1. p. 106-115

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

• Moving from Specifications to Contracts in Component-Based Design

  Bauer, S., David, A., Hennicker, R., Larsen, K. G., Legay, A., Nyman, U. M. & Wasowski, A., 2012, Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering. FASE 12. Vol. 7212. p. 43-58 (Lecture Notes in Computer Science).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

• Refinement for Transition Systems with Responses

  Carbone, M., Hildebrandt, T., Perrone, G. D. & Wasowski, A., 2012, Proceedings Fourth Workshop on Foundations of Interface Technologies: Electronic Proceedings in Theoretical Computer Science. EPTCS.. Vol. 87.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

• Towards a catalog of variability evolution patterns: the Linux kernel case

  Passos, L., Czarnecki, K. & Wasowski, A., 2012, FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development. Association for Computing Machinery, p. 62-69

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

• Usage scenarios for feature model synthesis

  She, S., Czarnecki, K. & Wasowski, A., 2012, VARY '12 Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone. Association for Computing Machinery, p. 15-20 6 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
• 2011

  A Few Considerations on Structural and Logical Composition in Specification Theories

  Legay, A. & Wasowski, A., 25 Jan 2011, Proceeings of FIT 10: 8th International Conference on Frontiers of Information Technology. Association for Computing Machinery, p. 49-54 5 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Chemical analysis 100%
  • Specifications 99%

• APAC: A Tool for Reasoning about Abstract Probabilistic Automata

  Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2011, Quantitative Evaluation of Systems (QEST), 2011 8th International Conference. IEEE Computer Society Press, p. 151-152 2 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

• A study of non-Boolean constraints in variability models of an embedded operating system

  Passos, L. T., Berger, T., Novakovic, M., Czarnecki, K., Xiong, Y. & Wasowski, A., 2011, Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. Proceedings. Association for Computing Machinery

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

• New Results on Abstract Probabilistic Automata

  Delahaye, B., Katoen, J-P., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, Application of Concurrency to System Design (ACSD) 2011 11th International Conference on. IEEE Computer Society Press, p. 118-127

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review