Tamás Bartha
Orcid: 0000-0002-9634-6959
According to our database1,
Tamás Bartha
authored at least 19 papers
between 1996 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systems.
Proceedings of the 16th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2022
2018
Sci. Comput. Program., 2018
2016
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016
2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015
2014
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014
2011
Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011
2009
Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets.
Reliab. Eng. Syst. Saf., 2009
2008
Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications.
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
2006
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006
2005
On the Extension and Applicability of the P-Graph Modeling Paradigm to System-Level Diagnostic Problems.
Scalable Comput. Pract. Exp., 2005
Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System.
Proceedings of the Dependable Computing, 2005
1997
Parallel Comput., 1997
1996
Effective Approximate Fault Diagnosis of Systems with Inhomogeneous Test Invalidation.
Proceedings of the 22rd EUROMICRO Conference '96, 1996
Proceedings of the Dependable Computing, 1996