Search results for "Jun Pang"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw	Game-based verification of contract signing protocols with minimal messages.	ISSE	2012	DBLP DOI BibTeX RDF
1	Xihui Chen, Jun Pang	Measuring query privacy in location-based services.	CODASPY	2012	DBLP DOI BibTeX RDF
1	Chenyi Zhang, Jun Pang	An Algorithm for Probabilistic Alternating Simulation.	SOFSEM	2012	DBLP DOI BibTeX RDF
1	Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang	Fast leader election in anonymous rings with bounded expected delay.	Inf. Process. Lett.	2011	DBLP DOI BibTeX RDF
1	Zhiyuan Liu, Jun Pang, Chenyi Zhang	Verification of A Key Chain Based TTP Transparent CEM Protocol.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Qixia Yuan, Jun Pang, Sjouke Mauw, Panuwat Trairatphisan, Monique Wiesinger, Thomas Sauter	A Study of the PDGF Signaling Pathway with PRISM	CompMod	2011	DBLP DOI BibTeX RDF
1	Chenyi Zhang, Jun Pang	An Algorithm for Probabilistic Alternating Simulation	CoRR	2011	DBLP BibTeX RDF
1	Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang	A Group Signature Based Electronic Toll Pricing System	CoRR	2011	DBLP BibTeX RDF
1	Shi Feng, Jun Pang, Daling Wang, Ge Yu, Feng Yang, Dongping Xu	A novel approach for clustering sentiments in Chinese blogs based on graph similarity.	Computers & Mathematics with Applications	2011	DBLP DOI BibTeX RDF
1	Jun Pang	Analysis of Remote Quality Inspection System for Construction Projects.	ICEIS	2011	DBLP BibTeX RDF
1	Shao Jie Zhang, Jun Sun 0001, Jun Pang, Yang Liu 0003, Jin Song Dong	On Combining State Space Reductions with Global Fairness Assumptions.	FM	2011	DBLP DOI BibTeX RDF
1	Gabriele Lenzini, Sjouke Mauw, Jun Pang	Selective Location Blinding Using Hash Chains.	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
1	Hugo Jonker, Jun Pang	Bulletin Boards in Voting Systems: Modelling and Measuring Privacy.	ARES	2011	DBLP DOI BibTeX RDF
1	Yongjian Li, Jun Pang	An Inductive Approach to Provable Anonymity.	ARES	2011	DBLP DOI BibTeX RDF
1	Yongjian Li, Jun Pang	Extending the Strand Space Method with Timestamps: Part I the Theory.	J. Information Security	2010	DBLP DOI BibTeX RDF
1	Yongjian Li, Jun Pang	Extending the Strand Space Method with Timestamps: Part II Application to Kerberos V.	J. Information Security	2010	DBLP DOI BibTeX RDF
1	Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang	Asynchronous Bounded Expected Delay Networks	CoRR	2010	DBLP BibTeX RDF
1	Chenyi Zhang, Jun Pang	On Probabilistic Alternating Simulations	CoRR	2010	DBLP BibTeX RDF
1	Naipeng Dong, Hugo L. Jonker, Jun Pang	Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
1	Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw	A Trust-Augmented Voting Scheme for Collaborative Privacy Management.	STM	2010	DBLP DOI BibTeX RDF
1	Jun Pang, Dongping Xu, Shi Feng, Feng Yang, Daling Wang	A novel approach for clustering Chinese blogs by embedded sentiment based on graph similarity.	FSKD	2010	DBLP DOI BibTeX RDF
1	Chenyi Zhang, Jun Pang	On Probabilistic Alternating Simulations.	IFIP TCS	2010	DBLP DOI BibTeX RDF
1	Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang	Brief announcement: asynchronous bounded expected delay networks.	PODC	2010	DBLP DOI BibTeX RDF	abd networks, probabilistic algorithms, anonymous networks
1	Zhiyuan Liu, Jun Pang, Chenyi Zhang	Extending a Key-Chain Based Certified Email Protocol with Transparent TTP.	EUC	2010	DBLP DOI BibTeX RDF
1	Xin An, Jun Pang	Model Checking Round-Based Distributed Algorithms.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Hugo L. Jonker, Sjouke Mauw, Jun Pang	A formal framework for quantifying voter-controlled privacy.	J. Algorithms	2009	DBLP DOI BibTeX RDF
1	Jun Pang, Chenyi Zhang	How to Work with Honest but Curious Judges? (Preliminary Report)	SECCO	2009	DBLP DOI BibTeX RDF
1	Xihui Chen, Ton van Deursen, Jun Pang	Improving Automatic Verification of Security Protocols with XOR.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Bixin Li, Yu Zhou, Jun Pang	Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition.	APSEC	2009	DBLP DOI BibTeX RDF
1	Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw	Game-Based Verification of Multi-Party Contract Signing Protocols.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pang	PAT: Towards Flexible Verification under Fairness.	CAV	2009	DBLP DOI BibTeX RDF
1	Yang Liu 0003, Jun Pang, Jun Sun 0001, Jianhua Zhao	Verification of Population Ring Protocols in PAT.	TASE	2009	DBLP DOI BibTeX RDF
1	Jun Pang, Bao Tang	Message from T4CIA Workshop Co-chairs.	SSIRI	2009	DBLP DOI BibTeX RDF
1	Hugo L. Jonker, Sjouke Mauw, Jun Pang	Measuring Voter-Controlled Privacy.	ARES	2009	DBLP DOI BibTeX RDF
1	Jun Pang, Zhengqin Luo, Yuxin Deng	On automatic verification of self-stabilizing population protocols.	Frontiers of Computer Science in China	2008	DBLP DOI BibTeX RDF	model checking, verification, distributed algorithms, population protocols
1	Wan Fokkink, Jun Pang, Anton Wijs	Is Timed Branching Bisimilarity a Congruence Indeed?	Fundam. Inform.	2008	DBLP BibTeX RDF
1	Jun Pang, Lei Yang, Lei Shi, Tiejun Zhang, Donghui Wang, Chaohuan Hou	A priority-expression-based burst scheduling of memory reordering access.	ICSAMOS	2008	DBLP DOI BibTeX RDF
1	Rena Bakhshi, Wan Fokkink, Jun Pang, Jaco van de Pol	Leader Election in Anonymous Rings: Franklin Goes Probabilistic.	IFIP TCS	2008	DBLP DOI BibTeX RDF
1	Jun Pang, Zhengqin Luo, Yuxin Deng	On Automatic Verification of Self-Stabilizing Population Protocols.	TASE	2008	DBLP DOI BibTeX RDF	Model checking, Formal verification, Spin, Population protocols
1	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.	2007	DBLP DOI BibTeX RDF
1	Tom Chothia, Jun Pang, Muhammad Torabi Dashti	Keeping Secrets in Resource Aware Components.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Yuxin Deng, Catuscia Palamidessi, Jun Pang	Weak Probabilistic Anonymity.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Wan Fokkink, Allard Kakebeen, Jun Pang	Adapting the UPPAAL Model of a Distributed Lift System.	FSEN	2007	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Yongjian Li, Jun Pang	Extending the Strand Space Method to Verify Kerberos V.	PDCAT	2007	DBLP DOI BibTeX RDF
1	Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng	Analyzing an Electronic Cash Protocol Using Applied Pi Calculus.	ACNS	2007	DBLP DOI BibTeX RDF
1	Wan Fokkink, Jun Pang	Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM.	J. UCS	2006	DBLP BibTeX RDF
1	Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang	Metrics for Action-labelled Quantitative Transition Systems.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Wan Fokkink, Jun Pang, Jaco van de Pol	Cones and foci: A mechanical framework for protocol verification.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Process algebra, PVS, Protocol verification, Branching bisimulation
1	Yuxin Deng, Jun Pang, Peng Wu 0002	Measuring Anonymity with Relative Entropy.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Yongjian Li, Jun Pang	Generalized Unsolicited Tests for Authentication Protocol Analysis.	PDCAT	2006	DBLP DOI BibTeX RDF	the Otway-Rees protocol, authentication, cryptographic protocols, strand space
1	Tom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti	A Framework for Automatically Checking Anonymity with mu CRL.	TGC	2006	DBLP DOI BibTeX RDF
1	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.	2005	DBLP DOI BibTeX RDF	?CRL, Specification, Process algebra, Verification techniques, Sliding window protocols, Branching bisimulation
1	Wan Fokkink, Jun Pang	Formal Verification of Timed Systems Using Cones and Foci.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Wan Fokkink, Jun Pang	Simplifying Itai-Rodeh Leader Election for Anonymous Rings.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Wan Fokkink, Jaap-Henk Hoepman, Jun Pang	A Note on K-State Self-stabilization in a Ring with K=N.	Nord. J. Comput.	2005	DBLP BibTeX RDF
1	Wan Fokkink, Jun Pang, Anton Wijs	Is Timed Branching Bisimilarity an Equivalence Indeed?.	FORMATS	2005	DBLP DOI BibTeX RDF
1	Yuxin Deng, Catuscia Palamidessi, Jun Pang	Compositional Reasoning for Probabilistic Finite-State Behaviors.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
1	Bixin Li, Xiaocong Fan, Jun Pang, Jianjun Zhao	Model for Slicing JAVA Programs Hierarchically.	J. Comput. Sci. Technol.	2004	DBLP DOI BibTeX RDF
1	Jun Pang, Jaco van de Pol, Miguel Valero Espada	Abstraction of Parallel Uniform Processes with Data.	SEFM	2004	DBLP DOI BibTeX RDF
1	Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol	Verifying a Sliding Window Protocol in µCRL.	AMAST	2004	DBLP DOI BibTeX RDF
1	Lu Yan, Kaisa Sere, Xinrong Zhou, Jun Pang	Towards an Integrated Architecture for Peer-to-Peer and Ad Hoc Overlay Network Applications.	FTDCS	2004	DBLP DOI BibTeX RDF
1	Jan Friso Groote, Jun Pang, Arno G. Wouters	Analysis of a distributed system for lifting trucks.	J. Log. Algebr. Program.	2003	DBLP DOI BibTeX RDF
1	Jun Pang, Bart Karstens, Wan Fokkink	Analyzing the Redesign of a Distributed Lift System in UPPAAL.	ICFEM	2003	DBLP DOI BibTeX RDF
1	Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald Veldema	Model Checking a Cache Coherence Protocol for a Java DSM Implementation.	IPDPS	2003	DBLP DOI BibTeX RDF	µCRL, Java, model checking, distributed shared memory, cache coherence protocols
1	Wan Fokkink, Jun Pang	Cones and Foci for Protocol Verification Revisited.	FoSSaCS	2003	DBLP DOI BibTeX RDF
1	Jun Pang	Analysis of a Security Protocol in µCRL.	ICFEM	2002	DBLP DOI BibTeX RDF
1	Yunfeng Wang, Jun Pang, Ming Zha, Zhaohui Yang, Guoliang Zheng	A Formal Software Development Approach Using Refinement Calculus.	J. Comput. Sci. Technol.	2001	DBLP DOI BibTeX RDF
1	Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guoliang Zheng	A Formal Software Development Approach Based on COOZ and Refinement Calculus.	TOOLS	1999	DBLP DOI BibTeX RDF	formal development method, formal specification, object-oriented, refinement calculus

Publications of "Jun Pang" ( http://dblp.L3S.de/Authors/Jun_Pang )