Cyrille Artho --- Teaching

2011

• Advanced Model Checking (JAIST/NII): on separate web page, requires username/password.
• Software Model Checking (University of Tokyo)

2010 and earlier

Information about earlier lectures is hosted on other web pages, which may not be publically accessible, or not accessible anymore. More details on request.

Selected Master's theses supervised

• Watcharin Leungwattanakit, Networked Software Model Checking By Extending Java Pathfinder (co-supervised, main supervisor: Masami Hagiya, University of Tokyo)
• Pascal Eugster, Java Virtual Machine with Rollback Procedure allowing Systematic and Exhaustive Testing of Multi-threaded Java Programs (2002/03)
• Marcel Baur, Instrumenting Java Bytecode to Replay Execution Traces of Multithreaded Programs (main supervisor: Viktor Schuppan; 2002/03)

E-mail: c (dot) artho (at) aist (dot) go (dot) jp