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
M Naily, MRA Setyautami, R Muschevici, A Azurat
International Conference on Software Engineering and Formal Methods, 246-261, 2017
212017
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 & Intelligent Systems 3 (3), 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
112016
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
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
82004
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
62019
Content-based information retrieval system for batik application
E Margaretha, A Azurat, R Manurung, A Murni
University of Indonesia, 2009
62009
Modeling multi software product lines using UML
MRA Setyautami, D Adianto, A Azurat
Proceedings of the 22nd International Systems and Software Product Line …, 2018
52018
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
Feature model-to-ontology for spl application realisation
I Afriyanti, FM Falakh, A Azurat, B Takwa
arXiv preprint arXiv:1707.02511, 2017
32017
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
A preliminary report on xmech
A Azurat, I Prasetya
32002
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
22019
Modeling Requirements of Multiple Single Products to Feature Model
O Komarudin, D Adianto, A Azurat
Procedia Computer Science 161, 107-114, 2019
22019
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
22017
Feature grouping using the abstract behavioral specification language
R Mauliadi, A Azurat, R Muschevici, MRA Setyautami
2017 International Conference on Advanced Computer Science and Information …, 2017
22017
Developing artifact with concept relationship oriented methodology: A progress report
B Tenoyo, P Mursanto, A Azurat, HM Manurung
CEUR Workshop Proceedings 1342, 179-184, 2015
22015
Towards Reliable Component Software: Light-weight Formalism
A Azurat, I Prasetya
8th International QIR Proceeding, 9-10, 2005
22005
The system can't perform the operation now. Try again later.
Articles 1–20