Jun Pang

2007
33	EE	Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng: Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. ACNS 2007: 87-103
32	EE	Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz: Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. ATVA 2007: 425-440
31	EE	Wan Fokkink, Allard Kakebeen, Jun Pang: Adapting the UPPAAL Model of a Distributed Lift System. FSEN 2007: 81-97
30	EE	Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz: Automating Verification of Cooperation, Control, and Design in Traffic Applications. Formal Methods and Hybrid Real-Time Systems 2007: 115-169
29	EE	Yongjian Li, Jun Pang: Extending the Strand Space Method to Verify Kerberos V. PDCAT 2007: 437-444
28	EE	Stefan Blom, Jens R. Calame, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs: Distributed Analysis with mu CRL: A Compendium of Case Studies. TACAS 2007: 683-689
27	EE	Yuxin Deng, Catuscia Palamidessi, Jun Pang: Weak Probabilistic Anonymity. Electr. Notes Theor. Comput. Sci. 180(1): 55-76 (2007)
26	EE	Tom Chothia, Jun Pang, Muhammad Torabi Dashti: Keeping Secrets in Resource Aware Components. Electr. Notes Theor. Comput. Sci. 190(3): 79-94 (2007)
25	EE	Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald Veldema: Model checking a cache coherence protocol of a Java DSM implementation. J. Log. Algebr. Program. 71(1): 1-43 (2007)
2006
24	EE	Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz: Automatic Verification of Hybrid Systems with Large Discrete State Space. ATVA 2006: 276-291
23	EE	Yuxin Deng, Jun Pang, Peng Wu: Measuring Anonymity with Relative Entropy. Formal Aspects in Security and Trust 2006: 65-79
22	EE	Yongjian Li, Jun Pang: Generalized Unsolicited Tests for Authentication Protocol Analysis. PDCAT 2006: 509-514
21	EE	Tom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti: A Framework for Automatically Checking Anonymity with mu CRL. TGC 2006: 301-318
20	EE	Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang: Metrics for Action-labelled Quantitative Transition Systems. Electr. Notes Theor. Comput. Sci. 153(2): 79-96 (2006)
19	EE	Wan Fokkink, Jun Pang, Jaco van de Pol: Cones and foci: A mechanical framework for protocol verification. Formal Methods in System Design 29(1): 1-31 (2006)
18	EE	Wan Fokkink, Jun Pang: Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM. J. UCS 12(8): 981-1006 (2006)
2005
17	EE	Wan Fokkink, Jun Pang, Anton Wijs: Is Timed Branching Bisimilarity an Equivalence Indeed?. FORMATS 2005: 258-272
16	EE	Yuxin Deng, Catuscia Palamidessi, Jun Pang: Compositional Reasoning for Probabilistic Finite-State Behaviors. Processes, Terms and Cycles 2005: 309-337
15	EE	Wan Fokkink, Jun Pang: Simplifying Itai-Rodeh Leader Election for Anonymous Rings. Electr. Notes Theor. Comput. Sci. 128(6): 53-68 (2005)
14	EE	Wan Fokkink, Jun Pang: Formal Verification of Timed Systems Using Cones and Foci. Electr. Notes Theor. Comput. Sci. 139(1): 105-122 (2005)
13	EE	Bahareh Badban, Wan Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol: Verification of a sliding window protocol in µCRL and PVS. Formal Asp. Comput. 17(3): 342-388 (2005)
12		Wan Fokkink, Jaap-Henk Hoepman, Jun Pang: A Note on K-State Self-stabilization in a Ring with K=N. Nord. J. Comput. 12(1): 18-26 (2005)
2004
11	EE	Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol: Verifying a Sliding Window Protocol in µCRL. AMAST 2004: 148-163
10	EE	Lu Yan, Kaisa Sere, Xinrong Zhou, Jun Pang: Towards an Integrated Architecture for Peer-to-Peer and Ad Hoc Overlay Network Applications. FTDCS 2004: 312-318
9	EE	Jun Pang, Jaco van de Pol, Miguel Valero Espada: Abstraction of Parallel Uniform Processes with Data. SEFM 2004: 14-23
8	EE	Bixin Li, Xiaocong Fan, Jun Pang, Jianjun Zhao: Model for Slicing JAVA Programs Hierarchically. J. Comput. Sci. Technol. 19(6): 848-858 (2004)
2003
7	EE	Wan Fokkink, Jun Pang: Cones and Foci for Protocol Verification Revisited. FoSSaCS 2003: 267-281
6	EE	Jun Pang, Bart Karstens, Wan Fokkink: Analyzing the Redesign of a Distributed Lift System in UPPAAL. ICFEM 2003: 504-522
5	EE	Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald Veldema: Model Checking a Cache Coherence Protocol for a Java DSM Implementation. IPDPS 2003: 238
4	EE	Jan Friso Groote, Jun Pang, Arno G. Wouters: Analysis of a distributed system for lifting trucks. J. Log. Algebr. Program. 55(1-2): 21-56 (2003)
2002
3	EE	Jun Pang: Analysis of a Security Protocol in µCRL. ICFEM 2002: 396-400
2001
2	EE	Yunfeng Wang, Jun Pang, Ming Zha, Zhaohui Yang, Guoliang Zheng: A Formal Software Development Approach Using Refinement Calculus. J. Comput. Sci. Technol. 16(3): 251-262 (2001)
1999
1	EE	Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guoliang Zheng: A Formal Software Development Approach Based on COOZ and Refinement Calculus. TOOLS (31) 1999: 261-266

