Workspace bewerken: Model Checking Reading Club

Vrije tekst:

[[Categorie:work spaces]] {{MCRC/Inhoud}} The Model Checking Reading Club is an informal meeting of people reading relevant books and articles about model checking, probabilistic systems and other topics related to formal methods. == Schedule for [https://lab.cs.ru.nl/algemeen/Model_Checking_Reading_Club/Suggestions_for_Papers_(2010-2011) 2010-2011] == * September 22, 2010: Frits Vaandrager (The Daikon system for dynamic detection of likely invariants by Ernst, Perkins, Guo, McCamant, Pacheco, Tschantz, and Xiao) * September 29, 2010: Faranak Heidarian (MCMT in the Land of Parametrized Timed Automata, by Carioni & Ghilardi) * October 6, 2010: Martijn Hendriks (System architecture evaluation using modular performance analysis: a case study, by Wandeler, Thiele, Verhoef, Lieverse)(absent David Jansen) * October 13, 2010: Georgeta Igna (Robust Safety of Timed Automata, by de Wulf, Doyen, Markey, and Raskin - Sections 1,2, and 3) * October 20, 2010 - November 3, 2010: No meeting * November 11, 2010: Freek Verbeek (D-Finder: A tool for Compositional Deadlock Detection and Verification by Bensalem et al.) * November 18, 2010: no meeting * November 25, 2010: Petur Olsen (Model Checking with Lattices http://www.cs.aau.dk/~petur/tacas11.pdf) N.B. For a good organization, please add here the dates when you cannot attend the reading club == Schedule for [https://lab.cs.ru.nl/algemeen/Model_Checking_Reading_Club/Suggestions_for_Papers_(2009-2010) 2009-2010] == * 26 November 2009: Abstraction. Faranak Heidarian leads the discussion, but everybody is supposed to read the article selected by Faranak. * 3 December 2009: Abstraction, continued. ==Schedule for [https://lab.cs.ru.nl/algemeen/Model_Checking_Reading_Club/Baier,_Katoen:_Principles_of_Model_Checking 2008-2009]== During meetings, we often base our discussions on slides used by Joost-Pieter Katoen in his courses [http://www-i2.informatik.rwth-aachen.de/i2/161/ Introduction to Model Checking] and [http://www-i2.informatik.rwth-aachen.de/i2/amc0607/ Advanced Model Checking]. * 2 September 2008: Chapters 1+2, presentation by Frits Vaandrager * 9 September 2008: Chapter 3, presentation by Jasper Berendsen * 16 September 2008: no meeting * 23 September 2008: Chapter 3 (continued) * 30 September 2008: Chapter 4.1–4.2, presentation by David N. Jansen * 7 October 2008: Chapter 4.3–4.4, presentation by David N. Jansen * 14 October 2008: no meeting * 21 October 2008: Chapter 5, presentation by Faranak Heidarian * 28 October 2008, 09:00–10:00: Chapter 5 (continued) * 4 November 2008, 09:00–10:00: Chapter 5 (end), exercises 5.2, 5.7 and 5.11 * 11 November 2008, 09:00–10:00: Chapter 6 (start), presentation by Georgeta Igna * 18 November 2008, 09:00–10:00 * 25 November 2008, 09:00–10:00 * 2 December 2008: 09:00–10:00 * 9 December 2008: 09:00–10:00: Chapter 6.5 * 16 December 2008: 09:00–10:00: the planned meeting did not take place because David Jansen was ill. * 23 December 2008: no meeting * 6 January 2009: no meeting * 13 January 2009: 09:00–10:00: Chapters 6.6+(part of) 6.7, presentation by David Jansen * 20 January 2009: 09:00–10:00: Chapter 6.7 (continued) * 27 January 2009: 09:00–10:00: We will do some exercises for Chapter 6. Please prepare exercises 6.2, 6.9, and (6.10 or 6.11). * February 2009: Chapter 7 presented by Julien Schmaltz and Frits Vaandrager * 4 June 2009: 09:00-10:00: Section 8.2.1 Ample Set Constraints presented by Freek Verbeek * 8 June 2009: 11:00-12:00: Sections 8.2.2 and 8.2.3. presentation by Freek Verbeek * 15 October 2009: 13:30–14:30: Section 10.1. presentation by David N. Jansen * 23 October 2009: 11:00–12:00: Section 10.1, continued. presentation by Jasper Berendsen * 29 October 2009: 14:00-15:00, Section 10.3. This will be the last session about this book. ==Participants== ===Members=== * [[Gebruiker:Fides Aarts|Fides Aarts]] * [[Gebruiker:Faranak Heidarian|Faranak Heidarian]] * [[Gebruiker:Martijn Hendriks|Martijn Hendriks]] * [[Gebruiker:Georgeta Igna|Georgeta Igna]] * [[Gebruiker:David Jansen|David N. Jansen]] * [[Gebruiker:Pieter Koopman|Pieter Koopman]] * [[Gebruiker:Julien Schmaltz|Julien Schmaltz]] * [[Gebruiker:Jan Tretmans|Jan Tretmans]] * [[Gebruiker:Frits Vaandrager|Frits Vaandrager]] * [[Gebruiker:Freek Verbeek|Freek Verbeek]] ===Alumni=== * [[Gebruiker:Jasper Berendsen|Jasper Berendsen]] * Tim Leonard also contributed to the list of typos and comments. The meetings take place in room HG02.645.

Samenvatting:

Dit is een kleine bewerking Deze pagina volgen

Annuleren