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.
From Napkin Sketches to Reliable Software
11 December 2012, Luc Engelen. From Napkin Sketches to Reliable Software. Faculty of Mathematics and Computer Science, TU/e.
A Compositional Interchange Format for Hybrid Systems: Design and Implementation
29 November 2012, Damian Nadales. A Compositional Interchange Format for Hybrid Systems: Design and Implementation. Faculty of Mechanical Engineering, TU/e.
Software Language Evolution
1 October 2012, Sander Vermolen. Software Language Evolution. Faculty of Electrical Engineering, Mathematics, and Computer Science, TUD.
Analysis of Protein-Protein Interaction Networks by Means of Annotated Graph Mining Algorithms
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.
Event: Fall days @ ICT.OPEN
Event: IPA Fall Days @ ICT.OPEN, 22-23 October, WTC Rotterdam.
Course: Principles of Model Checking
Course: Principles of Model Checking. University of Twente, Enschede, September 5, 12, 26 and October 3, 2012.
Algorithms for Cartographic Visualization
27 August 2012, K. Verbeek. Algorithms for Cartographic Visualization. Faculty of Mathematics and Computer Science, TU/e.
Studies on Verification of Wireless Sensor Networks and Abstraction Learning for System Inference
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.
Alignment of Organizational Security Policies: Theory and Practice
23 February 2012, T. Dimkov. Alignment of Organizational Security Policies: Theory and Practice. Faculty of Electrical Engineering, Mathematics & Computer Science, UT.