Muhammad Syifa'ul Mufid

16 papers B 1Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Disordered discrete-time quantum walk over max-plus algebra.
Discret. Event Dyn. Syst.
Mohamad Ilham Dwi Firmansyah, Muhammad Syifa'ul Mufid, Subiono, Bijan Davvaz
2023 J jnl
Formal Analysis and Verification of Max-Plus Linear Systems.
CoRR
Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti
2022 J jnl
SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems.
IEEE Trans. Autom. Control.
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
2021 — —
Abstractions and formal verification of Max-Plus Linear systems.
Muhammad Syifa'ul Mufid
2021 B conf
SMT-Based Model Checking of Max-Plus Linear Systems.
CONCUR
Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti
2020 — conf
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
ARCH
Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray, Yuming Wu, Enea Zaffanella
2020 — conf
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving.
FORMATS
Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid
2020 J jnl
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving.
CoRR
Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid
2020 J jnl
Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems.
CoRR
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
2019 — conf
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
ARCH@CPSIoTWeek
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, Enea Zaffanella
2019 — conf
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions.
FORMATS
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
2019 J jnl
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions.
CoRR
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
2018 — conf
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
ARCH@ADHS
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella
2018 — conf
Tropical Abstractions of Max-Plus Linear Systems.
FORMATS
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
2018 J jnl
Tropical Abstractions of Max-Plus-Linear Systems.
CoRR
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
2016 J jnl
Eigenproblems of latin squares in bipartite (min, max, +)-systems.
Discret. Event Dyn. Syst.
Subiono, Muhammad Syifa'ul Mufid, Dieky Adzkiya