Home › tihamer

tihamer

2016
Pradhan, S., A. Dubey, T. Levendovszky, P. S. Kumar, W. A. Emfinger, D. Balasubramanian, W. Otte, and G. Karsai, "Achieving resilience in distributed software systems via self-reconfiguration", Journal of Systems and Software, pp. -, 2016. Abstract
2014
Maroti, M., T. Kecskes, R. Kereskenyi, B. Broll, P. Volgyesi, L. Juracz, T. Levendovszky, and A. Ledeczi, "Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure", 8th Multi-Paradigm Modeling Workshop, Valencia, Spain, 09/2014.
Juracz, L., Z. Lattmann, T. Levendovszky, G. Hemingway, W. Gaggioli, T. Netterville, G. Pap, K. Smyth, and L. Howard, "VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design", Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), vol. Vol-1118, 01/2014. Abstract  Download: MDHPCL 2013 04-paper.pdf (1.08 MB)
Levendovszky, T., A. Dubey, W. R. Otte, D. Balasubramanian, A. Coglio, S. Nyako, W. Emfinger, P. Kumar, A. Gokhale, and G. Karsai, "DREMS: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems", IEEE Software, vol. 99: IEEE Computer Society, 2014. Abstract  Download: f6paper.pdf (3.95 MB); Final.pdf (3.33 MB)
2013
Simko, G., D. Lindecker, T. Levendovszky, E. Jackson, S. Neema, and J. Sztipanovits, "A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems", IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Phoenix, AZ, IEEE, pp. 30-39, 2013.  Download: ECBS2013.pdf (416.4 KB)
Lindecker, D., G. Simko, I. Madari, T. Levendovszky, and J. Sztipanovits, "Multi-Way Semantic Specification of Domain-Specific Modeling Languages", IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), 2013.
Simko, G., T. Levendovszky, M. Maroti, and J. Sztipanovits, "Towards a Theory for Cyber-Physical Systems Modeling", Proceedings of the 3rd Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy), 2013.
2012
Lattmann, Z., A. Nagel, T. Levendovszky, T. Bapty, S. Neema, and G. Karsai, "Component-based Modeling of Dynamic Systems using Heterogeneous Composition", 6th International Workshop on Multi-Paradigm Modeling, Innsbruck, Austria, 10/2012.  Download: MPM12_paper 20.pdf (260.56 KB)
Simko, G., T. Levendovszky, S. Neema, E. Jackson, T. Bapty, J. Porter, and J. Sztipanovits, "Foundation for Model Integration: Semantic Backplane", Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE, 2012.
2011
Jackson, E. K., T. Levendovszky, and D. Balasubramanian, "Reasoning about Metamodeling with Formal Specifications and Automatic Proofs", Model Driven Engineering Languages and Systems (MoDELS), vol. 6981, Wellington, New Zealand, Springer, 10/2011. Abstract
Levendovszky, T., B. Rumpe, B. Schaetz, and J. Sprinkle, "Model Evolution and Management", Model-Based Engineering of Embedded Real-Time Systems, Lecture Notes in Computer Science 6100: Springer, pp. 241-270, 2011. Abstract
2010
Levendovszky, T., D. Balasubramanian, K. Smyth, F. Shi, and G. Karsai, "A Transformation Instance-Based Approach to Traceability", 6th ECMFA Traceability Workshop (ECMFA-TW), Paris, France, ACM Digital Library, pp. 55-60, 2010. Abstract
Levendovszky, T., D. Balasubramanian, A. Narayanan, and G. Karsai, "A Novel Approach to Semi-Automated Evolution of DSML Model Transformation", Second International Conference on Software Language Engineering, SLE 2009, LNCS, vol. 5969, Denver, CO, Springer, pp. 23-41, 05/2010.
Levendovszky, T., and G. Karsai, "An Active Pattern Infrastructure for Domain-Specific Languages", Electronic Communications of the EASST, vol. 25, pp. 1-10, 05/07, 2010.
Amaral, V., C. Hardebolle, G. Karsai, L. Lengyel, and T. Levendovszky, Recent Advances in Multi-paradigm Modeling, , Berlin, Heidelberg, Springer, pp. 220-224, 2010. Abstract
2009
Narayanan, A., T. Levendovszky, D. Balasubramanian, and G. Karsai, "Continuous Migration Support for Domain-Specific Languages", The 9th OOPSLA Workshop on Domain-Specific Modeling, Orlando, FL, 10/2009.
Vajk, T., R. Kereskenyi, T. Levendovszky, and A. Ledeczi, "Raising the Abstraction of Domain-Specific Model Translator Development", Engineering of Computer Based Systems, San Francisco, USA, 04/2009. Abstract  Download: Raising the Abstraction of Domain-Specific Model Translator Development.pdf (281.79 KB)
Narayanan, A., T. Levendovszky, D. Balasubramanian, and G. Karsai, "Automatic Domain Model Migration to Manage Metamodel Evolution", 12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009, Denver, CO, Springer, 2009.
2003
Sprinkle, J., A. Agrawal, T. Levendovszky, F. Shi, and G. Karsai, "Domain Translation Using Graph Transformations", Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Huntsville, AL, pp. 159--168, April, 2003.  Download: Sprinkle_JM_4_7_2003_Domain_Tra.pdf (255.82 KB)
2002
Sprinkle, J., A. Agrawal, T. Levendovszky, F. Shi, and G. Karsai, "Domain Evolution in Visual Languages Using Graph Transformations", OOPSLA, 2nd Workshop on Domain-Specific Languages, Seattle, WA, November, 2002.  Download: Sprinkle_JM_11_4_2002_Domain_Evo.doc (216 KB)
Agrawal, A., T. Levendovszky, J. Sprinkle, F. Shi, and G. Karsai, "Generative Programming via Graph Transformations in the Model-Driven Architecture", OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture, Seattle, WA, November, 2002.  Download: Agrawal_A_11_5_2002_Generative.pdf (351.64 KB)
Levendovszky, T., G. Karsai, A. Ledeczi, and M. Maroti, "Model reuse with metamodel based-transformations", ICSR, LNCS, Austin, TX, April, 2002.  Download: ISIS_4_18_2002_Model_reus.pdf (1.02 MB)