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
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
202010
A survey on embedding programming logics in a theorem prover
A Azurat, I Prasetya
192002
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
102017
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
72004
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
62016
Content-based information retrieval system for batik application
E Margaretha, A Azurat, R Manurung, A Murni
University of Indonesia, 2009
62009
Mechanization of invasive software composition in F-logic
A Azurat
Proceedings of the 2007 annual Conference on International Conference on …, 2007
42007
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
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
A preliminary report on xMECH
A Azurat, I Prasetya
32002
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
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
22017
Feature model-to-ontology for spl application realisation
I Afriyanti, FM Falakh, A Azurat, B Takwa
arXiv preprint arXiv:1707.02511, 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
A formalism for component framework
A Azurat, I Prasetya
Jurnal Ilmu Komputer dan Teknologi Informasi, 2005
22005
Proposed User Interface Generation for Software Product Lines Engineering
SI Sakinah, HS Fadhlillah, A Azurat, MRA Setyautami
2018 International Conference on Advanced Computer Science and Information …, 2018
12018
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
12017
LinguSQL: A Verification and Transformation Tool for Database Application
RW Purbojati, I Prasetya, H Suhartanto, S Maizir, B Wibowo, A Azurat
Proceedings of 6th National Seminar of Computer Science and Information …, 2005
12005
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
12005
The system can't perform the operation now. Try again later.
Articles 1–20