A Rewriting-Logic-Based Technique for Modeling Thermal Systems - Muhammad Fadlisyah; Erika Ábrahám; Daniela Lepri; Peter Csaba Ölveczky (RTRTS, 2010)

Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. - Muhammad Fadlisyah; Peter Csaba Ölveczky; Erika Ábrahám (TTSS, 2010)

Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. - Muhammad Fadlisyah; Peter Csaba Ölveczky; Erika Ábrahám (SEFM, 2011)

Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. - Muhammad Fadlisyah; Peter Csaba Ölveczky; Erika Ábrahám (WRLA, 2012)

The HI-Maude Tool. - Muhammad Fadlisyah; Peter Csaba Ölveczky (CALCO, 2013)

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)