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

  MROS: runtime adaptation for robot control architectures

  Bozhinoski, D., Oviedo, M. G., Garcia, N. H., Deshpande, H., Hoorn, G. V. D., Tjerngren, J., Wasowski, A. & Corbato, C. H., 2022, In: Advanced Robotics. 36, 11, p. 502-518 17 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

• Patching Locking Bugs Statically with Crayons

  Cruz, A., Varshosaz, M., Le Goues, C. & Wasowski, A., 22 Aug 2022, In: ACM Transactions on Software Engineering and Methodology.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  • Linux 100%
  • Repair 98%
  • Supercomputers 27%
  • Computer operating systems 26%
  • Static analysis 25%
• 2021

  A Modeling Tool for Reconfigurable Skills in ROS

  Bozhinoski, D., Aguado, E., Oviedo, M. G., Corbato, C. H., Sanz, R. & Wasowski, A., 2021, In: 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE). p. 25-28

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• Pull Request Governance In Open Source Communities

  Alami, A., Pardo, R., Cohn, M. & Wasowski, A., 16 Nov 2021, In: I E E E Transactions on Software Engineering. 48, 12, p. 4838-4856

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Social aspects 100%
  • Open source software 84%
  • Managers 64%

• Verification of Program Transformations with Inductive Refinement Types

  Al-Sibahi, A. S., Jensen, T. P., Dimovski, A. & Wasowski, A., 2021, In: ACM Transactions on Software Engineering and Methodology. 30, 1, p. 1-33 5.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  File
• 2020

  A Tailored Participatory Action Research for FOSS Communities

  Alami, A., Nielsen, P. A. & Wasowski, A., 4 Sep 2020, In: Journal of Empirical Software Engineering. 25, 5, p. 3639 - 3670 23 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  File

  • Open source software 100%
  • Quality assurance 15%
  • Robots 9%

• Generalized abstraction-refinement for game-based CTL lifted model checking

  Dimovski, A., Wasowski, A. & Legay, A., 2020, In: Theoretical Computer Science. 837, p. 181-206 26 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Model Checking 100%
  • Abstraction 95%
  • Model checking 93%
  • Refinement 77%
  • Game 71%

• The forgotten case of the dependency bugs: on the example of the robot operating system

  Fischer-Nielsen, A., Fu, Z., Su, T. & Wasowski, A., 2020, In: Proceedings of the International Conference on Software Engineering. p. 21-30 10 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Robots 100%
  • Taxonomies 54%
  • Software engineering 41%
  • Chemical analysis 33%
• 2019

  Clafer: Lightweight Modeling of Structure, Behaviour, and Variability

  Juodisius, P., Sarkar, A., Mukkamala, R. R., Antkiewicz, M., Czarnecki, K. & Wasowski, A., 2019, In: The Art, Science, and Engineering of Programming. 3, 1, p. 2:1-2:62 62 p., 2.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Semantics 100%
  • Positive ions 91%
  • Embedded software 91%
  • Temporal logic 86%
  • Modeling languages 81%

• Finding suitable variability abstractions for lifted analysis

  Dimovski, A., Brabrand, C. & Wasowski, A., 2019, In: Formal Aspects of Computing. 31, 2, p. 231-259

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Abstraction 100%
  • Static analysis 47%
  • Family 38%
  • Semantics 31%
  • Software Product Lines 20%
• 2018

  Variability abstractions for lifted analyses

  Dimovski, A., Brabrand, C. & Wasowski, A., 2018, In: Science of Computer Programming. 159, p. 1-27

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  File

  • Formal methods 100%
  • Static analysis 89%
  • Syntactics 88%
  • Acoustic waves 68%
  • Costs 32%

• Variability Bugs in Highly Configurable Systems: A Qualitative Analysis

  Abal, I., Melo, J., Stanciulescu, S., Brabrand, C., Ribeiro, M. & Wasowski, A., 2018, In: ACM Transactions on Software Engineering and Methodology. 26, 3, 10.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Modeling languages 100%
  • Linux 93%
  • User interfaces 79%
  • Large scale systems 77%
  • Sampling 63%
