Items where Author is "Bartha, Tamás"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | No Grouping
Number of items: 32.

1999

DateAuthor/TitleDocument Type
1999Maestrini, P. and Bartha, Tamás
Backward error recovery in the APEmille parallel computer
Conference or Workshop Item
1999Selényi, E. and Bartha, Tamás
Efficient probabilistic diagnosis algorithms for large systems
Conference or Workshop Item

2000

DateAuthor/TitleDocument Type
2000Bartha, Tamás and Selényi, E.
On classification heuristics of probabilistic system-level fault diagnostic algorithms
Book Section
2000Bartha, Tamás and Selényi, E.
Probabilistic fault diagnosis in large, heterogeneous computing systems
Article
2000Bartha, Tamás
Utilizing backward error recovery to achieve fault tolerance in a SIMD supercomputer
Conference or Workshop Item
2000Gá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

2002

DateAuthor/TitleDocument Type
2002Polgár, B. and Selényi, E. and Bartha, Tamás
Modeling uncertainty in system-level fault diagnosis using process graphs
Book Section

2003

DateAuthor/TitleDocument Type
2003Varga, 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

2004

DateAuthor/TitleDocument Type
2004Bartha, 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
2004Varga, István and Bartha, Tamás and Soumelidis, Alexandros
On-line testing of the reactor protection system in the Paks nuclear power plant
Article
2004Varga, 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

2005

DateAuthor/TitleDocument Type
2005Bartha, 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
2005Szabó, 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

2006

DateAuthor/TitleDocument Type
2006Németh, Erzsébet and Bartha, Tamás
Formal verification of function block based specifications of safety-critical software
Conference or Workshop Item

2007

DateAuthor/TitleDocument Type
2007Bartha, Tamás and Gáspár, Péter
Integrált irányítási alkalmazások járműrendszerekben
Article

2008

DateAuthor/TitleDocument Type
2008Bartha, Tamás and Varga, István
Development of safety software for the Paks Nuclear Power Plant
Article
2008Németh, Erzsébet and Bartha, Tamás
Formal verification of safety functions by reinterpretation of functional block based specifications
Conference or Workshop Item

2009

DateAuthor/TitleDocument Type
2009-06-30Bartha, 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
2009Né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

2011

DateAuthor/TitleDocument Type
2011Vörös, András and Darvas, Dániel and Bartha, Tamás
Bounded saturation based CTL model checking
Book Section
2011Gá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
2011Vö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

2012

DateAuthor/TitleDocument Type
2012Bartha, 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

2013

DateAuthor/TitleDocument Type
2013-03Vörös, András and Darvas, Dániel and Bartha, Tamás
Bounded saturation-based CTL model checking
Article
2013Darvas, 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
2013Hajdu, Á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

2014

DateAuthor/TitleDocument Type
2014Hajdu, Á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

2015

DateAuthor/TitleDocument Type
2015Hajdu, Ákos and Vörös, András and Bartha, Tamás
New Search Strategies for the Petri Net CEGAR Approach
Book Section
2015Molná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

2016

DateAuthor/TitleDocument Type
2016Molná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
2016Darvas, Dániel and Vörös, András and Bartha, Tamás
Improving Saturation-based Bounded Model Checking
Article
2016Vö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
This list was generated on Tue Dec 7 03:09:54 2021 CET.