Muhammad Syifaul Mufid, S.Si., M.Si., D.Phil.

Need Help?

Please contact us here:

Muhammad Syifaul Mufid, S.Si., M.Si., D.Phil.

Email syifaul.mufid@matematika.its.ac.id
Ruang T.205, Gedung T Lantai 2
Professional membership INDOMS
Profil Scholar Scopus Sinta

Research Interest

  • Algebra
  • Formal Verification

Education

  • Doctoral Degree in Oxford University, England
  • Master Degree, Department of Mathematics, Institut Teknologi Sepuluh Nopember Surabaya, Indonesia.
  • Bachelor Degree, Department of Mathematics, Institut Teknologi Sepuluh Nopember Surabaya, Indonesia.

 Publications (Recent Journals and Conferences)

  1. SMT-based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems, IEEE Transactions on Automatic Control, 2021
  2. ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking, EPiC Series in Computing 74, 1-15, 2020
  3. Computation of the Transient in Max-Plus Linear Systems via SMT-Solving, International Conference on Formal Modeling and Analysis of Timed Systems, 2020
  4. Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems, IFAC-PapersOnLine 53 (4), 459-465, 2020
  5. Bounded model checking of max-plus linear systems via predicate abstractions, International Conference on Formal Modeling and Analysis of Timed Systems, 2019
  6. ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics., ARCH@ CPSIoTWeek, 1-13, 2019
  7. Tropical abstractions of max-plus linear systems, International Conference on Formal Modeling and Analysis of Timed Systems, 2018