ARCH-COMP19 category report: Hybrid systems with piecewise constant dynamics G Frehse, A Abate, D Adzkiya, A Becchi, L Bu, A Cimatti, M Giacobbe, ...
EasyChair, 2019
13 2019 Bounded model checking of max-plus linear systems via predicate abstractions M Syifa’ul Mufid, D Adzkiya, A Abate
Formal Modeling and Analysis of Timed Systems: 17th International Conference …, 2019
8 2019 Tropical abstractions of max-plus linear systems MS Mufid, D Adzkiya, A Abate
Formal Modeling and Analysis of Timed Systems: 16th International Conference …, 2018
8 2018 Computation of the transient in max-plus linear systems via SMT-solving A Abate, A Cimatti, A Micheli, MS Mufid
International Conference on Formal Modeling and Analysis of Timed Systems …, 2020
6 2020 ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. L Bu, A Abate, D Adzkiya, MSU Mufid, R Ray, Y Wu, E Zaffanella
ARCH, 1-15, 2020
5 2020 Eigenvalues and eigenvectors of latin squares in max-plus algebra MS Mufid
Journal of the Indonesian Mathematical Society, 37-45, 2014
4 2014 Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems MS Mufid, D Adzkiya, A Abate
IFAC-PapersOnLine 53 (4), 459-465, 2020
3 2020 SMT-based model checking of max-plus linear systems MSU Mufid, A Micheli, A Abate, A Cimatti
Schloss Dagstuhl, 2021
2 2021 SMT-based reachability analysis of high dimensional interval max-plus linear systems MS Mufid, D Adzkiya, A Abate
IEEE Transactions on Automatic Control 67 (6), 2700-2714, 2021
2 2021 Eigenproblems of latin squares in bipartite (min,max,+)-systems Subiono, MS Mufid, D Adzkia
Discrete Event Dynamic Systems 26 (4), 657–668, 2016
2 2016 On The Lagrange Interpolation of Fibonacci Sequence MS Mufid, T Asfihani, L Hanafi
(IJCSAM) International Journal of Computing Science and Applied Mathematics …, 2016
2 2016 Eigenproblems of latin squares in bipartite (min, max, plus)-systems Subiono, MS Mufid, D Adzkiya
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS 26 (4), 657-668, 2016
1 2016 Formal Analysis and Verification of Max-Plus Linear Systems MS Mufid, A Micheli, A Abate, A Cimatti
arXiv preprint arXiv:2308.10587, 2023
2023 Formal Analysis and Verification of Max-Plus Linear Systems M Syifa'ul Mufid, A Micheli, A Abate, A Cimatti
arXiv e-prints, arXiv: 2308.10587, 2023
2023 Solving Linear Equations Over Maxmin- M Syifa'ul Mufid, E Patel, S Sergeev
arXiv e-prints, arXiv: 2308.00690, 2023
2023 Solving Linear Equations Over Maxmin- MS Mufid, E Patel, S Sergeev
arXiv preprint arXiv:2308.00690, 2023
2023 Committees: 7th International Conference on Mathematics–Pure, Applied and Computation MS Mufid, D Adzkiya
AIP Conference Proceedings 2641 (1), 010002, 2022
2022 Preface: 7th International Conference on Mathematics–Pure, Applied and Computation MS Mufid, D Adzkiya
AIP Conference Proceedings 2641 (1), 010001, 2022
2022 Tropical Abstractions of Max-Plus-Linear Systems M Syifa'ul Mufid, D Adzkiya, A Abate
arXiv e-prints, arXiv: 1806.04604, 2018
2018 Analytical solution approximation for bearing L Hanafi, MS Mufid
AIP Conference Proceedings 1867 (1), 2017
2017 
Dieky AdzkiyaDepartment of Mathematics, Institut Teknologi Sepuluh NopemberBestätigte E-Mail-Adresse bei matematika.its.ac.id
