Muhammad Syifa'ul Mufid

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 14

Top Topics

Piecewise Constant

Formal Analysis

Top Venues

Discret. Event Dyn. Syst.

Publications

Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti
Formal Analysis and Verification of Max-Plus Linear Systems. CoRR (2023)
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems. IEEE Trans. Autom. Control. 67 (6) (2022)
Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti
SMT-Based Model Checking of Max-Plus Linear Systems. CONCUR (2021)
Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. FORMATS (2020)
Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving. CoRR (2020)
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems. CoRR (2020)
Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray, Yuming Wu, Enea Zaffanella
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. ARCH (2020)
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
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek (2019)
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions. FORMATS (2019)
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions. CoRR (2019)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@ADHS (2018)
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
Tropical Abstractions of Max-Plus Linear Systems. FORMATS (2018)
Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate
Tropical Abstractions of Max-Plus-Linear Systems. CoRR (2018)
Subiono, Muhammad Syifa'ul Mufid, Dieky Adzkiya
Eigenproblems of latin squares in bipartite (min, max, +)-systems. Discret. Event Dyn. Syst. 26 (4) (2016)