 | 2006 |
|---|
| 16 |       | Jianli Xu:
Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development.
ICATPN 2006: 57-64 |
| 15 | | Tibor Bakota,
Rudolf Ferenc,
Tibor Gyimóthy,
Claudio Riva,
Jianli Xu:
Towards Portable Metrics-based Models for Software Maintenance Problems.
ICSM 2006: 483-486 |
| 14 | | Jianli Xu:
Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques.
SEW 2006: 212-222 |
| 13 | | Jens Bæk Jørgensen,
Søren Christensen,
Antti-Pekka Tuovinen,
Jianli Xu:
Tool Support for Estimating the Memory Usage of Mobile Phone Software.
STTT 8(6): 531-545 (2006) |
| 2004 |
|---|
| 12 | | Claudio Riva,
Petri Selonen,
Tarja Systä,
Jianli Xu:
UML-Based Reverse Engineering and Model Analysis Approaches for Software Architecture Maintenance.
ICSM 2004: 50-59 |
| 11 |  | Jianli Xu:
Application of formal methods in Nokia mobile terminal and network software system development.
ISoLA (Preliminary proceedings) 2004: 190-190 |
| 10 | | Søren Christensen,
Jens Bæk Jørgensen,
Antti-Pekka Tuovinen,
Jianli Xu:
Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets.
ISoLA (Preliminary proceedings) 2004: 304-310 |
| 9 | | Claudio Riva,
Petri Selonen,
Tarja Systä,
Antti-Pekka Tuovinen,
Jianli Xu,
Yaojin Yang:
Establishing a Software Architecting Environment.
WICSA 2004: 188-200 |
| 2003 |
|---|
| 8 | | Petri Selonen,
Jianli Xu:
Validating UML models against architectural profiles.
ESEC / SIGSOFT FSE 2003: 58-67 |
| 7 | | Yaojin Yang,
Jianli Xu:
Encoding Informal Architectural Descriptions with UML: An Experience Report.
UML 2003: 138-142 |
| 2002 |
|---|
| 6 | | Louise Lorentsen,
Antti-Pekka Tuovinen,
Jianli Xu:
Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets.
ICATPN 2002: 294-313 |
| 5 | | Louise Lorentsen,
Antti-Pekka Tuovinen,
Jianli Xu:
Experiences in Modelling Feature Interactions with Coloured Petri Nets.
Acta Cybern. 15(4): 621-632 (2002) |
| 2001 |
|---|
| 4 | | Louise Lorentsen,
Antti-Pekka Tuovinen,
Jianli Xu:
Modelling Feature Interactions in Mobile Phones.
FICS 2001: 7-13 |
| 1998 |
|---|
| 3 | | Juha Kuusela,
Alessandro Maccari,
Jianli Xu:
Architectural Modeling in Industry - An Experience Report.
ICSE 1998: 512-515 |
| 2 | | Jianli Xu,
Juha Kuusela:
Modeling execution architecture of software system using colored Petri nets.
WOSP 1998: 70-75 |
| 1 | | Jianli Xu,
Juha Kuusela:
Analyzing the Execution Architecture of Mobile Phone Software with Colored Petri Nets.
STTT 2(2): 133-143 (1998) |
