BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Canada
1 × Italy
1 × Republic of China
1 × Taiwan
1 × United Kingdom
10 × USA
Collaborated with:
S.Liu L.Chang Y.Fu Y.Deng R.Zeng Z.Dong H.Yu J.Ding T.Shi G.Argote-Garcia L.Mo P.J.Clarke Z.Sun Y.Huang D.Liu H.Reza J.A.N.Lee S.Gao L.Shi Z.Shao L.Yang W.C.Chu C.P.Hsu C.Lu W.Sun D.Xu K.Beznosov K.M.L.Cooper Y.Huang G.W.v.d.Linden J.L.Ebert
Talks about:
model (13) softwar (9) architectur (8) system (8) net (8) formal (7) design (7) approach (6) aspect (5) orient (4)

Person: Xudong He

DBLP DBLP: He:Xudong

Contributed to:

SEKE 20152015
TACAS 20152015
SEKE 20122012
SAC 20112011
SEKE 20112011
SEKE 20102010
SEKE 20092009
SAC 20082008
SEKE 20082008
SEKE 20072007
SEKE 20062006
SEKE 20052005
SEKE 20042004
SEKE 20032003
SEKE 20022002
WICSA 20022002
ICSM 19991999
SEKE 19951995
SEKE 19891989

Wrote 29 papers:

SEKE-2015-LiuH #petri net #pipes and filters #verification
PIPE+Verifier — A Tool for Analyzing High Level Petri Nets (SL, XH), pp. 575–580.
TACAS-2015-ZengSLH #precise #predict
A Method for Improving the Precision and Coverage of Atomicity Violation Predictions (RZ, ZS, SL, XH), pp. 116–130.
SEKE-2012-LiuZSH #analysis #architecture #modelling #named
SAMAT — A Tool for Software Architecture Modeling and Analysis (SL, RZ, ZS, XH), pp. 352–358.
SAC-2011-ChangH #approach #model transformation #multi #using #verification
A model transformation approach for verifying multi-agent systems using SPIN (LC, XH), pp. 37–42.
SEKE-2011-LiuZH #modelling #petri net #pipes and filters
PIPE+ — A Modeling Tool for High Level Petri Nets (SL, RZ, XH), pp. 115–121.
SEKE-2011-LiuZH11a #classification #empirical #non-functional #requirements
An Empirical Study on Classification of Non-Functional Requirements (SL, RZ, XH), pp. 444–449.
SEKE-2011-ZengHLCHLE #embedded #named
SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems (RZ, YH, SL, PJC, XH, GWvdL, JLE), pp. 308–314.
SEKE-2010-ChangH #multi #network
A Multi-Agent Model for a Business Continuity Information Network (LC, XH), pp. 657–663.
SEKE-2009-ChangH #adaptation #approach #aspect-oriented #modelling #towards
Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling Approach (LC, XH), pp. 189–193.
SAC-2008-DingMH #approach #refinement #specification #using
An approach for specification construction using property-preserving refinement patterns (JD, LM, XH), pp. 797–803.
SEKE-2008-Argote-GarciaCHFS #approach #architecture #formal method
A Formal Approach for Translating a SAM Architecture to PROMELA (GAG, PJC, XH, YF, LS), pp. 440–447.
SEKE-2007-FuDASH #approach #correctness #java #validation
An Approach to Validating Translation Correctness From SAM to Java (YF, ZD, GAG, LS, XH), p. 45–?.
SEKE-2006-DongFH #component #framework #modelling
A Framework for Component-based System Modeling (ZD, YF, XH), pp. 290–295.
SEKE-2006-HuangH #modelling #object-oriented
A Method for Modeling Object-Oriented Systems with PZ nets (YH, XH), pp. 456–462.
SEKE-2006-SunSADH #analysis #design #formal method #middleware #modelling
Achieving a Better Middleware Design through Formal Modeling and Analysis (WS, TS, GAG, YD, XH), pp. 463–468.
SEKE-2006-YuLSH #modelling #using
Modeling Complex Software Systems Using an Aspect Extension of Object-Z (HY, DL, ZS, XH), pp. 11–16.
SEKE-2005-DingXDCH #design #mobile #modelling
Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models (JD, DX, YD, PJC, XH), pp. 560–565.
SEKE-2005-FuDH #architecture #automation #design
A Methodology of Automated Realization of a Software Architecture Design (YF, ZD, XH), pp. 412–417.
SEKE-2005-YuLYH #analysis #aspect-oriented #modelling
Formal Aspect-Oriented Modeling and Analysis by Aspect (HY, DL, LY, XH), pp. 169–174.
SEKE-2004-GaoDYHBC #case study #design #security
Applying Aspect-Orientation in Designing Security Systems: A Case Study (SG, YD, HY, XH, KB, KMLC), pp. 360–365.
SEKE-2004-YuHDM #architecture #design #security
Integrating Security Administration into Software Architectures Design (HY, XH, YD, LM), pp. 416–420.
SEKE-2003-DongFH #diagrams #statechart
Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams (ZD, YF, XH), pp. 150–157.
SEKE-2003-RezaH #architecture
An Integrated Method to Software Architecture (HR, XH), pp. 398–405.
SEKE-2003-YuHGD #architecture #design #distributed #formal method
Formal Software Architecture Design of Secure Distributed Systems (HY, XH, SG, YD), pp. 450–457.
SEKE-2002-HeDD #architecture #model checking #specification
Model checking software architecture specifications in SAM (XH, JD, YD), pp. 271–278.
WICSA-2002-ShiH #architecture #communication #modelling #protocol #using
Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM (TS, XH), pp. 63–77.
ICSM-1999-ChuHLH #approach #design #formal method #reuse
A Semi-Formal Approach to Assist Software Design with Reuse (WCC, CPH, CWL, XH), pp. 256–264.
SEKE-1995-He #formal method #petri net
PZ Nets- A Formal Method Integrating Petri Nets with Z (XH), pp. 173–180.
SEKE-1989-HeL #logic #petri net #specification
Deriving Temporal Logic Specifications from Predicate Transition Petri Net (XH, JANL), pp. 116–121.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.