Muhammad Fadlisyah

According to our database, Muhammad Fadlisyah authored at least 6 papers between 2010 and 2015.

Collaborative distances:

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

2015

Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?

Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám

Sci. Comput. Program., 2015

2013

The HI-Maude Tool.

Muhammad Fadlisyah, Peter Csaba Ölveczky

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude.

Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

2011

Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude.

Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010

Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems.

Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám

Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010

A Rewriting-Logic-Based Technique for Modeling Thermal Systems

Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky

Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010