Bartha T et al. An Event-Driven Approach to Multiprocessor Diagnosis: Proc. of the 8th Symp. on Microprocessor and Microcomputer Applications (uP'94). (1994) Megjelent: Proc. of the 8th Symp. on Microprocessor and Microcomputer Applications (uP'94) pp. 109-118, 1222719
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[1222719]
  1. Lin Cheng-Kuan et al. Conditional-fault diagnosability of multiprocessor systems with an efficient local diagnosis algorithm under the PMC model. (2011) IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 1045-9219 22 10 1669-1680
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23048835] [Nyilvános]
    Független, Idéző: 23048835, Kapcsolat: 23048835
Altmann J et al. On Integrating Error Detection into a Fault Diagnosis Algorithm For Massively Parallel Computers. (1995) Megjelent: IEEE Computer Performance and Dependability Symposium, IPDS '95 pp. 154-164, 2619855
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[2619855]
  1. Sosnowski J. Testing and diagnostics of SIMD arrays. (1997) Megjelent: 23rd EUROMICRO Conference on New Frontiers of Information Technology, EUROMICRO 1997 pp. 96-103
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[27185448] [Admin láttamozott]
    Független, Idéző: 27185448, Kapcsolat: 27185448
  2. Dal Cin. Hardware-Supported Fault Tolerance for Multiprocessors. (1997) Megjelent: Proc. Architektur von Rechensystemen ARCS '97 pp. 13-22
    Egyéb konferenciaközlemény[27183012] [Nyilvános]
    Független, Idéző: 27183012, Kapcsolat: 27183012
  3. N Neves. Fault Detection Using Hints from the Socket Layer. (1997) Megjelent: Proc. of the 16th IEEE Symposium on Reliable Distributed Systems pp. 64-71
    Egyéb konferenciaközlemény[27183011] [Admin láttamozott]
    Független, Idéző: 27183011, Kapcsolat: 27183011
Altmann J et al. Constraint Based System-Level Diagnosis of Multiprocessors. (1996) Megjelent: Dependable Computing: Second European Dependable Computing Conference, EDCC 1996 pp. 403-420, 2619857
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[2619857]
  1. Yang X. A fast pessimistic one-step diagnosis algorithm for hypercube multicomputer systems. (2004) JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING 0743-7315 64 4 546-553
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23760350] [Nyilvános]
    Független, Idéző: 23760350, Kapcsolat: 27182973
Bartha T et al. Probabilistic System-Level Fault Diagnostic Algorithms for Multiprocessors. (1997) PARALLEL COMPUTING 0167-8191 22 1807-1821, 1222729
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[1222729]
  1. Duh D-R et al. A fast pessimistic diagnosis algorithm for generalized hypercube multicomputer systems. (2012) JOURNAL OF SUPERCOMPUTING 0920-8542 1573-0484 61 3 605-618
    Folyóiratcikk/Tudományos[23760348] [Nyilvános]
    Független, Idéző: 23760348, Kapcsolat: 22916166
  2. Yang X. A fast pessimistic one-step diagnosis algorithm for hypercube multicomputer systems. (2004) JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING 0743-7315 64 4 546-553
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23760350] [Nyilvános]
    Független, Idéző: 23760350, Kapcsolat: 20605759
Selényi E et al. Efficient probabilistic diagnosis algorithms for large systems. (1999) Megjelent: Dependable computing - EDCC-3. Third European conference. Fast Abstracts, 1222733
Egyéb konferenciaközlemény/Absztrakt / Kivonat (Egyéb konferenciaközlemény)/Tudományos[1222733]
  1. Qi-Gui Long. Self Management of Large-scale Networks Management System. (2005) Computer Application Research 22 12 249-251
    Folyóiratcikk[20605786] [Admin láttamozott]
    Független, Idéző: 20605786, Kapcsolat: 20605786
Gáspár P et al. Visual lane and obstruction detection system for commercial vehicles. (2000) Megjelent: 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints. Budapest, 20... pp. 908-913, 162424
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[162424]
  1. Bódis-Szomorú A et al. Sztereo gépi látórendszer forgalmi sávok automatikus detektálásához és követéséhez. (2008) A JÖVŐ JÁRMŰVE: JÁRMŰIPARI INNOVÁCIÓ 1788-2699 3 3-4 48-55
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[166021] [Egyeztetett]
    Független, Idéző: 166021, Kapcsolat: 23048803
