Yujian Fu

According to our database, Yujian Fu authored at least 27 papers between 2003 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Formal Modeling and Analysis of Collaborative Humanoid Robotics.

Yujian Fu, Zhijiang Dong, Xudong He

Int. J. Robotics Appl. Technol., 2018

A Systematic Approach for Developing Cyber Physical Systems.

Xudong He, Zhijiang Dong, Yujian Fu

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

2017

A Framework for Developing Cyber-Physical Systems.

Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu

Int. J. Softw. Eng. Knowl. Eng., 2017

2016

Modeling and Analyzing Security Patterns Using High Level Petri Nets.

Xudong He, Yujian Fu

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

An approach to analyzing adaptive intelligent vehicle system using SMT solver.

Yujian Fu, Md Hossain Shuvo

Proceedings of the International Conference on Control, 2016

2015

Reconfiguration of Autonomous Robotics.

Yujian Fu, Steven Drager

Int. J. Robotics Appl. Technol., 2015

Runtime Verification on Robotics Systems.

Zhijiang Dong, Yujian Fu, Yue Fu

Int. J. Robotics Appl. Technol., 2015

2014

Design and Implementation of BIOLOID Humanoid Robot.

Hilberto Ayala, Yujian Fu

Int. J. Robotics Appl. Technol., 2014

Integrating software testing into programming courses (WISTPC 2014) (abstract only).

Peter J. Clarke, Yujian Fu, James D. Kiper, Gursimran S. Walia

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Modeling and Verification of Humanoid Robot Task Coordination.

Yujian Fu, Steven Drager

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2012

Formal Modeling and Verification of Security Property in Handel C Program.

Yujian Fu, Jeffery Kulick, Lok K. Yan, Steven Drager

Int. J. Secur. Softw. Eng., 2012

2011

A Collaborative Interactive Cyber-learning Platform for Anywhere Anytime Java Programming Learning.

Prabir Bhattacharya, Minzhe Guo, Lixin Tao, Yujian Fu, Kai Qian

Proceedings of the ICALT 2011, 2011

2010

Modeling and Analyzing Web-based Information System.

Sriharsha Jasti, Yujian Fu, Priyanka Koneru

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

2009

An Approach for Modeling and Analyzing Crosscutting Concerns.

Yujian Fu, Junhua Ding, Phil Bording

Proceedings of the 2009 IEEE/INFORMS International Conference on Service Operations, 2009

Modular Analysis of Software Architecture Model.

Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He, Venkata Atluri, Sha Li

Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

2008

A Formal Approach for Translating a SAM Architecture to PROMELA.

Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Mapping Software Architecture Specification to Rewriting Logic (Short Paper).

Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He

Proceedings of the Eighth International Conference on Quality Software, 2008

2007

A Translator of Software Architecture Design from SAM to Java.

Yujian Fu, Zhijiang Dong, Xudong He

Int. J. Softw. Eng. Knowl. Eng., 2007

An Approach to Validating Translation Correctness From SAM to Java.

Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

2006

A Framework for Component-based System Modeling.

Zhijiang Dong, Yujian Fu, Xudong He

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

A Method for Realizing Software Architecture Design.

Yujian Fu, Zhijiang Dong, Xudong He

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Formalizing and validating UML architecture description of web systems.

Yujian Fu, Zhijiang Dong, Xudong He

Proceedings of the Workshop Proceedings of the 6th International Conference on Web Engineering, 2006

Modeling, validating and automating composition of web services.

Yujian Fu, Zhijiang Dong, Xudong He

Proceedings of the 6th International Conference on Web Engineering, 2006

2005

A Methodology of Automated Realization of a Software Architecture Design.

Yujian Fu, Zhijiang Dong, Xudong He

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Automated Runtime Validation of Software Architecture Design.

Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He

Proceedings of the Distributed Computing and Internet Technology, 2005

An Approach to Validation of Software Architecture Model.

Yujian Fu, Zhijiang Dong, Xudong He

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2003

Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams.

Zhijiang Dong, Yujian Fu, Xudong He

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003