Dr. Jessica Chen

Associate Professor
519-253-3000 ext. 3713
xjchen@uwindsor.ca
Office: L.T. 8100

Education:

  • BSc from Beijing University
  • PhD from Scuola Normale Superiore di Pisa

Research Interests:

  • Multimedia (online video streaming)
  • Data analysis and machine learning
  • Formal specification and verification (temporal logics, model checking)
  • Communication protocols
  • Software design and testing

Selected Publications:

  • Zahaib Akhtar, Yun Seong Nam, Ramesh Govindan, Sanjay G. Rao, Jessica Chen, Ethan Katz-Bassett, Bruno Ribeiro, Jibin Zhan, Hui Zhang. Oboe: auto-tuning video ABR algorithms to network conditions. ACM SIGCOMM 2018, pages 44-58.
  • Jessica Chen, Robert M. Hierons, Hasan Ural: Overcoming observability problems in distributed test architectures. Information Processing Letters 98(5): 177-182, Elsevier, 2006.
  • Xiao Jun Chen, Rocco De Nicola: Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. Theoretical Computer Science 254(1-2): 337-361, Elsevier, 2001.
  • Xiao Jun Chen, Giuseppe De Giacomo: Reasoning about nondeterministic and concurrent actions: a process algebra approach. Artificial Intelligence 107(1): 63-98, Elsevier, 1999.
  • Jessica Chen: On verifying distributed multithreaded Java programs. Software Quality Journal 8(4): 321-341, Springer, 1999.