Yujian Fu

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 7

Top Topics

Security Patterns

Programming Course

Diffusion Models

Top Venues

Int. J. Robotics Appl. Technol.

Publications

Ming Kuo, Shouvon Sarker, Lijun Qian, Yujian Fu, Xiangfang Li, Xishuang Dong
Enhancing Deep Knowledge Tracing via Diffusion Models for Personalized Adaptive Learning. CoRR (2024)
Yujian Fu, Zhijiang Dong, Xudong He
Formal Modeling and Analysis of Collaborative Humanoid Robotics. Int. J. Robotics Appl. Technol. 6 (1) (2018)
Xudong He, Zhijiang Dong, Yujian Fu
A Systematic Approach for Developing Cyber Physical Systems. SEKE (2018)
Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu
A Framework for Developing Cyber-Physical Systems. Int. J. Softw. Eng. Knowl. Eng. 27 (9-10) (2017)
Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu
A Framework for Developing Cyber Physical Systems. SEKE (2017)
Xudong He, Yujian Fu
Modeling and Analyzing Security Patterns Using High Level Petri Nets. SEKE (2016)
Yujian Fu, Md Hossain Shuvo
An approach to analyzing adaptive intelligent vehicle system using SMT solver. CoDIT (2016)
Zhijiang Dong, Yujian Fu, Yue Fu
Runtime Verification on Robotics Systems. Int. J. Robotics Appl. Technol. 3 (1) (2015)
Yujian Fu, Steven Drager
Reconfiguration of Autonomous Robotics. Int. J. Robotics Appl. Technol. 3 (1) (2015)
Yujian Fu, Steven Drager
Modeling and Verification of Humanoid Robot Task Coordination. HASE (2014)
Hilberto Ayala, Yujian Fu
Design and Implementation of BIOLOID Humanoid Robot. Int. J. Robotics Appl. Technol. 2 (2) (2014)
Peter J. Clarke, Yujian Fu, James D. Kiper, Gursimran S. Walia
Integrating software testing into programming courses (WISTPC 2014) (abstract only). SIGCSE (2014)
Yujian Fu, Jeffery Kulick, Lok K. Yan, Steven Drager
Formal Modeling and Verification of Security Property in Handel C Program. Int. J. Secur. Softw. Eng. 3 (3) (2012)
Prabir Bhattacharya, Minzhe Guo, Lixin Tao, Yujian Fu, Kai Qian
A Collaborative Interactive Cyber-learning Platform for Anywhere Anytime Java Programming Learning. ICALT (2011)
Sriharsha Jasti, Yujian Fu, Priyanka Koneru
Modeling and Analyzing Web-based Information System. Software Engineering Research and Practice (2010)
Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He, Venkata Atluri, Sha Li
Modular Analysis of Software Architecture Model. Software Engineering Research and Practice (2009)
Yujian Fu, Junhua Ding, Phil Bording
An Approach for Modeling and Analyzing Crosscutting Concerns. SOLI (2009)
Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He
Mapping Software Architecture Specification to Rewriting Logic (Short Paper). QSIC (2008)
Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi
A Formal Approach for Translating a SAM Architecture to PROMELA. SEKE (2008)
Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He
An Approach to Validating Translation Correctness From SAM to Java. SEKE (2007)
Yujian Fu, Zhijiang Dong, Xudong He
A Translator of Software Architecture Design from SAM to Java. Int. J. Softw. Eng. Knowl. Eng. 17 (6) (2007)
Yujian Fu, Zhijiang Dong, Xudong He
Formalizing and validating UML architecture description of web systems. ICWE Workshops (2006)
Zhijiang Dong, Yujian Fu, Xudong He
A Framework for Component-based System Modeling. SEKE (2006)
Yujian Fu, Zhijiang Dong, Xudong He
Modeling, validating and automating composition of web services. ICWE (2006)
Yujian Fu, Zhijiang Dong, Xudong He
A Method for Realizing Software Architecture Design. QSIC (2006)
Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He
Automated Runtime Validation of Software Architecture Design. ICDCIT (2005)
Yujian Fu, Zhijiang Dong, Xudong He
An Approach to Validation of Software Architecture Model. APSEC (2005)
Yujian Fu, Zhijiang Dong, Xudong He
A Methodology of Automated Realization of a Software Architecture Design. SEKE (2005)
Zhijiang Dong, Yujian Fu, Xudong He
Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. SEKE (2003)