Jun Pang Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBixin Li, Yu Zhou, Jun Pang: Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition. APSEC 2009: 355-362
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugo L. Jonker, Sjouke Mauw, Jun Pang: Measuring Voter-Controlled Privacy. ARES 2009: 289-298
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Sun, Yang Liu, Jin Song Dong, Jun Pang: PAT: Towards Flexible Verification under Fairness. CAV 2009: 709-714
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei 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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXihui Chen, Ton van Deursen, Jun Pang: Improving Automatic Verification of Security Protocols with XOR. ICFEM 2009: 107-126
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYang Liu, Jun Pang, Jun Sun, Jianhua Zhao: Verification of Population Ring Protocols in PAT. TASE 2009: 81-89
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Pang, Chenyi Zhang: How to Work with Honest but Curious Judges? (Preliminary Report) CoRR abs/0910.4044: (2009)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugo L. Jonker, Sjouke Mauw, Jun Pang: A formal framework for quantifying voter-controlled privacy. J. Algorithms 64(2-3): 89-105 (2009)
2008
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRena Bakhshi, Wan Fokkink, Jun Pang, Jaco van de Pol: Leader Election in Anonymous Rings: Franklin Goes Probabilistic. IFIP TCS 2008: 57-72
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Pang, Zhengqin Luo, Yuxin Deng: On Automatic Verification of Self-Stabilizing Population Protocols. TASE 2008: 185-192
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Pang, Zhengqin Luo, Yuxin Deng: On automatic verification of self-stabilizing population protocols. Frontiers of Computer Science in China 2(4): 357-367 (2008)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan Fokkink, Jun Pang, Anton Wijs: Is Timed Branching Bisimilarity a Congruence Indeed? Fundam. Inform. 87(3-4): 287-311 (2008)
2007
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng: Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. ACNS 2007: 87-103
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner 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
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan Fokkink, Allard Kakebeen, Jun Pang: Adapting the UPPAAL Model of a Distributed Lift System. FSEN 2007: 81-97
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYongjian Li, Jun Pang: Extending the Strand Space Method to Verify Kerberos V. PDCAT 2007: 437-444
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxin Deng, Catuscia Palamidessi, Jun Pang: Weak Probabilistic Anonymity. Electr. Notes Theor. Comput. Sci. 180(1): 55-76 (2007)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Chothia, Jun Pang, Muhammad Torabi Dashti: Keeping Secrets in Resource Aware Components. Electr. Notes Theor. Comput. Sci. 190(3): 79-94 (2007)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxin Deng, Jun Pang, Peng Wu: Measuring Anonymity with Relative Entropy. Formal Aspects in Security and Trust 2006: 65-79
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYongjian Li, Jun Pang: Generalized Unsolicited Tests for Authentication Protocol Analysis. PDCAT 2006: 509-514
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti: A Framework for Automatically Checking Anonymity with mu CRL. TGC 2006: 301-318
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang: Metrics for Action-labelled Quantitative Transition Systems. Electr. Notes Theor. Comput. Sci. 153(2): 79-96 (2006)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan 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)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan Fokkink, Jun Pang, Anton Wijs: Is Timed Branching Bisimilarity an Equivalence Indeed?. FORMATS 2005: 258-272
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxin Deng, Catuscia Palamidessi, Jun Pang: Compositional Reasoning for Probabilistic Finite-State Behaviors. Processes, Terms and Cycles 2005: 309-337
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan Fokkink, Jun Pang: Simplifying Itai-Rodeh Leader Election for Anonymous Rings. Electr. Notes Theor. Comput. Sci. 128(6): 53-68 (2005)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan Fokkink, Jun Pang: Formal Verification of Timed Systems Using Cones and Foci. Electr. Notes Theor. Comput. Sci. 139(1): 105-122 (2005)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBahareh 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)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol: Verifying a Sliding Window Protocol in µCRL. AMAST 2004: 148-163
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLu 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Pang, Jaco van de Pol, Miguel Valero Espada: Abstraction of Parallel Uniform Processes with Data. SEFM 2004: 14-23
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBixin Li, Xiaocong Fan, Jun Pang, Jianjun Zhao: Model for Slicing JAVA Programs Hierarchically. J. Comput. Sci. Technol. 19(6): 848-858 (2004)
2003
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan Fokkink, Jun Pang: Cones and Foci for Protocol Verification Revisited. FoSSaCS 2003: 267-281
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Pang, Bart Karstens, Wan Fokkink: Analyzing the Redesign of a Distributed Lift System in UPPAAL. ICFEM 2003: 504-522
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald Veldema: Model Checking a Cache Coherence Protocol for a Java DSM Implementation. IPDPS 2003: 238
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Pang: Analysis of a Security Protocol in µCRL. ICFEM 2002: 396-400
2001
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYunfeng 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYunfeng 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

1Bahareh Badban [11] [13]
2Rena Bakhshi [37]
3Stefan Blom [28]
4Xiaojuan Cai [33]
5Jens R. Calame [28]
6Xihui Chen [41]
7Tom Chothia [20] [21] [26]
8Werner Damm [24] [30] [32]
9Muhammad Torabi Dashti (Mohammad Torabi Dashti) [21] [26] [28]
10Yuxin Deng [16] [20] [23] [27] [33] [35] [36]
11Ton van Deursen [41]
12Stefan Disch [24] [32]
13Jin Song Dong [43]
14Miguel Valero Espada [9]
15Xiaocong Fan [8]
16Wan Fokkink [5] [6] [7] [11] [12] [13] [14] [15] [17] [18] [19] [25] [31] [34] [37]
17Jan Friso Groote [4] [11] [13]
18Jaap-Henk Hoepman [12]
19Rutger F. H. Hofman [5] [25]
20Hardi Hungar [24] [32]
21Swen Jacobs [32]
22Hugo L. Jonker [38] [44]
23Allard Kakebeen [31]
24Bart Karstens [6]
25Bixin Li [1] [8] [45]
26Yongjian Li [22] [29]
27Bert Lisser [28]
28Yang Liu [40] [43]
29Zhengqin Luo [33] [35] [36]
30Sjouke Mauw [38] [44]
31Alfred Mikschl [30]
32Jens Oehlerking [30]
33Ernst-Rüdiger Olderog [30]
34Simona Orzan [21] [28]
35Catuscia Palamidessi [16] [20] [27]
36Florian Pigorsch [24] [32]
37André Platzer [30]
38Jaco van de Pol [9] [11] [13] [19] [28] [37]
39Christoph Scholl [24] [32]
40Marc Segelken [30]
41Kaisa Sere [10]
42Lei Shi [42]
43Jun Sun [40] [43]
44Ronald Veldema [5] [25]
45Uwe Waldmann [24] [32]
46Donghui Wang [42]
47Yunfeng Wang [1] [2]
48Anton Wijs [17] [28] [34]
49Boris Wirtz [24] [30] [32]
50Arno G. Wouters [4]
51Peng Wu [23]
52Lu Yan [10]
53Lei Yang [42]
54Zhaohui Yang [2]
55Ming Zha [1] [2]
56Chenyi Zhang [39]
57Tiejun Zhang [42]
58Jianhua Zhao [40]
59Jianjun Zhao [8]
60Guoliang Zheng [1] [2]
61Xinrong Zhou [10]
62Yu Zhou [45]

Colors in the list of coauthors

Copyright © Tue Feb 9 14:55:32 2010 by Michael Ley (ley@uni-trier.de)