BARTHA T et al. Formális módszerek az informatikában. (2004) ISBN:9789639548909, 1222707
Könyv/Szakkönyv (Könyv)/Tudományos[1222707]
  1. P Völgyesi. Robust Software Composition for Sensor Networks. (2004) Megjelent: International Carpathian Control Conference
    Egyéb konferenciaközlemény[20605789] [Admin láttamozott]
    Független, Idéző: 20605789, Kapcsolat: 20605789
Varga I et al. Status and Actual Risk Monitoring in a NPP Reactor Protection System. (2004) Megjelent: Probabilistic safety assessment and management: proceedings of the 7th International Conference on Probabilistic Safety Assessm... pp. 2654-2659, 1185437
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[1185437]
  1. Drew J. Predictive Shutdown Systems for Nuclear Power Plants. (2017)
    Disszertáció/PhD (Disszertáció)/Tudományos[26676308] [Nyilvános]
    Független, Idéző: 26676308, Kapcsolat: 26676308
  2. Kafka P. Risk monitoring for space systems. (2005) Megjelent: Proceedings of First IAASS Conference “Space Safety, a New Beginning pp. 459-464
    Egyéb konferenciaközlemény[20544459] [Admin láttamozott]
    Független, Idéző: 20544459, Kapcsolat: 20544459
  3. Major Cs et al. Development and Application of Advanced Process Monitoring Tools for VVER-440 Type NPPs. (2005) Megjelent: IAEA Technical Meeting
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[20821482] [Nyilvános]
    Független, Idéző: 20821482, Kapcsolat: 20821482
Bartha T et al. Implementation of a testing and diagnostic concept for an NPP reactor protection system. (2005) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 3463 391-402, 164671
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[164671]
  1. Julwan Hendry et al. Fuzzy probability based fault tree analysis to propagate and quantify epistemic uncertainty. (2015) ANNALS OF NUCLEAR ENERGY 0306-4549 1873-2100 85 1189-1199
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[25020956] [Admin láttamozott]
    Független, Idéző: 25020956, Kapcsolat: 25020956
  2. Purba JH et al. A fuzzy reliability assessment of basic events of fault trees through qualitative data processing. (2014) FUZZY SETS AND SYSTEMS 0165-0114 1872-6801 243 50-69
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[24231149] [Admin láttamozott]
    Független, Idéző: 24231149, Kapcsolat: 24231149
