Publications

2015
Link
[bibtex]
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Abraham. Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude: What Happened at the 2010 Sauna World Championships?. Science of Computer Programming 99, pages 95–127, 2015.
2012
DOI
[bibtex]
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Abraham. Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. Proc. of the 9th Int. Workshop on Rewriting Logic and its Applications (WRLA'12), Volume 7571 of LNCS, pages 139–161, Springer Berlin Heidelberg, 2012.
2011
Download
[bibtex]
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Abraham. Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. Int. Workshop on Harnessing Theories for Tool Support in Software (TTSS'10), Volume 274 of ENTCS, pages 17–32, Elsevier Science Publishers, 2011.
Download
[bibtex]
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Abraham. Formal Modeling and Analysis of Hybrid Systems in Rewriting Logic using Higher-Order Numerical Methods and Discrete-Event Detection. Int. Symp. on Computer Science and Software Engineering (CSSE'11), pages 1–8, IEEE, 2011.
Download
[bibtex]
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Abraham. Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. 9th Int. Conf. on Software Engineering and Formal Methods (SEFM'11), Volume 7041 of LNCS, pages 415–430, Springer Berlin Heidelberg, 2011.
2010
Download
[bibtex]
Muhammad Fadlisyah, Erika Abraham, Daniela Lepri, Peter Csaba Ölveczky. A Rewriting-Logic-Based Technique for Modeling Thermal Systems. 1st Int. Workshop on Rewriting Techniques for Real-Time Systems (RTRTS'10), Volume 36 of Electronic Proceedings in Theoretical Computer Science, pages 82–100, Cornell University Library, 2010.
Download
[bibtex]
Muhammad Fadlisyah, Erika Abraham, Peter Csaba Ölveczky. Rewriting-Logic-Based Formal Modeling and Analysis of Interacting Hybrid Systems. Nordic Workshop on Programming Theory (NWPT'10), , 2010.