| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Reng Zeng, Xudong He, Wil M. P. van der Aalst |
A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition.  |
SERVICES  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lily Chang, Xudong He |
A model transformation approach for verifying multi-agent systems using SPIN. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Su Liu, Reng Zeng, Xudong He |
PIPE+ - A Modeling Tool for High Level Petri Nets. |
SEKE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Su Liu, Reng Zeng, Xudong He |
An Empirical Study on Classification of Non-Functional Requirements. |
SEKE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Reng Zeng, Yu Huang, Su Liu, Peter J. Clarke, Xudong He, Gwendolyn W. van der Linden, Jon L. Ebert |
SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems. |
SEKE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Junhua Ding, Xudong He |
Formal Specification and Analysis of an Agent-Based Medical Image Processing System. |
International Journal of Software Engineering and Knowledge Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reng Zeng, Xudong He |
Analyzing a Formal Specification of Mondex Using Model Checking. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lily Chang, Xudong He |
A Multi-Agent Model for a Business Continuity Information Network. |
SEKE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jiexin Lian, Sol M. Shatz, Xudong He |
Flexible coordinator design for modeling resource sharing in multi-agent systems. |
Journal of Systems and Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Junhua Ding, Peter J. Clarke, Gonzalo Argote-Garcia, Xudong He |
A methodology for evaluating test coverage criteria of high levelPetri nets. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lily Chang, Xudong He |
Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling Approach. |
SEKE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He, Venkata Atluri, Sha Li |
Modular Analysis of Software Architecture Model. |
Software Engineering Research and Practice |
2009 |
DBLP BibTeX RDF |
|
| 1 | Reng Zeng, Jianling Liu, Xudong He |
A Formal Specification of Mondex Using SAM. |
SOSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Junhua Ding, Lian Mo, Xudong He |
An approach for specification construction using property-preserving refinement patterns. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
software architecture, refinement, property-preserving |
| 1 | Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi |
A Formal Approach for Translating a SAM Architecture to PROMELA. |
SEKE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He |
Mapping Software Architecture Specification to Rewriting Logic (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Software architecture specification, Petri net, rewriting logic, interleaving semantics |
| 1 | Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He |
Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. |
AST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong He |
A Formal Framework for Software System Modeling, Analysis and Realization. |
Software Engineering Research and Practice |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yujian Fu, Zhijiang Dong, Xudong He |
A Translator of Software Architecture Design from SAM to Java. |
International Journal of Software Engineering and Knowledge Engineering |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He |
An Approach to Validating Translation Correctness From SAM to Java. |
SEKE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jiexin Lian, Sol M. Shatz, Xudong He |
Component Based Multi-Agent System Modeling and Analysis: A Case Study. |
Software Engineering Research and Practice |
2007 |
DBLP BibTeX RDF |
|
| 1 | Junhua Ding, Peter J. Clarke, Dianxiang Xu, Xudong He, Yi Deng |
A formal model-based approach for developing an interoperable mobile agent system. |
Multiagent and Grid Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yujian Fu, Zhijiang Dong, Xudong He |
Formalizing and validating UML architecture description of web systems. |
ICWE Workshops |
2006 |
DBLP DOI BibTeX RDF |
UML architecture description, petri nets, temporal logic, verification and validation, software architecture model |
| 1 | Yujian Fu, Zhijiang Dong, Xudong He |
Modeling, validating and automating composition of web services. |
ICWE |
2006 |
DBLP DOI BibTeX RDF |
service oriented system specification, petri nets, temporal logic, verification and validation, software architecture model |
| 1 | Ying Huang, Xudong He |
A Method for Modeling Object-Oriented Systems with PZ nets. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He |
Modeling Complex Software Systems Using an Aspect Extension of Object-Z. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He |
Achieving a Better Middleware Design through Formal Modeling and Analysis. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Zhijiang Dong, Yujian Fu, Xudong He |
A Framework for Component-based System Modeling. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yujian Fu, Zhijiang Dong, Xudong He |
A Method for Realizing Software Architecture Design. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yujian Fu, Zhijiang Dong, Xudong He |
An Approach to Validation of Software Architecture Model. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong He |
A Framework for Ensuring System Dependability from Design to Implementation. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He |
Automated Runtime Validation of Software Architecture Design. |
ICDCIT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He |
Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Huiqun Yu, Dongmei Liu, Li Yang, Xudong He |
Formal Aspect-Oriented Modeling and Analysis by Aspect. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yujian Fu, Zhijiang Dong, Xudong He |
A Methodology of Automated Realization of a Software Architecture Design. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao |
Secure Software Architectures Design by Aspect Orientation. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
security, Software architecture, formal method, aspect orientation, SAM |
| 1 | Yi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai |
Constraint Propagation And Progressive Verification For Component-Based Process Model. |
International Journal of Software Engineering and Knowledge Engineering |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, Yi Deng |
Formally analyzing software architectural specifications using SAM . |
Journal of Systems and Software |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao |
Modeling and analyzing security protocols in SAM: A case study. |
IASTED Conf. on Software Engineering and Applications |
2004 |
DBLP BibTeX RDF |
|
| 1 | Huiqun Yu, Xudong He, Yi Deng, Lian Mo |
A Formal Approach to Designing Secure Software Architectures. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shu Gao, Yi Deng, Huiqun Yu, Xudong He, Konstantin Beznosov, Kendra Cooper |
Applying Aspect-Orientation in Designing Security Systems: A Case Study. |
SEKE |
2004 |
DBLP BibTeX RDF |
|
| 1 | Huiqun Yu, Xudong He, Yi Deng, Lian Mo |
Integrating Security Administration into Software Architectures Design. |
SEKE |
2004 |
DBLP BibTeX RDF |
|
| 1 | Xudong He, William C. Chu, Hongji Yang |
A new approach to verify rule-based systems using petri net. |
Information & Software Technology |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianjun Shi, Xudong He |
A Methodology for Dependability and Performability Analysis in SAM. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hassan Reza, Xudong He |
An Integrated Method to Software Architecture. |
SEKE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Huiqun Yu, Xudong He, Shu Gao, Yi Deng |
Formal Software Architecture Design of Secure Distributed Systems. |
SEKE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Zhijiang Dong, Yujian Fu, Xudong He |
Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. |
SEKE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Hassan Reza, Xudong He |
Pattern-Based Software Architecture: A Case Study. |
ITCC |
2003 |
DBLP DOI BibTeX RDF |
Hierarchical Predicate Transition Nets, Distributed Data Mining Systems, Software Architecture, Petri Nets, Design Patterns, Blackboard Architecture |
| 1 | Xudong He, Yi Deng |
A Framework for Developing and Analyzing Software Architecture Specifications in SAM. |
Comput. J. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Zhu, Xudong He |
A methodology of testing high-level Petri nets. |
Information & Software Technology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Huiqun Yu, Xudong He, Shu Gao, Yi Deng |
Modeling and Analyzing SMIL Documents in SAM. |
ISMSE |
2002 |
DBLP DOI BibTeX RDF |
model, multimedia, real-time, Formal method, analysis, SMIL, SAM |
| 1 | Huiqun Yu, Xudong He, Yi Deng, Lian Mo |
Formal Analysis of Real-Time Systems with SAM. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
model, Real-time system, Petri net, temporal logic, analysis, SAM |
| 1 | Tianjun Shi, Xudong He |
Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM. |
WICSA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Huiqun Yu, Xudong He, Yi Deng, Lian Mo |
A Formal Method for Analyzing Software Architecture Models in SAM. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
verification, Software architecture, Petri net, temporal logic, SAM |
| 1 | Xudong He, Junhua Ding, Yi Deng |
Model checking software architecture specifications in SAM. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
model checking, software architecture, petri nets, temporal logic |
| 1 | Xudong He |
PZ nets a formal method integrating Petri nets with Z. |
Information & Software Technology |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhijiang Dong, Xudong He |
Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Xudong He |
Formalizing UML Semantics. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Zhu, Xudong He |
An Observational Theory of Integration Testing for Component-Based Software Development. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
behaviour observation, software testing, concurrent systems, component-based software development, Software integration |
| 1 | Xudong He, Yingjia Ding |
Object Orientation in Hierarchical Predicate Transition Nets. |
Concurrent Object-Oriented Programming and Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong He, Yi Deng |
Specifying Software Architectural Connectors in SAM. |
International Journal of Software Engineering and Knowledge Engineering |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong He |
Translating hierarchical predicate transition nets to CC++ programs. |
Information & Software Technology |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | William C. Chu, Chih-Wei Lu, Hongji Yang, Xudong He |
A formal approach for component retrieval and integration analysis. |
Journal of Software Maintenance |
2000 |
DBLP BibTeX RDF |
|
| 1 | William C. Chu, Chih-Wei Lu, Chih-Peng Shiu, Xudong He |
Pattern-based software reengineering: a case study. |
Journal of Software Maintenance |
2000 |
DBLP BibTeX RDF |
|
| 1 | Xudong He |
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach. (PDF / PS) |
COMPSAC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiacun Wang, Xudong He, Yi Deng |
Introducing software architecture specification and analysis in SAM through an example. |
Information & Software Technology |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | William C. Chu, Chih-Wei Lu, J. P. Shiu, Xudong He |
Pattern Based Software Re-engineering: A Case Study. |
APSEC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Shikun Zhou, Hongji Yang, Paul Luker, Xudong He |
A Useful Approach to Developing Reverse Engineering Metrics. (PDF / PS) |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong He, William C. Chu, Hongji Yang, Stephen J. H. Yang |
A New Approach to Verify Rule-Based Systems Using Petri Nets. (PDF / PS) |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
Structural Error Detection, Petri Nets, Rule-Based Systems |
| 1 | William C. Chu, C. P. Hsu, Chih-Wei Lu, Xudong He |
A Semi-Formal Approach to Assist Software Design with Reuse. (PDF / PS) |
ICSM |
1999 |
DBLP DOI BibTeX RDF |
Verification, Adaptation, Integration, Reuse, Abstraction, Retrieving |
| 1 | Xudong He |
Transformations on Hierarchical Predicate Transition Nets: Refinements and Abstractions. (PDF / PS) |
COMPSAC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Weili Yao, William Perrizo, Xudong He |
An Improved Algorithm for Concurrency Control in Distributed Database Systems. |
Inf. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Weili Yao, Xudong He |
Mapping Petri nets to concurrent programs in CC++. |
Information & Software Technology |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong He, Weili Yao |
Translating hierarchical predicate transition nets to CC++ program skeletons. (PDF / PS) |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
hierarchical predicate transition net translation, CC++ program skeletons, overall translation architecture, translation rules, transformational software development methodology, Petri nets, semantics, syntax, concurrent object-oriented programming |
| 1 | Chieh-ying Kan, Xudong He |
A Method for Constructing Algebraic Petri Nets. |
Journal of Systems and Software |
1996 |
DBLP BibTeX RDF |
|
| 1 | Xudong He |
A Formal Definition of Hierarchical Predicate Transition Nets. |
Application and Theory of Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Weili Yao, Xudong He |
Mapping Petri Nets to Parallel Programs in CC++. (PDF / PS) |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong He |
A method for analyzing properties of hierarchical predicate transition nets. (PDF / PS) |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties |
| 1 | Xudong He |
PZ Nets- A Formal Method Integrating Petri Nets with Z. |
SEKE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Chieh-ying Kan, Xudong He |
Algebraic Petri Nets and Their Applications. |
ACM Conference on Computer Science |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong He, Yingjia Ding |
A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets. |
IFIP Congress |
1992 |
DBLP BibTeX RDF |
|
| 1 | Xudong He, John A. N. Lee |
A Methodology for Constructing Predicate Transition Net Specifications. |
Softw., Pract. Exper. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong He, John A. N. Lee |
Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems. |
Formal Asp. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. N. Lee, Xudong He |
A methodology for test selection. |
Journal of Systems and Software |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong He, John A. N. Lee |
Deriving Temporal Logic Specifications from Predicate Transition Petri Net. |
SEKE |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")