Gönczy L et al. Dependability Evaluation of Web Service-Based Processes: Formal Methods and Stochastic Models for Performance Evaluation. (2006) Megjelent: Formal Methods and Stochastic Models for Performance Evaluation pp. 166-180, 1222747
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[1222747]
  1. 정창희 et al. Service-Dependability-Case based Self-Adaptation in Service-Oriented Environment. (2015) Journal of KIISE: Computer Systems and Theory 1229-683X 42 11 1339-1348
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[27207286] [Nyilvános]
    Független, Idéző: 27207286, Kapcsolat: 27207286
  2. 焦扬. Research on QoS Quantitative Evaluation Method of Cloud Service Composition Based on Markov Process. (2015) JISUANJI KEXUE / COMPUTER SCIENCE (CHINA) 1002-137X 42 9 127-133
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[27207287] [Nyilvános]
    Független, Idéző: 27207287, Kapcsolat: 27207287
  3. 刘颖 et al. Research on two-dimensional and multi-levels reliability evaluation method of cloud service. (2014) Jisuanji Yingyong Yanjiu / Application Research of Computers 1001-3695 31 3 p. 832
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[27207289] [Nyilvános]
    Független, Idéző: 27207289, Kapcsolat: 27207289
  4. 杨宸 et al. Ancilla-driven universal blind quantum computation. (2014) Jisuanji Yingyong Yanjiu / Application Research of Computers 1001-3695 31 3 829-831
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[27207288] [Nyilvános]
    Független, Idéző: 27207288, Kapcsolat: 27207288
  5. Горбенко АВ. Проблемы и задачи создания гарантоспособных сервис-ориентированных web-систем. (2013) Наука і техніка Повітряних Сил Збройних Сил України 2223-456X - 3 171-176
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[27207290] [Nyilvános]
    Független, Idéző: 27207290, Kapcsolat: 27207290
  6. Горбенко АВ. Модели законов распределения времени обслуживания резервированных сервис-ориентирован-ных систем. (2012) Системи обробки інформації 1681-7710 - 2 183-187
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[27207291] [Nyilvános]
    Független, Idéző: 27207291, Kapcsolat: 27207291
  7. Горбенко АВ. Методика минимизации времени обслуживания сервис-ориентированных систем. (2012) RADIOELECTRONIC AND COMPUTER SYSTEMS 1814-4225 - 7 87-91
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[27207292] [Nyilvános]
    Független, Idéző: 27207292, Kapcsolat: 27207292
  8. Дубницкий ВЮ. Использование усеченных распределений для определения числовых характеристик случайных значений временных параметров Web-сервисов. (2012) RADIOELECTRONIC AND COMPUTER SYSTEMS 1814-4225 - 4 116-120
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[27207293] [Nyilvános]
    Független, Idéző: 27207293, Kapcsolat: 27207293
  9. Xia Y et al. Modeling and performance evaluation of BPEL processes: A stochastic-petri-net-based approach. (2012) IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS 1083-4427 42 2 503-510
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[22915876] [Admin láttamozott]
    Független, Idéző: 22915876, Kapcsolat: 22915876
  10. Chen Yuhui. Measuring and Dealing with the Uncertainty of SOA Solutions. (2012) Megjelent: Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions pp. 265-294
    Könyvrészlet/Tudományos[27207295] [Nyilvános]
    Független, Idéző: 27207295, Kapcsolat: 27207295
  11. Li J. A Petri-net model for formal modeling of WS-BPEL processes. (2012) Megjelent: 2012 4th International Symposium on Information Science and Engineering, ISISE 2012 pp. 203-207
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[27183489] [Admin láttamozott]
    Független, Idéző: 27183489, Kapcsolat: 27183489
  12. Duh D-R et al. A fast pessimistic diagnosis algorithm for generalized hypercube multicomputer systems. (2012) JOURNAL OF SUPERCOMPUTING 0920-8542 1573-0484 61 3 605-618
    Folyóiratcikk/Tudományos[23760348] [Nyilvános]
    Független, Idéző: 23760348, Kapcsolat: 23760348
  13. Gorbenko A et al. Safety of rocket-space engineering and reliability of computer systems. (2011) АВИАЦИОННО-КОСМИЧЕСКАЯ ТЕХНИКА И ТЕХНОЛОГИЯ 1 78 9-20
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[22934097] [Admin láttamozott]
    Független, Idéző: 22934097, Kapcsolat: 22934097
  14. Gorbenko A. Models of servicing time distribution laws for redundant service-oriented systems. (2011) ІНФОҜОМYНІҜАЦІЙНІ МЕРЕҖІ 221-225
    Folyóiratcikk[22934061] [Admin láttamozott]
    Független, Idéző: 22934061, Kapcsolat: 22934061
  15. Milanovic Nikola et al. Model-Based Methodology and Framework for Assessing Service and Business Process Availability. (2011) Megjelent: Engineering Reliable Service Oriented Architecture: Managing Complexity and Service Level Agreements pp. 257-291
    Könyvrészlet/Tudományos[27207298] [Nyilvános]
    Független, Idéző: 27207298, Kapcsolat: 27207298
  16. Milanovic N et al. Automatic generation of service availability models. (2011) IEEE Transactions on Services Computing 1939-1374 4 1 56-69
    Folyóiratcikk[22915878] [Admin láttamozott]
    Független, Idéző: 22915878, Kapcsolat: 22915878
  17. Gorbenko A. Real distribution of response time instability in service-oriented architecture. (2010) Megjelent: Proceedings of the IEEE Symposium on Reliable Distributed Systems pp. 92-99
    Könyvrészlet[22915879] [Admin láttamozott]
    Független, Idéző: 22915879, Kapcsolat: 22915879
  18. Milanovic Nikola. Models, Methods and Tools for Availability Assessment of IT-Services and Business Processes Modelle, Methoden und Werkzeuge für die Verfügbarkeitsbestimmung von IT-Services und Geschäftsprozessen. (2010)
    Disszertáció/Habilitációs anyag (Disszertáció)/Tudományos[22933667] [Admin láttamozott]
    Független, Idéző: 22933667, Kapcsolat: 22933667
  19. M Kaaniche. Modeling the Resilience of Large and Evolving Systems. (2010) INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING 0973-1318 6 1 1-15
    Folyóiratcikk[22933802] [Admin láttamozott]
    Független, Idéző: 22933802, Kapcsolat: 22933802
  20. Zhang Fengqi. Mechanism of Cold-Air Snowstorms and Cause of Locally Strong Cold-Air Snowstorms in the Shandong Peninsula. (2010) Megjelent: Multimedia Technology (ICMT), 2010 International Conference on pp. 1-7
    Könyvrészlet/Tudományos[27207301] [Nyilvános]
    Független, Idéző: 27207301, Kapcsolat: 27207301
  21. Gorbenko AV. Instability analysis of delays contributing to Web Service response time. (2010) RADIOELECTRONIC AND COMPUTER SYSTEMS 1814-4225 - 6 63-67
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[27207302] [Nyilvános]
    Független, Idéző: 27207302, Kapcsolat: 27207302
  22. O Gunalp. Dependability evaluation of service providers applied to autonomic pervasive applications. (2010)
    Disszertáció/Külföldi fokozat (nem PhD) (Disszertáció)/Tudományos[22934002] [Admin láttamozott]
    Független, Idéző: 22934002, Kapcsolat: 22934002
  23. SS Yau. A User-Centric Approach to Assessing Confidentiality and Integrity of Service-Based Workflows man-Centric Computing (HumanCom). (2010) Megjelent: 3rd International Conference on Communication, Networking & Broadcasting ; Computing & Processing (Hardware/Software) pp. 1-6
    Egyéb konferenciaközlemény[22933765] [Admin láttamozott]
    Független, Idéző: 22933765, Kapcsolat: 22933765
  24. A van. Table of versions. AMBER Assessing, Measuring, and Benchmarking Resilience FP7 – 216295. (2009)
    Egyéb[22933889] [Admin láttamozott]
    Független, Idéző: 22933889, Kapcsolat: 22933889
  25. A Gorbenko et al. Real distribution of response time instability in service-oriented architecture: Computing Science. Technical Report series. (2009)
    Egyéb[22933614] [Admin láttamozott]
    Független, Idéző: 22933614, Kapcsolat: 22933614
  26. A van. Quality assurance plan. AMBER Assessing, Measuring, and Benchmarking Resilience. (2009)
    Egyéb/Kutatási jelentés (közzétett) (Egyéb)/Tudományos[22933940] [Admin láttamozott]
    Független, Idéző: 22933940, Kapcsolat: 22933940
  27. Chen Y. Benchmarking dependability of a system biology application. (2009) Megjelent: Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS pp. 146-153
    Könyvrészlet[22915881] [Admin láttamozott]
    Független, Idéző: 22915881, Kapcsolat: 22915881
  28. Anatoliy Gorbenko et al. The threat of uncertainty in service-oriented architecture. (2008) Megjelent: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems pp. 49-54
    Egyéb konferenciaközlemény[20605507] [Admin láttamozott]
    Független, Idéző: 20605507, Kapcsolat: 20605507
  29. A van. Table of versions. AMBER Assessing, Measuring, and Benchmarking Resilience. (2008)
    Egyéb[22933824] [Admin láttamozott]
    Független, Idéző: 22933824, Kapcsolat: 22933824
  30. A van. Quality assurance plan. (2008)
    Egyéb[22933821] [Admin láttamozott]
    Független, Idéző: 22933821, Kapcsolat: 22933821
  31. M Kovács et al. An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications. (2008) Megjelent: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems pp. 29-38
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[2630599] [Admin láttamozott]
    Független, Idéző: 2630599, Kapcsolat: 22915882
  32. P Lollini. Highly dependable ip-based networks and services: Evaluation methodologies, techniques and tools. (2007)
    Egyéb/Kutatási jelentés (közzétett) (Egyéb)/Tudományos[23048747] [Admin láttamozott]
    Független, Idéző: 23048747, Kapcsolat: 23048747
  33. Polgár B et al. Gradient Based System-level diagnosis. (2007) PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING 0324-6000 1587-3781 2064-5260 2064-5279 51 1-2 43-55
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[1989317] [Admin láttamozott]
    Független, Idéző: 1989317, Kapcsolat: 23760349
  34. Yang X. A fast pessimistic one-step diagnosis algorithm for hypercube multicomputer systems. (2004) JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING 0743-7315 64 4 546-553
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23760350] [Nyilvános]
    Független, Idéző: 23760350, Kapcsolat: 23760350
