András Pataricza

Cited by

	All	Since 2018
Citations	2734	350
h-index	24	10
i10-index	51	12

220

110

165

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202310 17 19 16 9 5 14 27 64 119 105 156 180 209 182 153 142 166 169 179 109 117 97 62 99 69 45 62 50 24

Public access

View all

4 articles

1 article

available

not available

Based on funding mandates

Co-authors

Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGillVerified email at liu.se
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
László GönczyAssociate Professor, Dept. of Measurement and Information Systems, BMEVerified email at mit.bme.hu
Gabor HuszerlBudapesti Műszaki és Gazdaságtudományi EgyetemVerified 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
Szilárd BozókiPhD Student, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)Verified email at cnr.it
Attila KlenikBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Henrique MadeiraUniversity of CoimbraVerified email at dei.uc.pt
Ferenc FriedlerResearch Professor, Széchenyi István University, Győr, HungaryVerified email at ga.sze.hu
Balazs Polgarresearch fellow, Budapest 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
István RáthResearch associate, Budapest University of Technology and Economics; CEO, IncQuery Labs LtdVerified email at mit.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	315	2002
Designing the automatic transformation of visual languages D Varró, G Varró, A Pataricza Science of Computer Programming 44 (2), 205-227, 2002	255	2002
Generic and meta-transformations for model transformation engineering D Varró, A Pataricza «UML» 2004—The Unified Modeling Language. Modeling Languages and …, 2004	201	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), 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	188	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, 2007	104	2007
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	71	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
Checking general safety criteria on UML statecharts Z Pap, I Majzik, A Pataricza Computer Safety, Reliability and Security: 20th International Conference …, 2001	46	2001
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	45	2003
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	42	2006
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	39	2002
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	38	2002
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	35	1999
Watchdog processors in parallel systems A Pataricza, I Majzik, W Hohl, J Hönig Microprocessing and Microprogramming 39 (2-5), 69-74, 1993	34	1993
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	32	2001
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	31	2008
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
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	30	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

Cited by

Co-authors