Selényi Endre
Cím
Hivatkozott rá
Hivatkozott rá
Év
Measuring anonymity revisited
G Tóth, Z Hornák, F Vajda
Proceedings of the Ninth Nordic Workshop on Secure IT Systems, 85-90, 2004
1322004
Measuring human height using calibrated cameras
E Jeges, I Kispal, Z Hornak
2008 Conference on Human System Interactions, 755-760, 2008
452008
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
372006
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
362008
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 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
302014
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
202002
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
Dependability Analysis in HW-SW codesign
G Csertán, A Pataricza, E Selényi
Proceedings of 1995 IEEE International Computer Performance and …, 1995
131995
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
Parallel saturation based model checking
A Horv
2011 10th International Symposium on Parallel and Distributed Computing, 94-101, 2011
122011
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
Probabilistic fault diagnosis in large, heterogeneous computing systems
T Bartha, E Selényi
Periodica Polytechnica Electrical Engineering 43 (2), 127-149, 2000
112000
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20