Németh E et al. Formal verification of function block based specifications of safety-critical software. (2006) Megjelent: Proceedings of the 8th International Conference on The Modern Information Technology in the Innovation Processes of the Industr... pp. 211-218, 164880
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[164880]
  1. J Eiler. Overview of nuclear I&C activities in Hungary, 2005-2006. (2007)
    Egyéb/Nem besorolt (Egyéb)/Tudományos[23048810] [Nyilvános]
    Független, Idéző: 23048810, Kapcsolat: 23048810
  2. Németh E. Modeling and simulation of the primary Circuit of the paks nuclear power plant For control and diagnosis. (2007) Megjelent: EUROSIM 2007. Proceedings of the 6th EUROSIM congress on modelling and simulation pp. 1-8
    Egyéb konferenciaközlemény[23048808] [Admin láttamozott]
    Független, Idéző: 23048808, Kapcsolat: 23048808
Bartha Tamás. Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications. (2009) Megjelent: Formal Methods for Industrial Critical Systems pp. 199-214, 1773891
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[1773891]
  1. Soliman D. On formal verification of function block applications in safety-related software development. (2013) Megjelent: IFAC Proceedings Volumes (IFAC-PapersOnline) pp. 109-114
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[23544667] [Admin láttamozott]
    Független, Idéző: 23544667, Kapcsolat: 23544667
  2. Soliman D et al. Transformation of function block diagrams to UPPAAL timed automata for the verification of safety applications. (2012) ANNUAL REVIEWS IN CONTROL 1367-5788 36 2 338-345
    Folyóiratcikk[22915751] [Admin láttamozott]
    Független, Idéző: 22915751, Kapcsolat: 22915751
  3. Thramboulidis K. Towards an automated verification process for industrial safety applications. (2011) Megjelent: IEEE International Conference on Automation Science and Engineering pp. 482-487
    Könyvrészlet[22915752] [Admin láttamozott]
    Független, Idéző: 22915752, Kapcsolat: 22915752
