Eigenproblems of latin squares in bipartite (min, max, +)-systems. - Subiono; Muhammad Syifa'ul Mufid; Dieky Adzkiya (Discret. Event Dyn. Syst., 2016)

ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Lei Bu; Mirco Giacobbe; Muhammad Syifa'ul Mufid; Enea Zaffanella (ARCH@ADHS, 2018)

Tropical Abstractions of Max-Plus Linear Systems. - Muhammad Syifa'ul Mufid; Dieky Adzkiya; Alessandro Abate (FORMATS, 2018)

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Anna Becchi; Lei Bu; Alessandro Cimatti; Mirco Giacobbe; Alberto Griggio; Sergio Mover; Muhammad Syifa'ul Mufid; Idriss Riouak; Stefano Tonetta; et al. (ARCH@CPSIoTWeek, 2019)

Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions. - Muhammad Syifa'ul Mufid; Dieky Adzkiya; Alessandro Abate (FORMATS, 2019)

ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. - Lei Bu; Alessandro Abate; Dieky Adzkiya; Muhammad Syifa'ul Mufid; Rajarshi Ray 001; Yuming Wu; Enea Zaffanella (ARCH, 2020)

Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. - Alessandro Abate; Alessandro Cimatti; Andrea Micheli; Muhammad Syifa'ul Mufid (FORMATS, 2020)

Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems. - Muhammad Syifa'ul Mufid; Dieky Adzkiya; Alessandro Abate (CoRR, 2020)

SMT-Based Model Checking of Max-Plus Linear Systems. - Muhammad Syifa'ul Mufid; Andrea Micheli; Alessandro Abate; Alessandro Cimatti (CONCUR, 2021)

Abstractions and formal verification of Max-Plus Linear systems. - Muhammad Syifa'ul Mufid (2021)

SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems. - Muhammad Syifa'ul Mufid; Dieky Adzkiya; Alessandro Abate (IEEE Trans. Autom. Control., 2022)

Formal Analysis and Verification of Max-Plus Linear Systems. - Muhammad Syifa'ul Mufid; Andrea Micheli; Alessandro Abate; Alessandro Cimatti (CoRR, 2023)

Disordered discrete-time quantum walk over max-plus algebra. - Mohamad Ilham Dwi Firmansyah; Muhammad Syifa'ul Mufid; Subiono; Bijan Davvaz (Discret. Event Dyn. Syst., 2025)