Most of the papers written after 1994 are available on-line. The list is alphabetically sorted by authors. If you are interested in, say, the publications of a certain year, read the next lines. Publications of my group. Some sets of slides of recent talks.
PEP is a tool for the design and verification of parallel systems.
Systems can be modelled as parallel programs, processes in a process algebra, or Petri nets. Verification algorithms use partial order methods to avoid the state explosion problem. The counterexamples produced by the checker are presented to the user in terms of the description language used to model the system. ECTS is an initiative of the European Community to help students who want to study abroad. I'm the ECTS-Coordinator of the Faculty of Informatics.