Jun Pang Vis

*	2009
42	EE	Jun Sun, Yang Liu, Jin Song Dong, Jun Pang: PAT: Towards Flexible Verification under Fairness. CAV 2009: 709-714
41	EE	Lei Shi, Jun Pang, Lei Yang, Tiejun Zhang, Donghui Wang: Fair-Priority-Expression-Based burst scheduling to enhance performance and fairness of shared dram systems. CCECE 2009: 190-194
40	EE	Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao: Verification of Population Ring Protocols in PAT. TASE 2009: 81-89
39	EE	Jun Pang, Chenyi Zhang: How to Work with Honest but Curious Judges? (Preliminary Report) CoRR abs/0910.4044: (2009)
38	EE	Hugo L. Jonker, Sjouke Mauw, Jun Pang: A formal framework for quantifying voter-controlled privacy. J. Algorithms 64(2-3): 89-105 (2009)
	2008
37	EE	Rena Bakhshi, Wan Fokkink, Jun Pang, Jaco van de Pol: Leader Election in Anonymous Rings: Franklin Goes Probabilistic. IFIP TCS 2008: 57-72
36	EE	Jun Pang, Zhengqin Luo, Yuxin Deng: On Automatic Verification of Self-Stabilizing Population Protocols. TASE 2008: 185-192
35	EE	Jun Pang, Zhengqin Luo, Yuxin Deng: On automatic verification of self-stabilizing population protocols. Frontiers of Computer Science in China 2(4): 357-367 (2008)
34	EE	Wan Fokkink, Jun Pang, Anton Wijs: Is Timed Branching Bisimilarity a Congruence Indeed? Fundam. Inform. 87(3-4): 287-311 (2008)
	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	Rena Bakhshi	[37]
3	Stefan Blom	[28]
4	Xiaojuan Cai	[33]
5	Jens R. Calame	[28]
6	Tom Chothia	[20] [21] [26]
7	Werner Damm	[24] [30] [32]
8	Muhammad Torabi Dashti	[21] [26] [28]
9	Yuxin Deng	[16] [20] [23] [27] [33] [35] [36]
10	Stefan Disch	[24] [32]
11	Jin Song Dong	[42]
12	Miguel Valero Espada	[9]
13	Xiaocong Fan	[8]
14	Wan Fokkink	[5] [6] [7] [11] [12] [13] [14] [15] [17] [18] [19] [25] [31] [34] [37]
15	Jan Friso Groote	[4] [11] [13]
16	Jaap-Henk Hoepman	[12]
17	Rutger F. H. Hofman	[5] [25]
18	Hardi Hungar	[24] [32]
19	Swen Jacobs	[32]
20	Hugo L. Jonker	[38]
21	Allard Kakebeen	[31]
22	Bart Karstens	[6]
23	Bixin Li	[1] [8]
24	Yongjian Li	[22] [29]
25	Bert Lisser	[28]
26	Yang Liu	[40] [42]
27	Zhengqin Luo	[33] [35] [36]
28	Sjouke Mauw	[38]
29	Alfred Mikschl	[30]
30	Jens Oehlerking	[30]
31	Ernst-Rüdiger Olderog	[30]
32	Simona Orzan	[21] [28]
33	Catuscia Palamidessi	[16] [20] [27]
34	Florian Pigorsch	[24] [32]
35	André Platzer	[30]
36	Jaco van de Pol	[9] [11] [13] [19] [28] [37]
37	Christoph Scholl	[24] [32]
38	Marc Segelken	[30]
39	Kaisa Sere	[10]
40	Lei Shi	[41]
41	Jun Sun	[40] [42]
42	Ronald Veldema	[5] [25]
43	Uwe Waldmann	[24] [32]
44	Donghui Wang	[41]
45	Yunfeng Wang	[1] [2]
46	Anton Wijs	[17] [28] [34]
47	Boris Wirtz	[24] [30] [32]
48	Arno G. Wouters	[4]
49	Peng Wu	[23]
50	Lu Yan	[10]
51	Lei Yang	[41]
52	Zhaohui Yang	[2]
53	Ming Zha	[1] [2]
54	Chenyi Zhang	[39]
55	Tiejun Zhang	[41]
56	Jianhua Zhao	[40]
57	Jianjun Zhao	[8]
58	Guoliang Zheng	[1] [2]
59	Xinrong Zhou	[10]

Colors in the list of coauthors