• 2017

  Controller synthesis for dynamic hierarchical real-time plants using timed automata

  Bin Waez, M. T., Wasowski, A., Dingel, J. & Rudie, K., 2017, In: Discrete Event Dynamic Systems. 27, 2, p. 407-441

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Timed Automata 100%
  • Real-time 85%
  • Controller 71%
  • Synthesis 68%
  • Automata 66%

• Data-efficient performance learning for configurable systems

  Guo, J., Yang, D., Siegmund, N., Apel, S., Sarkar, A., Valov, P., Czarnecki, K., Wasowski, A. & Yu, H., Nov 2017, In: Empirical Software Engineering. 42 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Feature extraction 100%
  • Statistics 48%
  • Machine learning 47%
  • Chemical analysis 42%
  • Costs 24%

• Effective Analysis of C Programs by Rewriting Variability

  Iosif-Lazar, A. F., Melo, J., Dimovski, A., Brabrand, C. & Wasowski, A., 27 Jan 2017, In: The Art, Science, and Engineering of Programming. 1, 1, p. 1-25 25 p., 1.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Electric grounding 100%
• 2016

  Efficient family-based model checking via variability abstractions

  Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 26 May 2016, In: International Journal on Software Tools for Technology Transfer. 19, 5, p. 585–603 19 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Model checking 100%
  • Modeling languages 9%
  • Syntactics 8%
  • Scalability 6%
  • Semantics 5%

• Trustworthy Variant Derivation with Translation Validation for Safety Critical Product Lines

  Iosif-Lazăr, A. F. & Wasowski, A., 24 Nov 2016, In: The Journal of Logic and Algebraic Programming. 85, 6, p. 1154–1176 23 p., 85.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  File

  • Safety 100%
  • Correctness 73%
  • Software Product Lines 59%
  • Line 58%
  • Demonstrate 26%
• 2015

  Clafer: Unifying Class and Feature Modeling

  Bąk, K., Diskin, Z., Antkiewicz, M., Czarnecki, K. & Wasowski, A., 2015, In: Software and Systems Modeling. p. 1-35 34 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Feature Modeling 100%
  • Feature Model 83%
  • Metamodel 60%
  • Modeling Language 41%
  • Language 30%

• Coevolution of variability models and related software artifacts

  Passos, L., Teixeira, L., Dinztner, N., Apel, S., Wasowski, A., Czarnecki, K., Borba, P. & Guo, J., 2015, In: Empirical Software Engineering. p. 1-50 50 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Linux 100%
  • Feature extraction 37%
  • Industry 21%

• Quantifying information leakage of randomized protocols

  Biondi, F., Legay, A., Malacaria, P. & Wasowski, A., 2015, In: Theoretical Computer Science. 597, p. 62-87

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  File

  • Leakage 100%
  • Network protocols 52%
  • Routing Protocol 32%
  • Onion 31%
  • Quantitative Evaluation 29%
• 2014

  A modal specification theory for components with data

  S. Bauer, S., Larsen, K. G., Legay, A., Nyman, U. M. & Wasowski, A., 2014, In: Science of Computer Programming. 83, p. 106-128

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• Efficient synthesis of feature models

  She, S., Ryssel, U., Andersen, N., Wasowski, A. & Czarnecki, K., 2014, In: Information and Software Technology. 56, 9, p. 1122-1143

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• Information Leakage of Non-Terminating Processes

  Biondi, F., Legay, A., Nielsen, B. F., Malacaria, P. & Wasowski, A., 2014, In: Leibniz International Proceedings in Informatics. 29, p. 517-529

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• Maximizing Entropy over Markov Processes

  Biondi, F., Legay, A., Nielsen, B. F. & Wasowski, A., 2014, In: Journal of Logic and Algebraic Programming. 83, 5-6, p. 384-399 12 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  Open Access

  File

  • Channel Capacity 100%
  • Markov processes 90%
  • Markov Process 78%
  • Channel capacity 75%
  • Entropy 71%

