Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Dieky Adzkiya

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Dieky Adzkiya

download as .bib file

@article{DBLP:journals/jksucis/SubionoCAD22,
  author       = {Subiono and
                  Joko Cahyono and
                  Dieky Adzkiya and
                  Bijan Davvaz},
  title        = {A cryptographic algorithm using wavelet transforms over max-plus algebra},
  journal      = {J. King Saud Univ. Comput. Inf. Sci.},
  volume       = {34},
  number       = {3},
  pages        = {627--635},
  year         = {2022}
}

@article{DBLP:journals/tac/MufidAA22,
  author       = {Muhammad Syifa'ul Mufid and
                  Dieky Adzkiya and
                  Alessandro Abate},
  title        = {SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus
                  Linear Systems},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {67},
  number       = {6},
  pages        = {2700--2714},
  year         = {2022}
}

@inproceedings{DBLP:conf/arch/BuAAMRWZ20,
  author       = {Lei Bu and
                  Alessandro Abate and
                  Dieky Adzkiya and
                  Muhammad Syifa'ul Mufid and
                  Rajarshi Ray and
                  Yuming Wu and
                  Enea Zaffanella},
  title        = {{ARCH-COMP20} Category Report: Hybrid Systems with Piecewise Constant
                  Dynamics and Bounded Model Checking},
  booktitle    = {{ARCH}},
  series       = {EPiC Series in Computing},
  volume       = {74},
  pages        = {1--15},
  publisher    = {EasyChair},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-2007-04510,
  author       = {Muhammad Syifa'ul Mufid and
                  Dieky Adzkiya and
                  Alessandro Abate},
  title        = {Symbolic Reachability Analysis of High Dimensional Max-Plus Linear
                  Systems},
  journal      = {CoRR},
  volume       = {abs/2007.04510},
  year         = {2020}
}

@inproceedings{DBLP:conf/IEEEiwcia/SubchanIAA19,
  author       = {Subchan Subchan and
                  Rachmat Wahyudi Ismail and
                  Tahiyatul Asfihani and
                  Dieky Adzkiya},
  title        = {Estimation of Hydrodynamic Coefficients using Unscented Kalman Filter
                  and Recursive Least Square},
  booktitle    = {{IWCIA}},
  pages        = {9--13},
  publisher    = {{IEEE}},
  year         = {2019}
}

@inproceedings{DBLP:conf/cpsweek/FrehseAABBCGGMM19,
  author       = {Goran Frehse and
                  Alessandro Abate and
                  Dieky Adzkiya and
                  Anna Becchi and
                  Lei Bu and
                  Alessandro Cimatti and
                  Mirco Giacobbe and
                  Alberto Griggio and
                  Sergio Mover and
                  Muhammad Syifa'ul Mufid and
                  Idriss Riouak and
                  Stefano Tonetta and
                  Enea Zaffanella},
  title        = {{ARCH-COMP19} Category Report: Hybrid Systems with Piecewise Constant
                  Dynamics},
  booktitle    = {ARCH@CPSIoTWeek},
  series       = {EPiC Series in Computing},
  volume       = {61},
  pages        = {1--13},
  publisher    = {EasyChair},
  year         = {2019}
}

