@book{Deng15,
author = {Yuxin Deng},
title = {Semantics of Probabilistic Processes: An Operational Approach},
publisher = {Springer},
year = {2015},
isbn = {9783662451977},
note = {Jointly published with Shanghai Jiao Tong University Press.}
}
@Article{XD20,
author = {Ming Xu and Yuxin Deng},
title = {Time-Bounded Termination Analysis for Probabilistic Programs with Delays},
journal = {Information and Computation},
volume = {275},
number = {104634},
pages = {1-23},
year = {2020}
}
@Article{LGDS20,
author = {Xin Li and Patrick Gardy and Yuxin Deng and Hiroyuki Seki},
title = {Reachability of Patterned Conditional Pushdown Systems},
journal = {Journal of Computer Science and Technology},
volume = {35},
number = {6},
pages = {1295-1311},
year = {2020}
}
@InProceedings{WDXD20,
author = {Hua Wu and Yuxin Deng and Ming Xu and Wenjie Du},
title = {Qsimulation V2.0: An Optimized Quantum Simulator},
booktitle = {Proceedings of the 17th International Colloquium on Theoretical Aspects of Computing},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2020},
volume = {12545},
pages = {307-316}
}
@InProceedings{QDD20,
author = {Xudong Qin and Yuxin Deng and Wenjie Du},
title = {Verifying Quantum Communication Protocols with Ground Bisimulation},
booktitle = {Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2020},
volume = {12079},
pages = {21--38}
}
@article{QBMHDZ20,
author = {Xudong Qin and Simon Bliudze and Eric Madelaine and Zechen Hou and
Yuxin Deng and Min Zhang},
title = {SMT-Based Generation of Symbolic Automata},
journal = {Acta Informatica},
volume = {57},
number = {},
pages = {627--656},
year = {2020}
}
@article{WFCDX20,
author = {Peixin Wang and Hongfei Fu and Krishnendu Chatterjee and
Yuxin Deng and Ming Xu},
title = {Proving Expected Sensitivity of Probabilistic Programs
with Randomized Variable-Dependent Termination Time},
journal = {{PACMPL}},
volume = {4},
number = {{POPL}},
pages = {25:1--25:30},
year = {2020}
}
@InProceedings{DM19,
author = {Yuxin Deng and Jean-Francois Monin},
title = {Formalisation of Probabilistic Testing Semantics in Coq},
booktitle = {The Art of Modelling Computational Systems: {A} Journey from Logic
and Concurrency to Security and Privacy - Essays Dedicated to Catuscia
Palamidessi on the Occasion of Her 60th Birthday},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2019},
volume = {11760},
pages = {276--292}
}
@InProceedings{GD19,
author = {Patrick Gardy and Yuxin Deng},
title = {Simulations for Multi-Agent Systems with Imperfect Information},
booktitle = {Proceedings of the 21st International Conference on Formal Engineering Methods},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2019},
volume = {11852},
pages = {138--153}
}
@InProceedings{Deng18,
author = {Yuxin Deng},
title = {Bisimulations for Probabilistic and Quantum Processes (Invited Paper)},
booktitle = {Proceedings of the 29th International Conference on Concurrency Theory},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
series = {LIPIcs},
year = {2018},
volume = {118},
pages = {2:1--2:14}
}
@article{BD18,
author = {Marcello M. Bonsangue and
Yuxin Deng},
title = {Preface for the special issue of the 10th International Symposium
on Theoretical Aspects of Software Engineering {(TASE} 2016)},
journal = {Science of Computer Programming},
volume = {162},
pages = {1--2},
year = {2018}
}
@article{WD18,
author = {Hengyang Wu and Yuxin Deng},
title = {Distribution-Based Behavioural Distance for Nondeterministic Fuzzy Transition Systems},
journal = {IEEE Transactions on Fuzzy Systems},
volume = {26},
number = {2},
pages = {416-429},
year = {2018}
}
@article{WCBD18,
author = {Hengyang Wu and Yixiang Chen and Tianming Bu and Yuxin Deng},
title = {Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems},
journal = {Fuzzy Sets and Systems},
volume = {333},
number = {},
pages = {106-123},
year = {2018}
}
@Article{DF17a,
author = {Yuxin Deng and Yuan Feng},
title = {Probabilistic Bisimilarity as Testing Equivalence},
journal = {Information and Computation},
volume = {257},
number = {},
pages = {58-64},
year = {2017}
}
@InProceedings{DF17,
author = {Yuxin Deng and Yuan Feng},
title = {Bisimulations for Probabilistic Linear Lambda Calculi},
booktitle = {Proceedings of the 11th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'17)},
publisher = {IEEE Computer Society},
series = {},
volume = {},
pages = {1-8},
year = {2017}
}
@InProceedings{DZL17,
author = {Yuxin Deng and Min Zhang and Guoqing Lei},
title = {An Algebraic Approach to Automatic Reasoning for NetKAT Based on its Operational Semantics},
booktitle = {Proceedings of the 19th International Conference on Formal Engineering Methods (ICFEM'17)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {10610},
pages = {464-480},
year = {2017}
}
@InProceedings{FDJZ17,
author = {Chen Fu and Yuxin Deng and David N. Jansen and Lijun Zhang},
title = {On Equivalence Checking of Nondeterministic Finite Automata},
booktitle = {Proceedings of the the 3rd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA'17)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {216-231},
year = {2017}
}
@InProceedings{DDG16,
author = {Wenjie Du and Yuxin Deng and Daniel Gebler},
title = {Behavioural Pseudometrics for Nondeterministic Probabilistic Systems},
booktitle = {Proceedings of the the 2nd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {67-84},
year = {2016}
}
@article{WD16,
author = {Hengyang Wu and Yuxin Deng},
title = {Logical Characterizations of Simulation and Bisimulation for Fuzzy Transition Systems},
journal = {Fuzzy Sets and Systems},
volume = {301},
number = {},
pages = {19-36},
year = {2016}
}
@InProceedings{DFD15,
author = {Yuxin Deng and Yuan Feng and Ugo Dal Lago},
title = {On Coinduction and Quantum Lambda Calculi},
booktitle = {Proceedings of the 26th International Conference on Concurrency Theory},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
series = {LIPIcs},
year = {2015},
volume = {42},
pages = {427-440}
}
@article{DZ15,
author = {Yuxin Deng and Yu Zhang},
title = {Program Equivalence in Linear Contexts},
journal = {Theoretical Computer Science},
volume = {585},
number = {},
pages = {71-90},
year = {2015}
}
@article{DSC14,
author = {Yuxin Deng and Rob J. Simmons and Iliano Cervesato},
title = {Relating Reasoning Methodologies in Linear Logic and Process Algebra},
journal = {Mathematical Structures in Computer Science},
volume = {December},
number = {},
pages = {1-39},
year = {2014}
}
@article{FDY14,
author = {Yuan Feng and Yuxin Deng and Mingsheng Ying},
title = {Symbolic bisimulation for quantum processes},
journal = {ACM Transactions on Computational Logic},
volume = {15},
number = {2},
article = {14},
pages = {1-32},
year = {2014}
}
@article{DGHM14,
author = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan},
title = {Real-Reward Testing for Probabilistic Processes},
journal = {Theoretical Computer Science},
volume = {538},
number = {},
pages = {16-36},
year = {2014}
}
@InProceedings{DW14,
author = {Yuxin Deng and Hengyang Wu},
title = {Modal Characterisations of Probabilistic and Fuzzy Bisimulations},
booktitle = {Proceedings of the 16th International Conference on Formal Engineering Methods},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {8829},
pages = {123-138},
year = {2014}
}
@article{DH13,
author = {Yuxin Deng and Matthew Hennessy},
title = {Compositional Reasoning for Weighted Markov Decision Processes},
journal = {Science of Computer Programming},
year = {2013},
volume = {78},
number = {},
pages = {2537-2579}
}
@InProceedings{DZDZ13,
author = {Xiaojie Deng and Yu Zhang and Yuxin Deng and Farong Zhong},
title = {The Buffered Pi-Calculus: A Model for Concurrent Languages},
booktitle = {Proceedings of the 7th International Conference on Language and
Automata Theory and Applications},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7810},
pages = {250-261},
year = {2013}
}
@InProceedings{DF12,
author = {Yuxin Deng and Yuan Feng},
title = {Open Bisimulation for Quantum Processes},
booktitle = {Proceedings of the 7th IFIP International Conference on
Theoretical Computer Science},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7604},
pages = {119-133},
year = {2012}
}
@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 = {24},
number = {4-6},
pages = {701-726},
year = {2012}
}
@article{DSC12,
author = {Yuxin Deng and Robert J. Simmons and Iliano Cervesato},
title = {Relating Reasoning Methodologies in Linear Logic and Process Algebra},
journal = {Electronic Proceedings in Theoretical Computer Science},
volume = {101},
pages = {50-60},
year = {2012}
}
@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{DH13,
author = {Yuxin Deng and Matthew Hennessy},
title = {On the Semantics of Markov Automata},
journal = {Information and Computation},
volume = {222},
number = {},
pages = {139-168},
year = {2013}
}
@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 = {2012},
volume = {7141},
pages = {143-157}
}
@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}
}
@PhdThesis{Deng05,
author = {Yuxin Deng},
title = {Axiomatisations and Types for Probabilistic and Mobile
Processes},
school = {Ecole des Mines de Paris, France},
year = {2005}
}
@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}
}