Bridging Formal Models – An Engineering Perspective
8 November 2012, Frank Stappers. Bridging Formal Models – An Engineering Perspective. Faculty of Mathematics and Computer Science, TU/e.
8 November 2012, Frank Stappers. Bridging Formal Models – An Engineering Perspective. Faculty of Mathematics and Computer Science, TU/e.
11 December 2012, Luc Engelen. From Napkin Sketches to Reliable Software. Faculty of Mathematics and Computer Science, TU/e.
29 November 2012, Damian Nadales. A Compositional Interchange Format for Hybrid Systems: Design and Implementation. Faculty of Mechanical Engineering, TU/e.
1 October 2012, Sander Vermolen. Software Language Evolution. Faculty of Electrical Engineering, Mathematics, and Computer Science, TUD.
30 October 2012, Hossein Rahmani. Analysis of Protein-Protein Interaction Networks by Means of Annotated Graph Mining Algorithms. Faculty of Mathematics and Natural Sciences, UL.
27 August 2012, K. Verbeek. Algorithms for Cartographic Visualization. Faculty of Mathematics and Computer Science, TU/e.
5 July 2012, F. Heidarian. Studies on Verification of Wireless Sensor Networks and Abstraction Learning for System Inference. Faculty of Science, Mathematics and Computer Science, RU.
23 February 2012, T. Dimkov. Alignment of Organizational Security Policies: Theory and Practice. Faculty of Electrical Engineering, Mathematics & Computer Science, UT.
17 February 2012, S. Sedghi. Towards Provably Secure Efficiently Searchable Encryption. Faculty of Electrical Engineering, Mathematics & Computer Science, UT.
11 January 2012, Z. Hemel. Methods and Techniques for the Design and Implementation of Domain-Specific Languages. Faculty of Electrical Engineering, Mathematics, and Computer Science, TUD.