Till sidans topp

Sidansvarig: Växeln
Sidan uppdaterades: 2018-11-25 19:37

Tipsa en vän
Utskriftsversion

Mukelabai Mukelabai - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Mukelabai Mukelabai

Doktorand

Mukelabai Mukelabai
Doktorand
muka@chalmers.se

Besöksadress: Hörselgången 5 , 41756 Göteborg


Cyber Physical Systems (SE-CPS) vid Institutionen för data- och informationsteknik (Mer information)
031-7721000
Besöksadress: Hörselgången 5 , 417 56 Göteborg

Senaste publikationer

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

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 , Paper i proceeding 2018
Paper i proceeding

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, Paper i proceeding 2018
Paper i proceeding

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 , Paper i proceeding 2018
Paper i proceeding

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, Paper i proceeding 2017
Paper i proceeding

Visar 1 - 5 av 5

2018

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

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 , Paper i proceeding 2018
Paper i proceeding

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, Paper i proceeding 2018
Paper i proceeding

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 , Paper i proceeding 2018
Paper i proceeding

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, Paper i proceeding 2017
Paper i proceeding

Visar 1 - 5 av 5

Sidansvarig: Växeln|Sidan uppdaterades: 2018-11-25
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?