Christopher Rauh

Learn More
We describe a prototype tool, hugo/RT, that is designed to automatically verify whether the timed state machines in a UML model interact according to scenarios specified by time-annotated UML collaborations. Timed state machines are compiled into timed automata that exchange signals and operations via a network automaton. A collaboration with time(More)
In this paper we study unemployment insurance in a framework where the main source of heterogeneity among agents is the type of household they live in: some agents live alone while others live with their spouses as a family. Our exercise is motivated by the fact that married individuals can rely on spousal income to smooth labor market shocks, while singles(More)
  • 1