Date | Teacher | Place | Topic | Lecture notes / comments |
20.01.2010 | Fatemeh Kazemeyni | 41151 seminar-room in Forskningsparken | Game theory for wireless sensor networks | |
27.01.2010 | - | 41151 seminar-room in Forskningsparken | - | |
03.02.2010 | Mai Tran | 41151 seminar-room in Forskningsparken | To have or not to have Transactions | |
10.02.2010 | Cristian Prisacariu | 41151 seminar-room in Forskningsparken | Higher Dimensional Automata | Based on papers: pdf1 pdf2Abstract: "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.2010 | Rudi Schlatte | 41151 seminar-room in Forskningsparken | On Software Testing | |
24.02.2010 | Lucian Bentea | 41151 seminar-room in Forskningsparken | Adding Probabilities to Creol | |
03.03.2010 | 41151 seminar-room in Forskningsparken | |||
10.03.2010 | Cristian Prisacariu | 41151 seminar-room in Forskningsparken | Unification and Matching in Complex Theories | Working document pdfUseful material pdf1 , pdf2 |
17.03.2010 | Rudi Schlatte | 41151 seminar-room in Forskningsparken | Testing of Creol Programs | |
24.03.2010 | Mohammad Fadlisyah (Fadli) | 41151 seminar-room in Forskningsparken | The latest on Hybrid Maude | |
26.04.2010 | Peter Gorm Larsen (Guest from Univ. Aarhus,D) | 41151 seminar-room in Forskningsparken | Tools for VDM in Industry | homepage |
03.05.2010 | Martin Steffen | 41151 seminar-room in Forskningsparken | Inheritance and Observability | |
10.05.2010 | Volker Stolz | 41151 seminar-room in Forskningsparken | The rCOS modeler -- model-driven development with the relational calculus of component- and object-based systems | |
17.05.2010 | Norway National Day | Karl Johan street | Celebration !! | |
26.05.2010 | Lucian Bentea | 41151 seminar-room in Forskningsparken | Statistical Model Checking of Creol Programs | |
31.05.2010 | Fatemeh Kazemeyni | 41151 seminar-room in Forskningsparken | TBA | |
07.06.2010 | Cristian Prisacariu | 41151 seminar-room in Forskningsparken | Synchronous Kleene Algebra | |
18.06.2010 | Lizeth Tapia | 41151 seminar-room in Forskningsparken | Validating Timed Models of Deployment Components with Parametric Concurrency | |
21.06.2010 | Ina Schafer | 41151 seminar-room in Forskningsparken | Delta modeling in software product lines | Special guest |
Teaching plan
Published Jan. 12, 2010 10:09 PM
- Last modified Feb. 7, 2020 4:03 PM