András Pataricza
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
2782002
Designing the automatic transformation of visual languages
D Varró, G Varró, A Pataricza
Science of Computer Programming 44 (2), 205-227, 2002
2362002
Generic and meta-transformations for model transformation engineering
D Varró, A Pataricza
International Conference on the Unified Modeling Language, 290-304, 2004
1872004
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
1812003
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
1682001
Automated formal verification of model transformations
D Varró, A Pataricza
TUM, 63, 2003
1072003
Stochastic dependability analysis of system architecture based on UML models
I Majzik, A Pataricza, A Bondavalli
Architecting dependable systems, 219-244, 2003
922003
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
612002
Checking general safety criteria on UML statecharts
Z Pap, I Majzik, A Pataricza
International Conference on Computer Safety, Reliability, and Security, 46-55, 2001
452001
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
432003
Towards testing the implementation of graph transformations
A Darabos, A Pataricza, D Varró
Electronic Notes in Theoretical Computer Science 211, 75-85, 2008
422008
From the general resource model to a general fault modeling paradigm?
A Pataricza
Workshop on Crititcal Systems Development with UML at UML 2002, 2002
402002
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
362006
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
342002
Watchdog processors in parallel systems
A Pataricza, I Majzik, W Hohl, J Hönig
Microprocessing and Microprogramming 39 (2-5), 69-74, 1993
321993
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
292001
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
282005
UML action semantics for model transformation systems
D Varró, A Pataricza
Periodica Polytechnica Electrical Engineering 47 (3-4), 167-186, 2003
282003
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
272010
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
251999
Multiprocessor checking using watchdog processors
I Majzik, W Hohl, A Pataricza, V Sieh
Computer Systems Science and Engineering 11 (5), 301-310, 1996
241996
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
232005
Fault tolerance in distributed shared memory multiprocessors
M Dal Cin, A Grygier, H Hessenauer, U Hildebrand, J Hönig, W Hohl, ...
Parallel Computer Architectures, 31-48, 1993
221993
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
182008
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
182006
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
171996
Semi-decisions in the validation of dependable systems
A Pataricza
Suppl. Proc. DSN, 114-115, 2001
162001
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
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
152015
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
152006
Automatic transformation of UML models for system verification
D Varró, S Gyapay, A Pataricza, J Whittle
WTUML 1, 123-127, 2001
152001
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
142010
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
132009
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
132008
VPM: Mathematics of metamodeling is metamodeling mathematics
D Varró, A Pataricza
Journal of Software and Systems Modelling 1, 1-24, 2003
132003
Hierarchical checking of multiprocessors using watchdog processors
I Majzik, A Pataricza, M Dal Cin, W Hohl, J Hönig, V Sieh
European Dependable Computing Conference, 386-403, 1994
131994
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
122002
Petri net-based optimization of production systems
S Gyapay, A Pataricza, J Sziray, F Friedler
Intelligent Systems at the Service of Mankind, 157, 2002
122002
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
122001
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
Cost estimation driven software development process
O Dobán, A Pataricza
Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey, 208-213, 2001
112001
Mathematical Model Transformation for Ëystem Verification
D Varréo, A Pataricza
Budapest University of Technology and Economics, Dept. of Measurement and …, 2000
112000
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, 2009
102009
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
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
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
101994
The VIATRA2 transformation framework model transformation by graph transformation
D Varró, A Balogh, A Pataricza
92006
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
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
Empirical assessment of resilience
A Pataricza, I Kocsis, Á Salánki, L Gönczy
International Workshop on Software Engineering for Resilient Systems, 1-16, 2013
82013
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
82013
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
82009
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
82009
Model-based optimization of enterprise application and service deployment
A Balogh, D Varró, A Pataricza
International Service Availability Symposium, 84-98, 2005
82005
A combination of Petri nets and Process Network Synthesis
S Gyapay, A Pataricza
SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems …, 2003
82003
Verification and validation of Nonfunctional aspects in Enterprise modeling
A Pataricza, A Balogh, L Gonczy
Enterprise Modeling and Computing with UML, 257-298, 2007
72007
Systematic generation of dependability cases from functional models
A Pataricza
Proceedings of Formal Methods for Automation and Safety in Railway and …, 2007
72007
Towards unified dependability modeling and analysis
A Pataricza, F Györ
ARCS 2004–Organic and pervasive computing, 2004
72004
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
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
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
61996
Algebraic Modelling of Diagnostic Problems in HW-SW Co-Design
A Pataricza
Digest of Abstracts of the IEEE International Workshop on Embedded Fault …, 1996
61996
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
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
52016
Stochastic Dependability Analysis of System Architecture based on UML Designs
A Bondavalli, I Majzik, A Pataricza
Lecture Notes in Computer Science 2677, 2003
52003
Towards an xmi-based model interchange format for graph transformation systems
D Varrщo, G Varrщo, A Pataricza
52000
Visual graph transformation in system verification
D Varró, G Varró, A Pataricza
DDECS, 137-141, 2000
52000
Control flow checking in multitasking systems
I Majzik, A Pataricza
Periodica Polytechnica Electrical Engineering 39 (1), 27-36, 1995
51995
An event-driven approach to multiprocessor diagnosis
J Altmann, T Bartha, A Pataricza
µP’94, 1994
51994
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
42017
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
42016
Impact models for walking and running systems-angular moment conservation versus varying geometric constraints
A Zelei, L Bencsik, LL Kovács, G Stépán
Tc 1, 2, 2013
42013
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
42011
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
Fault Injection Based Dependability Analysis
B Benyó, A Pataricza
Periodica Polytechnica Electrical Engineering 37 (2), 97-109, 1993
41993
Risk assessment based cloudification
S Bozóki, G Koronka, A Pataricza
International Workshop on Software Engineering for Resilient Systems, 71-81, 2015
32015
Trajectory set approximation for optimization and verification of it systems
S Varró-Gyapay
Budapesti Műszaki és Gazdaságtudományi Egyetem, 2014
32014
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
UML Based Software Process Management
O Dobán, A Pataricza
Periodica Polytechnica Electrical Engineering 47 (3-4), 213-228, 2003
32003
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
The 8th Symposium on Microcomputer and Microprocessor Applications, 1994
31994
Performance analysis of critical services
A Klenik, A Pataricza
2018 IEEE International Conference on Future IoT Technologies (Future IoT), 1-6, 2018
22018
Composable Framework Support for Software-FMEA through Model Execution
V Bonfiglio, F Brancati, F Rossi, A Bondavalli, L Montecchi, A Pataricza, ...
Certifications of Critical Systems-The CECRIS Experience, 183, 2017
22017
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–100