Muhammad Fadlisyah

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Articulated Body

Formal Specification

Principal Component Analysis

Top Venues

Sci. Comput. Program.

Publications

Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships? Sci. Comput. Program. 99 (2015)
Muhammad Fadlisyah, Peter Csaba Ölveczky
The HI-Maude Tool. CALCO (2013)
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. WRLA (2012)
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. Electron. Notes Theor. Comput. Sci. 274 (2011)
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. SEFM (2011)
Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky
A Rewriting-Logic-Based Technique for Modeling Thermal Systems RTRTS (2010)