עקוב אחר
András Pataricza
András Pataricza
Budapest University of Technology and Economics
כתובת אימייל מאומתת בדומיין vik.bme.hu - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
3222002
Designing the automatic transformation of visual languages‏
D Varró, G Varró, A Pataricza‏
Science of Computer Programming 44 (2), 205-227, 2002‏
2562002
Generic and meta-transformations for model transformation engineering‏
D Varró, A Pataricza‏
International Conference on the Unified Modeling Language, 290-304, 2004‏
2112004
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, 187-210, 2003‏
2012003
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‏
1952001
Automated formal verification of model transformations‏
D Varró, A Pataricza‏
TUM, 63, 2003‏
1172003
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‏
672002
Checking general safety criteria on UML statecharts‏
Z Pap, I Majzik, A Pataricza‏
International Conference on Computer Safety, Reliability, and Security, 46-55, 2001‏
502001
Towards testing the implementation of graph transformations‏
A Darabos, A Pataricza, D Varró‏
Electronic Notes in Theoretical Computer Science 211, 75-85, 2008‏
472008
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‏
462003
Dependability evaluation of web service-based processes‏
L Gönczy, S Chiaradonna, F Di Giandomenico, A Pataricza, A Bondavalli, ...‏
European Performance Engineering Workshop, 166-180, 2006‏
422006
Simulink design verifier-applying automated formal methods to simulink and stateflow‏
G Hamon, B Dutertre, L Erkok, J Matthews, D Sheridan, D Cok, J Rushby, ...‏
Third Workshop on Automated Formal Methods, 2008‏
372008
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‏
372002
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‏
362002
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
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‏
332005
Completeness and consistency analysis of UML statechart specifications‏
Z Pap, I Majzik, A Pataricza, A Szegi‏
Proc. of IEEE Design and Diagnostics of Electronic Circuits and Systems …, 2001‏
332001
Watchdog processors in parallel systems‏
A Pataricza, I Majzik, W Hohl, J Hönig‏
Microprocessing and Microprogramming 39 (2-5), 69-74, 1993‏
321993
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: Essays Dedicated to …, 2010‏
302010
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20