Coauthor Index

1	Bahareh Badban	[11] [13]
2	Stefan Blom	[28]
3	Xiaojuan Cai	[33]
4	Jens R. Calame	[28]
5	Tom Chothia	[20] [21] [26]
6	Werner Damm	[24] [30] [32]
7	Muhammad Torabi Dashti	[21] [26] [28]
8	Yuxin Deng	[16] [20] [23] [27] [33]
9	Stefan Disch	[24] [32]
10	Miguel Valero Espada	[9]
11	Xiaocong Fan	[8]
12	Wan Fokkink	[5] [6] [7] [11] [12] [13] [14] [15] [17] [18] [19] [25] [31]
13	Jan Friso Groote	[4] [11] [13]
14	Jaap-Henk Hoepman	[12]
15	Rutger F. H. Hofman	[5] [25]
16	Hardi Hungar	[24] [32]
17	Swen Jacobs	[32]
18	Allard Kakebeen	[31]
19	Bart Karstens	[6]
20	Bixin Li	[1] [8]
21	Yongjian Li	[22] [29]
22	Bert Lisser	[28]
23	Zhengqin Luo	[33]
24	Alfred Mikschl	[30]
25	Jens Oehlerking	[30]
26	Ernst-Rüdiger Olderog	[30]
27	Simona Orzan	[21] [28]
28	Catuscia Palamidessi	[16] [20] [27]
29	Florian Pigorsch	[24] [32]
30	André Platzer	[30]
31	Jaco van de Pol	[9] [11] [13] [19] [28]
32	Christoph Scholl	[24] [32]
33	Marc Segelken	[30]
34	Kaisa Sere	[10]
35	Ronald Veldema	[5] [25]
36	Uwe Waldmann	[24] [32]
37	Yunfeng Wang	[1] [2]
38	Anton Wijs	[17] [28]
39	Boris Wirtz	[24] [30] [32]
40	Arno G. Wouters	[4]
41	Peng Wu	[23]
42	Lu Yan	[10]
43	Zhaohui Yang	[2]
44	Ming Zha	[1] [2]
45	Jianjun Zhao	[8]
46	Guoliang Zheng	[1] [2]
47	Xinrong Zhou	[10]

Colors in the list of coauthors