András Pataricza

Orcid: 0000-0002-6516-129X

According to our database1, András Pataricza authored at least 67 papers between 1988 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Preliminary Risk and Mitigation Assessment in Cyber-Physical Systems.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Underestimation-Aware Failure Statistical Model Creation for Large Scale Critical Systems.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022
Adding Semantics to Measurements: Ontology-Guided, Systematic Performance Analysis.
Acta Cybern., September, 2022

Extreme Value Analysis for Time-variable Mixed Workload.
Period. Polytech. Electr. Eng. Comput. Sci., 2022

Heterogeneous Federated CubeSat System: problems, constraints and capabilities.
CoRR, 2022

2021
IT Design for Resiliency Using Extreme Value Analysis.
Proceedings of the Computer Safety, Reliability, and Security, 2021

Static Analysis Tools Applied to Smart Contracts.
Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

Impact Assessment of IT Security Breaches in Cyber-Physical Systems: Short paper.
Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

Semi-automated model extraction from observations for dependability analysis.
Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

The Impact of Rare Container Restarts on Uninterrupted Kubernetes Operations.
Proceedings of the Dependable Computing - EDCC 2021 Workshops, 2021

2020
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts.
IEEE Access, 2020

Application of Extreme Value Analysis for Characterizing the Execution Time of Resilience Supporting Mechanisms in Kubernetes.
Proceedings of the Dependable Computing - EDCC 2020 Workshops, 2020

2019
Semantic Data Management in IT Service Performance Assurance.
Period. Polytech. Electr. Eng. Comput. Sci., 2019

2018
Systematic performance evaluation using component-in-the-loop approach.
Int. J. Cloud Comput., 2018

Extreme value analysis for capacity design.
Int. J. Cloud Comput., 2018

Exploratory Data Analysis of Fault Injection Campaigns.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2016
Towards cyber-physical system technologies over Apache VCL.
Int. J. Cloud Comput., 2016

2015
Risk Assessment Based Cloudification.
Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015

Executable Models to Support Automated Software FMEA.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Cost Prediction for V&V and Certification Processes.
Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

2013
Analytics of resource transients in cloud-based applications.
Int. J. Cloud Comput., 2013

Empirical Assessment of Resilience.
Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

Message from the general chair.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2011
A Methodology for Standards-Driven Metamodel Fusion.
Proceedings of the Model and Data Engineering - First International Conference, 2011

Qualitative Characterization of Quality of Service Interference between Virtual Machines.
Proceedings of the ARCS 2011, 2011

2010
A software integration approach for designing and assessing dependable embedded systems.
J. Syst. Softw., 2010

Towards Open Modular Critical Systems.
Proceedings of the FORMS/FORMAT 2010, 2010

Qualitative performance control in supervised IT infrastructures.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28, 2010

Workflow-Driven Tool Integration Using Model Transformations.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009
An optimization based design for integrated dependable real-time embedded systems.
Des. Autom. Embed. Syst., 2009

Model-Based Design - A Chance for Good Quality Products and Services by Integrating Intelligence.
Proceedings of the Information Systems: Modeling, 2009

Sensor Selection for IT Infrastructure Monitoring.
Proceedings of the Autonomic Computing and Communications Systems, 2009

2008
Tool Support for Engineering Certifiable Software.
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

Dependability and Security Metrics in Controlling Infrastructure.
Proceedings of the Second International Conference on Emerging Security Information, 2008

2007
Scheduling of embedded time-triggered systems.
Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007

Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services.
Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2006
Towards Testing the Implementation of Graph Transformations.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Optimal Trajectory Generation for Petri nets.
Acta Cybern., 2006

Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench.
Proceedings of the Computer Safety, 2006

Compiling model transformations to EJB3-specific transformer plugins.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Dependability Evaluation of Web Service-Based Processes.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

2005
Methods of checking general safety criteria in UML statechart specifications.
Reliab. Eng. Syst. Saf., 2005

Model-Based Optimization of Enterprise Application and Service Deployment.
Proceedings of the Service Availability, 2005

A Data Mining Approach to Identify Key Factors in Dependability Experiments.
Proceedings of the Dependable Computing, 2005

2004
Generic and Meta-transformations for Model Transformation Engineering.
Proceedings of the «UML» 2004, 2004

Towards Unified Dependability Modeling and Analysis.
Proceedings of the ARCS 2004, 2004

2003
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics).
Softw. Syst. Model., 2003

A combination of Petri nets and process network synthesis.
Proceedings of the IEEE International Conference on Systems, 2003

2002
Designing the automatic transformation of visual languages.
Sci. Comput. Program., 2002

Quantitative Analysis of UML Statechart Models of Dependable Systems.
Comput. J., 2002

Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models.
Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Stochastic Dependability Analysis of System Architecture Based on UML Models.
Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002

BPM Based Robust E-business Application Development (Practical Experience Report).
Proceedings of the Dependable Computing, 2002

2001
Dependability analysis in the early phases of UML-based system design.
Comput. Syst. Sci. Eng., 2001

Checking General Safety Criteria on UML Statecharts.
Proceedings of the Computer Safety, 2001

Cost Estimation Driven Software Development Process.
Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001

1999
High-level Integrated Design Environment for dependability (HIDE).
Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

1996
Constraint Based System-Level Diagnosis of Multiprocessors.
Proceedings of the Dependable Computing, 1996

1994
Hierarchical Checking of Multiprocessors Using Watchdog Processors.
Proceedings of the Dependable Computing, 1994

1993
Hardware support for error detection in multiprocessor systems - a case study.
Microprocess. Microsystems, 1993

Watchdog processors in parallel systems.
Microprocess. Microprogramming, 1993

Error detection mechanisms for massively parallel multiprocessors.
Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993

Fault Tolerance in Distributed Shared Memory Multiprocessors.
Proceedings of the Parallel Computer Architectures: Theory, 1993

1991
Remarks on the use of Reed-Solomon codes in signature analysis.
Microprocessing and Microprogramming, 1991

1988
An improved signature analysis based CPU self test.
Microprocess. Microprogramming, 1988


  Loading...