Andrzej Wasowski

Publikation

Publikationer pr. år 2008 2010 2011 2012 2013 2014 2015 2018 2019 2020 2023 2024

• 70 Konferencebidrag i proceedings
• 43 Tidsskriftartikel
• 16 Konferenceartikel
• 6 Bidrag til bog/antologi
• 15 Mere
  • 3 Konferenceabstrakt til konference
  • 3 Leder
  • 3 Andet bidrag
  • 2 Rapport
  • 1 Bog
  • 1 Bidrag til rapport
  • 1 Paper
  • 1 Poster

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2016

  SymexTRON: Symbolic Execution of High-Level Transformation Languages: Symbolic Execution of High-Level Transformations

  Al-Sibahi, A. S., Dimovski, A. & Wasowski, A., sep. 2016, 24 s. (ITU Technical Report Series; Nr. TR-2016-196).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

  Fil

  • Transformation Languages 100%
  • Symbolic Execution 100%
  • High-grade Transformation 100%
  • Execution Technique 40%
  • Domain-specific Languages 20%
• 2014

  40 Variability Bugs in the Linux Kernel: A Qualitative Study

  Abal Rivas, I., Brabrand, C. & Wasowski, A., maj 2014, 20 s. (ITU Technical Report Series; Nr. TR-2014-180).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

  Fil

  • Linux 100%
  • Software Systems 50%
  • Sensitive Analysis 50%
  • Exponential Number 50%
  • Tool Implementation 50%