BibSLEIGH — Xudong

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: He:Xudong

Contributed to:

2015

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

1999

1995

1989

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.