INF5160 - Spring 2010

Teaching plan

DateTeacherPlaceTopicLecture notes / comments
20.01.2010Fatemeh Kazemeyni? 41151 seminar-room in 亚博娱乐官网_亚博pt手机客户端登录sparken ? Game theory for wireless sensor networks? ?
27.01.2010-? 41151 seminar-room in 亚博娱乐官网_亚博pt手机客户端登录sparken ? -? ?
03.02.2010Mai Tran? 41151 seminar-room in 亚博娱乐官网_亚博pt手机客户端登录sparken ? To have or not to have Transactions? ?
10.02.2010Cristian Prisacariu? 41151 seminar-room in 亚博娱乐官网_亚博pt手机客户端登录sparken ? 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 亚博娱乐官网_亚博pt手机客户端登录sparken ? On Software Testing? ?
24.02.2010Lucian Bentea? 41151 seminar-room in 亚博娱乐官网_亚博pt手机客户端登录sparken ? Adding Probabilities to Creol? ?
03.03.2010? 41151 seminar-room in 亚博娱乐官网_亚博pt手机客户端登录sparken ? ? ?
10.03.2010Cristian Prisacariu? 41151 seminar-room in 亚博娱乐官网_亚博pt手机客户端登录sparken ? Unification and Matching in Complex Theories? Working document pdf

Useful material pdf1 , pdf2?

17.03.2010Rudi Schlatte? 41151 seminar-room in 亚博娱乐官网_亚博pt手机客户端登录sparken ? Testing of Creol Programs? ?
24.03.2010Mohammad Fadlisyah (Fadli)? 41151 seminar-room in 亚博娱乐官网_亚博pt手机客户端登录sparken ? The latest on Hybrid Maude? ?
26.04.2010Peter Gorm Larsen (Guest from Univ. Aarhus,D)? 41151 seminar-room in 亚博娱乐官网_亚博pt手机客户端登录sparken? Tools for VDM in Industry? homepage?
03.05.2010Martin Steffen? 41151 seminar-room in 亚博娱乐官网_亚博pt手机客户端登录sparken ? Inheritance and Observability? ?
10.05.2010Volker Stolz? 41151 seminar-room in 亚博娱乐官网_亚博pt手机客户端登录sparken ? 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 亚博娱乐官网_亚博pt手机客户端登录sparken? Statistical Model Checking of Creol Programs? ?
31.05.2010Fatemeh Kazemeyni? 41151 seminar-room in 亚博娱乐官网_亚博pt手机客户端登录sparken ? TBA? ?
07.06.2010Cristian Prisacariu? 41151 seminar-room in 亚博娱乐官网_亚博pt手机客户端登录sparken ? Synchronous Kleene Algebra? ?
18.06.2010Lizeth Tapia? 41151 seminar-room in 亚博娱乐官网_亚博pt手机客户端登录sparken ? Validating Timed Models of Deployment Components with Parametric Concurrency? ?
21.06.2010Ina Schafer? 41151 seminar-room in 亚博娱乐官网_亚博pt手机客户端登录sparken ? 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