@inproceedings{DBLP:conf/formats/MufidAA19,
  author       = {Muhammad Syifa'ul Mufid and
                  Dieky Adzkiya and
                  Alessandro Abate},
  title        = {Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions},
  booktitle    = {{FORMATS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11750},
  pages        = {142--159},
  publisher    = {Springer},
  year         = {2019}
}

@article{DBLP:journals/corr/abs-1907-03564,
  author       = {Muhammad Syifa'ul Mufid and
                  Dieky Adzkiya and
                  Alessandro Abate},
  title        = {Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions},
  journal      = {CoRR},
  volume       = {abs/1907.03564},
  year         = {2019}
}

@article{DBLP:journals/kybernetika/FahimA18,
  author       = {Kistosil Fahim and
                  Dieky Adzkiya},
  title        = {Generalized public transportation scheduling using max-plus algebra},
  journal      = {Kybernetika},
  volume       = {54},
  number       = {2},
  pages        = {243--267},
  year         = {2018}
}

@inproceedings{DBLP:conf/adhs/FrehseAABGMZ18,
  author       = {Goran Frehse and
                  Alessandro Abate and
                  Dieky Adzkiya and
                  Lei Bu and
                  Mirco Giacobbe and
                  Muhammad Syifa'ul Mufid and
                  Enea Zaffanella},
  title        = {{ARCH-COMP18} Category Report: Hybrid Systems with Piecewise Constant
                  Dynamics},
  booktitle    = {ARCH@ADHS},
  series       = {EPiC Series in Computing},
  volume       = {54},
  pages        = {1--13},
  publisher    = {EasyChair},
  year         = {2018}
}

@inproceedings{DBLP:conf/formats/MufidAA18,
  author       = {Muhammad Syifa'ul Mufid and
                  Dieky Adzkiya and
                  Alessandro Abate},
  title        = {Tropical Abstractions of Max-Plus Linear Systems},
  booktitle    = {{FORMATS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11022},
  pages        = {271--287},
  publisher    = {Springer},
  year         = {2018}
}

@inproceedings{DBLP:conf/inns/Adzkiya18,
  author       = {Dieky Adzkiya},
  title        = {Preface: 3\({}^{\mbox{rd}}\) {INNS} Conference on Big Data and Deep
                  Learning 2018},
  booktitle    = {{INNS} Conference on Big Data},
  series       = {Procedia Computer Science},
  volume       = {144},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2018}
}

@article{DBLP:journals/corr/abs-1806-04604,
  author       = {Muhammad Syifa'ul Mufid and
                  Dieky Adzkiya and
                  Alessandro Abate},
  title        = {Tropical Abstractions of Max-Plus-Linear Systems},
  journal      = {CoRR},
  volume       = {abs/1806.04604},
  year         = {2018}
}

@inproceedings{DBLP:conf/cpsweek/FrehseAABG17,
  author       = {Goran Frehse and
                  Alessandro Abate and
                  Dieky Adzkiya and
                  Lei Bu and
                  Mirco Giacobbe},
  title        = {{ARCH-COMP17} Category Report: Hybrid Systems with Piecewise Constant
                  Dynamics},
  booktitle    = {ARCH@CPSWeek},
  series       = {EPiC Series in Computing},
  volume       = {48},
  pages        = {124--133},
  publisher    = {EasyChair},
  year         = {2017}
}

@article{DBLP:journals/deds/AdzkiyaZA16,
  author       = {Dieky Adzkiya and
                  Yining Zhang and
                  Alessandro Abate},
  title        = {VeriSiMPL 2: An open-source software for the verification of max-plus-linear
                  systems},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {26},
  number       = {1},
  pages        = {109--145},
  year         = {2016}
}

@article{DBLP:journals/deds/SubionoMA16,
  author       = {Subiono and
                  Muhammad Syifa'ul Mufid and
                  Dieky Adzkiya},
  title        = {Eigenproblems of latin squares in bipartite (min, max, +)-systems},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {26},
  number       = {4},
  pages        = {657--668},
  year         = {2016}
}

@article{DBLP:journals/tac/SoudjaniAA16,
  author       = {Sadegh Esmaeil Zadeh Soudjani and
                  Dieky Adzkiya and
                  Alessandro Abate},
  title        = {Formal Verification of Stochastic Max-Plus-Linear Systems},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {61},
  number       = {10},
  pages        = {2861--2876},
  year         = {2016}
}

@inproceedings{DBLP:conf/iceis/DosciattiTRBFEA16,
  author       = {Eden R. Dosciatti and
                  Marcelo Teixeira and
                  Richardson Ribeiro and
                  Marco A. C. Barbosa and
                  F{\'{a}}bio Favarim and
                  Fabr{\'{\i}}cio Enembreck and
                  Dieky Adzkiya},
  title        = {Resources Planning in Database Infrastructures},
  booktitle    = {{ICEIS} {(1)}},
  pages        = {53--62},
  publisher    = {SciTePress},
  year         = {2016}
}

@inproceedings{DBLP:conf/smc/RostampourASSK16,
  author       = {Vahab Rostampour and
                  Dieky Adzkiya and
                  Sadegh Esmaeil Zadeh Soudjani and
                  Bart De Schutter and
                  Tam{\'{a}}s Keviczky},
  title        = {Chance-constrained model predictive controller synthesis for stochastic
                  max-plus linear systems},
  booktitle    = {{SMC}},
  pages        = {3581--3588},
  publisher    = {{IEEE}},
  year         = {2016}
}

@article{DBLP:journals/corr/AdzkiyaM16,
  author       = {Dieky Adzkiya and
                  Manuel Mazo Jr.},
  title        = {Scheduling of Event-Triggered Networked Control Systems using Timed
                  Game Automata},
  journal      = {CoRR},
  volume       = {abs/1610.03729},
  year         = {2016}
}

@article{DBLP:journals/automatica/AdzkiyaSA15,
  author       = {Dieky Adzkiya and
                  Bart De Schutter and
                  Alessandro Abate},
  title        = {Computational techniques for reachability analysis of Max-Plus-Linear
                  systems},
  journal      = {Autom.},
  volume       = {53},
  pages        = {293--302},
  year         = {2015}
}

@inproceedings{DBLP:conf/cdc/KolarijaniAM15,
  author       = {Arman Sharifi Kolarijani and
                  Dieky Adzkiya and
                  Manuel Mazo Jr.},
  title        = {Symbolic abstractions for the scheduling of event-triggered control
                  systems},
  booktitle    = {{CDC}},
  pages        = {6153--6158},
  publisher    = {{IEEE}},
  year         = {2015}
}

@phdthesis{DBLP:phd/basesearch/Adzkiya14,
  author       = {Dieky Adzkiya},
  title        = {Finite Abstractions of Max-Plus-Linear Systems: Theory and Algorithms},
  school       = {Delft University of Technology, Netherlands},
  year         = {2014}
}

@inproceedings{DBLP:conf/qest/AdzkiyaSA14,
  author       = {Dieky Adzkiya and
                  Sadegh Esmaeil Zadeh Soudjani and
                  Alessandro Abate},
  title        = {Finite Abstractions of Stochastic Max-Plus-Linear Systems},
  booktitle    = {{QEST}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8657},
  pages        = {74--89},
  publisher    = {Springer},
  year         = {2014}
}

@inproceedings{DBLP:conf/tacas/AdzkiyaSA14,
  author       = {Dieky Adzkiya and
                  Bart De Schutter and
                  Alessandro Abate},
  title        = {Forward Reachability Computation for Autonomous Max-Plus-Linear Systems},
  booktitle    = {{TACAS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8413},
  pages        = {248--262},
  publisher    = {Springer},
  year         = {2014}
}

@inproceedings{DBLP:conf/wodes/AdzkiyaSA14,
  author       = {Dieky Adzkiya and
                  Bart De Schutter and
                  Alessandro Abate},
  title        = {Backward Reachability of Autonomous Max-Plus-Linear Systems},
  booktitle    = {{WODES}},
  pages        = {117--122},
  publisher    = {International Federation of Automatic Control},
  year         = {2014}
}

@article{DBLP:journals/tac/AdzkiyaSA13,
  author       = {Dieky Adzkiya and
                  Bart De Schutter and
                  Alessandro Abate},
  title        = {Finite Abstractions of Max-Plus-Linear Systems},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {58},
  number       = {12},
  pages        = {3039--3053},
  year         = {2013}
}

@inproceedings{DBLP:conf/amcc/AdzkiyaSA13,
  author       = {Dieky Adzkiya and
                  Bart De Schutter and
                  Alessandro Abate},
  title        = {Finite abstractions of nonautonomous Max-Plus-Linear systems},
  booktitle    = {{ACC}},
  pages        = {4387--4392},
  publisher    = {{IEEE}},
  year         = {2013}
}

@inproceedings{DBLP:conf/qest/AdzkiyaA13,
  author       = {Dieky Adzkiya and
                  Alessandro Abate},
  title        = {VeriSiMPL: Verification via biSimulations of {MPL} Models},
  booktitle    = {{QEST}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8054},
  pages        = {274--277},
  publisher    = {Springer},
  year         = {2013}
}

@inproceedings{DBLP:conf/amcc/AdzkiyaSA12,
  author       = {Dieky Adzkiya and
                  Bart De Schutter and
                  Alessandro Abate},
  title        = {Abstraction and verification of autonomous Max-Plus-Linear systems},
  booktitle    = {{ACC}},
  pages        = {721--726},
  publisher    = {{IEEE}},
  year         = {2012}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.