Németh E et al. Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets. (2009) RELIABILITY ENGINEERING & SYSTEM SAFETY 0951-8320 94 5 942-953, 1167447
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[1167447]
  1. Gouyon David et al. Architecture assessment for safety critical plant operation using reachability analysis of timed automata. (2020) RELIABILITY ENGINEERING & SYSTEM SAFETY 0951-8320 199
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[31434047] [Egyeztetett]
    Független, Idéző: 31434047, Kapcsolat: 29148337
  2. Lee Y.S. et al. Validation of severe accident management guidelines (SAMGs) for advanced power reactor 1400 (APR1400) using colored Petri net (CPN) Tools. (2019) ANNALS OF NUCLEAR ENERGY 0306-4549 1873-2100 126 186-193
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[30352573] [Egyeztetett]
    Független, Idéző: 30352573, Kapcsolat: 27753543
  3. Ayodeji Abiodun et al. PWR heat exchanger tube defects: Trends, signatures and diagnostic techniques. (2019) PROGRESS IN NUCLEAR ENERGY 0149-1970 112 171-184
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[30404109] [Egyeztetett]
    Független, Idéző: 30404109, Kapcsolat: 27818653
  4. Kabir Sohag et al. Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: A review. (2019) SAFETY SCIENCE 0925-7535 1879-1042 115 154-175
    Folyóiratcikk/Összefoglaló cikk (Folyóiratcikk)/Tudományos[30905674] [Egyeztetett]
    Független, Idéző: 30905674, Kapcsolat: 28423169
  5. Zhang Xianyu et al. An overall framework and subsystems for smart manufacturing integrated system (SMIS) from multi-layers based on multi-perspectives. (2019) INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY 0268-3768 1433-3015 103 1-4 703-722
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[30905675] [Egyeztetett]
    Független, Idéző: 30905675, Kapcsolat: 28423170
  6. Canadas N. et al. Simulation of cyber physical systems behaviour using timed plant models. (2018) MECHATRONICS 0957-4158 54 175-185
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[30352575] [Egyeztetett]
    Független, Idéző: 30352575, Kapcsolat: 27753544
  7. Kunz G. et al. A design strategy for obtaining reliable controllers for critical mechanical systems. (2018) MECHATRONICS 0957-4158 54 186-202
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[30352576] [Egyeztetett]
    Független, Idéző: 30352576, Kapcsolat: 27753545
  8. Gonçalves P et al. Unmanned aerial vehicle safety assessment modelling through petri Nets. (2017) RELIABILITY ENGINEERING & SYSTEM SAFETY 0951-8320 167 383-393
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[26783448] [Admin láttamozott]
    Független, Idéző: 26783448, Kapcsolat: 26783448
  9. Czipo Bence et al. Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers. (2017) ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 2075-2180 245 31-45
    Folyóiratcikk/Konferenciaközlemény (Folyóiratcikk)/Tudományos[26829917] [Nyilvános]
    Független, Idéző: 26829917, Kapcsolat: 26713108
  10. Bence Czipó et al. Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers. (2017) Megjelent: Proceedings of the 14th International Workshop on Formal Engineering approaches to Software Components and Architectures pp. 31-45
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[3203861] []
    Független, Idéző: 3203861, Kapcsolat: 27753547
  11. Karanjeet et al. Analysis and modeling of a safety critical system using Petri-Net model. (2017) Megjelent: 1st India International Conference on Information Processing, IICIP 2016
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[27139453] [Admin láttamozott]
    Független, Idéző: 27139453, Kapcsolat: 27139453
  12. Cheng Ruijun et al. Model-based verification method for solving the parameter uncertainty in the train control system. (2016) RELIABILITY ENGINEERING & SYSTEM SAFETY 0951-8320 145 169-182
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[25311843] [Admin láttamozott]
    Független, Idéző: 25311843, Kapcsolat: 25311843
  13. Liu H et al. Formal modeling and performance analysis of safety communication protocol in train control system. (2016) Megjelent: 35th Chinese Control Conference, CCC 2016 pp. 10248-10252
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[26282740] [Admin láttamozott]
    Független, Idéző: 26282740, Kapcsolat: 26282740
  14. Guo Y et al. Comprehensive risk evaluation of long-distance oil and gas transportation pipelines using a fuzzy Petri net model. (2016) JOURNAL OF NATURAL GAS SCIENCE AND ENGINEERING 1875-5100 33 18-29
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[25982246] [Admin láttamozott]
    Független, Idéző: 25982246, Kapcsolat: 25982246
  15. Signoret J-P et al. Make your Petri nets understandable: Reliability block diagrams driven Petri nets. (2013) RELIABILITY ENGINEERING & SYSTEM SAFETY 0951-8320 113 1 61-75
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23205514] [Admin láttamozott]
    Független, Idéző: 23205514, Kapcsolat: 23205514
  16. Chen Lijie et al. Verification of the safety communication protocol in train control system using colored petri net. (2012) RELIABILITY ENGINEERING & SYSTEM SAFETY 0951-8320 100 8-18
    Folyóiratcikk[22472650] [Admin láttamozott]
    Független, Idéző: 22472650, Kapcsolat: 22472650
  17. Chang-Kuo Chen et al. Study on deterministic response time design for a class of nuclear instrumentation and control systems. (2012) ANNALS OF NUCLEAR ENERGY 0306-4549 1873-2100 46 56-62
    Folyóiratcikk[22472648] [Admin láttamozott]
    Független, Idéző: 22472648, Kapcsolat: 22472648
  18. Y Chen et al. Nmpc for industry process with varying load based on a class of nonlinear system. (2011) HUAGONG XUEBAO / CIESC JOURNAL 0438-1157 62 8 2253-2257
    Folyóiratcikk[22472652] [Admin láttamozott]
    Független, Idéző: 22472652, Kapcsolat: 22472652
  19. Song H et al. Multiple faults identification for nonlinear control systems based on T-S fuzzy models. (2011) Megjelent: Proceedings of the 18th IFAC World Congress, 2011 pp. 12801-12806
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[23205515] [Admin láttamozott]
    Független, Idéző: 23205515, Kapcsolat: 23205515
  20. Chen C. A Petri net design of FPGA-based controller for a class of nuclear i and c systems. (2011) NUCLEAR ENGINEERING AND DESIGN 0029-5493 241 2597-2603
    Folyóiratcikk[21522036] [Admin láttamozott]
    Független, Idéző: 21522036, Kapcsolat: 21522036
  21. Rankin DJ et al. A Hardware-in-the-Loop Simulation Platform for the Verification and Validation of Safety Control Systems. (2011) IEEE TRANSACTIONS ON NUCLEAR SCIENCE 0018-9499 58 2 468-478
    Folyóiratcikk[21423089] [Admin láttamozott]
    Független, Idéző: 21423089, Kapcsolat: 21423089
  22. Zubair M et al. A review: Advancenment in probabilistic safety assessment and living probabilistic safety assessment. (2010) Megjelent: 2010 Asia-Pacific Power and Energy Engineering Conference, APPEEC 2010 - Proceedings pp. 942-953
    Egyéb konferenciaközlemény[21043110] [Admin láttamozott]
    Független, Idéző: 21043110, Kapcsolat: 21043110
