| Date | Teacher | Place | Topic | Lecture notes / comments |
| 20.01.2010 | Fatemeh Kazemeyni? | 41151 seminar-room in 澳门葡京手机版app下载sparken ? | Game theory for wireless sensor networks? | ? |
| 27.01.2010 | -? | 41151 seminar-room in 澳门葡京手机版app下载sparken ? | -? | ? |
| 03.02.2010 | Mai Tran? | 41151 seminar-room in 澳门葡京手机版app下载sparken ? | To have or not to have Transactions? | ? |
| 10.02.2010 | Cristian Prisacariu? | 41151 seminar-room in 澳门葡京手机版app下载sparken ? | 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 澳门葡京手机版app下载sparken ? | On Software Testing? | ? |
| 24.02.2010 | Lucian Bentea? | 41151 seminar-room in 澳门葡京手机版app下载sparken ? | Adding Probabilities to Creol? | ? |
| 03.03.2010 | ? | 41151 seminar-room in 澳门葡京手机版app下载sparken ? | ? | ? |
| 10.03.2010 | Cristian Prisacariu? | 41151 seminar-room in 澳门葡京手机版app下载sparken ? | Unification and Matching in Complex Theories? | Working document pdfUseful material pdf1 , pdf2? |
| 17.03.2010 | Rudi Schlatte? | 41151 seminar-room in 澳门葡京手机版app下载sparken ? | Testing of Creol Programs? | ? |
| 24.03.2010 | Mohammad Fadlisyah (Fadli)? | 41151 seminar-room in 澳门葡京手机版app下载sparken ? | The latest on Hybrid Maude? | ? |
| 26.04.2010 | Peter Gorm Larsen (Guest from Univ. Aarhus,D)? | 41151 seminar-room in 澳门葡京手机版app下载sparken? | Tools for VDM in Industry? | homepage? |
| 03.05.2010 | Martin Steffen? | 41151 seminar-room in 澳门葡京手机版app下载sparken ? | Inheritance and Observability? | ? |
| 10.05.2010 | Volker Stolz? | 41151 seminar-room in 澳门葡京手机版app下载sparken ? | 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 澳门葡京手机版app下载sparken? | Statistical Model Checking of Creol Programs? | ? |
| 31.05.2010 | Fatemeh Kazemeyni? | 41151 seminar-room in 澳门葡京手机版app下载sparken ? | TBA? | ? |
| 07.06.2010 | Cristian Prisacariu? | 41151 seminar-room in 澳门葡京手机版app下载sparken ? | Synchronous Kleene Algebra? | ? |
| 18.06.2010 | Lizeth Tapia? | 41151 seminar-room in 澳门葡京手机版app下载sparken ? | Validating Timed Models of Deployment Components with Parametric Concurrency? | ? |
| 21.06.2010 | Ina Schafer? | 41151 seminar-room in 澳门葡京手机版app下载sparken ? | 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