Követés
András Pataricza
Cím
Hivatkozott rá
Hivatkozott rá
Év
VIATRA-visual automated transformations for formal verification and validation of UML models
G Csertán, G Huszerl, I Majzik, Z Pap, A Pataricza, D Varró
Proceedings 17th IEEE International Conference on Automated Software …, 2002
3102002
Designing the automatic transformation of visual languages
D Varró, G Varró, A Pataricza
Science of Computer Programming 44 (2), 205-227, 2002
2542002
Generic and meta-transformations for model transformation engineering
D Varró, A Pataricza
«UML» 2004—The Unified Modeling Language. Modeling Languages and …, 2004
2012004
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics).
D Varró, A Pataricza
Software & Systems Modeling 2 (3), 2003
1902003
Dependability analysis in the early phases of UML-based system design
A Bondavalli, M Dal Cin, D Latella, I Majzik, A Pataricza, G Savoia
Comput. Syst. Sci. Eng. 16 (5), 265-275, 2001
1872001
Automated formal verification of model transformations
D Varró, A Pataricza
TUM, 63, 2003
1202003
Stochastic dependability analysis of system architecture based on UML models
I Majzik, A Pataricza, A Bondavalli
Architecting dependable systems, 219-244, 2007
1022007
Quantitative analysis of UML statechart models of dependable systems
G Huszerl, I Majzik, A Pataricza, K Kosmidis, M Dal Cin
The computer journal 45 (3), 260-277, 2002
712002
Towards testing the implementation of graph transformations
A Darabos, A Pataricza, D Varró
Electronic Notes in Theoretical Computer Science 211, 75-85, 2008
472008
Checking general safety criteria on UML statecharts
Z Pap, I Majzik, A Pataricza
Computer Safety, Reliability and Security: 20th International Conference …, 2001
462001
UML-based design and formal analysis of a safety-critical railway control software module
A Pataricza, I Majzik, G Huszerl, G Várnai
Safety 48 (48V), 48V, 2003
452003
Dependability evaluation of web service-based processes
L Gönczy, S Chiaradonna, F Di Giandomenico, A Pataricza, A Bondavalli, ...
Formal Methods and Stochastic Models for Performance Evaluation: Third …, 2006
412006
From the general resource model to a general fault modeling paradigm
A Pataricza
Workshop on Crititcal Systems Development with UML at UML 2002, 163-171, 2002
392002
Metamodeling mathematics: A precise and visual framework for describing semantics domains of UML models
D Varró, A Pataricza
≪ UML≫ 2002—The Unified Modeling Language: Model Engineering, Concepts …, 2002
382002
High-level integrated design environment for dependability (HIDE)
A Bondavalli, MD Cin, D Latella, A Pataricza
Proceedings. Fifth International Workshop on Object-Oriented Real-Time …, 1999
351999
Watchdog processors in parallel systems
A Pataricza, I Majzik, W Hohl, J Hönig
Microprocessing and Microprogramming 39 (2-5), 69-74, 1993
341993
Completeness and consistency analysis of UML statechart specifications
Z Pap, I Majzik, A Pataricza, A Szegi
proceedings IEEE design and diagnostics of electronic circuits and systems …, 2001
322001
Methods of checking general safety criteria in UML statechart specifications
Z Pap, I Majzik, A Pataricza, A Szegi
Reliability Engineering & System Safety 87 (1), 89-107, 2005
312005
UML action semantics for model transformation systems
D Varró, A Pataricza
Periodica Polytechnica Electrical Engineering (Archives) 47 (3-4), 167-186, 2003
302003
Workflow-Driven Tool Integration Using Model Transformations.
A Balogh, G Bergmann, G Csertán, L Gönczy, Á Horváth, I Majzik, ...
Graph Transformations and Model-Driven Engineering 5765, 224-248, 2010
292010
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20