Follow
Ade Azurat
Ade Azurat
Lecturer, Faculty of Computer Science, Universitas Indonesia
Verified email at cs.ui.ac.id - Homepage
Title
Cited by
Cited by
Year
A framework for modelling variable microservices as software product lines
MA Naily, MRA Setyautami, R Muschevici, A Azurat
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018
252018
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-465, 2010
212010
A survey on embedding programming logics in a theorem prover
A Azurat, I Prasetya
202002
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
122016
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
82017
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
72019
A unity-based framework towards component based systems
I Prasetya, TEJ Vos, A Azurat, SD Swierstra
Principles of Distributed Systems: 8th International Conference, OPODIS 2004 …, 2005
72005
Modeling multi software product lines using UML
MRA Setyautami, D Adianto, A Azurat
Proceedings of the 22nd International Systems and Software Product Line …, 2018
62018
Content-based information retrieval system for batik application
E Margaretha, A Azurat, R Manurung, A Murni
University of Indonesia, 2009
62009
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
52020
Modeling requirements of multiple single products to feature model
O Komarudin, D Adianto, A Azurat
Procedia Computer Science 161, 107-114, 2019
42019
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
42017
Feature model-to-ontology for spl application realisation
I Afriyanti, FM Falakh, A Azurat, B Takwa
arXiv preprint arXiv:1707.02511, 2017
42017
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
42005
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
32018
Self-organizing Control of Urban Traffic Signal Based on Multiway Intersection Offset-setting Model
W Jatmiko, ASK Adi Wibowo, AAK HERRY, ADE AZURAT, T Fukuda, ...
WSEAS Transaction on System and Control (in revision), 2012
32012
Mechanization of invasive software composition in F-logic
A Azurat
Proceedings of the 2007 annual Conference on International Conference on …, 2007
32007
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
32005
A preliminary report on xmech
A Azurat, I Prasetya
32002
Domain Analysis of Payment Gateway Product Line
ES Koesnadi, MRA Setyautami, A Azurat
2022 International Conference on Information Technology Systems and …, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20