Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(78)
Jian-Hua Zhao
32
Guoliang Zheng
31
Linzhang Wang
27
Lei Bu
17
Tian Zhang
15
Conferences
(38)
APSEC
3
ISOLA
3
SSIRI-C
3
ASIAN
2
SAC
2
Journals
(19)
Journal of Software
6
JCST
3
CORR
3
ENTCS
3
IPL
2
Keywords
(226)
Embed
Subscribe
Academic
Authors
Xuandong Li
Xuandong Li,Nanjing University,Software Engineering,Programming Languages,Distributed & Parallel Computing
Edit
Xuandong Li
Nanjing University
Publications:
90
|
Citations:
316
Fields:
Software Engineering
,
Programming Languages
,
Distributed & Parallel Computing
View FAQ about top research areas and Fields of study
Collaborated with
78 co-authors
from 1996 to 2012
|
Cited by
451 authors
Cumulative
Annual
Sort by:
Publications
(90)
BibTeX
|
RIS
|
RefWorks
Download
Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online
Lei Bu
,
Dingbao Xie
,
Xin Chen
,
Linzhang Wang
,
Xuandong Li
Conference:
IEEE/ACM International Conference on Cyber-Physical Systems - ICCPS
, 2012
Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata
Fengling Zhang
,
Lei Bu
,
Linzhang Wang
,
Jianhua Zhao
,
Xuandong Li
Conference:
IEEE/ACM International Conference on Cyber-Physical Systems - ICCPS
, 2012
Path-oriented bounded reachability analysis of composed linear hybrid systems
(
Citations: 2
)
Lei Bu
,
Xuandong Li
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 13, no. 4, pp. 307-317, 2011
Automatic Regression Test Selection Based on Activity Diagrams
Nan Ye
,
Xin Chen
,
Peng Jiang
,
Wenxu Ding
,
Xuandong Li
Conference:
International Conference on Secure Software Integration and Reliability Improvement Companion - SSIRI-C
, 2011
An Instrumentation Tool for Program Dynamic Analysis in Java
Chen Huajie
,
Zhang Tian
,
Bu Lei
,
Li Xuandong
Conference:
International Conference on Secure Software Integration and Reliability Improvement Companion - SSIRI-C
, 2011
Sort by:
Citations
(316 times by 248 publications)
Path-oriented bounded reachability analysis of composed linear hybrid systems
(
Citations: 2
)
Lei Bu
,
Xuandong Li
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 13, no. 4, pp. 307-317, 2011
Integrating constraints to support legally flexible business processes
(
Citations: 1
)
Yuqing Sun
,
Joshua Zhexue Huang
,
Xiangxu Meng
Journal:
Information Systems Frontiers - ISF
, vol. 13, no. 2, pp. 171-189, 2011
Seamless Testing for Models and Code
(
Citations: 1
)
Andreas Holzer
,
Visar Januzaj
,
Stefan Kugele
,
Boris Langer
,
Christian Schallhart
,
Michael Tautschnig
,
Helmut Veith
Conference:
Fundamental Approaches to Software Engineering - FASE
, pp. 278-293, 2011
Extensions of UML to Model Aspect-oriented Software Systems
Milena Guessi
,
Lucas Bueno
,
Ruas Oliveira
,
Elisa Yumi Nakagawa
Published in 2011.
Coalescing executions for fast uncertainty analysis
William N. Sumner
,
Tao Bao
,
Xiangyu Zhang
,
Sunil Prabhakar
Conference:
International Conference on Software Engineering - ICSE
, pp. 581-590, 2011
Comments