Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tihamer Levendovszky
@article{DBLP:journals/jss/PradhanDLKEBOK16,
author = {Subhav Pradhan and
Abhishek Dubey and
Tihamer Levendovszky and
Pranav Srinivas Kumar and
William Emfinger and
Daniel Balasubramanian and
William Otte and
Gabor Karsai},
title = {Achieving resilience in distributed software systems via self-reconfiguration},
journal = {J. Syst. Softw.},
volume = {122},
pages = {344--363},
year = {2016},
url = {https://doi.org/10.1016/j.jss.2016.05.038},
doi = {10.1016/J.JSS.2016.05.038},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/PradhanDLKEBOK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/LindeckerSLMS15,
author = {David Lindecker and
Gabor Simko and
Tihamer Levendovszky and
Istv{\'{a}}n Madari and
Janos Sztipanovits},
title = {Validating Transformations for Semantic Anchoring},
journal = {J. Object Technol.},
volume = {14},
number = {3},
pages = {2:1--25},
year = {2015},
url = {https://doi.org/10.5381/jot.2015.14.3.a2},
doi = {10.5381/JOT.2015.14.3.A2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/LindeckerSLMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Balasubramanian15,
author = {Daniel Balasubramanian and
Abhishek Dubey and
William Otte and
Tihamer Levendovszky and
Aniruddha S. Gokhale and
Pranav Srinivas Kumar and
William Emfinger and
Gabor Karsai},
title = {{DREMS} {ML:} {A} wide spectrum architecture design language for distributed
computing platforms},
journal = {Sci. Comput. Program.},
volume = {106},
pages = {3--29},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.04.002},
doi = {10.1016/J.SCICO.2015.04.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Balasubramanian15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/JacksonLB15,
author = {Ethan K. Jackson and
Tihamer Levendovszky and
Daniel Balasubramanian},
title = {Automatically reasoning about metamodeling},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {271--285},
year = {2015},
url = {https://doi.org/10.1007/s10270-013-0315-y},
doi = {10.1007/S10270-013-0315-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/JacksonLB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NadasLJMS14,
author = {Andr{\'{a}}s N{\'{a}}das and
Tihamer Levendovszky and
Ethan K. Jackson and
Istv{\'{a}}n Madari and
Janos Sztipanovits},
title = {A model-integrated authoring environment for privacy policies},
journal = {Sci. Comput. Program.},
volume = {89},
pages = {105--125},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.05.004},
doi = {10.1016/J.SCICO.2013.05.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/NadasLJMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LevendovszkyDOBCNEKGK14,
author = {Tihamer Levendovszky and
Abhishek Dubey and
William Otte and
Daniel Balasubramanian and
Alessandro Coglio and
Sandor Nyako and
William Emfinger and
Pranav Srinivas Kumar and
Aniruddha S. Gokhale and
Gabor Karsai},
title = {Distributed Real-Time Managed Systems: {A} Model-Driven Distributed
Secure Information Architecture Platform for Managed Embedded Systems},
journal = {{IEEE} Softw.},
volume = {31},
number = {2},
pages = {62--69},
year = {2014},
url = {https://doi.org/10.1109/MS.2013.143},
doi = {10.1109/MS.2013.143},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/LevendovszkyDOBCNEKGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LevendovszkyBNSBK14,
author = {Tihamer Levendovszky and
Daniel Balasubramanian and
Anantha Narayanan and
Feng Shi and
Christopher P. van Buskirk and
Gabor Karsai},
title = {A semi-formal description of migrating domain-specific models with
evolving domains},
journal = {Softw. Syst. Model.},
volume = {13},
number = {2},
pages = {807--823},
year = {2014},
url = {https://doi.org/10.1007/s10270-012-0313-5},
doi = {10.1007/S10270-012-0313-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/LevendovszkyBNSBK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/SimkoLMS14,
author = {Gabor Simko and
Tihamer Levendovszky and
Miklos Maroti and
Janos Sztipanovits},
editor = {Ralf L{\"{a}}mmel and
Walid Taha},
title = {Towards a theory for cyber-physical systems modeling},
booktitle = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
Germany, April 14-17, 2014},
pages = {56--61},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593458.2593463},
doi = {10.1145/2593458.2593463},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cyphy/SimkoLMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NeemaSLPAS14,
author = {Sandeep Neema and
Gabor Simko and
Tihamer Levendovszky and
Joseph Porter and
Akshay Agrawal and
Janos Sztipanovits},
editor = {Stefania Gnesi and
Nico Plat},
title = {Formalization of software models for cyber-physical systems},
booktitle = {Proceedings of the 2nd {FME} Workshop on Formal Methods in Software
Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014},
pages = {45--51},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593489.2593495},
doi = {10.1145/2593489.2593495},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NeemaSLPAS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MarotiKKBVJLL14,
author = {Mikl{\'{o}}s Mar{\'{o}}ti and
Tam{\'{a}}s Kecsk{\'{e}}s and
R{\'{o}}bert Keresk{\'{e}}nyi and
Brian Broll and
P{\'{e}}ter V{\"{o}}lgyesi and
L{\'{a}}szl{\'{o}} Jur{\'{a}}cz and
Tihamer Levendovszky and
{\'{A}}kos L{\'{e}}deczi},
editor = {Daniel Balasubramanian and
Christophe Jacquet and
Pieter Van Gorp and
Sahar Kokaly and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
title = {Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative
Tool Infrastructure},
booktitle = {Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located
with the 17th International Conference on Model Driven Engineering
Languages and Systems, MPM@MODELS 2014, Valencia, Spain, September
30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1237},
pages = {41--60},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1237/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/MarotiKKBVJLL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BalasubramanianLDK14,
author = {Daniel Balasubramanian and
Tihamer Levendovszky and
Abhishek Dubey and
Gabor Karsai},
editor = {Daniel Balasubramanian and
Christophe Jacquet and
Pieter Van Gorp and
Sahar Kokaly and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
title = {Taming Multi-Paradigm Integration in a Software Architecture Description
Language},
booktitle = {Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located
with the 17th International Conference on Model Driven Engineering
Languages and Systems, MPM@MODELS 2014, Valencia, Spain, September
30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1237},
pages = {67--76},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1237/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BalasubramanianLDK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LevendovszkyRSS14,
author = {Tihamer Levendovszky and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz and
Jonathan Sprinkle},
title = {Model Evolution and Management},
journal = {CoRR},
volume = {abs/1409.2361},
year = {2014},
url = {http://arxiv.org/abs/1409.2361},
eprinttype = {arXiv},
eprint = {1409.2361},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LevendovszkyRSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/VajkML13,
author = {Tam{\'{a}}s Vajk and
Gergely Mezei and
Tihamer Levendovszky},
title = {Incremental semantic analysis for {OCL} compilers},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {3},
pages = {147--162},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0218-7},
doi = {10.1007/S11334-013-0218-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/VajkML13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/AsztalosLL13,
author = {M{\'{a}}rk Asztalos and
L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky},
title = {Formal specification and analysis of functional properties of graph
rewriting-based model transformation},
journal = {Softw. Test. Verification Reliab.},
volume = {23},
number = {5},
pages = {405--435},
year = {2013},
url = {https://doi.org/10.1002/stvr.1502},
doi = {10.1002/STVR.1502},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/AsztalosLL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/LindeckerSMLS13,
author = {David Lindecker and
Gabor Simko and
Istv{\'{a}}n Madari and
Tihamer Levendovszky and
Janos Sztipanovits},
editor = {Jerzy W. Rozenblit},
title = {Multi-way Semantic Specification of Domain-Specific Modeling Languages},
booktitle = {20th {IEEE} International Conference and Workshops on Engineering
of Computer Based Systems, {ECBS} 2013, Scottsdale, AZ, USA, April
22-24, 2013},
pages = {20--29},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ECBS.2013.29},
doi = {10.1109/ECBS.2013.29},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/LindeckerSMLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SimkoLLJNS13,
author = {Gabor Simko and
David Lindecker and
Tihamer Levendovszky and
Ethan K. Jackson and
Sandeep Neema and
Janos Sztipanovits},
editor = {Jerzy W. Rozenblit},
title = {A Framework for Unambiguous and Extensible Specification of DSMLs
for Cyber-Physical Systems},
booktitle = {20th {IEEE} International Conference and Workshops on Engineering
of Computer Based Systems, {ECBS} 2013, Scottsdale, AZ, USA, April
22-24, 2013},
pages = {30--39},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ECBS.2013.30},
doi = {10.1109/ECBS.2013.30},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SimkoLLJNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JuraczLLHGNPSH13,
author = {Laszlo Juracz and
Zsolt Lattmann and
Tihamer Levendovszky and
Graham Hemingway and
Will Gaggioli and
Tanner Netterville and
G{\'{a}}bor Pap and
Kevin Smyth and
Larry Howard},
editor = {Ileana Ober and
Aniruddha S. Gokhale and
James H. Hill and
Jean{-}Michel Bruel and
Michael Felderer and
David Lugato and
Akshay Dabholkar},
title = {VehicleFORGE: {A} Cloud-Based Infrastructure for Collaborative Model-Based
Design},
booktitle = {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), Miami, Florida, USA, September 29, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1118},
pages = {25--36},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1118/04-paper.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/JuraczLLHGNPSH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SimkoLLNS13,
author = {Gabor Simko and
David Lindecker and
Tihamer Levendovszky and
Sandeep Neema and
Janos Sztipanovits},
editor = {Ana Moreira and
Bernhard Sch{\"{a}}tz and
Jeff Gray and
Antonio Vallecillo and
Peter J. Clarke},
title = {Specification of Cyber-Physical Components with Formal Semantics -
Integration and Composition},
booktitle = {Model-Driven Engineering Languages and Systems - 16th International
Conference, {MODELS} 2013, Miami, FL, USA, September 29 - October
4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8107},
pages = {471--487},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41533-3\_29},
doi = {10.1007/978-3-642-41533-3\_29},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/SimkoLLNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MeszarosL12,
author = {Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros and
Tihamer Levendovszky},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Verified Operational Patterns with Graph Transformation},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {954--961},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.201},
doi = {10.1109/ICST.2012.201},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MeszarosL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CaglarAGL12,
author = {Faruk Caglar and
Kyoungho An and
Aniruddha S. Gokhale and
Tihamer Levendovszky},
title = {Transitioning to the cloud?: a model-driven analysis and automated
deployment capability for cloud services},
booktitle = {Proceedings of the 1st International Workshop on Model-Driven Engineering
for High Performance and CLoud computing co-located with 15th International
Conference on Model Driven Engineering Languages and Systems {(MODELS}
2012), Innsbruck, Austria, October 01 - 05, 2012},
pages = {8},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2446224.2446232},
doi = {10.1145/2446224.2446232},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/CaglarAGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LevendovszkySBS12,
author = {Tihamer Levendovszky and
Kevin Smyth and
Daniel Balasubramanian and
Feng Shi and
Gabor Karsai},
title = {Evolution in a context of an model-integrated tool environment},
booktitle = {Proceedings of the 6th International Workshop on Models and Evolution,
ME@MoDELS 2012, Innsbruck, Austria, October 1-5, 2012},
pages = {33--38},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2523599.2523606},
doi = {10.1145/2523599.2523606},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/LevendovszkySBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LattmannNLBNK12,
author = {Zsolt Lattmann and
Adam Nagel and
Tihamer Levendovszky and
Ted Bapty and
Sandeep Neema and
Gabor Karsai},
editor = {C{\'{e}}cile Hardebolle and
Eugene Syriani and
Jonathan Sprinkle and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
title = {Component-based modeling of dynamic systems using heterogeneous composition},
booktitle = {Proceedings of the 6th International Workshop on Multi-Paradigm Modeling,
MPM@MoDELS 2012, Innsbruck, Austria, October 1-5, 2012},
pages = {73--78},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2508443.2508456},
doi = {10.1145/2508443.2508456},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/LattmannNLBNK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/AsztalosELLMM11,
author = {M{\'{a}}rk Asztalos and
P{\'{e}}ter Ekler and
L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky and
Gergely Mezei and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
title = {Automated Verification by Declarative Description of Graph Rewriting-Based
Model Transformations},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {42},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.42.603},
doi = {10.14279/TUJ.ECEASST.42.603},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/AsztalosELLMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/MeszarosLM11,
author = {Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros and
Tihamer Levendovszky and
Gergely Mezei},
title = {Active Model Patterns with Interactive Model Transformation},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {42},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.42.604},
doi = {10.14279/TUJ.ECEASST.42.604},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/MeszarosLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/Bogardi-MeszolyL11,
author = {{\'{A}}gnes Bog{\'{a}}rdi{-}M{\'{e}}sz{\"{o}}ly and
Tihamer Levendovszky},
title = {A novel algorithm for performance prediction of web-based software
systems},
journal = {Perform. Evaluation},
volume = {68},
number = {1},
pages = {45--57},
year = {2011},
url = {https://doi.org/10.1016/j.peva.2010.09.004},
doi = {10.1016/J.PEVA.2010.09.004},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/Bogardi-MeszolyL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/VajkDAML11,
author = {Tam{\'{a}}s Vajk and
Zolt{\'{a}}n D{\'{a}}vid and
M{\'{a}}rk Asztalos and
Gergely Mezei and
Tihamer Levendovszky},
editor = {Stephan Wei{\ss}leder and
Levi L{\'{u}}cio and
Harald Cichos and
Fr{\'{e}}d{\'{e}}ric Fondement},
title = {Runtime model validation with parallel object constraint language},
booktitle = {Proceedings of the 8th International Workshop on Model-Driven Engineering,
Verification and Validation, MoDeVVa, Wellington, New Zealand, October
17, 2011},
pages = {7:1--7:8},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2095654.2095663},
doi = {10.1145/2095654.2095663},
timestamp = {Tue, 11 Jan 2022 20:51:41 +0100},
biburl = {https://dblp.org/rec/conf/models/VajkDAML11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JacksonLB11,
author = {Ethan K. Jackson and
Tihamer Levendovszky and
Daniel Balasubramanian},
editor = {Jon Whittle and
Tony Clark and
Thomas K{\"{u}}hne},
title = {Reasoning about Metamodeling with Formal Specifications and Automatic
Proofs},
booktitle = {Model Driven Engineering Languages and Systems, 14th International
Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6981},
pages = {653--667},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24485-8\_48},
doi = {10.1007/978-3-642-24485-8\_48},
timestamp = {Sat, 30 Sep 2023 09:53:36 +0200},
biburl = {https://dblp.org/rec/conf/models/JacksonLB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/LevendovszkyK10,
author = {Tihamer Levendovszky and
Gabor Karsai},
title = {An Active Pattern Infrastructure for Domain-Specific Languages},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {25},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.25.366},
doi = {10.14279/TUJ.ECEASST.25.366},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/LevendovszkyK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/VajkML10,
author = {Tam{\'{a}}s Vajk and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros and
Tihamer Levendovszky},
title = {Design Pattern Modeling with Constraint Relaxation},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {25},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.25.348},
doi = {10.14279/TUJ.ECEASST.25.348},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/VajkML10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/AsztalosELL10,
author = {M{\'{a}}rk Asztalos and
P{\'{e}}ter Ekler and
L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky},
title = {Verification of Model Transformations to Refactoring Mobile Social
Networks},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {32},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.32.542},
doi = {10.14279/TUJ.ECEASST.32.542},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/AsztalosELL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MeszarosMLA10,
author = {Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros and
Gergely Mezei and
Tihamer Levendovszky and
M{\'{a}}rk Asztalos},
title = {Manual and automated performance optimization of model transformation
systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {3-4},
pages = {231--243},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0151-0},
doi = {10.1007/S10009-010-0151-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MeszarosMLA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/LevendovszkyBSSK10,
author = {Tihamer Levendovszky and
Daniel Balasubramanian and
Kevin Smyth and
Feng Shi and
Gabor Karsai},
editor = {Jon Oldevik and
G{\o}ran K. Olsen and
Dimitrios S. Kolovos},
title = {A transformation instance-based approach to traceability},
booktitle = {Proceedings of the 6th {ECMFA} Traceability Workshop, {ECMFA-TW} 2010,
Paris, France, June 15, 2010},
pages = {55--60},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1814392.1814400},
doi = {10.1145/1814392.1814400},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/LevendovszkyBSSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AsztalosLL10,
author = {M{\'{a}}rk Asztalos and
L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky},
title = {Towards Automated, Formal Verification of Model Transformations},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
pages = {15--24},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICST.2010.42},
doi = {10.1109/ICST.2010.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AsztalosLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/AsztalosLL09,
author = {M{\'{a}}rk Asztalos and
L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky},
title = {Toward Automated Verification of Model Transformations: {A} Case Study
of Analysis of Refactoring Business Process Models},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {21},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.21.287},
doi = {10.14279/TUJ.ECEASST.21.287},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/AsztalosLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/LevendovszkyL09,
author = {Tihamer Levendovszky and
L{\'{a}}szl{\'{o}} Lengyel and
Gabor Karsai and
C{\'{e}}cile Hardebolle},
title = {Preface},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {21},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.21.282.269},
doi = {10.14279/TUJ.ECEASST.21.282.269},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/LevendovszkyL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/MeszarosLM09,
author = {Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros and
Tihamer Levendovszky and
Gergely Mezei},
title = {Code Generation with the Model Transformation of Visual Behavior Models},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {21},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.21.292},
doi = {10.14279/TUJ.ECEASST.21.292},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/MeszarosLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/LaraLM09,
author = {Juan de Lara and
Tihamer Levendovszky and
Pieter J. Mosterman},
title = {Guest Editorial: Special Issue on Multi-paradigm Modeling},
journal = {Simul.},
volume = {85},
number = {11-12},
pages = {685--687},
year = {2009},
url = {https://doi.org/10.1177/0037549709105681},
doi = {10.1177/0037549709105681},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simulation/LaraLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LevendovszkyLM09,
author = {Tihamer Levendovszky and
L{\'{a}}szl{\'{o}} Lengyel and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
title = {Supporting domain-specific model patterns with metamodeling},
journal = {Softw. Syst. Model.},
volume = {8},
number = {4},
pages = {501--520},
year = {2009},
url = {https://doi.org/10.1007/s10270-009-0118-3},
doi = {10.1007/S10270-009-0118-3},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/LevendovszkyLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/VajkML09,
author = {Tam{\'{a}}s Vajk and
Gergely Mezei and
Tihamer Levendovszky},
editor = {Miroslav Popovic},
title = {Incremental Type Checking in {OCL} Compilers},
booktitle = {First {IEEE} Eastern European Conference on the Engineering of Computer
Based Systems, {ECBS-EERC} 2009, Novi Sad, Serbia, September 7-8,
2009},
pages = {9--18},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ECBS-EERC.2009.21},
doi = {10.1109/ECBS-EERC.2009.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/VajkML09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/VajkKLL09,
author = {Tam{\'{a}}s Vajk and
R{\'{o}}bert Keresk{\'{e}}nyi and
Tihamer Levendovszky and
{\'{A}}kos L{\'{e}}deczi},
title = {Raising the Abstraction of Domain-Specific Model Translator Development},
booktitle = {16th Annual {IEEE} International Conference and Workshop on the Engineering
of Computer Based Systems, {ECBS} 2009, San Francisco, California,
USA, 14-16 April 2009},
pages = {31--37},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ECBS.2009.30},
doi = {10.1109/ECBS.2009.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/VajkKLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/LevendovszkyM09,
author = {Tihamer Levendovszky and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
editor = {Julie A. Jacko},
title = {Tooling the Dynamic Behavior Models of Graphical DSLs},
booktitle = {Human-Computer Interaction. Novel Interaction Methods and Techniques,
13th International Conference, {HCI} International 2009, San Diego,
CA, USA, July 19-24, 2009, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5611},
pages = {830--839},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02577-8\_91},
doi = {10.1007/978-3-642-02577-8\_91},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/hci/LevendovszkyM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AsztalosLL09,
author = {M{\'{a}}rk Asztalos and
L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky},
editor = {Levi L{\'{u}}cio and
Stephan Wei{\ss}leder},
title = {A formalism for describing modeling transformations for verification},
booktitle = {Proceedings of the 6th International Workshop on Model-Driven Engineering,
Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October
5, 2009},
pages = {2:1--2:10},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1656485.1656487},
doi = {10.1145/1656485.1656487},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/AsztalosLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AmaralHKLL09,
author = {Vasco Amaral and
C{\'{e}}cile Hardebolle and
Gabor Karsai and
L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky},
editor = {Sudipto Ghosh},
title = {Recent Advances in Multi-paradigm Modeling},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6002},
pages = {220--224},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12261-3\_21},
doi = {10.1007/978-3-642-12261-3\_21},
timestamp = {Wed, 23 Feb 2022 12:58:06 +0100},
biburl = {https://dblp.org/rec/conf/models/AmaralHKLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/NarayananLBK09,
author = {Anantha Narayanan and
Tihamer Levendovszky and
Daniel Balasubramanian and
Gabor Karsai},
editor = {Andy Sch{\"{u}}rr and
Bran Selic},
title = {Automatic Domain Model Migration to Manage Metamodel Evolution},
booktitle = {Model Driven Engineering Languages and Systems, 12th International
Conference, {MODELS} 2009, Denver, CO, USA, October 4-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5795},
pages = {706--711},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04425-0\_57},
doi = {10.1007/978-3-642-04425-0\_57},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/NarayananLBK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/LevendovszkyBNK09,
author = {Tihamer Levendovszky and
Daniel Balasubramanian and
Anantha Narayanan and
Gabor Karsai},
editor = {Mark van den Brand and
Dragan Gasevic and
Jeff Gray},
title = {A Novel Approach to Semi-automated Evolution of {DSML} Model Transformation},
booktitle = {Software Language Engineering, Second International Conference, {SLE}
2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5969},
pages = {23--41},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12107-4\_4},
doi = {10.1007/978-3-642-12107-4\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sle/LevendovszkyBNK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ImreKLC10,
author = {G{\'{a}}bor Imre and
M. Kasz{\'{o}} and
Tihamer Levendovszky and
Hassan Charaf},
editor = {Nigel Thomas and
Jeremy T. Bradley and
William J. Knottenbelt and
Nicholas J. Dingle and
Uli Harder},
title = {A Novel Cost Model of {XML} Serialization},
booktitle = {Proceedings of the Fourth International Workshop on the Practical
Application of Stochastic Modelling, PASM@MASCOTS 2009, London, UK,
September 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {261},
pages = {147--162},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.01.010},
doi = {10.1016/J.ENTCS.2010.01.010},
timestamp = {Thu, 09 Mar 2023 15:37:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ImreKLC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/VajkML08,
author = {Tam{\'{a}}s Vajk and
Gergely Mezei and
Tihamer Levendovszky},
title = {An Incremental {OCL} Compiler for Modeling Environments},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {15},
year = {2008},
url = {https://doi.org/10.14279/tuj.eceasst.15.173},
doi = {10.14279/TUJ.ECEASST.15.173},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/VajkML08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcat/LengyelLC08,
author = {L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky and
Hassan Charaf},
title = {Validated model transformation-driven software development},
journal = {Int. J. Comput. Appl. Technol.},
volume = {31},
number = {1/2},
pages = {106--119},
year = {2008},
url = {https://doi.org/10.1504/IJCAT.2008.017723},
doi = {10.1504/IJCAT.2008.017723},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcat/LengyelLC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/MeszarosML08,
author = {Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros and
Gergely Mezei and
Tihamer Levendovszky},
editor = {Stefano Levialdi},
title = {A flexible, declarative presentation framework for domain-specific
modeling},
booktitle = {Proceedings of the working conference on Advanced Visual Interfaces,
{AVI} 2008, Napoli, Italy, May 28-30, 2008},
pages = {309--312},
publisher = {{ACM} Press},
year = {2008},
url = {https://doi.org/10.1145/1385569.1385620},
doi = {10.1145/1385569.1385620},
timestamp = {Tue, 06 Nov 2018 16:58:14 +0100},
biburl = {https://dblp.org/rec/conf/avi/MeszarosML08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/LevendovszkyLMM07,
author = {Tihamer Levendovszky and
L{\'{a}}szl{\'{o}} Lengyel and
Gergely Mezei and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
editor = {Andy Sch{\"{u}}rr and
Manfred Nagl and
Albert Z{\"{u}}ndorf},
title = {Introducing the {VMTS} Mobile Toolkit},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
2007, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5088},
pages = {587--592},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89020-1\_45},
doi = {10.1007/978-3-540-89020-1\_45},
timestamp = {Thu, 14 Oct 2021 10:29:53 +0200},
biburl = {https://dblp.org/rec/conf/agtive/LevendovszkyLMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LevendovszkyRSS07,
author = {Tihamer Levendovszky and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz and
Jonathan Sprinkle},
editor = {Holger Giese and
Gabor Karsai and
Edward Lee and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {Model Evolution and Management},
booktitle = {Model-Based Engineering of Embedded Real-Time Systems - International
Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6100},
pages = {241--270},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-16277-0\_9},
doi = {10.1007/978-3-642-16277-0\_9},
timestamp = {Sat, 30 Sep 2023 09:38:34 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LevendovszkyRSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/LengyelLMC07,
author = {L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky and
Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros and
Hassan Charaf},
editor = {Cesar Gonzalez{-}Perez and
Leszek A. Maciaszek},
title = {Supporting Design Patterns in Graph Rewriting-based Model Transformation},
booktitle = {{ENASE} 2007 - Proceedings of the 2nd International Conference on
Evaluation of Novel Approaches to Software Engineering, Barcelona,
Spain, July 23-25, 2007},
pages = {25--32},
publisher = {{INSTICC} Press},
year = {2007},
timestamp = {Thu, 06 Jan 2011 10:53:51 +0100},
biburl = {https://dblp.org/rec/conf/enase/LengyelLMC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LaraLMV07,
author = {Juan de Lara and
Tihamer Levendovszky and
Pieter J. Mosterman and
Hans Vangheluwe},
editor = {Holger Giese},
title = {Second International Workshop on Multi-Paradigm Modeling: Concepts
and Tools},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2007,
Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5002},
pages = {237--246},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69073-3\_25},
doi = {10.1007/978-3-540-69073-3\_25},
timestamp = {Wed, 23 Feb 2022 12:58:02 +0100},
biburl = {https://dblp.org/rec/conf/models/LaraLMV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcn/MezeiJL07,
author = {Gergely Mezei and
S{\'{a}}ndor Juh{\'{a}}sz and
Tihamer Levendovszky},
editor = {Helmar Burkhart},
title = {A distribution technique for graph rewriting and model transformation
systems},
booktitle = {Proceedings of the {IASTED} International Conference on Parallel and
Distributed Computing and Networks, as part of the 25th {IASTED} International
Multi-Conference on Applied Informatics, February 13-15 2007, Innsbruck,
Austria},
pages = {63--68},
publisher = {{IASTED/ACTA} Press},
year = {2007},
timestamp = {Thu, 25 Oct 2007 15:04:30 +0200},
biburl = {https://dblp.org/rec/conf/pdcn/MezeiJL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/LengyelLC06,
author = {L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky and
Hassan Charaf},
title = {Constraint Validation Support in Visual Model Transformation Systems},
journal = {Acta Cybern.},
volume = {17},
number = {2},
pages = {339--357},
year = {2006},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3671},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/LengyelLC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/LengyelLVC06,
author = {L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky and
Tam{\'{a}}s Vajk and
Hassan Charaf},
title = {Realizing {QVT} with Graph Rewriting-Based Model Transformation},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {4},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.4.21},
doi = {10.14279/TUJ.ECEASST.4.21},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/LengyelLVC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/MezeiLLC06,
author = {Gergely Mezei and
L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky and
Hassan Charaf},
title = {A Model Transformation for Automated Concrete Syntax Definitions of
Metamodeled Visual Languages},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {4},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.4.9},
doi = {10.14279/TUJ.ECEASST.4.9},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/MezeiLLC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/MezeiLC06,
author = {Gergely Mezei and
Tihamer Levendovszky and
Hassan Charaf},
title = {Restrictions for {OCL} Constraint Optimization Algorithms},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {5},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.5.48},
doi = {10.14279/TUJ.ECEASST.5.48},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/MezeiLC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/LengyelLC06,
author = {L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky and
Hassan Charaf},
title = {Constraint Validation in Model Compilers},
journal = {J. Object Technol.},
volume = {5},
number = {4},
pages = {107--127},
year = {2006},
url = {https://doi.org/10.5381/jot.2006.5.4.a3},
doi = {10.5381/JOT.2006.5.4.A3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/LengyelLC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/LengyelLMFC06,
author = {L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky and
Gergely Mezei and
Bertalan Forstner and
Hassan Charaf},
title = {Towards a Model-Based Unification of Mobile Platforms},
booktitle = {2006 {IEEE/ACS} International Conference on Computer Systems and Applications
{(AICCSA} 2006), March 8-11, Dubai/Sharjah, {UAE}},
pages = {867--874},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/AICCSA.2006.205190},
doi = {10.1109/AICCSA.2006.205190},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/LengyelLMFC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/LengyelLMC06,
author = {L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky and
Gergely Mezei and
Hassan Charaf},
editor = {Peter Kokol},
title = {A Visual Control Flow Language for Model Transformation Systems},
booktitle = {Proceedings of the {IASTED} International Conference on Software Engineering,
February 14-16, 2006, Innsbruck, Austria},
pages = {194--199},
publisher = {{IASTED/ACTA} Press},
year = {2006},
timestamp = {Wed, 08 Nov 2006 11:18:50 +0100},
biburl = {https://dblp.org/rec/conf/iastedSE/LengyelLMC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/MezeiLC06,
author = {Gergely Mezei and
Tihamer Levendovszky and
Hassan Charaf},
editor = {Peter Kokol},
title = {Visual Presentation Solutions for Domain Specific Languages},
booktitle = {Proceedings of the {IASTED} International Conference on Software Engineering,
February 14-16, 2006, Innsbruck, Austria},
pages = {212--217},
publisher = {{IASTED/ACTA} Press},
year = {2006},
timestamp = {Tue, 04 Apr 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iastedSE/MezeiLC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/Bogardi-MeszolyLC06,
author = {{\'{A}}gnes Bog{\'{a}}rdi{-}M{\'{e}}sz{\"{o}}ly and
Tihamer Levendovszky and
Hassan Charaf},
editor = {Peter Kokol},
title = {Using Queueing Model in Predicting the Response Time of {ASP.NET}
Web Applications},
booktitle = {Proceedings of the {IASTED} International Conference on Software Engineering,
February 14-16, 2006, Innsbruck, Austria},
pages = {252--257},
publisher = {{IASTED/ACTA} Press},
year = {2006},
timestamp = {Tue, 04 Apr 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iastedSE/Bogardi-MeszolyLC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/MezeiLC06,
author = {Gergely Mezei and
Tihamer Levendovszky and
Hassan Charaf},
editor = {Krzysztof Sacha},
title = {An optimizing {OCL} Compiler for Metamodeling and Model Transformation
Environments},
booktitle = {Software Engineering Techniques: Design for Quality, {SET} 2006, October
17-20, 2006, Warsaw, Poland},
series = {{IFIP}},
volume = {227},
pages = {61--71},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-0-387-39388-9\_6},
doi = {10.1007/978-0-387-39388-9\_6},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip2/MezeiLC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mdeis/LengyelLMC06,
author = {L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky and
Gergely Mezei and
Hassan Charaf},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi},
title = {Model-Based Development with Validated Model Transformation},
booktitle = {Model-Driven Enterprise Information Systems, Proceedings of the 2nd
International Workshop on Model-Driven Enterprise Information Systems,
{MDEIS} 2006, In conjunction with {ICEIS} 2006, Paphos, Cyprus, May
2006},
pages = {39--48},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Tue, 10 Nov 2015 10:39:01 +0100},
biburl = {https://dblp.org/rec/conf/mdeis/LengyelLMC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GieseLV06,
author = {Holger Giese and
Tihamer Levendovszky and
Hans Vangheluwe},
editor = {Thomas K{\"{u}}hne},
title = {Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006,
Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4364},
pages = {252--262},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69489-2\_31},
doi = {10.1007/978-3-540-69489-2\_31},
timestamp = {Wed, 23 Feb 2022 12:58:00 +0100},
biburl = {https://dblp.org/rec/conf/models/GieseLV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/ForstnerLLMKC06,
author = {Bertalan Forstner and
L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky and
Gergely Mezei and
Imre Kel{\'{e}}nyi and
Hassan Charaf},
editor = {Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes and
Matthias Riebisch and
Bernhard Sch{\"{a}}tz},
title = {Model-Based System Development for Embedded Mobile Platforms},
booktitle = {Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based
Development of Computrer-Based Systems and The Third International
Workshop on Model-based Methodologies for Pervasive and Embedded Software,
{MBD/MOMPES} 2006, Potsdam, Germany, March 30, 2006, Proceedings},
pages = {43--52},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MBD-MOMPES.2006.20},
doi = {10.1109/MBD-MOMPES.2006.20},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/mompes/ForstnerLLMKC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/teaa/ImreLC06,
author = {G{\'{a}}bor Imre and
Tihamer Levendovszky and
Hassan Charaf},
editor = {Dirk Draheim and
Gerald Weber},
title = {Modeling the Effect of Application Server Settings on the Performance
of {J2EE} Web Applications},
booktitle = {Trends in Enterprise Application Architecture, 2nd International Conference,
{TEAA} 2006, Berlin, Germany, November 29 - December 1, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4473},
pages = {202--216},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75912-6\_15},
doi = {10.1007/978-3-540-75912-6\_15},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/teaa/ImreLC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LevendovszkyPE07,
author = {Tihamer Levendovszky and
Ulrike Prange and
Hartmut Ehrig},
editor = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Termination Criteria for {DPO} Transformations with Injective Matches},
booktitle = {Proceedings of the Workshop on Graph Transformation for Concurrency
and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {4},
pages = {87--100},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.04.019},
doi = {10.1016/J.ENTCS.2007.04.019},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LevendovszkyPE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/LengyelLKC05,
author = {L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky and
P. Kozma and
Hassan Charaf},
editor = {Peter Kokol},
title = {Compiling and Validating {OCL} Constraints in Metamodeling Environments
and Visual Model Compilers},
booktitle = {{IASTED} International Conference on Software Engineering, part of
the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria,
February 15-17, 2005},
pages = {48--49},
publisher = {{IASTED/ACTA} Press},
year = {2005},
timestamp = {Wed, 04 Jan 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iastedSE/LengyelLKC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/MezeiLLC05,
author = {Gergely Mezei and
Tihamer Levendovszky and
L{\'{a}}szl{\'{o}} Lengyel and
Hassan Charaf},
editor = {Peter Kokol},
title = {A Flexible Attribute Instantiation Technique for Visual Languages},
booktitle = {{IASTED} International Conference on Software Engineering, part of
the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria,
February 15-17, 2005},
pages = {355--359},
publisher = {{IASTED/ACTA} Press},
year = {2005},
timestamp = {Fri, 28 Oct 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iastedSE/MezeiLLC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pci/Bogardi-MeszolySLC05,
author = {{\'{A}}gnes Bog{\'{a}}rdi{-}M{\'{e}}sz{\"{o}}ly and
Zolt{\'{a}}n Szit{\'{a}}s and
Tihamer Levendovszky and
Hassan Charaf},
editor = {Panayiotis Bozanis and
Elias N. Houstis},
title = {Investigating Factors Influencing the Response Time in {ASP.NET} Web
Applications},
booktitle = {Advances in Informatics, 10th Panhellenic Conference on Informatics,
{PCI} 2005, Volos, Greece, November 11-13, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3746},
pages = {223--233},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11573036\_21},
doi = {10.1007/11573036\_21},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/pci/Bogardi-MeszolySLC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pci/LengyelLC05,
author = {L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky and
Hassan Charaf},
editor = {Panayiotis Bozanis and
Elias N. Houstis},
title = {Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation
Steps},
booktitle = {Advances in Informatics, 10th Panhellenic Conference on Informatics,
{PCI} 2005, Volos, Greece, November 11-13, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3746},
pages = {393--403},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11573036\_37},
doi = {10.1007/11573036\_37},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pci/LengyelLC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LengyelLMFC06,
author = {L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky and
Gergely Mezei and
Bertalan Forstner and
Hassan Charaf},
editor = {Gabor Karsai and
Gabriele Taentzer},
title = {Metamodel-Based Model Transformation with Aspect-Oriented Constraints},
booktitle = {Proceedings of the International Workshop on Graph and Model Transformation,
GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {152},
pages = {111--123},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.020},
doi = {10.1016/J.ENTCS.2005.10.020},
timestamp = {Thu, 15 Dec 2022 15:55:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LengyelLMFC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/LengyelLC04,
author = {L{\'{a}}szl{\'{o}} Lengyel and
Tihamer Levendovszky and
Hassan Charaf},
editor = {M. H. Hamza},
title = {Supporting round-trip engineering in modeling environments with the
application of meta-modeling techniques},
booktitle = {{IASTED} International Conference on Software Engineering, part of
the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria,
February 17-19, 2004},
pages = {178--182},
publisher = {{IASTED/ACTA} Press},
year = {2004},
timestamp = {Wed, 08 Nov 2006 11:22:27 +0100},
biburl = {https://dblp.org/rec/conf/iastedSE/LengyelLC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/LevendovszkyLC04,
author = {Tihamer Levendovszky and
L{\'{a}}szl{\'{o}} Lengyel and
Hassan Charaf},
editor = {M. H. Hamza},
title = {Software composition with a multipurpose modeling and model transformation
framework},
booktitle = {{IASTED} International Conference on Software Engineering, part of
the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria,
February 17-19, 2004},
pages = {590--594},
publisher = {{IASTED/ACTA} Press},
year = {2004},
timestamp = {Wed, 08 Nov 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iastedSE/LevendovszkyLC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LevendovszkyLMC05,
author = {Tihamer Levendovszky and
L{\'{a}}szl{\'{o}} Lengyel and
Gergely Mezei and
Hassan Charaf},
editor = {Tom Mens and
Andy Sch{\"{u}}rr and
Gabriele Taentzer},
title = {A Systematic Approach to Metamodeling Environments and Model Transformation
Systems in {VMTS}},
booktitle = {Proceedings of the 2nd International Workshop on Graph-Based Tools,
GraBaTs 2004, Rome, Italy, October 2, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {127},
number = {1},
pages = {65--75},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.040},
doi = {10.1016/J.ENTCS.2004.12.040},
timestamp = {Mon, 12 Dec 2022 13:56:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LevendovszkyLMC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SprinkleALSK03,
author = {Jonathan Sprinkle and
Aditya Agrawal and
Tihamer Levendovszky and
Feng Shi and
Gabor Karsai},
title = {Domain Model Translation Using Graph Transformations},
booktitle = {10th {IEEE} International Conference on Engineering of Computer-Based
Systems {(ECBS} 2003), 7-10 April 2003, Huntsville, AL, {USA}},
pages = {159--167},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ECBS.2003.1194795},
doi = {10.1109/ECBS.2003.1194795},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SprinkleALSK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/LevendovszkyKMLC02,
author = {Tihamer Levendovszky and
Gabor Karsai and
Miklos Maroti and
{\'{A}}kos L{\'{e}}deczi and
Hassan Charaf},
editor = {Cristina Gacek},
title = {Model Reuse with Metamodel-Based Transformations},
booktitle = {Software Reuse: Methods, Techniques, and Tools, 7th International
Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2319},
pages = {166--178},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46020-9\_12},
doi = {10.1007/3-540-46020-9\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/icsr/LevendovszkyKMLC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