Vörös András et al. Parallel saturation based model checking. (2011) Megjelent: 10th International Symposium on Parallel and Distributed Computing, ISPDC 2011 pp. 94-101, 1773884
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[1773884]
  1. Matmat Riadh et al. Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution. (2016) International Journal of Distributed Systems and Technologies 1947-3532 7 3 21-41
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[25938980] [Admin láttamozott]
    Független, Idéző: 25938980, Kapcsolat: 25938980
  2. Matmat Riad. Distributed state space generation based distributed hash tables. (2012) Megjelent: The 13th International Arab Conference on Information Technology pp. 126-133
    Egyéb konferenciaközlemény[24284355] [Nyilvános]
    Független, Idéző: 24284355, Kapcsolat: 24284355
Bartha Tamás et al. Verification of an industrial safety function using coloured Petri nets and model checking. (2012) Megjelent: MITIP 2012. 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Enterp... pp. 472-485, 2088473
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[2088473]
  1. Bence Czipó et al. Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers. (2017) Megjelent: Proceedings of the 14th International Workshop on Formal Engineering approaches to Software Components and Architectures pp. 31-45
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[3203861] []
    Független, Idéző: 3203861, Kapcsolat: 26482769
  2. Dean C et al. A Method for Revealing and Addressing Security Vulnerabilities in Cyber-physical Systems by Modeling Malicious Agent Interactions with Formal Verification. (2016) PROCEDIA COMPUTER SCIENCE 1877-0509 95 24-31
    Folyóiratcikk/Konferenciaközlemény (Folyóiratcikk)/Tudományos[26146858] [Admin láttamozott]
    Független, Idéző: 26146858, Kapcsolat: 26146858
  3. Fernández Adiego. Model-based automated testing of critical PLC programs. (2013) Megjelent: 11th IEEE International Conference on Industrial Informatics pp. 722-727
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[24284354] [Admin láttamozott]
    Független, Idéző: 24284354, Kapcsolat: 24284354
