TIME'05 - Temporal Logic in Computer Science 3 Lola: Runtime Monitoring of Synchronous Systems Sriram Sankaranarayanan Ben DAngelo Cesar Sanchez Will Robinson Bernd Finkbeiner Henny B. Sipma Sandeep Mehrotra Zohar Manna Configuration Logic: A multi-site Modal Logic Roger Villemaire Sylvain Halle Omar Cherkaoui Return to TIME'05 session listing ©2006 Association for Computing Machinery