Suchergebnisse - LEVENDOVSZKY, Tihamér

1

Reasoning about metamodeling with formal specifications and automatic proofs von Jackson, Ethan K., Levendovszky, Tihamér, Balasubramanian, Daniel

Volltext

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Formal specification and analysis of functional properties of graph rewriting-based model transformation von Asztalos, Márk, Lengyel, László, Levendovszky, Tihamér

Veröffentlicht in Software testing, verification & reliability

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Incremental semantic analysis for OCL compilers von Vajk, Tamás, Mezei, Gergely, Levendovszky, Tihamér

Veröffentlicht in Innovations in systems and software engineering

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Manual and automated performance optimization of model transformation systems von Mészáros, Tamás, Mezei, Gergely, Levendovszky, Tihamér, Asztalos, Márk

Veröffentlicht in International journal on software tools for technology transfer

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

A novel algorithm for performance prediction of web-based software systems von Bogárdi-Mészöly, Ágnes, Levendovszky, Tihamér

Veröffentlicht in Performance evaluation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Supporting domain-specific model patterns with metamodeling von Levendovszky, Tihamér, Lengyel, László, Mészáros, Tamás

Veröffentlicht in Software and systems modeling

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Special Issue on Multi-paradigm Modeling von DE LARA, Juan, LEVENDOVSZKY, Tihamér, MOSTERMAN, Pieter J

Veröffentlicht in Simulation (San Diego, Calif.)

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Modeling the Effect of Application Server Settings on the Performance of J2EE Web Applications von Imre, Gábor, Levendovszky, Tihamér, Charaf, Hassan

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Constraint validation support in visual model transformation systems von Lengyel, László, Levendovszky, Tihamér, Charaf, Hassan

Veröffentlicht in Acta cybernetica (Szeged)

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Pattern Matching In Metamodel-Based Model Transformation Systems von Levendovszky, Tihamer, Charaf, Hassan

Veröffentlicht in Periodica polytechnica. Electrical engineering. Elektrotechnik

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Extending the Mean-Value Analysis Algorithm According to the Thread Pool Investigation von Bogardi-Meszoly, A., Levendovszky, T., Charaf, H.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

AUTOMATED FEATURE EXTRACTION ALGORITHM FOR T1-MRI DATA SELECTS AD-VULNERABLE REGIONS TO SEPARATE MCI INDIVIDUALS FROM COGNITIVELY NORMAL CONTROLS von Rane, Swati, Levendovszky, Tihamer

Veröffentlicht in Alzheimer's & dementia

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools von Giese, Holger, Levendovszky, Tihamér, Vangheluwe, Hans

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Recent advances in multi-paradigm modeling von Amaral, Vasco, Hardebolle, Cécile, Karsai, Gabor, Lengyel, László, Levendovszky, Tihamér

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Towards Automated, Formal Verification of Model Transformations von Asztalos, Márk, Lengyel, László, Levendovszky, Tihamér

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Termination Criteria for DPO Transformations with Injective Matches von Levendovszky, Tihamér, Prange, Ulrike, Ehrig, Hartmut

Veröffentlicht in Electronic notes in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools von Giese, Holger

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Introducing the VMTS Mobile Toolkit von Levendovszky, Tihamér, Lengyel, László, Mezei, Gergely, Mészáros, Tamás

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Verified Operational Patterns with Graph Transformation von Meszaros, Tamas, Levendovszky, Tihamer

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Reasoning about Metamodeling with Formal Specifications and Automatic Proofs von Jackson, Ethan K., Levendovszky, Tihamér, Balasubramanian, Daniel

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Reasoning about metamodeling with formal specifications and automatic proofs von Jackson, Ethan K., Levendovszky, Tihamér, Balasubramanian, Daniel

Formal specification and analysis of functional properties of graph rewriting-based model transformation von Asztalos, Márk, Lengyel, László, Levendovszky, Tihamér

Incremental semantic analysis for OCL compilers von Vajk, Tamás, Mezei, Gergely, Levendovszky, Tihamér

Manual and automated performance optimization of model transformation systems von Mészáros, Tamás, Mezei, Gergely, Levendovszky, Tihamér, Asztalos, Márk

A novel algorithm for performance prediction of web-based software systems von Bogárdi-Mészöly, Ágnes, Levendovszky, Tihamér

Supporting domain-specific model patterns with metamodeling von Levendovszky, Tihamér, Lengyel, László, Mészáros, Tamás

Special Issue on Multi-paradigm Modeling von DE LARA, Juan, LEVENDOVSZKY, Tihamér, MOSTERMAN, Pieter J

Modeling the Effect of Application Server Settings on the Performance of J2EE Web Applications von Imre, Gábor, Levendovszky, Tihamér, Charaf, Hassan

Constraint validation support in visual model transformation systems von Lengyel, László, Levendovszky, Tihamér, Charaf, Hassan

Pattern Matching In Metamodel-Based Model Transformation Systems von Levendovszky, Tihamer, Charaf, Hassan

Extending the Mean-Value Analysis Algorithm According to the Thread Pool Investigation von Bogardi-Meszoly, A., Levendovszky, T., Charaf, H.

AUTOMATED FEATURE EXTRACTION ALGORITHM FOR T1-MRI DATA SELECTS AD-VULNERABLE REGIONS TO SEPARATE MCI INDIVIDUALS FROM COGNITIVELY NORMAL CONTROLS von Rane, Swati, Levendovszky, Tihamer

Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools von Giese, Holger, Levendovszky, Tihamér, Vangheluwe, Hans

Recent advances in multi-paradigm modeling von Amaral, Vasco, Hardebolle, Cécile, Karsai, Gabor, Lengyel, László, Levendovszky, Tihamér

Towards Automated, Formal Verification of Model Transformations von Asztalos, Márk, Lengyel, László, Levendovszky, Tihamér

Termination Criteria for DPO Transformations with Injective Matches von Levendovszky, Tihamér, Prange, Ulrike, Ehrig, Hartmut

Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools von Giese, Holger

Introducing the VMTS Mobile Toolkit von Levendovszky, Tihamér, Lengyel, László, Mezei, Gergely, Mészáros, Tamás

Verified Operational Patterns with Graph Transformation von Meszaros, Tamas, Levendovszky, Tihamer

Reasoning about Metamodeling with Formal Specifications and Automatic Proofs von Jackson, Ethan K., Levendovszky, Tihamér, Balasubramanian, Daniel

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle