/Beranda/Dosen dan Staf/Dosen/Muhammad Syifa’ul Mufid, S.Si., M.Si., D.Phil.

Muhammad Syifa’ul Mufid, S.Si., M.Si., D.Phil.

StafDosenStruktur Organisasi

Muhammad Syifa'ul Mufid, S.Si., M.Si., D.Phil.

Email syifaul.mufid@its.ac.id
Ruang Sekretariat Departemen Matematika, Gedung F Lantai 2
Profil Scholar Scholar-ITS 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