Peng Wu

According to our database1, Peng Wu authored at least 21 papers between 2005 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Diversity driven adaptive test generation for concurrent data structures.
Information & Software Technology, 2018

Decidability of linearizabilities for relaxed data structures.
SCIENCE CHINA Information Sciences, 2018

2017
Decomposable Relaxation for Concurrent Data Structures.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Synthesizing Coalitions for Multi-agent Games.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016
Modelling and Analysis of Network Security - An Algebraic Approach.
Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

Bounded TSO-to-SC Linearizability Is Decidable.
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2015
TSO-to-TSO Linearizability Is Undecidable.
Proceedings of the Automated Technology for Verification and Analysis, 2015

Input-Driven Active Testing of Multi-threaded Programs.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

Quasi-Linearizability is Undecidable.
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014
Efficiently and Completely Verifying Synchronized Consistency Models.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2010
Model Checking Optimisation Based Congestion Control Algorithms.
Fundam. Inform., 2010

Assume-Guarantee Reasoning with Local Specifications.
Proceedings of the Formal Methods and Software Engineering, 2010

2009
Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus.
IEEE Trans. Software Eng., 2009

2007
Symbolic Bisimulations for Probabilistic Systems.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Model checking the probabilistic pi-calculus.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Symbolic Test Generation Using a Temporal Logic with Constrained Events.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006
Measuring Anonymity with Relative Entropy.
Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

2005
Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Compositional Modelling and Verification of IPv6 Mobility.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Iterative Metamorphic Testing.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005


  Loading...