Jianli Xu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1998–2006
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | SEW | Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques. | Jianli Xu |
| 2004 | ISoLA | Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. | Sren Christensen, Jens Bk Jrgensen, Antti-Pekka Tuovinen, Jianli Xu |
| 2004 | ISoLA | Application of formal methods in Nokia mobile terminal and network software system development. | Jianli Xu |
| 2001 | ECOOP | Modelling Feature Interactions in Mobile Phones. | Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu |
| 1998 | ICSE | Architectural Modeling in Industry - An Experience Report. | Juha Kuusela, Alessandro Maccari, Jianli Xu |