Tihamer Levendovszky
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
9
Active years
2002–2014
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ICSE | Formalization of software models for cyber-physical systems. | Sandeep Neema, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, Janos Sztipanovits |
| 2014 | MODELS | Taming Multi-Paradigm Integration in a Software Architecture Description Language. | Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai |
| 2014 | MODELS | Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure. | Mikls Marti, Tams Kecsks, Rbert Keresknyi, Brian Broll, Pter Vlgyesi, Lszl Jurcz, Tihamer Levendovszky, kos Ldeczi |
| 2013 | MODELS | VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design. | Laszlo Juracz, Zsolt Lattmann, Tihamer Levendovszky, Graham Hemingway, Will Gaggioli, Tanner Netterville, Gbor Pap, Kevin Smyth, Larry Howard |
| 2013 | MODELS | Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. | Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits |
| 2012 | ICST | Verified Operational Patterns with Graph Transformation. | Tams Mszros, Tihamer Levendovszky |
| 2012 | MODELS | Transitioning to the cloud?: a model-driven analysis and automated deployment capability for cloud services. | Faruk Caglar, Kyoungho An, Aniruddha S. Gokhale, Tihamer Levendovszky |
| 2012 | MODELS | Component-based modeling of dynamic systems using heterogeneous composition. | Zsolt Lattmann, Adam Nagel, Tihamer Levendovszky, Ted Bapty, Sandeep Neema, Gabor Karsai |
| 2012 | MODELS | Evolution in a context of an model-integrated tool environment. | Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai |
| 2011 | MODELS | Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. | Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian |
| 2011 | MODELS | Runtime model validation with parallel object constraint language. | Tams Vajk, Zoltn Dvid, Mrk Asztalos, Gergely Mezei, Tihamer Levendovszky |
| 2010 | ICST | Towards Automated, Formal Verification of Model Transformations. | Mrk Asztalos, Lszl Lengyel, Tihamer Levendovszky |
| 2009 | HCI | Tooling the Dynamic Behavior Models of Graphical DSLs. | Tihamer Levendovszky, Tams Mszros |
| 2009 | MODELS | Recent Advances in Multi-paradigm Modeling. | Vasco Amaral, Ccile Hardebolle, Gabor Karsai, Lszl Lengyel, Tihamer Levendovszky |
| 2009 | MODELS | A formalism for describing modeling transformations for verification. | Mrk Asztalos, Lszl Lengyel, Tihamer Levendovszky |
| 2009 | MODELS | Automatic Domain Model Migration to Manage Metamodel Evolution. | Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai |
| 2009 | SLE | A Novel Approach to Semi-automated Evolution of DSML Model Transformation. | Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai |
| 2008 | AVI | A flexible, declarative presentation framework for domain-specific modeling. | Tams Mszros, Gergely Mezei, Tihamer Levendovszky |
| 2007 | ENASE | Supporting Design Patterns in Graph Rewriting-based Model Transformation. | Lszl Lengyel, Tihamer Levendovszky, Tams Mszros, Hassan Charaf |
| 2007 | MODELS | Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. | Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman, Hans Vangheluwe |
| 2006 | AICCSA | Towards a Model-Based Unification of Mobile Platforms. | Lszl Lengyel, Tihamer Levendovszky, Gergely Mezei, Bertalan Forstner, Hassan Charaf |
| 2006 | MODELS | Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. | Holger Giese, Tihamer Levendovszky, Hans Vangheluwe |
| 2002 | ICSR | Model Reuse with Metamodel-Based Transformations. | Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, kos Ldeczi, Hassan Charaf |