Advanced Search
Current filters:


Add filters:

Use filters to refine the search results.

南京大学 X Linzhang Wang X

Results 1-10 of 35
Results/Page
Sort items by
Title
Author(s)
Issue Date
Views
Verifying Aspect-Oriented Models Against Crosscutting Properties.
Publisher: International Journal of Software Engineering and Knowledge Engineering
2013
27
Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri-net Analyzer
Publisher: 24th International Conference on Software Engineering & Knowledge Engineering (SEKE2012))
2012
35
Modeling and Evaluation of Wireless Sensor Network Protocols by Stochastic Timed Automata.
Publisher: Sixth International Workshop on Practical Applications of Stochastic Modeling (PASM2012)
2012
57
Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata
Publisher: The ACM/IEEE Third International Conference on Cyber-Physical Systems (ICCPS2012)
2012
34
Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online
Publisher: The ACM/IEEE Third International Conference on Cyber-Physical Systems (ICCPS2012)
2012
26
Recovering Design Patterns to Support Program Comprehension
Publisher: The 2nd International Workshop on Evidential Assessment of Software Technologies (EAST 2012)
2012
26
An Emperical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability
Publisher: The 26th international conference of software engineering and knowledge engineering
2014
24
Time-Leverage Points Detection for Time Sensitive Software Maintenance
Publisher: 28th IEEE International Conference of Software Maintenance (ICSM2012), Early Research Achievements Track
2012
26
Leveraging design rules to improve software architecture recovery
Publisher: 9th international ACM Sigsoft conference on Quality of software architectures (QoSA '13)
2013
27
Automatic XACML Requests Generation for Testing Access Control Policies
Publisher: The 26th International Conference on Software Engineering and Knowledge Engineering (SEKE 2014)
2014
30
1 2 3 4 >>