The colloquium takes place every week on Thursdays at lunch time (12.45 - 13.30). The emphasis is on ongoing and/or unfinished work, so as to attract possible collaborators and receive comments which could boost the quality of research.
The colloquium is intended as an opportunity for the members of our group to meet and discuss their current research. We therefore strongly encourage everyone to contribute with a presentation once in a while.
Even though the focus is primarily on the topics related to the research that takes place in the FSA section, everyone interested in the talks is most welcome to join, especially our fellow MDSE colleagues.
If you wish give a presentation, please contact Fei Yang (f.yang 'at' tue.nl).
08.02.2018 (time: 12:45, room MF 7.084)
Julien Schmaltz: "Formal analysis using the MaDL Whiteboard: a demo"
Abstract: I will give a demo of the tool we are developing based on our research about formal analysis of micro-architectures. Going through examples I will illustrate the main modelling and verification features we currently have implemented. An interesting aspect is that we can model asynchronous systems. This part still requires some research and might generate some discussion :-)
Erik de Vink