Selényi Endre
Title
Cited by
Cited by
Year
Measuring anonymity revisited
G Tóth, Z Hornák, F Vajda
Proceedings of the Ninth Nordic Workshop on Secure IT Systems, 85-90, 2004
1282004
Measuring human height using calibrated cameras
E Jeges, I Kispal, Z Hornak
2008 Conference on Human System Interactions, 755-760, 2008
442008
Measuring anonymity in a non-adaptive, real-time system
G Tóth, Z Hornák
International Workshop on Privacy Enhancing Technologies, 226-241, 2004
432004
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
362006
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
352009
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
342008
Formal verification of complex properties on PLC programs
D Darvas, BF Adiego, A Vörös, T Bartha, EB Vinuela, VMG Suárez
International Conference on Formal Techniques for Distributed Objects …, 2014
282014
Workflow-driven tool integration using model transformations
A Balogh, G Bergmann, G Csertán, L Gönczy, Á Horváth, I Majzik, ...
Graph transformations and model-driven engineering, 224-248, 2010
272010
Model-based integration, execution and certification of development tool-chains
B Polgár, I Ráth, Z Szatmári, A Horvath, I Majzik
Model Driven Tool and Process Integration 35, 2009
272009
Formális módszerek az informatikában
P András
Typotex, 2006
27*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
232013
Towards biometric digital signatures
P Orvos, E Selényi, Z Hornák
Networkshop, Eszterhazy College, Eger, 26-28, 2002
212002
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
151997
Case study: automated security testing on the trusted computing platform
G Tóth, G Kőszegi, Z Hornák
Proceedings of the 1st European workshop on system security, 35-39, 2008
142008
Verification of an industrial safety function using coloured Petri nets and model checking
T Bartha, A Vörös, A Jámbor, D Darvas
MTA SZTAKI, 2012
122012
A process-graph based formulation of the syndrome-decoding problem
B Polgár, S Nováki, A Pataricza, F Friedler
Proc. of ddecs2001, the 4th ieee design and diagnostics of electronic …, 2001
122001
Dependability Analysis in HW-SW codesign
G Csertán, A Pataricza, E Selényi
Proceedings of 1995 IEEE International Computer Performance and …, 1995
121995
Parallel saturation based model checking
A Horv
2011 10th International Symposium on Parallel and Distributed Computing, 94-101, 2011
112011
Probabilistic fault diagnosis in large, heterogeneous computing systems
T Bartha, E Selényi
Periodica Polytechnica Electrical Engineering 43 (2), 127-149, 2000
112000
New search strategies for the Petri net CEGAR approach
Á Hajdu, A Vörös, T Bartha
International Conference on Applications and Theory of Petri Nets and …, 2015
102015
Concurrent Error Detection of Program Execution Based on Statechart Specification
I Majzik, J Jávorszky, A Pataricza, E Selényi
Österreichische Computer Gesellschaft (ÖCG), 1999
101999
Extensions to the CEGAR approach on Petri nets
Á Hajdu
Acta Cybernetica 21 (3), 401-417, 2014
92014
Component-wise incremental LTL model checking
V Molnár, A Vörös, D Darvas, T Bartha, I Majzik
Formal Aspects of Computing 28 (3), 345-379, 2016
82016
Saturation-based incremental LTL model checking with inductive proofs
V Molnár, D Darvas, A Vörös, T Bartha
International Conference on Tools and Algorithms for the Construction and …, 2015
82015
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, ...
International Conference on Application and Theory of Petri Nets and …, 2016
62016
Improving saturation-based bounded model checking
D Darvas, A Vörös, T Bartha
ACTA CYBERNETICA-SZEGED 22 (3), 573-589, 2016
62016
Copy protection through software watermarking and obfuscation
G Eberhardt, Z Nagy, E Jeges, Z Hornák
GYULA SALLAI–president, Scientific Association for Infocommunications ÁKOS …, 2007
62007
Constraint based system-level diagnosis of multiprocessors
J Altmann, T Bartha, A Pataricza, A Petri, P Urbán
European Dependable Computing Conference, 403-420, 1996
61996
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
The APROB channel: adaptive semi-real-time anonymous communication
G Tóth, Z Hornák
IFIP International Information Security Conference, 483-492, 2006
52006
An event-driven approach to multiprocessor diagnosis
J Altmann, T Bartha, A Pataricza
µP’94, 1994
51994
Control-oriented modelling of the primary circuit and its controllers of a PWR nuclear power plant
A Gabor, I Sonnevend, T Bartha
MTA SZTAKI, 2011
42011
Model-based Integration Framework for Development and Testing Tool-chains
B Polgár, I Ráth, I Majzik
FORMS/FORMAT 2010, 227-235, 2011
42011
Protection system against overload and distributed denial of service attacks
E Tóth, Z Hornák, G Tóth
2008 Third International Conference on Dependability of Computer Systems …, 2008
42008
Implementation of a testing and diagnostic concept for an NPP reactor protection system
T Bartha, I Varga, A Soumelidis, G Szabé
European Dependable Computing Conference, 391-402, 2005
42005
On the 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), 2005
42005
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
Formal verification of function block based specifications of safety-critical software
E Németh, T Bartha
MTA SZTAKI, 2006
32006
Status and actual risk monitoring in a NPP reactor protection system
I Varga, T Bartha, G Szabó, B Kiss
Probabilistic Safety Assessment and Management, 2654-2659, 2004
32004
Efficiency Analysis and Comparison of Public Key Algorithms
C Endrodi, Z Hornák
Conference of PhD Students in Computer Science, 27, 2002
32002
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
IFAC Proceedings Volumes 33 (11), 885-890, 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
The Integra tool integration framework
B Polgár, I Ágoston, G Huhász, I Majzik
Symp. on Programming Languages and Software Tools, 66-77, 2011
22011
Filtering false alarms: An approach based on episode mining
F Bődön, Z Hornák
Periodica Polytechnica Electrical Engineering 49 (1-2), 3-23, 2006
22006
A new corner detector supporting feature extraction for automatic 3D reconstruction
AR Várkonyi-Kóczy, A Rövid, E Selényi
Proc. of the 4th Slovakian-Hungarian Joint Symposium on Applied Machine …, 2006
22006
A concept for on-line testing of distributed safety-critical supervisory systems
I Varga, T Bartha, A Soumelidis, B Katics
IFAC Proceedings Volumes 36 (3), 175-180, 2003
22003
Probabilistic diagnostics with P-graphs
B Polgár, E Selényi
Acta Cybernetica 16 (2), 279-291, 2003
22003
Megfigyelhető black-box csatorna forrásrejtő tulajdonsága
G TÓTH, Z HORNÁK
22003
Efficiency of p-graph based syndrome decoding
B Polgár, E Selényi
22002
Modeling uncertainty in system-level fault diagnosis using process graphs
B Polgár, E Selényi, T Bartha
Distributed and Parallel Systems, 195-202, 2002
22002
On classification heuristics of probabilistic system-level fault diagnostic algorithms
T Bartha, E Selényi
Distributed and parallel systems, 77-86, 2000
22000
Designing the reconfiguration strategies of fault tolerant servers
B Polgár
Czech Technical University in Prague, 1999
21999
Constraint-Based Diagnosis Algorithms for Multiprocessors
P Urbán, J Altmann, K Tilly, A Petri, M Dal Cin, E Selényi, A Pataricza
Periodica Polytechnica Electrical Engineering 40 (1), 39-52, 1996
21996
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
12018
Efficient Saturation-based Bounded Model Checking of Asynchronous Systems
D Darvas, A Vörös, T Bartha
University of Szeged, 2013
12013
Az informatikai képzési terület értékelése az ACM-AIS-IEEE kompetenciarendszerekben
E Selényi
Társadalom és Gazdaság 28 (2), 285-298, 2006
12006
Comparison based diagnostics as a probabilistic deduction problem
B Polgár
International Conference on Computational Science, 1153-1161, 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
Episode Mining to Automatically Filter False Alarms
F Bodon, Z Hornak
10th IEEE Minisymposium, Budapest University of Technology and Eco—nomics, 2003
12003
Multiprocesszoros rendszerek maximum likelihood diagnosztikája
B Polgár
Erdélyi Múzeum-Egyesület, 2003
12003
Utilizing backward error recovery to achieve fault tolerance in a SIMD supercomputer
T Bartha
IFAC Proceedings Volumes 33 (11), 939-944, 2000
12000
Efficient probabilistic diagnosis algorithms for large systems
E Selényi, T Bartha
Czech Techn. Univ., 1999
11999
Design for Testability with HW-SW Codesign
G Csertan, A Pataricza, A Pataricza, E Selenyi
11996
Constraint-based System Level Diagnosis of Multiprocessor Architectures
A Pataricza, K Tilly, E Selényi, M Dal Cin, A Petri
Proc. of 8th Symp. on Microprocessor and Microcomputer Applications 1, 75-84, 1994
11994
Automatic Testing of Microprocessor System Unit Boards
A Pataricza, E Selenyi, A Szegi
Periodica Polytechnica Electrical Engineering 27 (3-4), 377-383, 1983
11983
A new method for digital compensation of ac bridges
E Selényi
Periodica Polytechnica Electrical Engineering 14 (4), 381-398, 1970
11970
BALANCING PROPERTIES OF CURRENT COMPARATOR CAPACITY-MEASURING NETWORK
E Selényi
Periodica Polytechnica Electrical Engineering 13 (1-2), 1-16, 1969
11969
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
2019
Advanced Saturation-based Model Checking
V Molnár, T Bartha, A Vörös
2014
Incremental extension of the saturation algorithm-based bounded model checking of Petri nets
D Darvas, T Bartha, A Vörös
2014
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
D. 3.1 TECHNOLOGY AND STANDARD REPORT
Z Hornák, I Nyilas, D Petró, J Schrammel, P Wolkerstorfer, L Ellensohn, ...
2010
Design and implementation of an improved and reliable pressurizer controller at the Paks NPP
T Bartha, C Fazekas, I Varga
IFAC Proceedings Volumes 42 (8), 1162-1167, 2009
2009
Development of safety software for the Paks Nuclear Power Plant
T Bartha, I Varga
ERCIM News, 53-54, 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
Watermarking Software to Signal Copy Protection
E Jeges, Z Hornák, G Eberhardt, Z Nagy
International Conference on Mathematical Methods, Models, and Architectures …, 2007
2007
Gradient based system-level diagnosis
B Polgár, E Selényi
Periodica Polytechnica Electrical Engineering 51 (1-2), 43-55, 2007
2007
Integrált irányítási alkalmazások járműrendszerekben
T Bartha, P Gáspár
A Jövő Járműve-Járműipari Innováció, 28-31, 2007
2007
Model-based Analysis and Synthesis Methods for Dependable Embedded Systems
A Balogh, A Pataricza, G Csertán, B Polgár, M Magyar
RCEAS, 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
The Chances of Successful Attacks against Continuous-time Mixes
G Tóth, Z Hornák
2006
Digitális technika I.
S Endre, B Zoltán, F Béla
2005
Encoding private key in fingerprint
E Jeges, Z Hornák, C Körmöczi
International Workshop on Mathematical Methods, Models, and Architectures …, 2005
2005
Á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 Agraria Kaposváriensis 8 (3), 99-116, 2004
2004
Part III-Workshop on Modeling and Simulation in Supercomputing and Telecommunications-Comparison Based Diagnostics as a Probabilistic Deduction Problem
B Polgar
Lecture Notes in Computer Science 3036, 1153-1155, 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
WTLS-SSL protokoll konverzió
Z HORNÁK
2003
MODELING UNCERTAINTY IN SYSTEM-LEVEL FAULT DIAGNOSIS USING PROCESS GRAPHS
T Bartha
Distributed and Parallel Systems: Cluster and Grid Computing, 195, 2002
2002
Generalisation of The Test Model of Multiprocessor Systems
B Polgár
2002
Backward error recovery in the APEmille parallel computer
P Maestrini, T Bartha
Czech Techn. Univ., 1999
1999
List of Fast Abstracts
M Arai, A Yamaguchi, K Iwasaki, IV Kovalev, KE Grosspietsch, ...
1999
DESIGN FOR TESTABILITY WITH HW-SW CODESIGN
A Pataricza, G Csertán, E Selényi
Periodica Polytechnica Electrical Engineering 40 (1), 25-37, 1996
1996
Error-detecting codes in Hardware testing
A PATARICZA, E SELENYI
Journal on communications 45 (MAR), 30-37, 1994
1994
A MODEL FOR SYSTEM-LEVEL HYBRID FAULT-DIAGNOSIS
NB NIKOLOVA, E SELENYI
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE 43 (11), 49-52, 1990
1990
Quality control system for biomedical instrumentation
A Jobbagy, A Pataricza, E Selenyi
Proceedings of the Annual International Conference of the IEEE Engineering …, 1988
1988
New Methods for Pseudoexhaustive Testing
E Selényi
Periodica Polytechnica Electrical Engineering 31 (1-2), 11-20, 1987
1987
TOLERANCE TESTS OF ACTIVE RC-FILTERS IN DOUBLE-T-CIRCUITRY
L GAZSI, E SELENYI
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING 13 (3), 181-&, 1969
1969
TOLERANZPRÜFUNG AKTIVER RC-FILTER IN DOPPEL-T-SCHALTUNG
E Selényi, L Gazsi
Periodica Polytechnica Electrical Engineering 13 (3), 181-203, 1969
1969
Szabadkőmüvesség
T Bartha
Érseki Lyceumi Könyvnyomda, 1873
1873
The system can't perform the operation now. Try again later.
Articles 1–100