András Pataricza

Cited by

	All	Since 2017
Citations	2640	359
h-index	24	10
i10-index	52	10

220

110

165

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202210 16 19 17 12 5 12 24 65 122 105 148 183 202 174 152 136 169 163 180 109 113 94 68 99 68 42 67 15

Public access

View all

4 articles

1 article

available

not available

Based on funding mandates

Co-authors

Daniel VarroProfessorVerified email at mcgill.ca
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
andrea bondavalliProfessor of computer science, University of FirenzeVerified email at unifi.it
Imre KocsisBudapest University of Technology and EconomicsVerified email at mit.bme.hu
András Baloghthyssenkrupp Presta Hungary Kft.Verified email at baboprint.hu
Gabor HuszerlBudapesti Műszaki és Gazdaságtudományi EgyetemVerified email at mit.bme.hu
Laszlo GonczyAssistant Professor, Department of Measurement and Information Systems, Budapest University ofVerified email at mit.bme.hu
Tamás BarthaSZTAKI, BME KJITVerified email at sztaki.hu
Selényi EndreBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Neeraj SuriDistinguished Chair Professor, Lancaster UniversityVerified email at lancaster.ac.uk
Ferenc FriedlerResearch Professor, Széchenyi István University, Győr, HungaryVerified email at ga.sze.hu
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)Verified email at cnr.it
Szilárd BozókiPhD Student, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Balazs Polgarresearch fellow, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Henrique MadeiraUniversity of CoimbraVerified email at dei.uc.pt
Attila KlenikBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Kövi AndrásBMEVerified email at mit.bme.hu
Jörn AltmannTechnology Management, Economics, and Policy; College of Engineering; Seoul National UniversityVerified email at acm.org
Balázs BenyóProfessor, Budapest University of Technology and EconomicsVerified email at iit.bme.hu
Zoltán MicskeiBudapest University of Technology and EconomicsVerified email at mit.bme.hu

András Pataricza

Budapest University of Technology and Economics

Verified email at vik.bme.hu - Homepage

Dependable computing modeling data analysis formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	304	2002
Designing the automatic transformation of visual languages D Varró, G Varró, A Pataricza Science of Computer Programming 44 (2), 205-227, 2002	251	2002
Generic and meta-transformations for model transformation engineering D Varró, A Pataricza International Conference on the Unified Modeling Language, 290-304, 2004	194	2004
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), 187-210, 2003	192	2003
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	179	2001
Automated formal verification of model transformations D Varró, A Pataricza TUM, 63, 2003	121	2003
Stochastic dependability analysis of system architecture based on UML models I Majzik, A Pataricza, A Bondavalli Architecting dependable systems, 219-244, 2003	100	2003
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	69	2002
Towards testing the implementation of graph transformations A Darabos, A Pataricza, D Varró Electronic Notes in Theoretical Computer Science 211, 75-85, 2008	47	2008
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, 2003	45	2003
Checking general safety criteria on UML statecharts Z Pap, I Majzik, A Pataricza International Conference on Computer Safety, Reliability, and Security, 46-55, 2001	45	2001
Dependability evaluation of web service-based processes L Gönczy, S Chiaradonna, FD Giandomenico, A Pataricza, A Bondavalli, ... European Performance Engineering Workshop, 166-180, 2006	39	2006
From the general resource model to a general fault modeling paradigm? A Pataricza Workshop on Crititcal Systems Development with UML at UML 2002, 2002	39	2002
Metamodeling mathematics: A precise and visual framework for describing semantics domains of UML models D Varró, A Pataricza International Conference on the Unified Modeling Language, 18-33, 2002	36	2002
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	33	2001
Watchdog processors in parallel systems A Pataricza, I Majzik, W Hohl, J Hönig Microprocessing and Microprogramming 39 (2-5), 69-74, 1993	33	1993
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	31	2005
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	29	2008
UML action semantics for model transformation systems D Varró, A Pataricza Periodica Polytechnica Electrical Engineering (Archives) 47 (3-4), 167-186, 2003	29	2003
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, 224-248, 2010	27	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors