Möbius swMATH ID: 4098 Software Authors: William H. Sanders Description: Möbius™ is a software tool for modeling the behavior of complex systems. Although it was originally developed for studying the reliability, availability, and performance of computer and network systems, its use has expanded rapidly. It is now used for a broad range of discrete-event systems, from biochemical reactions within genes to the effects of malicious attackers on secure computer systems, in addition to the original applications. That broad range of use is possible because of the flexibility and power found in Möbius, which come from its support of multiple high-level modeling formalisms and multiple solution techniques. This flexibility allows engineers and scientists to represent their systems in modeling languages appropriate to their problem domains, and then accurately and efficiently solve the systems using the solution techniques best suited to the systems’ size and complexity. Time- and space-efficient discrete-event simulation and numerical solution, based on compact MDD-based Markov processes, are both supported. Homepage: https://www.mobius.illinois.edu/ Related Software: SMART_; PEPA; SHARPE; GreatSPN 1.7; PRISM; SPNP; GreatSPN; CADP; MoDeST; ANTLR; MOTOR; Uppaal2k; Mercator; UbiCrawler; OMNet++; Bio-PEPA; Mathematica; AToM3; SNOOPY; ZBDD Cited in: 19 Publications Further Publications: https://www.mobius.illinois.edu/papers.php all top 5 Cited by 39 Authors 4 Sanders, William H. 3 Hermanns, Holger 2 Azgomi, Mohammad Abdollahi 2 Derisavi, Salem 1 Asadi, Ali Naghash 1 Carrasco, Juan Antonio 1 Ciardo, Gianfranco 1 Clark, Graham 1 Courtney, Tod 1 D’Argenio, Pedro Rubén 1 Distefano, Salvatore 1 Entezari-Maleki, Reza 1 Flammini, Francesco 1 Gilmore, Stephen T. 1 Gomaa, Hassan 1 Hillston, Jane 1 Hopkins, Richard P. 1 Joubert, Christophe 1 Katoen, Joost-Pieter 1 Kemper, Peter 1 Klaren, Ric 1 Kolesnichenko, Anna 1 Kuntz, Matthias 1 Kwiatkowska, Marta Z. 1 Marrone, Stefano 1 Menascé, Daniel A. 1 Meyer, John F. 1 Nardone, Roberto 1 Nasri, Mitra 1 Norman, Gethin 1 Pourranjabar, Alireza 1 Remke, Anne 1 Ribaudo, Marina 1 Senni, Valerio 1 Shariati, Saeed 1 Siegle, Markus 1 Temsamani, Jamal 1 Vittorini, Valeria 1 Zimmermann, Armin Cited in 5 Serials 1 Information Processing Letters 1 Computing 1 Naval Research Logistics 1 Formal Aspects of Computing 1 International Journal of Parallel, Emergent and Distributed Systems Cited in 5 Fields 18 Computer science (68-XX) 2 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Citations by Year