Webpages tagged with «PMA»

Image may contain: text, font.
Published Aug. 26, 2019 7:13 AM

The paper "Language-based mechanisms for Security-by-Design'' by Shukun Tokas, Olaf Owe, and Toktam Ramenzanifarkhani got the award for the "Best Paper" of the IFIP IFIP Summer School on Privacy and Identity Management.


Published Aug. 13, 2019 8:19 AM
Published Aug. 14, 2018 7:09 AM
Published Aug. 15, 2017 7:01 PM
Published Aug. 12, 2015 11:08 AM
Published Apr. 29, 2014 4:24 PM

Implementing and evaluating a search-based Extract and Move Method refactoring

This web page contains some resources related to this master's thesis. One of the resources is the git repository containing everything related to the thesis, including the software written. On this page, you can also find downloads of some plugins developed as part of the master's project, installation instructions and how to use them.

Published June 14, 2012 8:38 PM
Published May 12, 2011 12:34 PM

The Department of Informatics organizes and hosts the The 5th International Workshop on Harnessing Theories for Tool Support in Software HTTSS'11 is organized as satellite event to FACS'11.

Published May 12, 2011 10:58 AM

The Department of Informatics organizes and hosts the International Workshop on Overcoming Challenges for Security and Dependability WOCSD'11 as satellite event to FCT'11.

Published Feb. 9, 2011 2:25 PM

The 18th International Symposium on Fundamentals in Computing Theory. The conference homepage contains details about topics, important dates and further information.

Published Nov. 4, 2010 2:19 PM