| A framework for modelling variable microservices as software product lines MA Naily, MRA Setyautami, R Muschevici, A Azurat International Conference on Software Engineering and Formal Methods, 246-261, 2017 | 29 | 2017 |
| Self-organizing urban traffic control architecture with swarm-self organizing map in Jakarta: Signal control system and simulator W Jatmiko, A Azurat, A Wibowo, H Marihot, M Wicaksana, I Takagawa, ... International Journal on Smart Sensing and Intelligent Systems 3 (3), 443, 2010 | 21 | 2010 |
| A survey on embedding programming logics in a theorem prover A Azurat, I Prasetya | 21 | 2002 |
| A UML profile for delta-oriented programming to support software product line engineering MRA Setyautami, R Hähnle, R Muschevici, A Azurat Proceedings of the 20th International Systems and Software Product Line …, 2016 | 15 | 2016 |
| Variability management: Re-engineering microservices with delta-oriented software product lines MRA Setyautami, HS Fadhlillah, D Adianto, I Affan, A Azurat Proceedings of the 24th ACM Conference on Systems and Software Product Line …, 2020 | 13 | 2020 |
| Model-driven engineering for delta-oriented software product lines MRA Setyautami, RR Rubiantoro, A Azurat 2019 26th Asia-Pacific Software Engineering Conference (APSEC), 371-377, 2019 | 10 | 2019 |
| A platform for charities system generation with SPL approach R Mauliadi, MRA Setyautami, I Afriyanti, A Azurat 2017 International Conference on Information Technology Systems and …, 2017 | 9 | 2017 |
| Modeling multi software product lines using UML MRA Setyautami, D Adianto, A Azurat Proceedings of the 22nd International Systems and Software Product Line …, 2018 | 8 | 2018 |
| A unity-based framework towards component based systems I Prasetya, TEJ Vos, A Azurat, SD Swierstra International Conference On Principles Of Distributed Systems, 52-66, 2004 | 7 | 2004 |
| Generating adaptable user interface in SPLE: using delta-oriented programming and interaction flow modeling language HS Fadhlillah, D Adianto, A Azurat, SI Sakinah Proceedings of the 22nd International Systems and Software Product Line …, 2018 | 6 | 2018 |
| Content-based information retrieval system for batik application E Margaretha, A Azurat, R Manurung, A Murni University of Indonesia, 2009 | 6 | 2009 |
| Modeling requirements of multiple single products to feature model O Komarudin, D Adianto, A Azurat Procedia Computer Science 161, 107-114, 2019 | 5 | 2019 |
| ! UNITY: A HOL Theory of General UNITY I Prasetya, TEJ Vos, A Azurat, SD Swierstra Emerging Trends Proceedings of 16th International Conference, Theorem …, 2003 | 5 | 2003 |
| Code Generator Development to Transform IFML (Interaction Flow Modelling Language) into a React-based User Interface IA Rohma, A Azurat Jurnal Ilmu Komputer dan Informasi 17 (2), 109-120, 2024 | 4 | 2024 |
| UML transformation to Java-based software product lines FP Waluyo, MRA Setyautami, A Azurat Jurnal Ilmu Komputer dan Informasi 15 (2), 119-129, 2022 | 4 | 2022 |
| Database generator to support product derivation in SPL F Rhizadi, HS Fadhlillah, A Azurat, I Afriyanti, NF Apriani 2019 International Conference on Advanced Computer Science and Information …, 2019 | 4 | 2019 |
| ABS microservices and ontology-zotonic integration for SPL implementation in information system A Kurniawan, I Afriyanti, A Azurat 2017 International Conference on Advanced Computer Science and Information …, 2017 | 4 | 2017 |
| Feature model-to-ontology for spl application realisation I Afriyanti, FM Falakh, A Azurat, B Takwa arXiv preprint arXiv:1707.02511, 2017 | 4 | 2017 |
| Towards Automated Verification of Database Scripts A Azurat, I Prasetya, TEJ Vos, H Suhartanto, B Widjaja, LY Stefanus, ... THEOREM PROVING IN HIGHER ORDER LOGICS: EMERGING TRENDS PROCEEDINGS, 1, 2005 | 4 | 2005 |
| Theorem prover supported logics for small imperative languages I Prasetya, A Azurat, TEJ Vos, AJ van Leeuwen, H Suhartanto UU WINFI Informatica en Informatiekunde, 2005 | 4 | 2005 |
