INF5160 - Spring 2010

Teaching plan

DateTeacherPlaceTopicLecture notes / comments
20.01.2010Fatemeh Kazemeyni  41151 seminar-room in Forskningsparken   Game theory for wireless sensor networks   
27.01.2010-  41151 seminar-room in Forskningsparken   -   
03.02.2010Mai Tran  41151 seminar-room in Forskningsparken   To have or not to have Transactions   
10.02.2010Cristian Prisacariu  41151 seminar-room in Forskningsparken   Higher Dimensional Automata  Based on papers: pdf1 pdf2

Abstract: "In this paper I compare the expressive power of several models of concurrency based on their ability to represent causal dependence. To this end, I translate these models, in behaviour preserving ways, into the model of higher dimensional automata, which is the most expressive model under investigation. In particular, I propose four diferent translations of Petri nets, corresponding to the four diferent computational interpretations of nets found in the literature." - van Glabbeek  

17.02.2010Rudi Schlatte  41151 seminar-room in Forskningsparken   On Software Testing   
24.02.2010Lucian Bentea  41151 seminar-room in Forskningsparken   Adding Probabilities to Creol   
03.03.2010  41151 seminar-room in Forskningsparken      
10.03.2010Cristian Prisacariu  41151 seminar-room in Forskningsparken   Unification and Matching in Complex Theories  Working document pdf

Useful material pdf1 , pdf2 

17.03.2010Rudi Schlatte  41151 seminar-room in Forskningsparken   Testing of Creol Programs   
24.03.2010Mohammad Fadlisyah (Fadli)  41151 seminar-room in Forskningsparken   The latest on Hybrid Maude   
26.04.2010Peter Gorm Larsen (Guest from Univ. Aarhus,D)  41151 seminar-room in Forskningsparken  Tools for VDM in Industry  homepage 
03.05.2010Martin Steffen  41151 seminar-room in Forskningsparken   Inheritance and Observability   
10.05.2010Volker Stolz  41151 seminar-room in Forskningsparken   The rCOS modeler -- model-driven development with the relational calculus of component- and object-based systems   
17.05.2010Norway National Day  Karl Johan street  Celebration !!   
26.05.2010Lucian Bentea  41151 seminar-room in Forskningsparken  Statistical Model Checking of Creol Programs   
31.05.2010Fatemeh Kazemeyni  41151 seminar-room in Forskningsparken   TBA   
07.06.2010Cristian Prisacariu  41151 seminar-room in Forskningsparken   Synchronous Kleene Algebra   
18.06.2010Lizeth Tapia  41151 seminar-room in Forskningsparken   Validating Timed Models of Deployment Components with Parametric Concurrency   
21.06.2010Ina Schafer  41151 seminar-room in Forskningsparken   Delta modeling in software product lines  Special guest 
Published Jan. 12, 2010 10:09 PM - Last modified Feb. 7, 2020 4:03 PM
E-mail this page