To the top

Page Manager: Webmaster
Last update: 4/19/2017 1:56 PM

Tell a friend about this page
Print version

Mukelabai Mukelabai - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Mukelabai Mukelabai

Doctoral student

Mukelabai Mukelabai
Doctoral student
muka@chalmers.se

Visiting Address: Hörselgången 5 , 41756 Göteborg


Cyber Physical Systems (SE-CPS) at Department of Computer Science and Engineering (More Information)
031-7721000
Visiting Address: Hörselgången 5 , 417 56 Göteborg

Latest publications

Verification of Migrated Product Lines
Mukelabai Mukelabai
Proceedings of the 22nd International Systems and Software Product Line Conference , ACM, Conference paper 2018
Conference paper

Towards a Better Understanding of Software Features and Their Characteristics: A Case Study of Marlin
Jacob Krüger, Wanzi Gu, Hui Shen, Mukelabai Mukelabai, Regina Hebig et al.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems , Conference paper 2018
Conference paper

Tackling combinatorial explosion: A study of industrial needs and practices for analyzing highly configurable systems
Mukelabai Mukelabai, Damir Nešić, Salome Maro, Thorsten Berger, Jan-Philipp Steghöfer
ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, Conference paper 2018
Conference paper

Multi-View Editing of Software Product Lines with PEoPL
Mukelabai Mukelabai, B. Behringer, M. Fey, J. Palz, J. Kruger et al.
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION , Conference paper 2018
Conference paper

Specification, design, and verification of an accountability-aware surveillance protocol
Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider
Proceedings of the Symposium on Applied Computing -Software Verification and Testing track (SAC-SVT'17), pages 1372-1378, ACM, Conference paper 2017
Conference paper

Showing 1 - 5 of 5

2018

Verification of Migrated Product Lines
Mukelabai Mukelabai
Proceedings of the 22nd International Systems and Software Product Line Conference , ACM, Conference paper 2018
Conference paper

Towards a Better Understanding of Software Features and Their Characteristics: A Case Study of Marlin
Jacob Krüger, Wanzi Gu, Hui Shen, Mukelabai Mukelabai, Regina Hebig et al.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems , Conference paper 2018
Conference paper

Tackling combinatorial explosion: A study of industrial needs and practices for analyzing highly configurable systems
Mukelabai Mukelabai, Damir Nešić, Salome Maro, Thorsten Berger, Jan-Philipp Steghöfer
ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, Conference paper 2018
Conference paper

Multi-View Editing of Software Product Lines with PEoPL
Mukelabai Mukelabai, B. Behringer, M. Fey, J. Palz, J. Kruger et al.
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION , Conference paper 2018
Conference paper

2017

Specification, design, and verification of an accountability-aware surveillance protocol
Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider
Proceedings of the Symposium on Applied Computing -Software Verification and Testing track (SAC-SVT'17), pages 1372-1378, ACM, Conference paper 2017
Conference paper

Showing 1 - 5 of 5

Page Manager: Webmaster|Last update: 4/19/2017
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?