The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Xudong He" ( http://dblp.L3S.de/Authors/Xudong_He )

URL (Homepage):  http://www.cs.ndsu.nodak.edu/~hex/index.html  Author page on DBLP  Author page in RDF  Community of Xudong He in ASPL-2

Publication years (Num. hits)
1989-1996 (15) 1997-2000 (15) 2001-2003 (18) 2004-2006 (22) 2007-2010 (17) 2011-2015 (16) 2016-2018 (26) 2019 (2)
Publication types (Num. hits)
article(37) incollection(1) inproceedings(92) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 68 occurrences of 41 keywords

Results
Found 132 publication records. Showing 131 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Junqiao Zhao, Yewei Huang, Xudong He, Shaoming Zhang, Chen Ye, Tiantian Feng, Lu Xiong Visual Semantic Landmark-Based Robust Mapping and Localization for Autonomous Indoor Parking. Search on Bibsonomy Sensors The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xudong He A Personal Journey in Petri Net Research. Search on Bibsonomy Carl Adam Petri: Ideas, Personality, Impact The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kuo Liao, Jinxiu Si, Fangqi Zhu, Xudong He Radar HRRP Target Recognition Based on Concatenated Deep Neural Networks. Search on Bibsonomy IEEE Access The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lu Sun, Junqiao Zhao, Xudong He, Chen Ye DLO: Direct LiDAR Odometry for 2.5D Outdoor Environment. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Xudong He, Junqiao Zhao, Lu Sun, Yewei Huang, Xinglian Zhang, Jun Li, Chen Ye Line-based Road Structure Mapping Using Multi-beam LiDAR. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Junqiao Zhao, Chen Ye, Yan Wu, Linting Guan, Lewen Cai, Lu Sun, Tao Yang, Xudong He, Jun Li, Yongchao Ding, Xinglian Zhang, Xinchen Wang, Jinlin Huang, Enwei Zhang, Yewei Huang, Wei Jiang, Shaoming Zhang, Lu Xiong, Tiantian Feng TiEV: The Tongji Intelligent Electric Vehicle in the Intelligent Vehicle Future Challenge of China. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Yewei Huang, Junqiao Zhao, Xudong He, Shaoming Zhang, Tiantian Feng Vision-based Semantic Mapping and Localization for Autonomous Indoor Parking. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Yujian Fu, Zhijiang Dong, Xudong He Formal Modeling and Analysis of Collaborative Humanoid Robotics. Search on Bibsonomy IJRAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xudong He, Jian Wang, Jiqiang Liu, Lei Han, Yang Yu, ShaoHua Lv Hierarchical Filtering Method of Alerts Based on Multi-Source Information Correlation Analysis. Search on Bibsonomy ICCCN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yang Yu, Jian Wang, Jiqiang Liu, Lei Han, Xudong He, ShaoHua Lv Multi-Dimension Threat Situation Assessment Based on Network Security Attributes. Search on Bibsonomy ICCCN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dewan Mohammad Moksedul Alam, Xudong He, William C. Chu Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S). Search on Bibsonomy SEKE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xudong He, Zhijiang Dong, Yujian Fu A Systematic Approach for Developing Cyber Physical Systems. Search on Bibsonomy SEKE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xudong He, Junqiao Zhao, Lu Sun, Yewei Huang, Xinglian Zhang, Jun Li, Chen Ye Automatic Vector-based Road Structure Mapping Using Multi-beam LiDAR. Search on Bibsonomy ITSC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Junqiao Zhao, Chen Ye, Yan Wu, Linting Guan, Lewen Cai, Lu Sun, Tao Yang, Xudong He, Jun Li, Yongchao Ding, Xinglian Zhang, Xinchen Wang, Jinlin Huang, Enwei Zhang, Yewei Huang, Wei Jiang, Shaoming Zhang, Lu Xiong, Tiantian Feng TiEV: The Tongji Intelligent Electric Vehicle in the Intelligent Vehicle Future Challenge of China. Search on Bibsonomy ITSC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xudong He Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets. Search on Bibsonomy QRS Companion The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhuo Sun, Reng Zeng, Xudong He A Method for Predicting Two-Variable Atomicity Violations. Search on Bibsonomy QRS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lu Sun, Junqiao Zhao, Xudong He, Chen Ye DLO: Direct LiDAR Odometry for 2.5D Outdoor Environment. Search on Bibsonomy Intelligent Vehicles Symposium The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yewei Huang, Junqiao Zhao, Xudong He, Shaoming Zhang, Tiantian Feng Vision-based Semantic Mapping and Localization for Autonomous Indoor Parking. Search on Bibsonomy Intelligent Vehicles Symposium The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shi-Kuo Chang, Xudong He Guest Editors' Introduction. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu A Framework for Developing Cyber-Physical Systems. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dewan Mohammad Moksedul Alam, Xudong He A Method to Analyze Predicate Transition Nets Using SPIN Model Checker. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu A Framework for Developing Cyber Physical Systems. Search on Bibsonomy SEKE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dewan Mohammad Moksedul Alam, Xudong He A Method to Analyze High Level Petri Nets using SPIN Model Checker. Search on Bibsonomy SEKE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xudong He (eds.) The 29th International Conference on Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 5-7, 2017. Search on Bibsonomy SEKE The full citation details ... 2017 DBLP  BibTeX  RDF
1Xudong He Modeling and Analyzing the Android Permission Framework Using High Level Petri Nets. Search on Bibsonomy QRS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xudong He, Yujian Fu Modeling and Analyzing Security Patterns Using High Level Petri Nets. Search on Bibsonomy SEKE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae A Term Rewriting Approach to Analyze High Level Petri Nets. Search on Bibsonomy TASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gangqiang Zhang, Xudong He, Junkai Liu A novel M-ary differential underwater acoustic direct sequence spread spectrum communication system. Search on Bibsonomy WUWNet The full citation details ... 2016 DBLP  BibTeX  RDF
1Lily Chang, Xudong He A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Su Liu, Xudong He PIPE+Verifier - A Tool for Analyzing High Level Petri Nets. Search on Bibsonomy SEKE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Reng Zeng, Zhuo Sun, Su Liu, Xudong He A Method for Improving the Precision and Coverage of Atomicity Violation Predictions. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Karl A. Morris, Peter J. Clarke, Xudong He, Fábio M. Costa, Mengjun Allison A Method for Validating Intent Model Behavior in DSVMs. Search on Bibsonomy HASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mark Allison, Peter J. Clarke, Xudong He A Generic Model of Execution for Synthesizing Interpreted Domain-Specific Models. Search on Bibsonomy SCSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Su Liu, Reng Zeng, Zhuo Sun, Xudong He Bounded Model Checking High Level Petri Nets in PIPE+Verifier. Search on Bibsonomy ICFEM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xudong He A Comprehensive Survey of Petri Net Modeling in Software Engineering. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lily Chang, Xudong He, Sol M. Shatz A Methodology for Modeling Multi-Agent Systems using Nested Petri Nets. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Reng Zeng, Zhuo Sun, Su Liu, Xudong He McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking. Search on Bibsonomy SPIN The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Su Liu, Reng Zeng, Zhuo Sun, Xudong He SAMAT - A Tool for Software Architecture Modeling and Analysis. Search on Bibsonomy SEKE The full citation details ... 2012 DBLP  BibTeX  RDF
1Su Liu, Reng Zeng, Xudong He PIPE+ - A Modeling Tool for High Level Petri Nets. Search on Bibsonomy SEKE The full citation details ... 2011 DBLP  BibTeX  RDF
1Reng 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. Search on Bibsonomy SEKE The full citation details ... 2011 DBLP  BibTeX  RDF
1Su Liu, Reng Zeng, Xudong He An Empirical Study on Classification of Non-Functional Requirements. Search on Bibsonomy SEKE The full citation details ... 2011 DBLP  BibTeX  RDF
1Lily Chang, Xudong He A model transformation approach for verifying multi-agent systems using SPIN. Search on Bibsonomy SAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Reng Zeng, Xudong He, Jiafei Li, Zheng Liu, Wil M. P. van der Aalst A Method to Build and Analyze Scientific Workflows from Provenance through Process Mining. Search on Bibsonomy TaPP The full citation details ... 2011 DBLP  BibTeX  RDF
1Reng Zeng, Xudong He, Wil M. P. van der Aalst A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition. Search on Bibsonomy SERVICES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Junhua Ding, Xudong He Formal Specification and Analysis of an Agent-Based Medical Image Processing System. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lily Chang, Xudong He A Multi-Agent Model for a Business Continuity Information Network. Search on Bibsonomy SEKE The full citation details ... 2010 DBLP  BibTeX  RDF
1Reng Zeng, Xudong He Analyzing a Formal Specification of Mondex Using Model Checking. Search on Bibsonomy ICTAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jiexin Lian, Sol M. Shatz, Xudong He Flexible coordinator design for modeling resource sharing in multi-agent systems. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Junhua Ding, Peter J. Clarke, Gonzalo Argote-Garcia, Xudong He A methodology for evaluating test coverage criteria of high levelPetri nets. Search on Bibsonomy Information & Software Technology The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Lily Chang, Xudong He Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling Approach. Search on Bibsonomy SEKE The full citation details ... 2009 DBLP  BibTeX  RDF
1Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He, Venkata Atluri, Sha Li Modular Analysis of Software Architecture Model. Search on Bibsonomy Software Engineering Research and Practice The full citation details ... 2009 DBLP  BibTeX  RDF
1Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi A Formal Approach for Translating a SAM Architecture to PROMELA. Search on Bibsonomy SEKE The full citation details ... 2008 DBLP  BibTeX  RDF
1Xudong He A Formal Framework for Software System Modeling, Analysis and Realization. Search on Bibsonomy Software Engineering Research and Practice The full citation details ... 2008 DBLP  BibTeX  RDF
1Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He Mapping Software Architecture Specification to Rewriting Logic (Short Paper). Search on Bibsonomy QSIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Software architecture specification, Petri net, rewriting logic, interleaving semantics
1Reng Zeng, Jianling Liu, Xudong He A Formal Specification of Mondex Using SAM. Search on Bibsonomy SOSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Junhua Ding, Lian Mo, Xudong He An approach for specification construction using property-preserving refinement patterns. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software architecture, refinement, property-preserving
1Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. Search on Bibsonomy AST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yujian Fu, Zhijiang Dong, Xudong He A Translator of Software Architecture Design from SAM to Java. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He An Approach to Validating Translation Correctness From SAM to Java. Search on Bibsonomy SEKE The full citation details ... 2007 DBLP  BibTeX  RDF
1Jiexin Lian, Sol M. Shatz, Xudong He Component Based Multi-Agent System Modeling and Analysis: A Case Study. Search on Bibsonomy Software Engineering Research and Practice The full citation details ... 2007 DBLP  BibTeX  RDF
1Dianxiang Xu, Xudong He Generation of test requirements from aspectual use cases. Search on Bibsonomy WTAOP@AOSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Junhua Ding, Peter J. Clarke, Dianxiang Xu, Xudong He, Yi Deng A formal model-based approach for developing an interoperable mobile agent system. Search on Bibsonomy Multiagent and Grid Systems The full citation details ... 2006 DBLP  BibTeX  RDF
1Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He Modeling Complex Software Systems Using an Aspect Extension of Object-Z. Search on Bibsonomy SEKE The full citation details ... 2006 DBLP  BibTeX  RDF
1Ying Huang, Xudong He A Method for Modeling Object-Oriented Systems with PZ nets. Search on Bibsonomy SEKE The full citation details ... 2006 DBLP  BibTeX  RDF
1Zhijiang Dong, Yujian Fu, Xudong He A Framework for Component-based System Modeling. Search on Bibsonomy SEKE The full citation details ... 2006 DBLP  BibTeX  RDF
1Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He Achieving a Better Middleware Design through Formal Modeling and Analysis. Search on Bibsonomy SEKE The full citation details ... 2006 DBLP  BibTeX  RDF
1Yujian Fu, Zhijiang Dong, Xudong He A Method for Realizing Software Architecture Design. Search on Bibsonomy QSIC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yujian Fu, Zhijiang Dong, Xudong He Modeling, validating and automating composition of web services. Search on Bibsonomy ICWE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF service oriented system specification, petri nets, temporal logic, verification and validation, software architecture model
1Yujian Fu, Zhijiang Dong, Xudong He Formalizing and validating UML architecture description of web systems. Search on Bibsonomy ICWE Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF UML architecture description, petri nets, temporal logic, verification and validation, software architecture model
1Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. Search on Bibsonomy SEKE The full citation details ... 2005 DBLP  BibTeX  RDF
1Yujian Fu, Zhijiang Dong, Xudong He A Methodology of Automated Realization of a Software Architecture Design. Search on Bibsonomy SEKE The full citation details ... 2005 DBLP  BibTeX  RDF
1Huiqun Yu, Dongmei Liu, Li Yang 0001, Xudong He Formal Aspect-Oriented Modeling and Analysis by Aspect. Search on Bibsonomy SEKE The full citation details ... 2005 DBLP  BibTeX  RDF
1Huiqun Yu, Dongmei Liu, Xudong He, Li Yang 0001, Shu Gao Secure Software Architectures Design by Aspect Orientation. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF security, Software architecture, formal method, aspect orientation, SAM
1Xudong He A Framework for Ensuring System Dependability from Design to Implementation. Search on Bibsonomy MSVVEIS The full citation details ... 2005 DBLP  BibTeX  RDF
1Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He Automated Runtime Validation of Software Architecture Design. Search on Bibsonomy ICDCIT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Junhua Ding, Zhengfan Dai, Jiacun Wang, Xudong He Formally modeling and analyzing a secure mobile agent finder. Search on Bibsonomy SMC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Yujian Fu, Zhijiang Dong, Xudong He An Approach to Validation of Software Architecture Model. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Yi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai Constraint Propagation And Progressive Verification For Component-Based Process Model. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Xudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, Yi Deng Formally analyzing software architectural specifications using SAM . Search on Bibsonomy Journal of Systems and Software The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Huiqun Yu, Xudong He, Yi Deng, Lian Mo Integrating Security Administration into Software Architectures Design. Search on Bibsonomy SEKE The full citation details ... 2004 DBLP  BibTeX  RDF
1Shu Gao, Yi Deng, Huiqun Yu, Xudong He, Konstantin Beznosov, Kendra M. L. Cooper Applying Aspect-Orientation in Designing Security Systems: A Case Study. Search on Bibsonomy SEKE The full citation details ... 2004 DBLP  BibTeX  RDF
1Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao Modeling and analyzing security protocols in SAM: A case study. Search on Bibsonomy IASTED Conf. on Software Engineering and Applications The full citation details ... 2004 DBLP  BibTeX  RDF
1Huiqun Yu, Xudong He, Yi Deng, Lian Mo A Formal Approach to Designing Secure Software Architectures. Search on Bibsonomy HASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Xudong He, William C. Chu, Hongji Yang A new approach to verify rule-based systems using petri net. Search on Bibsonomy Information & Software Technology The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Huiqun Yu, Xudong He, Shu Gao, Yi Deng Formal Software Architecture Design of Secure Distributed Systems. Search on Bibsonomy SEKE The full citation details ... 2003 DBLP  BibTeX  RDF
1Zhijiang Dong, Yujian Fu, Xudong He Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. Search on Bibsonomy SEKE The full citation details ... 2003 DBLP  BibTeX  RDF
1Hassan Reza, Xudong He An Integrated Method to Software Architecture. Search on Bibsonomy SEKE The full citation details ... 2003 DBLP  BibTeX  RDF
1Tianjun Shi, Xudong He A Methodology for Dependability and Performability Analysis in SAM. Search on Bibsonomy DSN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Hassan Reza, Xudong He Pattern-Based Software Architecture: A Case Study. Search on Bibsonomy ITCC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Hierarchical Predicate Transition Nets, Distributed Data Mining Systems, Software Architecture, Petri Nets, Design Patterns, Blackboard Architecture
1Xudong He, Yi Deng A Framework for Developing and Analyzing Software Architecture Specifications in SAM. Search on Bibsonomy Comput. J. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hong Zhu, Xudong He A methodology of testing high-level Petri nets. Search on Bibsonomy Information & Software Technology The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Xudong He, Junhua Ding, Yi Deng Model checking software architecture specifications in SAM. Search on Bibsonomy SEKE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF model checking, software architecture, petri nets, temporal logic
1Huiqun Yu, Xudong He, Yi Deng, Lian Mo Formal Analysis of Real-Time Systems with SAM. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF model, Real-time system, Petri net, temporal logic, analysis, SAM
1Tianjun Shi, Xudong He Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM. Search on Bibsonomy WICSA The full citation details ... 2002 DBLP  BibTeX  RDF
1Huiqun Yu, Xudong He, Shu Gao, Yi Deng Modeling and Analyzing SMIL Documents in SAM. Search on Bibsonomy ISMSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF model, multimedia, real-time, Formal method, analysis, SMIL, SAM
1Huiqun Yu, Xudong He, Yi Deng, Lian Mo A Formal Method for Analyzing Software Architecture Models in SAM. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF verification, Software architecture, Petri net, temporal logic, SAM
1Xudong He PZ nets a formal method integrating Petri nets with Z. Search on Bibsonomy Information & Software Technology The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Xudong He, Yingjia Ding Object Orientation in Hierarchical Predicate Transition Nets. Search on Bibsonomy Concurrent Object-Oriented Programming and Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Zhijiang Dong, Xudong He Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. Search on Bibsonomy pUML The full citation details ... 2001 DBLP  BibTeX  RDF
1Xudong He Formalizing UML Semantics. Search on Bibsonomy COMPSAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 131 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license