| 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 | 52 | 2014 |
| 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 | 50 | 2008 |
| 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 | 42 | 2006 |
| 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 | 40 | 2009 |
| Formális módszerek az informatikában P András Typotex, 2006 | 29* | 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 | 25 | 2013 |
| 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 | 25 | 2011 |
| 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 | 16 | 1995 |
| Probabilistic system-level fault diagnostic algorithms for multiprocessors T Bartha, E Selényi Parallel Computing 22 (13), 1807-1821, 1997 | 14 | 1997 |
| 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 | 13 | 2013 |
| 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 | 13 | 2012 |
| 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 | 12 | 2015 |
| 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 | 11 | 2018 |
| Parallel saturation based model checking A Horv 2011 10th International Symposium on Parallel and Distributed Computing, 94-101, 2011 | 11 | 2011 |
| Probabilistic fault diagnosis in large, heterogeneous computing systems T Bartha, E Selényi Periodica Polytechnica Electrical Engineering (Archives) 43 (2), 127-149, 1999 | 10 | 1999 |
| 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 | 9 | 2022 |
| 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 | 9 | 2016 |
| 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 | 9 | 2016 |
| 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 | 9 | 2015 |
| Efficient system-level fault diagnosis of large multiprocessor systems T Bartha Ph. D thesis, BME-MIT, 2000 | 7 | 2000 |
| Improving saturation-based bounded model checking D Darvas, A Vörös, T Bartha ACTA CYBERNETICA-SZEGED 22 (3), 573-589, 2016 | 6 | 2016 |
| 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 | 6 | 1996 |
| An event-driven approach to multiprocessor diagnosis J Altmann, T Bartha, A Pataricza µP’94, 1994 | 6 | 1994 |
| 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 | 5 | 2014 |
| 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 | 5 | 2005 |
| 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 | 5 | 2004 |
| 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 | 4 | 2019 |
| 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 | 4 | 2011 |
| 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 | 4 | 2010 |
| 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 | 4 | 2006 |
| 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 | 4 | 2006 |
| 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 | 4 | 2005 |
| 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 | 4 | 1996 |
| 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 | 3 | 2022 |
| 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 | 3 | 2017 |
| 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 | 3 | 2011 |
| 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 | 3 | 2003 |
| 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 | 3 | 2000 |
| Effective approximate fault diagnosis of systems with inhomogeneous test invalidation T Bartha Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000 …, 1996 | 3 | 1996 |
| Diagnosis Algorithms of Multiprocessor Systems T Bartha Budapest University of Technology and Economics, 1993 | 3 | 1993 |
| 1. BEVEZETÉS F Balázs, B Tamás | 2 | 2022 |
| Practical UML subset for railway engineers to support formal modeling G Lukács, T Bartha Trans Motauto World 7 (2), 56-59, 2022 | 2 | 2022 |
| 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 | 2 | 2017 |
| 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 | 2 | 2004 |
| 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 | 2 | 2002 |
| 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 | 2 | 2000 |
| Advanced saturation-based model checking V Molnár, T Bartha, A Vörös Master’s thesis, Budapest University of Technology and Economics, 2014 | 1 | 2014 |
| 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 | 1 | 2014 |
| 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 | 1 | 2013 |
| Dependability analysis and synthesis of web services L Gönczy Proc 13, 2004 | 1 | 2004 |
| 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 | 1 | 2000 |
| Efficient probabilistic diagnosis algorithms for large systems E Selényi, T Bartha Dependable computing - EDCC-3. Third European conference, Paper 7., 1999 | 1 | 1999 |
| Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study G Lukács, T Bartha Periodica Polytechnica Transportation Engineering, 2024 | | 2024 |
| 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 VOR András 19TH PHD MINI-SYMPOSIUM, 38, 2012 | | 2012 |
| REDUCING MEASUREMENT BIAS IN LONG-TIME DC-MEASUREMENTS B Tamas | | 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 | | |
| OPTIMIZING SATURATION BASED MODEL CHECKING A VÖRÖS | | |
| 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 | | |
András VörösCritical Systems Research Group, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
