Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Chunyan Mu
@article{DBLP:journals/tdsc/MuC23,
author = {Chunyan Mu and
David Clark},
title = {Verifying Opacity Properties in Security Systems},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {20},
number = {2},
pages = {1450--1460},
year = {2023},
url = {https://doi.org/10.1109/TDSC.2022.3155323},
doi = {10.1109/TDSC.2022.3155323},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/MuC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Mu023,
author = {Chunyan Mu and
Jun Pang},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {On Observability Analysis in Multiagent Systems},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {1755--1762},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230461},
doi = {10.3233/FAIA230461},
timestamp = {Wed, 18 Oct 2023 09:31:16 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Mu023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-02614,
author = {Chunyan Mu and
Jun Pang},
title = {On Quantified Observability Analysis in Multiagent Systems},
journal = {CoRR},
volume = {abs/2310.02614},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.02614},
doi = {10.48550/ARXIV.2310.02614},
eprinttype = {arXiv},
eprint = {2310.02614},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-02614.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-14317,
author = {Chunyan Mu and
David Clark},
title = {Quantitative Verification of Opacity Properties in Security Systems},
journal = {CoRR},
volume = {abs/2206.14317},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.14317},
doi = {10.48550/ARXIV.2206.14317},
eprinttype = {arXiv},
eprint = {2206.14317},
timestamp = {Thu, 29 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-14317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/MuL21,
author = {Chunyan Mu and
Guoqiang Li},
title = {Integrating Information Flow Analysis in Unifying Theories of Programming},
booktitle = {26th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2021, Perth, Australia, December 1-4, 2021},
pages = {67--76},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/PRDC53464.2021.00018},
doi = {10.1109/PRDC53464.2021.00018},
timestamp = {Wed, 19 Jan 2022 17:40:15 +0100},
biburl = {https://dblp.org/rec/conf/prdc/MuL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Mu20,
author = {Chunyan Mu},
editor = {Toshiaki Aoki and
Qin Li},
title = {A Language-based Approach to Analysing Flow Security Properties in
Virtualised Computing Systems},
booktitle = {International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2020, Hangzhou, China, December 11-13, 2020},
pages = {185--192},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/TASE49443.2020.00033},
doi = {10.1109/TASE49443.2020.00033},
timestamp = {Tue, 27 Apr 2021 14:38:43 +0200},
biburl = {https://dblp.org/rec/conf/tase/Mu20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-05500,
author = {Chunyan Mu},
title = {Analysing Flow Security Properties in Virtualised Computing Systems},
journal = {CoRR},
volume = {abs/2004.05500},
year = {2020},
url = {https://arxiv.org/abs/2004.05500},
eprinttype = {arXiv},
eprint = {2004.05500},
timestamp = {Tue, 14 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-05500.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/Mu19,
author = {Chunyan Mu},
editor = {David Parker and
Verena Wolf},
title = {Automated Game-Theoretic Verification of Security Systems},
booktitle = {Quantitative Evaluation of Systems, 16th International Conference,
{QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11785},
pages = {239--256},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_14},
doi = {10.1007/978-3-030-30281-8\_14},
timestamp = {Fri, 18 Oct 2019 11:18:54 +0200},
biburl = {https://dblp.org/rec/conf/qest/Mu19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/FangMCL18,
author = {Ling Fang and
Chunyan Mu and
Zhuo Cheng and
Guoqiang Li},
title = {Evaluation of redundancy-based system: a model checking approach},
journal = {Sci. China Inf. Sci.},
volume = {61},
number = {6},
pages = {069101:1--069101:3},
year = {2018},
url = {https://doi.org/10.1007/s11432-016-9220-5},
doi = {10.1007/S11432-016-9220-5},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/FangMCL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/MuDPR18,
author = {Chunyan Mu and
Peter Dittrich and
David Parker and
Jonathan E. Rowe},
title = {Organisation-Oriented Coarse Graining and Refinement of Stochastic
Reaction Networks},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {15},
number = {4},
pages = {1152--1166},
year = {2018},
url = {https://doi.org/10.1109/TCBB.2018.2804395},
doi = {10.1109/TCBB.2018.2804395},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/MuDPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/MuQ17,
author = {Chunyan Mu and
Shengchao Qin},
editor = {Fr{\'{e}}d{\'{e}}ric Mallet and
Min Zhang and
Eric Madelaine},
title = {Time-sensitive information flow control in timed event-B},
booktitle = {11th International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2017, Sophia Antipolis, France, September 13-15, 2017},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/TASE.2017.8285631},
doi = {10.1109/TASE.2017.8285631},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/MuQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MuD0R16,
author = {Chunyan Mu and
Peter Dittrich and
David Parker and
Jonathan E. Rowe},
editor = {Ezio Bartocci and
Pietro Li{\`{o}} and
Nicola Paoletti},
title = {Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation
Theory},
booktitle = {Computational Methods in Systems Biology - 14th International Conference,
{CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9859},
pages = {232--251},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45177-0\_15},
doi = {10.1007/978-3-319-45177-0\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/MuD0R16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AsarinBDDM14,
author = {Eugene Asarin and
Michel Blockelet and
Aldric Degorre and
Catalin Dima and
Chunyan Mu},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Asymptotic behaviour in temporal logic},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {10:1--10:9},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603158},
doi = {10.1145/2603088.2603158},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/AsarinBDDM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZengMKW14,
author = {Wen Zeng and
Chunyan Mu and
Maciej Koutny and
Paul Watson},
title = {A Flow Sensitive Security Model for Cloud Computing Systems},
journal = {CoRR},
volume = {abs/1404.7760},
year = {2014},
url = {http://arxiv.org/abs/1404.7760},
eprinttype = {arXiv},
eprint = {1404.7760},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZengMKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Mu13,
author = {Chunyan Mu},
title = {On Information Flow Control in Event-B and Refinement},
booktitle = {Seventh International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}},
pages = {225--232},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TASE.2013.43},
doi = {10.1109/TASE.2013.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/Mu13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Mu12,
author = {Chunyan Mu},
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {Quantitative Program Dependence Graphs},
booktitle = {Formal Methods and Software Engineering - 14th International Conference
on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {103--118},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_10},
doi = {10.1007/978-3-642-34281-3\_10},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Mu12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/MuZ12,
author = {Chunyan Mu and
Wen Zeng},
title = {Security measurement in service-based computing systems},
booktitle = {2012 Fifth {IEEE} International Conference on Service-Oriented Computing
and Applications (SOCA), Taipei, Taiwan, December 17-19, 2012},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SOCA.2012.6449459},
doi = {10.1109/SOCA.2012.6449459},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soca/MuZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BryansKM12,
author = {Jeremy W. Bryans and
Maciej Koutny and
Chunyan Mu},
editor = {Catuscia Palamidessi and
Mark Dermot Ryan},
title = {Towards Quantitative Analysis of Opacity},
booktitle = {Trustworthy Global Computing - 7th International Symposium, {TGC}
2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8191},
pages = {145--163},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-41157-1\_10},
doi = {10.1007/978-3-642-41157-1\_10},
timestamp = {Wed, 07 Dec 2022 23:14:04 +0100},
biburl = {https://dblp.org/rec/conf/tgc/BryansKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ClarkGM11,
author = {David Clark and
Roberto Giacobazzi and
Chunyan Mu},
title = {Foreword: programming language interference and dependence},
journal = {Math. Struct. Comput. Sci.},
volume = {21},
number = {6},
pages = {1109--1110},
year = {2011},
url = {https://doi.org/10.1017/S0960129511000168},
doi = {10.1017/S0960129511000168},
timestamp = {Thu, 29 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/ClarkGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/MuC11,
author = {Chunyan Mu and
David Clark},
title = {A Tool: Quantitative Analyser for Programs},
booktitle = {Eighth International Conference on Quantitative Evaluation of Systems,
{QEST} 2011, Aachen, Germany, 5-8 September, 2011},
pages = {145--146},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/QEST.2011.25},
doi = {10.1109/QEST.2011.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/MuC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/MuC09,
author = {Chunyan Mu and
David Clark},
title = {Quantitative Analysis of Secure Information Flow via Probabilistic
Semantics},
booktitle = {Proceedings of the The Forth International Conference on Availability,
Reliability and Security, {ARES} 2009, March 16-19, 2009, Fukuoka,
Japan},
pages = {49--57},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ARES.2009.88},
doi = {10.1109/ARES.2009.88},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/MuC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icics/Mu09,
author = {Chunyan Mu},
editor = {Sihan Qing and
Chris J. Mitchell and
Guilin Wang},
title = {Measuring Information Flow in Reactive Processes},
booktitle = {Information and Communications Security, 11th International Conference,
{ICICS} 2009, Beijing, China, December 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5927},
pages = {211--225},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11145-7\_17},
doi = {10.1007/978-3-642-11145-7\_17},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icics/Mu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MuC09,
author = {Chunyan Mu and
David Clark},
editor = {Christel Baier and
Alessandra Di Pierro},
title = {An Interval-based Abstraction for Quantifying Information Flow},
booktitle = {Proceedings of Seventh Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2009, York, UK, March 28-29, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {3},
pages = {119--141},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.10.009},
doi = {10.1016/J.ENTCS.2009.10.009},
timestamp = {Fri, 20 Jan 2023 14:27:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MuC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 18:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
