Project : vasy
Section: Other Grants and Activities
Visits and Invitations
Jaco van de Pol (Cwi, Amsterdam), visited us on May 3–4, 2004. He gave a demonstration of the μCrl toolset.
Stefan Blom, Wan Fokkink, Bert Lisser, and Jaco van de Pol (Cwi, Amsterdam), Judi Romijn (University of Eindhoven), Holger Hermanns and Sven Johr (Saarland University) attended the Senva 2004 workshop, held in Allevard-Les-Bains on June 21–24, 2004:
Stefan Blom gave a talk entitled ``Bisimulation Reduction Using Signature Based Partition Refinement''.
Wan Fokkink gave a talk entitled ``Verification of a Sliding Window Protocol in μCrl''.
Holger Hermanns gave three talks entitled ``Stochastic Modelling and Analysis'', ``Model Checking Markov Chains and Decision Processes'', and ``MODEST: A Model Description Language for Stochastic Timed Systems''.
Sven Johr gave a talk entitled ``Turning Interactive Markov Chains to Continuous-Time Markov Decision Processes''.
Bert Lisser gave a talk entitled ``Reducing state spaces by transforming linear process equations'' and gave a demonstration of the Jsim-Bfs simulator.
Jaco van de Pol gave a talk entitled ``Abstract Model Checking for Process Algebra''.
Judi Romijn gave two talks entitled ``Guiding Spin Simulation'' and ``Correcting IEEE 1394.1 FireWire Net Update''.
Nando Gallo (Cpr, Pisa), Brian Warboys (University of Manchester), Flavio Oquendo (Université de Savoie), and Regis Dindeleux (Thesame) visited us on September 14–16, 2004 for an ArchWare project meeting that we organized.
Stefan Blom visited us on September 21–25, 2004. He gave a talk entitled ``Model Checking Archive: A File Format for Distributed State Space Generation Using a Central Storage Location''.