Probabilistic Model Checking Team @ ISCAS

Skip to content
  • Home
  • The Team
    • Lijun Zhang
    • David N. Jansen
    • Andrea Turrini
    • Yong Li (李勇)
    • Students
    • Visitors
  • Students
  • Tools/Case studies
  • Publications
  • Events
    • Group activities
  • Contact
  • Sino-Europe institute

Publication

[LiLHY0ZXH20] PRODeep: a platform for robustness verification of deep neural networks Li, R.; Li, J.; Huang, C.-C.; Yang, P.; Huang, X.; Zhang, L.; Xue, B. and Hermanns, H. In ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pages 1630-1634, ACM, 2020.
Downloads: bib

IscasMC Web Access

Username:
Password:
Username(*):
Password(*):
Repeat Password(*):
Email Address(*):
First Name:
Last Name:

Recent Posts

  • Junnan Xu Passed His Master Thesis Defense
  • Xuechao Sun Passed His Master Thesis Defense
  • We co-organize LICS
  • JCST Special Section on Software Systems 2020
  • SKLCS seminar on“Automata for Profit and Pleasure”

Admin area

  • Log in
Proudly powered by WordPress