Peng Wu
According to our database^{1},
Peng Wu
authored at least 21 papers
between 2005 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org
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 Multiagent 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 TSOtoSC 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
TSOtoTSO Linearizability Is Undecidable.
Proceedings of the Automated Technology for Verification and Analysis, 2015
InputDriven Active Testing of Multithreaded Programs.
Proceedings of the 2015 AsiaPacific Software Engineering Conference, 2015
QuasiLinearizability 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
AssumeGuarantee Reasoning with Local Specifications.
Proceedings of the Formal Methods and Software Engineering, 2010
2009
Model Checking Probabilistic and Stochastic Extensions of the piCalculus.
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 picalculus.
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 RealTime Systems, 2007
2006
Measuring Anonymity with Relative Entropy.
Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006
2005
ModelBased 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