Follow
András Pataricza
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
3092002
Designing the automatic transformation of visual languages
D Varró, G Varró, A Pataricza
Science of Computer Programming 44 (2), 205-227, 2002
2522002
Generic and meta-transformations for model transformation engineering
D Varró, A Pataricza
International Conference on the Unified Modeling Language, 290-304, 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), 187-210, 2003
1932003
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
1842001
Automated formal verification of model transformations
D Varró, A Pataricza
TUM, 63, 2003
1212003
Stochastic dependability analysis of system architecture based on UML models
I Majzik, A Pataricza, A Bondavalli
Architecting dependable systems, 219-244, 2003
1002003
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
692002
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
International Conference on Computer Safety, Reliability, and Security, 46-55, 2001
472001
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, FD Giandomenico, A Pataricza, A Bondavalli, ...
European Performance Engineering Workshop, 166-180, 2006
392006
From the general resource model to a general fault modeling paradigm?
A Pataricza
Workshop on Crititcal Systems Development with UML at UML 2002, 2002
392002
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
372002
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
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
302008
UML action semantics for model transformation systems
D Varró, A Pataricza
Periodica Polytechnica Electrical Engineering (Archives) 47 (3-4), 167-186, 2003
292003
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
282010
Formális módszerek az informatikában
P András
Typotex, 2006
27*2006
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
261999
Multiprocessor checking using watchdog processors
I Majzik, W Hohl, A Pataricza, V Sieh
Computer Systems Science and Engineering 11 (5), 301-310, 1996
261996
Executable models to support automated software FMEA
V Bonfiglio, L Montecchi, F Rossi, P Lollini, A Pataricza, A Bondavalli
2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015
252015
A data mining approach to identify key factors in dependability experiments
G Pintér, H Madeira, M Vieira, I Majzik, A Pataricza
European Dependable Computing Conference, 263-280, 2005
242005
Validation and Certification of Safety-Critical Embedded Systems–The DECOS Test Bench
E Schoitsch, E Althammer, H Eriksson, J Vinter, L Gönczy, A Pataricza, ...
International Conference on Computer Safety, Reliability, and Security, 372-385, 2006
232006
Fault tolerance in distributed shared memory multiprocessors
MD Cin, A Grygier, H Hessenauer, U Hildebrand, J Hönig, W Hohl, ...
Parallel Computer Architectures, 31-48, 1993
221993
High level test pattern generation for VHDL circuits
B Sallay, A Petri, K Tilly, A Pataricza, B Benyó, J Sziray
IEEE European Test Workshop 96, 201-205, 1996
181996
Model and quality driven embedded systems engineering
E Ovaska, A Balogh, S Campos, A Noguero, A Pataricza, K Tiensyrjä, ...
Technical Research Centre of Finland, 2009
162009
Integration of OLAP and data mining for analysis of results from dependability evaluation experiments
G Pintér, H Madeira, M Vieira, I Majzik, A Pataricza
International Journal of Knowledge Management Studies 2 (4), 480-498, 2008
162008
On integrating error detection into a fault diagnosis algorithm for massively parallel computers
J Altmann, T Bartha, A Pataricza
Proceedings of 1995 IEEE International Computer Performance and …, 1995
161995
Towards performance modeling of hyperledger fabric
I Kocsis, A Pataricza, M Telek, A Klenik, F Deé, D Cseh
International IBM Cloud Academy Conference (ICACON), 2017
152017
A software integration approach for designing and assessing dependable embedded systems
N Suri, A Jhumka, M Hiller, A Pataricza, S Islam, C Sârbu
Journal of Systems and Software 83 (10), 1780-1800, 2010
152010
Semi-decisions in the validation of dependable systems
A Pataricza
Suppl. Proc. DSN, 114-115, 2001
152001
Petri net-based optimization of production systems
S Gyapay, A Pataricza, J Sziray, F Friedler
Intelligent Systems at the Service of Mankind, 157, 2002
142002
Automatic transformation of UML models for system verification
D Varró, S Gyapay, A Pataricza, J Whittle
WTUML 1, 123-127, 2001
142001
Hierarchical checking of multiprocessors using watchdog processors
I Majzik, A Pataricza, MD Cin, W Hohl, J Hönig, V Sieh
European Dependable Computing Conference, 386-403, 1994
141994
Compiling model transformations to EJB3-specific transformer plugins
A Balogh, G Varró, D Varró, A Pataricza
Proceedings of the 2006 ACM symposium on Applied computing, 1288-1295, 2006
132006
VPM: Mathematics of metamodeling is metamodeling mathematics
D Varró, A Pataricza
Journal of Software and Systems Modelling 1, 1-24, 2003
132003
BPM based robust E-Business application development
G Csertán, A Pataricza, P Harang, O Dobán, G Biros, A Dancsecz, ...
European Dependable Computing Conference, 32-43, 2002
132002
Mathematical Model Transformation for Ëystem Verification
D Varréo, A Pataricza
Budapest University of Technology and Economics, Dept. of Measurement and …, 2000
132000
Empirical assessment of resilience
A Pataricza, I Kocsis, Á Salánki, L Gönczy
International Workshop on Software Engineering for Resilient Systems, 1-16, 2013
122013
Dependability Analysis in HW-SW codesign
G Csertán, A Pataricza, E Selényi
Proceedings of 1995 IEEE International Computer Performance and …, 1995
121995
Architecture and realization of the modular expandable multiprocessor system memsy
M Dal Cin, W Hohl, S Dalibor, T Eckert, A Grygier, H Hessenauer, ...
Proceedings of the First International Conference on Massively Parallel …, 1994
121994
Model Level Automatic Test Generation for UML State-Charts
A Toth, D Varro, A Pataricca
Sixth IEEE workshop on Design and Diagnostics of Electronic Circuits and …, 2003
112003
Cost estimation driven software development process
O Dobán, A Pataricza
Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey, 208-213, 2001
112001
A process-graph based formulation of the syndrome-decoding problem
B Polgár, S Nováki, A Pataricza, F Friedler
Proc. of ddecs2001, the 4th ieee design and diagnostics of electronic …, 2001
112001
An optimization based design for integrated dependable real-time embedded systems
S Islam, N Suri, A Balogh, G Csertán, A Pataricza
Design Automation for Embedded Systems 13 (4), 245-285, 2009
102009
Systematic generation of dependability cases from functional models
A Pataricza
Formal Methods for Automation and Safety in Railway and Automotive Systems …, 2007
102007
Concurrent Error Detection of Program Execution Based on Statechart Specification
I Majzik, J Jávorszky, A Pataricza, E Selényi
Österreichische Computer Gesellschaft (ÖCG), 1999
101999
Using fault injection to assess blockchain systems in presence of faulty smart contracts
Á Hajdu, N Ivaki, I Kocsis, A Klenik, L Gönczy, N Laranjeiro, H Madeira, ...
IEEE Access 8, 190760-190783, 2020
92020
Analytics of resource transients in cloud-based applications
I Kocsis, A Pataricza, Z Micskei, A Kövi, Z Kocsis
International Journal of Cloud Computing 1 2 (2-3), 191-212, 2013
92013
Sensor selection for it infrastructure monitoring
GJ Paljak, I Kocsis, Z Égel, D Tóth, A Pataricza
International conference on autonomic computing and communications systems …, 2009
92009
Scheduling of embedded time-triggered systems
A Balogh, A Pataricza, J Rácz
Proceedings of the 2007 workshop on Engineering fault tolerant systems, 8-es, 2007
92007
The VIATRA2 transformation framework model transformation by graph transformation
D Varró, A Balogh, A Pataricza
92006
Model-based optimization of enterprise application and service deployment
A Balogh, D Varró, A Pataricza
International Service Availability Symposium, 84-98, 2005
92005
A combination of Petri nets and Process Network Synthesis
S Gyapay, A Pataricza
SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems …, 2003
92003
From the general resource model to a general fault modelling paradigm? In: Workshop on critical systems, held within UML’2000. CiteSeer Computer and Information Science
A Pataricza
Publications, 2000
92000
Verification and validation of Nonfunctional aspects in Enterprise modeling
A Pataricza, A Balogh, L Gonczy
Enterprise Modeling and Computing with UML, 257-298, 2007
82007
Fault Injection Based Validation of Fault-Tolerant Multiprocessors
V Sieh, A Pataricza, B Sallay, W Hohl, J Hönig, B Benyó
Proc, 85-94, 1994
81994
MDD-based design, configuration, and monitoring of resilient cyber-physical systems
L Gönczy, I Majzik, S Bozóki, A Pataricza
Trustworthy Cyber-Physical Systems Engineering, 421-446, 2016
72016
Tool support for engineering certifiable software
L Gönczy, I Majzik, A Horváth, D Varró, A Balogh, Z Micskei, A Pataricza
Electronic Notes in Theoretical Computer Science 238 (4), 79-85, 2009
72009
Data mining techniques in the experimental analysis of dependability
A Pataricza, B Tolvaj
72001
A combination of petri-nets and linear programming in design for dependability
A Pataricza, P Urbán
Technical Report, TUB, 1998
71998
Hardware support for error detection in multiprocessor systems—a case study
W Hohl, E Michel, A Pataricza
Microprocessors and Microsystems 17 (4), 201-206, 1993
71993
Exploratory data analysis of fault injection campaigns
F Cerveira, I Kocsis, R Barbosa, H Madeira, A Pataricza
2018 IEEE International Conference on Software Quality, Reliability and …, 2018
62018
An open system for dependable system validation and verification support-The DECOS generic test bench
E Althammer, E Schoitsch, H Eriksson, J Vinter, A Pataricza, G Csertan
2007 5th IEEE International Conference on Industrial Informatics 2, 965-969, 2007
62007
Towards unified dependability modeling and analysis
A Pataricza, F Györ
ARCS 2004–Organic and pervasive computing, 2004
62004
Visual graph transformation in system verification
D Varró, G Varró, A Pataricza
DDECS, 137-141, 2000
62000
Control flow checking in multitasking systems
I Majzik, A Pataricza
Periodica Polytechnica Electrical Engineering (Archives) 39 (1), 27-36, 1995
61995
An event-driven approach to multiprocessor diagnosis
J Altmann, T Bartha, A Pataricza
µP’94, 1994
61994
Error detection mechanisms for massively parallel multiprocessors
M Dal Cin, W Hohl, E Michel, A Pataricza
1993 Euromicro Workshop on Parallel and Distributed Processing, 401-408, 1993
61993
Towards cyber-physical system technologies over Apache VCL
I Kocsis, Á Tóth, Z Szatmári, T Dabóczi, A Pataricza, G Guta
International Journal of Cloud Computing 5 (1-2), 91-111, 2016
52016
A methodology for standards-driven metamodel fusion
A Pataricza, L Gönczy, A Kövi, Z Szatmári
International Conference on Model and Data Engineering, 270-277, 2011
52011
Stochastic Dependability Analysis of System Architecture based on UML Designs
A Bondavalli, I Majzik, A Pataricza
Architecting Dependable Systems, Springer, LNCS 2677, 219-244, 2003
52003
Towards an xmi-based model interchange format for graph transformation systems
D Varrщo, G Varrщo, A Pataricza
52000
Constraint based system-level diagnosis of multiprocessors
J Altmann, T Bartha, A Pataricza, A Petri, P Urbán
European Dependable Computing Conference, 403-420, 1996
51996
Algebraic Modelling of Diagnostic Problems in HW-SW Co-Design
A Pataricza
Digest of Abstracts of the IEEE International Workshop on Embedded Fault …, 1996
51996
Application of extreme value analysis for characterizing the execution time of resilience supporting mechanisms in kubernetes
S Bozóki, J Szalontai, D Pethő, I Kocsis, A Pataricza, P Suskovics, ...
European Dependable Computing Conference, 185-199, 2020
42020
Systematic performance evaluation using component-in-the-loop approach.
I Kocsis, A Klenik, A Pataricza, M Telek, F Deé, D Cseh
Int. J. Cloud Comput. 7 (3/4), 336-357, 2018
42018
Extreme value analysis for capacity design
S Bozoki, A Pataricza
International Journal of Cloud Computing 7 (3-4), 204-225, 2018
42018
Measurement-based identification of infrastructures for trustworthy cyber-physical systems
I Kocsis, Á Salánki, A Pataricza
Trustworthy Cyber-Physical Systems Engineering, 395-420, 2016
42016
Sustaining Property Verification of Synchronous Dependable Protocols over Implementation
P Bokor, M Serafini, A Sisak, A Pataricza, N Suri
10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 169-178, 2007
42007
From Resilience-Building to Resilience-Scaling Technologies: Directions--ReSIST NoE Deliverable D13
M Banatre, A Pataricza, A Moorsel, P Palanque, L Strigini
Department of Informatics, University of Lisbon, 2007
42007
Generation of platform-specific model transformation plugins for EJB 3.0
A Balogh, G Varró, D Varró, A Pataricza
Proceedings of the 21st ACM Symposium on Applied Computing, 1288-1295, 2006
42006
The viatra2 transformation framework
D Varró, A Balogh, A Pataricza
Eclipse Modeling Symposium, Eclipse Summit Europe 2006, 2006
42006
Role of calcium-activated potassium channels in the regulation of basal and agonist-elevated tones in isolated conduit arteries
A Pataricza, Z Marton, Z Hegedűs, I Krassói, A Kun, A Varro, JG Papp
Acta Physiologica Hungarica 91 (3-4), 263-265, 2004
42004
Formal verification of model transformation systems
G Salamon, D Varró, A Pataricza
EDCC 2002: Fourth European Dependable Computing Conference: Fast Abstracts …, 2002
42002
A Unifying Semantic Framework for Multilevel Metamodeling
D Varró, A Pataricza
Tech. rep., Budapest Univ. of Technology and Economics, 2001
42001
Automatic Graph Transformation in System Verification
D Varró, G Varró, A Pataricza
Proc. DDECS, 34, 2000
42000
Risk assessment based cloudification
S Bozóki, G Koronka, A Pataricza
International Workshop on Software Engineering for Resilient Systems, 71-81, 2015
32015
Benchmarking the Ethernet-Federated Datacenter
M Gusat, C DeCusatis, C Minkenberg, L McKenna, K Bhardwaj, GJ Paljak, ...
First Workshop on Data Center-Converged and Virtual Ethernet Switching (DC …, 2009
32009
Dependability and security metrics in controlling infrastructure
I Kocsis, G Csertán, PL Pásztor, A Pataricza
2008 Second International Conference on Emerging Security Information …, 2008
32008
Formal methods in computing
M Ferenczi, L Rónyai, A Pataricza
Akad. K., Budapest, 2005
32005
Generic and Meta-Transformations for Model Transformation Engeering
D Varr, A Pataricza
Proc. UML, 2004
32004
Data Mining in Fault Injection
A Pataricza, G Pintér
Proc. DDECS, 2003
32003
Process Modeling and Optimization in UML
A Pataricza, G Csertán, O Dobán, A Gábor, J Sziray
IEEE International Conference on Intelligent Engineering Systems, INES-2001 …, 2001
32001
UML based control of industrial processes
A Pataricza, G Csertán, G Román, V Keresztély, J Sziray
IEEE International Conference on Intelligent Engineering Systems, 49-52, 2000
32000
Modeling of Fault-Tolerant Computing Systems
G Csertan, J Guthoff, A Pataricza, R Thebis
31994
A high-speed watchdog processor for multitasking systems
I Majzik, A Pataricza, W Hohl, J Hönig, V Sieh
8th Symposium on microcomputer and microprocessor applications, 1994
31994
The system can't perform the operation now. Try again later.
Articles 1–100