Hajdu Ákos. Extensions to the CEGAR Approach on Petri Nets. (2013) Megjelent: Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13 pp. 274-288, 2442424
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[2442424]
  1. Varró-Gyapay Szilvia. Trajectory set approximation for optimization and verification of it systems. (2014)
    Disszertáció/PhD (Disszertáció)/Tudományos[27195883] [Admin láttamozott]
    Független, Idéző: 27195883, Kapcsolat: 26296618
Vörös András et al. Bounded saturation-based CTL model checking. (2013) PROCEEDINGS OF THE ESTONIAN ACADEMY OF SCIENCES 1736-6046 62 1 59-70, 2692326
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2692326]
  1. Jiang Chuan et al. Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse. (2018) Megjelent: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning pp. 471-487
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[30384612] [Nyilvános]
    Független, Idéző: 30384612, Kapcsolat: 27794868
Darvas Dániel et al. Formal verification of complex properties on PLC programs. (2014) Megjelent: Formal Techniques for Distributed Objects, Components, and Systems pp. 284-299, 2768057
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[2768057]
  1. Xie Yaobin et al. A malware detection method using satisfiability modulo theory model checking for the programmable logic controller system. (2020) CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE 1532-0626 1532-0634
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[31703819] [Egyeztetett]
    Független, Idéző: 31703819, Kapcsolat: 29584025
  2. Huang Yanhong et al. KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification. (2019) IEEE ACCESS 2169-3536 7 14593-14602
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[30571209] [Egyeztetett]
    Független, Idéző: 30571209, Kapcsolat: 28039732
  3. Emmanouela Stachtiari et al. Early Validation of System Requirements and Design Through Correctness-by-Construction. (2018) JOURNAL OF SYSTEMS AND SOFTWARE 0164-1212 145 52-78
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[27503377] [Egyeztetett]
    Független, Idéző: 27503377, Kapcsolat: 27503377
  4. Mohammad Heidari. Runtime verification of a PLC system: An industrial case study. (2017)
    Egyéb/Diplomamunka, szakdolgozat, TDK dolgozat (Egyéb)/Tudományos[26785913] [Admin láttamozott]
    Független, Idéző: 26785913, Kapcsolat: 26785912
  5. Wiśniewski Remigiusz. Prototyping of Concurrent Control Systems Implemented in FPGA Devices. (2017) ISBN:9783319458106
    Könyv/Szakkönyv (Könyv)/Tudományos[26110822] [Nyilvános]
    Független, Idéző: 26110822, Kapcsolat: 26110822
  6. Sebastian Biallas. Verification of Programmable Logic Controller Code using Model Checking and Static Analysis. (2016)
    Disszertáció/PhD (Disszertáció)/Tudományos[26172088] [Nyilvános]
    Független, Idéző: 26172088, Kapcsolat: 26172088
  7. Dimitri Bohlender et al. Symbolic Verification of PLC Safety-Applications based on PLCopen Automata. (2016) Megjelent: MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Sy... pp. 33-45
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[25517540] [Nyilvános]
    Független, Idéző: 25517540, Kapcsolat: 25517540
  8. Iwona Grobelna et al. Design and Verification of Real-Life Processes With Application of Petri Nets. (2016) IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS: SYSTEMS 2168-2216 PP 99
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[25536959] [Nyilvános]
    Független, Idéző: 25536959, Kapcsolat: 25536959
  9. Qiang Wang. SeBip: A Symbolic Executor for BIP. (2015) Megjelent: 20th International Conference on Engineering of Complex Computer Systems pp. 174-177
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[25386839] [Admin láttamozott]
    Független, Idéző: 25386839, Kapcsolat: 25386839
  10. Vidhya D. Research Trends in Formal Verification Process for Analog and Mixed Signal Design. (2015) INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS 0975-8887 109 11 10-15
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[25269155] [Nyilvános]
    Független, Idéző: 25269155, Kapcsolat: 25269155
  11. Wang Qiang. Automatic Fault Localization for BIP: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. (2015) Megjelent: Dependable Software Engineering: Theories, Tools, and Applications pp. 277-283
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[25118275] [Admin láttamozott]
    Független, Idéző: 25118275, Kapcsolat: 25118275
  12. Biallas Sebastian. Automatic Error Cause Localization of Faulty PLC Programs. (2015) IFAC PAPERSONLINE 2405-8963 48 7 79-84
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[25083529] [Admin láttamozott]
    Független, Idéző: 25083529, Kapcsolat: 25083529
