Follow
Tamás Bartha
Title
Cited by
Cited by
Year
Formal verification of complex properties on PLC programs
D Darvas, B Fernández Adiego, A Vörös, T Bartha, E Blanco Vińuela, ...
Formal Techniques for Distributed Objects, Components, and Systems: 34th …, 2014
492014
Formal verification of safety functions by reinterpretation of functional block based specifications
E Németh, T Bartha
International Workshop on Formal Methods for Industrial Critical Systems …, 2008
462008
Dependability evaluation of web service-based processes
L Gönczy, S Chiaradonna, F Di Giandomenico, A Pataricza, A Bondavalli, ...
European Performance Engineering Workshop, 166-180, 2006
422006
Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets
E Németh, T Bartha, C Fazekas, KM Hangos
Reliability Engineering & System Safety 94 (5), 942-953, 2009
392009
Formális módszerek az informatikában
P András
Typotex, 2006
28*2006
Bounded saturation-based CTL model checking
A Vörös, D Darvas, T Bartha
Proceedings of the Estonian Academy of Sciences 62 (1), 59-70, 2013
252013
Bounded saturation based CTL model checking
A Vörös, D Darvas, T Bartha
12th Symposium on Programming Languages and Software Tools, 149-160, 2011
252011
On integrating error detection into a fault diagnosis algorithm for massively parallel computers
J Altmann, T Bartha, A Pataricza
Proceedings of 1995 IEEE International Computer Performance and …, 1995
161995
Probabilistic system-level fault diagnostic algorithms for multiprocessors
T Bartha, E Selényi
Parallel Computing 22 (13), 1807-1821, 1997
141997
Extensions to the CEGAR Approach on Petri Nets
Á Hajdu, A Vörös, T Bartha, Z Mártonka
The 13th Symposium on Programming Languages and Software Tools (SPLST'13 …, 2013
132013
Verification of an industrial safety function using coloured Petri nets and model checking
T Bartha, A Vörös, A Jámbor, D Dániel
14th International Conference on Modern Information Technology in the …, 2012
132012
New search strategies for the Petri net CEGAR approach
Á Hajdu, A Vörös, T Bartha
Application and Theory of Petri Nets and Concurrency: 36th International …, 2015
122015
Industrial applications of the PetriDotNet modelling and analysis tool
A Vörös, D Darvas, Á Hajdu, A Klenik, K Marussy, V Molnár, T Bartha, ...
Science of Computer Programming 157, 17-40, 2018
112018
Parallel saturation based model checking
A Horv
2011 10th International Symposium on Parallel and Distributed Computing, 94-101, 2011
112011
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research
A Vörös, D Darvas, V Molnár, A Klenik, Á Hajdu, A Jámbor, T Bartha, ...
Application and Theory of Petri Nets and Concurrency: 37th International …, 2016
92016
Saturation-based incremental LTL model checking with inductive proofs
V Molnár, D Darvas, A Vörös, T Bartha
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
92015
Probabilistic fault diagnosis in large, heterogeneous computing systems
T Bartha, E Selényi
Periodica Polytechnica Electrical Engineering (Archives) 43 (2), 127-149, 1999
91999
Component-wise incremental LTL model checking
V Molnár, A Vörös, D Darvas, T Bartha, I Majzik
Formal Aspects of Computing 28, 345-379, 2016
82016
Efficient system-level fault diagnosis of large multiprocessor systems
T Bartha
Ph. D thesis, BME-MIT, 2000
72000
Improving saturation-based bounded model checking
D Darvas, A Vörös, T Bartha
ACTA CYBERNETICA-SZEGED 22 (3), 573-589, 2016
62016
Constraint based system-level diagnosis of multiprocessors
J Altmann, T Bartha, A Pataricza, A Petri, P Urbán
Dependable Computing—EDCC-2: Second European Dependable Computing …, 1996
61996
An event-driven approach to multiprocessor diagnosis
J Altmann, T Bartha, A Pataricza
µP’94, 1994
61994
Formal modeling and verification of the functionality of electronic urban railway control systems through a case study
G Lukács, T Bartha
Urban Rail Transit 8 (3), 217-245, 2022
52022
Advanced saturation-based model checking of well-formed coloured Petri nets
A Vörös, D Darvas, A Jámbor, T Bartha
Periodica Polytechnica Electrical Engineering and Computer Science 58 (1), 3-13, 2014
52014
On Extension and Applicability of The P-Graph Modeling Paradigm to System-Level Diagnostic Problems
B Polgár, E Selényi, T Bartha
Scalable Computing: Practice and Experience 6 (2), 45-57, 2005
52005
Construction of formal models and verifying property specifications through an example of railway interlocking systems
G Lukács, T Bartha
Pollack Periodica 14 (2), 39-50, 2019
42019
Control-oriented modelling of the primary circuit and its controllers of a PWR nuclear power plant
A Gábor, I Sonnevend, T Bartha
9th European Workshop on Advanced Control and Diagnosis (ACD 2011), Paper 34., 2011
42011
Szaturáció alapú automatikus modellellenőrző fejlesztése aszinkron rendszerekhez
D Dániel, B Tamás, V András
Tudományos Diákköri Konferencia, Budapesti Műszaki és Gazdaságtudományi …, 2010
42010
Implementation of a testing and diagnostic concept for an NPP reactor protection system
T Bartha, I Varga, A Soumelidis, G Szabé
Dependable Computing-EDCC 5: 5th European Dependable Computing Conference …, 2005
42005
Status and actual risk monitoring in a NPP reactor protection system
I Varga, T Bartha, G Szabó, B Kiss
Probabilistic Safety Assessment and Management: PSAM 7—ESREL’04 June 14–18 …, 2004
42004
Efficient algorithms for system-level diagnosis of multiprocessors using local information
T Bartha, E Selényi
Proc. of the DAPSYS’96 Workshop on Distributed and Parallel Systems, 183-190, 1996
41996
Experiences with the formal modeling of the geographical and tabular principles of interlocking systems
G Lukács, B Farkas, T Bartha
Proceedings of 21 st International Scientific Conference. Transport Means …, 2017
32017
Komplex rendszerek modellezése és verifikációja
D Dániel, J Attila, B Tamás, V András
Tudományos Diákköri Konferencia, Budapesti Műszaki és Gazdaságtudományi …, 2011
32011
Formal verification of function block based specifications of safety-critical software
E Németh, T Bartha
8th International Conference on Modern Information Technology in the …, 2006
32006
Formal verification of function block based specifications of safety-critical software
E Németh, T Bartha
Proceedings of the 8th International Conference on The Modern Information …, 2006
32006
A concept for on-line testing of distributed safety-critical supervisory systems
I Varga, T Bartha, A Soumelidis, B Katics
ntelligent Manufacturing Systems 2003: Proceedings Volume of the 7th IFAC …, 2003
32003
Visual lane and obstruction detection system for commercial vehicles
P Gáspár, I Szászi, T Bartha, I Varga, J Bokor, L Palkovics, L Gianone
4th IFAC symposium on fault detection supervision and safety for technical …, 2000
32000
Effective approximate fault diagnosis of systems with inhomogeneous test invalidation
T Bartha
Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000 …, 1996
31996
Diagnosis Algorithms of Multiprocessor Systems
T Bartha
Budapest University of Technology and Economics, 1993
31993
Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systems
G Lukács, T Bartha
2022 IEEE 16th International Symposium on Applied Computational Intelligence …, 2022
22022
1. BEVEZETÉS
F Balázs, B Tamás
22022
Formális modellezés alkalmazásának lehetőségei a vasúti biztosítóberendezések területén–1. rész
F Balázs, L Gábor, B Tamás
22017
Modeling uncertainty in system-level fault diagnosis using process graphs
B Polgár, E Selényi, T Bartha
Distributed and Parallel Systems: Cluster and Grid Computing, 195-202, 2002
22002
On classification heuristics of probabilistic system-level fault diagnostic algorithms
T Bartha, E Selényi
Distributed and Parallel Systems: From Instruction Parallelism to Cluster …, 2000
22000
Practical UML subset for railway engineers to support formal modeling
G Lukács, T Bartha
Trans Motauto World 7 (2), 56-59, 2022
12022
Advanced saturation-based model checking
V Molnár, T Bartha, A Vörös
Master’s thesis, Budapest University of Technology and Economics, 2014
12014
Incremental extension of the saturation algorithm-based bounded model checking of Petri nets
D Darvas, T Bartha, A Vörös
Master’s Thesis. Budapest University of Technology and Economics, 2014
12014
Efficient Saturation-based Bounded Model Checking of Asynchronous Systems
D Darvas, A Vörös, T Bartha
The 13th Symposium on Programming Languages and Software Tools (SPLST'13 …, 2013
12013
Dependability analysis and synthesis of web services
L Gönczy
Proc 13, 2004
12004
Formális módszerek az informatikában
T Bartha, GY Csertán, SZ Gyapay, I Majzik, A Pataricza, D Varró
Formális módszerek az informatikában, 312, 2004
12004
Utilizing backward error recovery to achieve fault tolerance in a SIMD supercomputer
T Bartha
4th IFAC symposium on fault detection supervision and safety for technical …, 2000
12000
Efficient probabilistic diagnosis algorithms for large systems
E Selényi, T Bartha
Dependable computing - EDCC-3. Third European conference, Paper 7., 1999
11999
Transformation domain requirements specification into computation tree logic language
G Lukács, T Bartha
2022 IEEE 1st International Conference on Cognitive Mobility (CogMob …, 2022
2022
Automated Railway Interlocking Plan Verification Using Petri Nets
B Farkas, T Bartha
2022
Vasúti biztosítóberendezések tervezésének formális modellezése Petri-hálók alkalmazásával: vágányutak azonosítása T-invariánsok felhasználásával1
F Balázs, B Tamás
2021
Természetes nyelven megadott vasúti követelmények transzformációja formális tulajdonság leíró nyelvre elágazó idejű temporális logika felhasználásával
L Gábor, B Tamás
2019
Vasúti biztosítóberendezések formális specifikációjának formális modellre való automatizált transzformálásának lehetőségei
L Gábor, B Tamás
2017
Követelmények formalizálásának tapasztalatai a vasúti biztosítóberendezés fejlesztésben
L Gábor, B Tamás, F Balázs
2017
Bounded saturation-based CTL model checking/Tokestatud kullastamisel pohinev arvutuspuude loogikas (CTL) valjendatu mudelkontroll
A Voros, D Darvas, T Bartha
Proceedings of the Estonian Academy of Sciences 62 (1), 59-71, 2013
2013
Forward Saturation Based Model Checking
A Vörös, T Bartha
19th PhD Mini-Symposium, 38-41, 2012
2012
Optimizing Saturation Based Model Checking
A Vörös, T Bartha
18th PhD Mini-Symposium, 96-99, 2011
2011
REDUCING MEASUREMENT BIAS IN LONG-TIME DC-MEASUREMENTS
B Tamas
2010
Modeling of Híbrid Control Systems
A Vörös, T Bartha
17th PhD Mini-Symposium, 70-71, 2010
2010
Design and implementation of an improved and reliable pressurizer controller at the Paks NPP
T Bartha, C Fazekas, I Varga
Fault Detection, Supervision and Safety of Technical Processes: 7th IFAC …, 2009
2009
Development of safety software for the Paks Nuclear Power Plant
T Bartha, I Varga
ERCIM NEWS, 53-54, 2008
2008
Modeling and Parameter Estimation of the Primary Circuit of Paks NPP
T Bartha
IAEA Regional Workshop on "Modernization Projects of NPP Instrumentation and …, 2008
2008
Az elméletileg elérhető legjobb irányítás algoritmusainak kutatása= Investigation of the theoretically reachable best control algorithms
L Keviczky, C Bányász, T Bartha, J Bokor, A Edelmayer, P Gáspár, ...
OTKA Kutatási Jelentések| OTKA Research Reports, 2008
2008
Formal Verification of Function Block Diagram based Specifications for the I&C System Software in NPPs
T Bartha
IAEA Technical Meeting on "Common Cause Failures in Digital Instrumentation …, 2007
2007
Integrált irányítási alkalmazások járműrendszerekben
T Bartha, P Gáspár
JÖVŐ JÁRMŰVE - JÁRMŰIPARI INNOVÁCIÓ, 28-31, 2007
2007
Verification of the PRISE safety procedure by formal methods
E Németh, T Bartha
Proceedings of the 8th International PhD Workshop on Systems and Control, 49-56, 2007
2007
Operációkutatási módszerek műszaki informatikai rendszerek analízisében és verifikációjában= Operation Research Methods for the Analysis and Verification of Information …
A Pataricza, T Bartha, B Bertók, G Csertán, O Dobán, F Friedler, J Fülöp, ...
OTKA Kutatási Jelentések| OTKA Research Reports, 2007
2007
Állapotmonitorozási és megbízhatósági információk integrálása erőművi informatikai rendszerekben
G Szabó, I Varga, T Bartha
Acta Araria Kaposváriensis 8 (3), 99-115, 2004
2004
On-line testing of the reactor protection system in the Paks Nuclear Power Plant
I Varga, T Bartha, A Soumelidis
ERCIM NEWS, 33-34, 2004
2004
Effective Probabilistic Diagnostic Algorithms for Large Computing Systems
T Bartha
Budapest University of Technology and Economics, 2000
2000
Backward error recovery in the APEmille parallel computer
T Bartha, P Maestrini
Dependable computing - EDCC-3. Third European conference, Paper 8., 1999
1999
Backward error recovery in the APEmille parallel computer
P Maestrini, T Bartha
Czech Techn. Univ., 1999
1999
of the estonian academy of sciences
A Vörös, D Darvas, T Bartha
Múlt és jövő: Új algoritmusok lineáris temporális tulajdonságok szaturáció-alapú modellellenőrzésére
M Vince, S Dániel, B Tamás, V András
Elosztott rendszerszintű diagnosztikai algoritmus
B Tamás, P András
09: 00-09: 45 Vikár András Debreceni Csaba Kollaboratív modelle Intelligens rendszerf Micskei Zoltán 9: 45-10: 30 Terebesi Dénes Semeráth Oszkár Mintaillesztő keretre …
V Dániel, G László, B Tamás, T Tamás
Diszkrét dinamikus rendszerek viselkedésének felderítése ellenpélda-alapú absztrakció finomítás (CEGAR) segítségével
H Ákos, M Zoltán, B Tamás, V András
2.1 Alapdefiníciók
P András, C György, M István, B Tamás
Practice-oriented formal methods for PLC programs of industrial control systems
JC Tournier, T Bartha, A Vörös, I Majzik, R Speroni
Selected papers of the 12th Symposium on Programming Languages and Software Tools, SPLST’11
J Penjam, Y Lamo, X Wang, F Mantz, Ř Bech, A Sandven, A Rutle, ...
PetriDotNet 1.5
A Vörös, D Darvas, A Hajdu, A Jámbor, A Klenik, K Marussy, V Molnár, ...
Formal verification of industrial control systems at CERN
JO Blech, JC Tournier, T Bartha, A Vörös, I Majzik
A backward error recovery scheme for the APEmille parallel computer
T Bartha
11th European Workshop on Dependable Computing (EWDC-11), 0
The system can't perform the operation now. Try again later.
Articles 1–87