Lattmann, Z., A. Pop, J. de Kleer, P. Fritzson, B. Janssen, S. Neema, T. Bapty, X. Koutsoukos, M. Klenk, D. Bobrow, et al.,
"Verification and Design Exploration through Meta Tool Integration with OpenModelica",
10th International Modelica Conference, vol. Proceedings of the 10th International Modelica Conference, Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN, Modelica Association and Linkoping University Electronic Press, pp. 353-362, 03/2014.
Download: Modelica2014_ecp14096037.pdf (1.51 MB)
Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, and T. Bapty,
"Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems",
Third IEEE International Workshop on Engineering of Autonomic {\&} Autonomous Systems (EASE'06), Potsdam, Germany, pp. 129--140, March, 2006.
Download: Dubey_A_3_0_2006_Verifying_.pdf (1.17 MB)
Gray, J., T. Bapty, S. Neema, and A. Ledeczi,
"Viewpoints and Aspects in Domain-Specific Modeling",
1st International Conference on Aspect-Oriented Software Development, Enschede, The Netherlands, April, 2002.
Zhang, P., Z. Lattmann, J. Klingler, S. Neema, and T. Bapty,
"Visualization Techniques in Collaborative Domain-Specific Modeling Environment",
SoutheastCon 2015, Fort Lauderdale, FL, USA, IEEE, 04/2015.
Abstract