@PhdThesis{Deng05,
author = {Yuxin Deng},
title = {Axiomatisations and Types for Probabilistic and Mobile
Processes},
school = {Ecole des Mines de Paris, France},
year = {2005}
}
@Article{DT12,
author = {Yuxin Deng and Alwen Tiu},
title = {Characterisations of Testing Preorders for a Finite Probabilistic Pi-Calculus},
journal = {Formal Aspects of Computing},
volume = {},
number = {},
pages = {},
year = {2012}
}
@InProceedings{DSC12,
author = {Yuxin Deng and Robert J. Simmons and Iliano Cervesato},
title = {Relating Reasoning Methodologies in Linear Logic and Process Algebra},
booktitle = {Proceedings of the 2nd International Workshop on Linearity (LINEARITY'12)},
publisher = {},
series = {},
volume = {},
pages = {},
year = {2012},
note = {To appear}
}
@TechReport{DSC11,
author = {Yuxin Deng and Robert J. Simmons and Iliano Cervesato},
title = {Relating Reasoning Methodologies in Linear Logic and Process Algebra},
number = {CMU-CS-11-145},
institution = {Carnegie Mellon University},
month = {December},
year = {2011}
}
@InProceedings{DH11a,
author = {Yuxin Deng and Matthew Hennessy},
title = {On the Semantics of Markov Automata},
booktitle = {Proceedings of the 38th International Colloquium on Automata,
Languages and Programming (ICALP'11)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2011},
volume = {6756},
pages = {307-318}
}
@Article{DH11b,
author = {Yuxin Deng and Matthew Hennessy},
title = {On the Semantics of Markov Automata},
journal = {Information and Computation},
volume = {},
number = {},
pages = {},
year = {2011}
}
@TechReport{DD11,
author = {Yuxin Deng and Wenjie Du},
title = {Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation},
number = {CMU-CS-11-110},
institution = {Carnegie Mellon University},
month = {March},
year = {2011}
}
@InProceedings{DGM11,
author = {Yuxin Deng and Stephane Grumbach and Jean-Francois Monin},
title = {A Framework for Verifying Data-Centric Protocols},
booktitle = {Proceedings of FMOODS \& FORTE 2011},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2011},
volume = {6722},
pages = {106-120},
note = {Full version appeared as INRIA Research Report 7511}
}
@InProceedings{DGHM11,
author = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan},
title = {Real-Reward Testing for Probabilistic Processes},
booktitle = {Proceedings of the 9th Workshop on Quantitative Aspects of
Programming Languages (QAPL'11)},
publisher = {Electronic Proceedings in Theoretical Computer Science},
series = {},
volume = {57},
pages = {61-73},
year = {2011}
}
@InProceedings{DH11,
author = {Yuxin Deng and Matthew Hennessy},
title = {Compositional Reasoning for Markov Decision Processes (Extended Abstract)},
booktitle = {Proceedings of the 4th International Conference on
Foundamentals of Software Engineering (FSEN'11)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2011},
volume = {},
pages = {}
}
@InProceedings{DG10,
author = {Yuxin Deng and Rob van Glabbeek},
title = {Characterising Probabilistic Processes Logically},
booktitle = {Proceedings of the 17th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2010},
volume = {6397},
pages = {278-293}
}
@InProceedings{LZD09,
author = {Xiangxi Li and Yu Zhang and Yuxin Deng},
title = {Verifying Anonymous Credential Systems in Applied Pi Calculus},
booktitle = {Proceedings of the 8th International Conference on Cryptology and Network Security},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2009},
volume = {5888},
pages = {209-225}
}
@InProceedings{DD09b,
author = {Yuxin Deng and Wenjie Du},
title = {A Local Algorithm for Checking Probabilistic Bisimilarity},
booktitle = {Proceedings of the 4th International Conference on
Frontier of Computer Science and Technology},
publisher = {IEEE Computer Society},
pages = {401-407},
year = {2009}
}
@article{DD09a,
author = {Wenjie Du and Yuxin Deng},
title = {On Mobility and Communication},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {257},
number = {},
pages = {19-33},
year = {2009}
}
@InProceedings{DGHM09,
author = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan},
title = {Testing Finitary Probabilistic Processes (Extended Abstract)},
booktitle = {Proceedings of the 20th International Conference on Concurrency Theory},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2009},
volume = {5710},
pages = {274-288}
}
@InProceedings{DM09,
author = {Yuxin Deng and Jean-Francois Monin},
title = {Verifying Self-stabilizing Population Protocols with Coq},
booktitle = {Proceedings of the 3rd IEEE International Symposium on
Theoretical Aspects of Software Engineering},
publisher = {IEEE Computer Society},
pages = {201-208},
year = {2009}
}
@article{DD09,
author = {Yuxin Deng and Wenjie Du},
title = {Kantorovich Metric in Computer Science: A Brief Survey},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {353},
number = {3},
pages = {73-82},
year = {2009}
}
@InProceedings{CD08,
author = {Xin Chen and Yuxin Deng},
title = {Game Characterizations of Process Equivalences},
booktitle = {Proceedings of the 6th Asian Symposium on Programming Languages and Systems},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5356},
pages = {107-121},
year = {2008}
}
@InProceedings{PLD08,
author = {Jun Pang and Zhengqin Luo and Yuxin Deng},
title = {On Automatic Verification of Self-stabilizing Population Protocols},
booktitle = {Proceedings of the 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering},
publisher = {IEEE Computer Society},
pages = {185-192},
year = {2008}
}
@article{Deng07,
author = {Yuxin Deng},
title = {A simple completeness proof for the axiomatisations of weak
behavioural equivalences},
journal = {Bulletin of the EATCS},
volume = {93},
year = {2007},
pages = {207-219}
}
@InProceedings{DGMZ07b,
author = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan and Chenyi Zhang},
title = {Characterising Testing Preorders for Finite Probabilistic Processes},
booktitle = {Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science},
publisher = {IEEE Computer Society},
pages = {313-325},
year = {2007}
}
@article{DGHM08,
author = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan},
title = {Characterising Testing Preorders for Finite Probabilistic Processes},
journal = {Logical Methods in Computer Science},
volume = {4},
number = {4:4},
pages = {1-33},
year = {2008}
}
@article{DGHMZ07,
author = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan and Chenyi Zhang},
title = {Remarks on Testing Probabilistic Processes},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {172},
number = {},
pages = {359-397},
year = {2007}
}
@InProceedings{DGMZ07,
author = {Yuxin Deng and Rob van Glabbeek and Carroll Morgan and Chenyi Zhang},
title = {Scalar Outcomes Suffice for Finitary Probabilistic Testing},
booktitle = {Proceedings of the 16th European Symposium on Programming},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2007},
volume = {4421},
pages = {363-378}
}
@article{DD07,
author = {Yuxin Deng and Wenjie Du},
title = {Probabilistic Barbed Congruence},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {3},
pages = {185-203},
year = {2007},
note = {Also appeared in {\em Proceedings of the 5th Workshop on
Quantitative Aspects of Programming Languages}}
}
@InProceedings{SDC07,
author = {Lin Song and Yuxin Deng and Xiaojuan Cai},
title = {Towards automatic measurement of probabilistic processes},
booktitle = {Proceedings of the 7th International Conference on Quality
Software},
publisher = {IEEE Computer Society},
pages = {50-59},
year = {2007}
}
@InProceedings{LCPD07,
author = {Zhengqin Luo and Xiaojuan Cai and Jun Pang and Yuxin Deng},
title = {Analyzing an Electronic Cash Protocol Using Applied Pi Calculus},
booktitle = {Proceedings of the 5th International Conference on
Applied Cryptography and Network Security},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2007},
volume = {4521},
pages = {87-103}
}
@InProceedings{DPW07,
author = {Yuxin Deng and Jun Pang and Peng Wu},
title = {Measuring Anonymity with Relative Entropy},
booktitle = {Proceedings of the 4th International Workshop on Formal Aspects
in Security and Trust},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2007},
volume = {4691},
pages = {65-79}
}
@InProceedings{DPP05a,
author = {Yuxin Deng and
Catuscia Palamidessi and
Jun Pang},
title = {Compositional Reasoning for Probabilistic Finite-State Behaviors},
booktitle = {Processes, Terms and Cycles: Steps on the Road to Infinity,
Essays Dedicated to Jan Willem Klop, on the Occasion of
His 60th Birthday},
year = {2005},
pages = {309-337},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3838}
}
@article{DPP05,
author = {Yuxin Deng and Catuscia Palamidessi and Jun Pang},
title = {Weak Probabilistic Anonymity},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {1},
pages = {55-76},
year = {2007},
note = {Also appeared in {\em Proceedings of the 3rd International Workshop on Security Issues in Concurrency}}
}
@article{DCPP05,
author = {Yuxin Deng and Tom Chothia and Catuscia Palamidessi
and Jun Pang},
title = {Metrics for Action-labelled Quantitative Transition
Systems},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {2},
pages = {79-96},
year = {2006},
note = {Also appeared in {\em Proceedings of the 3rd Workshop on
Quantitative Aspects of Programming Languages}}
}
@InProceedings{DP05,
author = {Yuxin Deng and Catuscia Palamidessi},
title = {Axiomatizations for probabilistic finite-state behaviors},
booktitle = {Proceedings of the 8th International Conference on
Foundations of Software Science and Computation Structures},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2005},
volume = {3441},
pages = {110-124}
}
@Article{DP07,
author = {Yuxin Deng and Catuscia Palamidessi},
title = {Axiomatizations for probabilistic finite-state behaviors},
journal = {Theoretical Computer Science},
volume = {373},
number = {1-2},
pages = {92-114},
year = {2007}
}
@InProceedings{DS04b,
author = {Yuxin Deng and Davide Sangiorgi},
title = {Ensuring termination by typability},
booktitle = {Proceedings of the 3rd IFIP International Conference on
Theoretical Computer Science},
publisher = {Kluwer},
pages = {619--632},
year = {2004}
}
@Article{DS06,
author = {Yuxin Deng and Davide Sangiorgi},
title = {Ensuring termination by typability},
journal = {Information and Computation},
volume = {204},
number = {7},
pages = {1045-1082},
year = {2006}
}
@InProceedings{DS04a,
author = {Yuxin Deng and Davide Sangiorgi},
title = {Towards an algebraic theory of typed mobile processes},
booktitle = {Proceedings of the 31st International Colloquium on
Automata, Languages and Programming},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3142},
pages = {445--456},
year = {2004}
}
@Article{DS05,
author = {Yuxin Deng and Davide Sangiorgi},
title = {Towards an algebraic theory of typed mobile processes},
journal = {Theoretical Computer Science},
volume = {350},
number = {2-3},
pages = {188-212},
year = {2006}
}
@Article{DF01,
author = {Yuxin Deng and Yuxi Fu},
title = {Algorithm for verifying strong open bisimulation in full
pi-calculus},
journal = {Journal of Shanghai Jiaotong University},
volume = {E-5},
number = {2},
pages = {147--152},
year = {2001}
}