Items where Author is "Bartha, Tamás"
 | Up a level |
Number of items: 34.
ISI Article
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 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 |
Article
Book Section
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 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 | |
| 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 | 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 |
| 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 |
Conference or Workshop Item
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 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 |
| 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 | |
| 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 |
| 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 | |
| 2006 | Németh, Erzsébet and Bartha, Tamás Formal verification of function block based specifications of safety-critical software | Conference or Workshop Item | |
| 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 | |
| 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 |
Book
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 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 |
