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:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
3
1
1
2
1
1
1
1
1
1
1
2
1
2
1
1
2
5
1
1
3
2
2
3
2
2
3
4
2
2
1
4
2
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
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
Acta Cybern., September, 2022
Period. Polytech. Electr. Eng. Comput. Sci., 2022
CoRR, 2022
2021
Proceedings of the Computer Safety, Reliability, and Security, 2021
Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021
Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021
Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021
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
Period. Polytech. Electr. Eng. Comput. Sci., 2019
2018
Int. J. Cloud Comput., 2018
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
2016
Int. J. Cloud Comput., 2016
2015
Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015
Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015
2013
Int. J. Cloud Comput., 2013
Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013
2011
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
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28, 2010
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010
2009
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
Proceedings of the Autonomic Computing and Communications Systems, 2009
2008
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008
Proceedings of the Second International Conference on Emerging Security Information, 2008
2007
Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007
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
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006
Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench.
Proceedings of the Computer Safety, 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006
2005
Reliab. Eng. Syst. Saf., 2005
Proceedings of the Service Availability, 2005
Proceedings of the Dependable Computing, 2005
2004
Proceedings of the «UML» 2004, 2004
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
Proceedings of the IEEE International Conference on Systems, 2003
2002
Sci. Comput. Program., 2002
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
Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002
Proceedings of the Dependable Computing, 2002
2001
Dependability analysis in the early phases of UML-based system design.
Comput. Syst. Sci. Eng., 2001
Proceedings of the Computer Safety, 2001
Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001
1999
Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999
1996
Proceedings of the Dependable Computing, 1996
1994
Proceedings of the Dependable Computing, 1994
1993
Microprocess. Microsystems, 1993
Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993
Proceedings of the Parallel Computer Architectures: Theory, 1993
1991
Microprocessing and Microprogramming, 1991
1988
Microprocess. Microprogramming, 1988