Muhammad Syifa'ul Mufid

According to our database, Muhammad Syifa'ul Mufid authored at least 12 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formal Analysis and Verification of Max-Plus Linear Systems.

Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti

CoRR, 2023

2022

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

2021

Abstractions and formal verification of Max-Plus Linear systems.

Muhammad Syifa'ul Mufid

PhD thesis, 2021

SMT-Based Model Checking of Max-Plus Linear Systems.

Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems.

Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate

CoRR, 2020

Computation of the Transient in Max-Plus Linear Systems via SMT-Solving.

Alessandro Abate, Alessandro Cimatti, Andrea Micheli, Muhammad Syifa'ul Mufid

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

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, Yuming Wu, Enea Zaffanella

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions.

Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

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, Enea Zaffanella

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Tropical Abstractions of Max-Plus Linear Systems.

Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

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

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2016

Eigenproblems of latin squares in bipartite (min, max, +)-systems.

Subiono, Muhammad Syifa'ul Mufid, Dieky Adzkiya

Discret. Event Dyn. Syst., 2016