SysML swMATH ID: 9155 Software Authors: Weilkiens, T. Description: SysML Open Source Specification Project. The SysML.org web provides information, specifications, and resources related to the Systems Modeling Language (SysML) open source specification project, founded by the SysML Partners in 2003. The SysML open source specification is publicly available for download, and includes an open source license for distribution and use. Homepage: http://www.sysml.org/ Related Software: Modelica; MARTE; Uppaal; Simulink; Matlab; TINA; SPIN; Esterel; xml2struct; HFGT; MOCHA; Circus; Metropolis; Ptolemy; StateFlow; PACC starter kit; ProBE; SOFA 2.0; FDR3; FDR2 Cited in: 14 Publications all top 5 Cited by 46 Authors 1 Alawneh, Luay 1 Andrade, Ermeson 1 Antonino, Pedro 1 Bijan, Yvonne 1 Bressan, Marco 1 Callou, Gustavo 1 Chen, Dejiu 1 Chen, Mingshuai 1 Cohen, Chaim 1 Debbabi, Mourad 1 Feng, Lei 1 Garavel, Hubert 1 Graves, Henson 1 Hagl, Frank 1 Hassaïne, Fawzi 1 Hatsutori, Yoichi 1 Jarraya, Yosr 1 Jimenez, J. F. 1 Krob, Daniel 1 Lang, Frédéric 1 Lee, Edward Ashford 1 Lönn, Henrik 1 Maciel, Paulo 1 Matsikoudis, Eleftherios 1 Miyashita, Hisashi 1 Mota, Alejandro 1 Nogueira, Bruno Magalhães 1 Nyberg, Mattias 1 Oliveira, Marcel 1 Palachi, Eldad 1 Qureshi, Tahir Naseer 1 Ramos, Rodrigo A. 1 Ravn, Anders P. 1 Roscoe, Andrew William 1 Sakairi, Takashi 1 Sampaio, Augusto C. A. 1 Shimizu, Junya 1 Soeanu, Andrei 1 Steiniger, Alexander 1 Stöcker, Jan 1 Uhrmacher, Adelinde M. 1 Wang, Shuling 1 Weilkiens, Tim 1 Westman, Jonas 1 Yang, MengFei 1 Zhan, Naijun all top 5 Cited in 10 Serials 1 International Journal of General Systems 1 Information Processing Letters 1 Computing 1 Mathematics and Computers in Simulation 1 Theoretical Computer Science 1 Formal Aspects of Computing 1 Formal Methods in System Design 1 Annals of Mathematics and Artificial Intelligence 1 ACM Transactions on Modeling and Computer Simulation 1 Journal of Control Science and Engineering Cited in 5 Fields 13 Computer science (68-XX) 3 Systems theory; control (93-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General topology (54-XX) 1 Optics, electromagnetic theory (78-XX) Citations by Year