Search results for "FBD"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
144	Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee	A Verification Framework for FBD Based Software in Nuclear Power Plants.	APSEC	2008	DBLP DOI BibTeX RDF
144	Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung Deok Cha, Junbeom Yoo, Gee-Yong Park, Kee-Choon Kwon	Testing of Timer Function Blocks in FBD.	APSEC	2006	DBLP DOI BibTeX RDF
115	Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee	PLC-Based Safety Critical Software Development for Nuclear Power Plants.	SAFECOMP	2004	DBLP DOI BibTeX RDF
92	Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha	Control and Data Flow Testing on Function Block Diagrams.	SAFECOMP	2005	DBLP DOI BibTeX RDF
69	Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong	Development of a Verification Method for Timed Function Blocks Using ESDT and SMV.	HASE	2004	DBLP DOI BibTeX RDF
46	Erzsébet Németh, Tamás Bartha	Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications.	FMICS	2008	DBLP DOI BibTeX RDF
46	Anton Blad, Håkan Johansson, Per Löwenborg	A General Formulation of Analog-to-Digital Converters Using Parallel Sigma-Delta Modulators and Modulation Sequences.	APCCAS	2006	DBLP DOI BibTeX RDF
37	Olivera Pavlovic, Hans-Dieter Ehrich	Model Checking PLC Software Written in Function Block Diagram.	ICST	2010	DBLP DOI BibTeX RDF	FBD, IEC 61131-3, model checking, formal verification, PLC
29	Bo Xie, Shiqian Chen, Maoyong Dong, Shunqi Sui, Chao Chang, Kaiyun Wang	Detection of Wheel Diameter Difference of Railway Wagon by ACMD-FBD and Optimized MKELM.	IEEE Trans. Instrum. Meas.	2022	DBLP DOI BibTeX RDF
29	Lingjun Liu, Eunkyoung Jee, Doo-Hwan Bae	MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software.	Softw. Test. Verification Reliab.	2022	DBLP DOI BibTeX RDF
29	Dong-Ah Lee, Eui-Sub Kim, Junbeom Yoo	An Empirical Evaluation of Coverage Criteria for FBD Simulation Using Mutation Analysis.	IEICE Trans. Inf. Syst.	2021	DBLP DOI BibTeX RDF
29	Anand George, Polina Ovsiannikova, Valeriy Vyatkin	Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing.	ISIE	2021	DBLP DOI BibTeX RDF
29	Sugang Xu, Kiyo Ishii, Noboru Yoshikane, Takehiro Tsuritani, Yoshinari Awaji, Shu Namiki	Integration and Control of Heterogeneous Telecom and Data Center Optical Networks Aided by FBD and TAPI for Enhancing Large-scale Optical Path Services and Network Resiliency.	ECOC	2021	DBLP DOI BibTeX RDF
29	Pradeep Kumar Chaudhary, Ram Bilas Pachori	Automatic diagnosis of COVID-19 and pneumonia using FBD method.	BIBM	2020	DBLP DOI BibTeX RDF
29	Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae	FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
29	Donghwan Shin 0001, Eunkyoung Jee, Doo-Hwan Bae	Comprehensive analysis of FBD test coverage criteria using mutants.	Softw. Syst. Model.	2016	DBLP DOI BibTeX RDF
29	Jingyue Li, Altin Qeriqi, Martin Steffen, Ingrid Chieh Yu	Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems.	NIK	2016	DBLP BibTeX RDF
29	Wenjuan Li, Chunfeng Yue, Yuan Zhang, Hangying Gao, Meilan Zhou	Active power filter based on FBD current detection.	ICCSE	2016	DBLP DOI BibTeX RDF
29	Rihab Lahouli, Manel Ben-Romdhane, Chiheb Rebai, Dominique Dallet	Digital reconstruction stage of parallel FBD sigma delta ADC implementation based on programmable digital oscillator in SDR receiver.	ISCC	2015	DBLP DOI BibTeX RDF
29	Eunkyoung Jee, Donghwan Shin 0001, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae	Automated test case generation for FBD programs implementing reactor protection system software.	Softw. Test. Verification Reliab.	2014	DBLP DOI BibTeX RDF
29	Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee	A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC.	Reliab. Eng. Syst. Saf.	2013	DBLP DOI BibTeX RDF
29	Yi-Chen Wu, Chin-Feng Fan	Defining a test coverage criterion for model-level testing of FBD programs.	Inf. Softw. Technol.	2013	DBLP DOI BibTeX RDF
29	Donghwan Shin 0001, Eunkyoung Jee, Doo-Hwan Bae	Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis.	MoDELS	2012	DBLP DOI BibTeX RDF
29	Nicolas Longépé, Preesan Rakwatin, Osamu Isoguchi, Masanobu Shimada, Yumiko Uryu, Kokok Yulianto	Assessment of ALOS PALSAR 50 m Orthorectified FBD Data for Regional Land Cover Classification by Support Vector Machines.	IEEE Trans. Geosci. Remote. Sens.	2011	DBLP DOI BibTeX RDF
29	Yixian Tang, Chao Wang 0004, Hong Zhang 0001, Li Tao	Subsidence analysis in Tianjin based on PSI technique using PALSAR FBD data.	IGARSS	2011	DBLP DOI BibTeX RDF
29	Josef H. W. Geller	XML Import/Export für FBD in OpenPCS.	Informatiktage	2010	DBLP BibTeX RDF
29	Feilong Ling, Zengyuan Li, Erxue Chen, Xin Tian 0005, Lina Bai, Fengyu Wang	Rice areas mapping using ALOS PALSAR FBD data considering the Bragg scattering in L-band SAR images of rice fields.	IGARSS	2010	DBLP DOI BibTeX RDF
29	Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha, Doo-Hwan Bae	A data flow-based structural testing technique for FBD programs.	Inf. Softw. Technol.	2009	DBLP DOI BibTeX RDF
29	Junbeom Yoo, Sung Deok Cha, Chang Hwoi Kim, Duck Yong Song	Synthesis of FBD-based PLC design from NuSCR formal specification.	Reliab. Eng. Syst. Saf.	2005	DBLP DOI BibTeX RDF
29	Lihui Wang 0001, Yijun Song, Weiming Shen 0001	FBD: A Function Block Designer for Distributed and Collaborative Process Planning.	CSCWD (Selected papers)	2005	DBLP DOI BibTeX RDF
29	Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong	Verification method for the FBD-style design specification using SDT and SMV.	IASTED Conf. on Software Engineering	2004	DBLP BibTeX RDF
29	Haruo Yokota, Masanori Goto	FBD: A Fault-tolerant Buffering Disk System for Improving Write Performance of RAID5 Systems.	PRDC	1999	DBLP DOI BibTeX RDF
23	Min Jiang 0005, Changle Zhou, Fan Zhang, Shu Chen	Interpretation, Transformation and Model Checking of Semi-formal Diagram Notations.	CSSE (2)	2008	DBLP DOI BibTeX RDF
23	Fernando Jiménez-Fraustro, Éric Rutten	A Synchronous Model of IEC 61131 PLC Languages in SIGNAL.	ECRTS	2001	DBLP DOI BibTeX RDF	IEC 61131, programming languages, formal model, tool support, SIGNAL, synchronous languages, PLCs (programmable logic controllers)