András Pataricza

Cited by

	All	Since 2016
Citations	2553	384
h-index	24	9
i10-index	47	9

200

100

150

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202110 13 18 16 10 6 13 25 71 127 108 142 180 197 176 154 132 163 163 177 107 107 91 73 98 67 42 13

Public access

View all

4 articles

0 articles

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
András Baloghthyssenkrupp Presta Hungary Kft.Verified email at baboprint.hu
Imre KocsisBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Gabor HuszerlBudapesti Műszaki és Gazdaságtudományi EgyetemVerified email at mit.bme.hu
Laszlo GonczyResearch Associate, Department of Measurement and Information Systems, Budapest University of Technology and EconomicsVerified 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
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)Verified email at cnr.it
Ferenc FriedlerResearch Professor, Széchenyi István University, Győr, HungaryVerified email at ga.sze.hu
Henrique MadeiraUniversity of CoimbraVerified email at dei.uc.pt
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; Engineering; Seoul National UniversityVerified email at acm.org
Balázs BenyóProfessor, Budapest University of Technology and EconomicsVerified email at iit.bme.hu
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
Ágnes SalánkiBudapest University of Technology and EconomicsVerified email at mit.bme.hu

András Pataricza

Budapest University of Technology and Economics

Verified email at mit.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	291	2002
Designing the automatic transformation of visual languages D Varró, G Varró, A Pataricza Science of Computer Programming 44 (2), 205-227, 2002	244	2002
Generic and meta-transformations for model transformation engineering D Varró, A Pataricza International Conference on the Unified Modeling Language, 290-304, 2004	190	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	189	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	177	2001
Automated formal verification of model transformations D Varró, A Pataricza TUM, 63, 2003	117	2003
Stochastic dependability analysis of system architecture based on UML models I Majzik, A Pataricza, A Bondavalli Architecting dependable systems, 219-244, 2003	96	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	70	2002
Towards testing the implementation of graph transformations A Darabos, A Pataricza, D Varró Electronic Notes in Theoretical Computer Science 211, 75-85, 2008	45	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	44	2001
From the general resource model to a general fault modeling paradigm? A Pataricza Workshop on Crititcal Systems Development with UML at UML 2002, 2002	41	2002
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	40	2006
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	34	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	32	2001
Watchdog processors in parallel systems A Pataricza, I Majzik, W Hohl, J Hönig Microprocessing and Microprogramming 39 (2-5), 69-74, 1993	31	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	30	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, 224-248, 2010	27	2010
Formális módszerek az informatikában P András Typotex, 2006	27*	2006
UML action semantics for model transformation systems D Varró, A Pataricza Periodica Polytechnica Electrical Engineering (Archives) 47 (3-4), 167-186, 2003	27	2003

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

Upload PDF

Follow this author

Cited by

Co-authors