Items where Author is "Bartha, Tamás"
 | Up a level |
Number of items: 34.
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2024 | Lukács, Gábor and Bartha, Tamás Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study |  | Article |
| 2022 | Lukács, Gábor and Bartha, Tamás Formal Modeling and Verification of the Functionality of Electronic Urban Railway Control Systems Through a Case Study | Article | |
| 2016 | Molnár, Vince and Vörös, András and Darvas, Dániel and Bartha, Tamás and Majzik, István Component-wise incremental LTL model checking | | Article |
| 2016 | Darvas, Dániel and Vörös, András and Bartha, Tamás Improving Saturation-based Bounded Model Checking | Article | |
| 2016 | Vörös, András and Darvas, Dániel and Molnár, Vince and Klenik, Attila and Hajdu, Ákos and Bartha, Tamás and Majzik, István PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research | Book Section | |
| 2015 | Hajdu, Ákos and Vörös, András and Bartha, Tamás New Search Strategies for the Petri Net CEGAR Approach | | Book Section |
| 2015 | Molnár, Vince and Darvas, Dániel and Vörös, András and Bartha, Tamás Saturation-based incremental LTL model checking with inductive proofs | Book Section | |
| 2014 | Hajdu, Ákos and Vörös, András and Bartha, Tamás and Mártonka, Zoltán Extensions to the CEGAR Approach on Petri Nets | Article | |
| 2013-03 | Vörös, András and Darvas, Dániel and Bartha, Tamás Bounded saturation-based CTL model checking | | Article |
| 2013 | Darvas, Dániel and Vörös, András and Bartha, Tamás Efficient Saturation-based Bounded Model Checking of Asynchronous Systems | | Conference or Workshop Item |
| 2013 | Hajdu, Ákos and Vörös, András and Bartha, Tamás and Mártonka, Zoltán Extensions to the CEGAR Approach on Petri Nets | | Conference or Workshop Item |
| 2012 | Bartha, Tamás and Vörös, András and Jámbor, Attila and Darvas, Dániel Verification of an industrial safety function using coloured Petri nets and model checking | | Book Section |
| 2011 | Vörös, András and Darvas, Dániel and Bartha, Tamás Bounded saturation based CTL model checking | | Book Section |
| 2011 | Gábor, Attila and Sonnevend, Ilona and Bartha, Tamás Control-oriented modelling of the primary circuit and its controllers of a PWR nuclear power plant | Conference or Workshop Item | |
| 2011 | Vörös, András and Szabo, Tamás and Jámbor, Attila and Darvas, Dániel and Horváth, Ákos and Bartha, Tamás Parallel saturation based model checking | | Book Section |
| 2009-06-30 | Bartha, Tamás and Fazekas, Csaba and Varga, István Design and implementation of an improved and reliable pressurizer controller at the Paks NPP | | Conference or Workshop Item |
| 2009 | Németh, Erzsébet and Bartha, Tamás and Fazekas, Csaba and Hangos, Katalin Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets | ISI Article | |
| 2008 | Bartha, Tamás and Varga, István Development of safety software for the Paks Nuclear Power Plant | Article | |
| 2008 | Németh, Erzsébet and Bartha, Tamás Formal verification of safety functions by reinterpretation of functional block based specifications | Conference or Workshop Item | |
| 2007 | Bartha, Tamás and Gáspár, Péter Integrált irányítási alkalmazások járműrendszerekben | Article | |
| 2006 | Németh, Erzsébet and Bartha, Tamás Formal verification of function block based specifications of safety-critical software | Conference or Workshop Item | |
| 2005 | Bartha, Tamás and Varga, István and Soumelidis, Alexandros and Szabó, G. Implementation of a testing and diagnostic concept for an NPP reactor protection system | Article | |
| 2005 | Szabó, G. and Varga, István and Bartha, Tamás Állapotmonitorozási és megbízhatósági információk integrálása erőművi informatikai rendszerekben | Article | |
| 2004 | Bartha, Tamás and Csertán, GY and Gyapay, SZ and Majzik, I. and Pataricza, A. and Varró, D. Formális módszerek az informatikában | Book | |
| 2004 | Varga, István and Bartha, Tamás and Soumelidis, Alexandros On-line testing of the reactor protection system in the Paks nuclear power plant | Article | |
| 2004 | Varga, István and Bartha, Tamás and Szabó, G. and Kiss, B. Status and actual risk monitoring in a NPP reactor protection system | Conference or Workshop Item | |
| 2003 | Varga, István and Bartha, Tamás and Soumelidis, Alexandros and Katics, B. A concept for on-line testing of distributed safety-critical supervisory systems | Conference or Workshop Item | |
| 2002 | Polgár, B. and Selényi, E. and Bartha, Tamás Modeling uncertainty in system-level fault diagnosis using process graphs | Book Section | |
| 2000 | Bartha, Tamás and Selényi, E. On classification heuristics of probabilistic system-level fault diagnostic algorithms | Book Section | |
| 2000 | Bartha, Tamás and Selényi, E. Probabilistic fault diagnosis in large, heterogeneous computing systems | Article | |
| 2000 | Bartha, Tamás Utilizing backward error recovery to achieve fault tolerance in a SIMD supercomputer | Conference or Workshop Item | |
| 2000 | Gáspár, Péter and Szászi, I. and Bartha, Tamás and Varga, István and Bokor, József and Palkovics, László and Gianone, L. Visual lane and obstruction detection system for commercial vehicles | Conference or Workshop Item | |
| 1999 | Maestrini, P. and Bartha, Tamás Backward error recovery in the APEmille parallel computer | Conference or Workshop Item | |
| 1999 | Selényi, E. and Bartha, Tamás Efficient probabilistic diagnosis algorithms for large systems | Conference or Workshop Item |
