Theory and Application of Multi-Formalism Modeling

With complex systems and complex requirements being a challenge that designers must face to reach quality results, multi-formalism modeling offers tools and methods that allow modelers to exploit the benefits of different techniques in a general framework intended to address these challenges. Theory and Application of Multi-Formalism Modeling boldly explores the importance of this topic by gathering experiences, theories, applications, and solutions from diverse perspectives of those involved with multi-formalism modeling. Professionals, researchers, academics, and students in this field will be able to critically evaluate the latest developments and future directions of multi-formalism research.

Marco Gribaudo is a senior researcher at the Politecnico di Milano - Italy. He works in the performance evaluation group and his current research interests are multi-formalism modeling, queuing networks, mean-field analysis and spatial models. The main applications to which the previous methodologies are applied come from cloud computing, multi-core architectures, and wireless sensor networks.

Mauro Iacono is a tenured Assistant Professor and Senior Researcher in Computing Systems at Dipartimento di Scienze Politiche, Seconda Università degli Studi di Napoli, Caserta, Italy. He received a Laurea in Ingegneria Informatica (MSc) degree cum laude (Hon) in 1999 by Università degli Studi di Napoli Federico II, Napoli, Italy, and a Dottorato in Ingegneria Elettronica (PhD) degree by Seconda Università degli Studi di Napoli, Aversa, Italy. He has published over 35 peer reviewed scientific papers on international journals and conferences and has served as scientific editor, conference scientific committee chairman, and member and reviewer for several journals, and is a member of IEEE and other scientific societies. His research activity is mainly centered on the field of performance modeling of complex computer-based systems, with a special attention for multiformalism modeling techniques. More information is available at http://www.mauroiacono.com.