• Robust synthesis for real-time systems

  Larsen, K. G., Legay, A., Traonouez, L-M. & Wasowski, A., 2014, In: Theoretical Computer Science. 515, p. 96-122 28 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  • Real-time 100%
  • Real time systems 87%
  • Synthesis 79%
  • Specification 79%
  • Specifications 57%

• The Design Space of Multi-Language Development Environments

  Pfeiffer, R-H. & Wasowski, A., Sep 2014, In: Software and Systems Modeling. 23 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  • Language 100%
  • Design 85%
  • Computer programming languages 41%
  • Prototyping 16%
  • Experiments 16%

• Three Cases of Feature-Based Variability Modeling in Industry

  Berger, T., Nair, D., Rublack, R., Atlee, J. M., Czarnecki, K. & Wasowski, A., 2014, In: Lecture Notes in Computer Science. 8767, p. 302-319

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• Variability mechanisms in software ecosystems

  Berger, T., Pfeiffer, R-H., Tartler, R., Dienst, S., Czarnecki, K., Wasowski, A. & She, S., 2014, In: Information and Software Technology. 56, 11, p. 1520-1535

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• 2013

  Abstract Probabilistic Automata

  Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., Nov 2013, In: Information and Computation. 232, p. 66-116 50 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• A Study of Variability Models and Languages in the Systems Software Domain

  Berger, T., She, S., Lotufo, R., Wasowski, A. & Czarnecki, K., Dec 2013, In: I E E E Transactions on Software Engineering. 39, 12, p. 1611-1640 29 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• Maximizing Entropy over Markov Processes

  Biondi, F., Wasowski, A., Legay, A. & Nielsen, B. F., 2013, In: Lecture Notes in Computer Science. 7810, p. 128-140

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• Real-time specifications

  David, A., Larsen, K. G., Legay, A., Nyman, U. M., Traonouez, L-M. & Wasowski, A., Aug 2013, In: International Journal on Software Tools for Technology Transfer. p. 1-29 29 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
• 2012

  Compositional verification of real-time systems using Ecdar

  David, A., Larsen, K. G., Legay, A., Møller, M. H., Nyman, U. M., Ravn, A. P., Skou, A. J. & Wasowski, A., 2012, In: International Journal on Software Tools for Technology Transfer. 14, 6, p. 703-720

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• Consistency and refinement for Interval Markov Chains

  Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2012, In: Journal of Logic and Algebraic Programming. 81, 3, p. 209-266

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• New results for Constraint Markov Chains

  Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2012, In: Performance Evaluation. 69, 7-8, p. 379-401

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• Tengi Interfaces for Tracing between Heterogeneous Components

  Pfeiffer, R-H. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7680, p. 431-447 16 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  • Tracing 100%
  • Computer programming languages 73%
  • Software Components 70%
  • Programming Languages 43%
  • Algebra 42%

• TexMo: A Multi-language Development Environment

  Pfeiffer, R-H. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7349, p. 178-193

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  • Taxonomies 100%
  • Visualization 73%
  • Navigation 72%
  • Language 69%
  • Software System 32%
• 2011

  Constraint Markov Chains

  Translated title of the contribution: Constraint Markov ChainsCaillaud, B., Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2011, In: Theoretical Computer Science. 412, 34, p. 4373-4404 32 p.

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
• 2010

  Modal and Mixed Specifications: Key Decision Problems and their Complexities

  Antonik, A., Huth, M., Larsen, K. G., Nyman, U. M. & Wasowski, A., 2010, In: Mathematical Structures in Computer Science. 20, p. 75-103

  Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

• 2008

  20 Years of Modal and Mixed Specifications

  Antonik, A., Huth, M., Larsen, K. G., Nyman, U. M. & Wasowski, A., 2008, In: Bulletin of the European Association for Theoretical Computer Science. 95

  Research output: Journal Article or Conference Article in Journal › Journal article › Research