Hajdu Á et al. New Search Strategies for the Petri Net CEGAR Approach. (2015) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 9115 309-328, 2905183
Folyóiratcikk/Konferenciaközlemény (Folyóiratcikk)/Tudományos[2905183]
  1. Liebke Torsten et al. Solving E (φ U ψ) using the CEGAR Approach. (2019)
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[30759367] [Nyilvános]
    Független, Idéző: 30759367, Kapcsolat: 28252100
  2. Wolf Karsten. How Petri Net Theory Serves Petri Net Model Checking: A Survey. (2019) Megjelent: Transactions on Petri Nets and Other Models of Concurrency XIV pp. 36-63
    Könyvrészlet/Könyvfejezet (Könyvrészlet)/Tudományos[30927176] [Nyilvános]
    Független, Idéző: 30927176, Kapcsolat: 28446845
  3. Konstantinos Athanasiou et al. Unbounded-Thread Program Verification using Thread-State Equations. (2016) Megjelent: Automated Reasoning - 8th International Joint Conference, IJCAR 2016 pp. 516-531
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[26296695] [Egyeztetett]
    Független, Idéző: 26296695, Kapcsolat: 26296695
  4. Shi Ya et al. Model checking Petri nets with MSVL. (2016) INFORMATION SCIENCES 0020-0255 363 274-291
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[26185195] [Egyeztetett]
    Független, Idéző: 26185195, Kapcsolat: 26185195
  5. István Vajk et al. BME VIK Annual Research Report on Electrical Engineering and Computer Science 2015. (2016) PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE 2064-5260 2064-5279 60 1 1-36
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[3120494] [Admin láttamozott]
    Független, Idéző: 3120494, Kapcsolat: 26829919
2021-01-19 06:16