Reports (PhD Dissertations, MSc and BSc Reports)
Here you will find reports published by KindSoftware members.
- 2013
- Digital Voter List by Morten Hyllekilde Andersen (BSc)
- Securing Single Sign-On Systems with Executable Models by Jakob Højgaard (MSc)
- Verifiable Secure Open Source Alternative to NemID by Andreas Hallberg Kjeldsen and Morten Chabert Eskesen (BSc)
- Generic Deobfuscator for Java Mikkel B. Nielsen (MSc)
- Case Study: Secure Development of Web Applications by Ian Qvist (BSc)
- 2012
- Security evaluation of Norwegian E-voting System by Alina Arm (MSc)
- Aegis Digital Voter List by Nikolaj Aaes and Nicolai Skovvart (BSc)
- Mario Game Solver by Kim Adelhardt and Nedyalko Kargov (MSc)
- From Implementation to Specification: Integrating Textual BON Into EiffelStudio by Sune Alkærsig and Thomas Didriksen (BSc)
- Data Structures Used in the OpenBSD Kernel by Adam Britt (MSc)
- Formal Specification and Analysis of Danish and Irish Ballot Counting Algorithms by Dermot Cochran (PhD)
- From Eiffel to the Java Virtual Machine: Adding a new language target to the EiffelStudio compiler by Søren Engel (BSc)
- AMOC: A Visual Studio Extension for Application Modeling with Contracts by Alexandru F. Iosif-Lazar and Gabriel Balazs (MSc)
- Code Generation from an Abstract State Machine into Contracted C# Asger Jensen (MSc)
- Flatland by Anders Høst Kjærgaard (BSc)
- SAT and SMT-based Interactive Configuration for Container Vessel Stowage Planning by Christian Kroer Martin Kjær Svendsen (MSc)
- Immediate Connection Between Creator and Creation Anders Bech Mellson (BSc)
- Building a Product Modeller/Configurator Tool by Radu Mitache (MSc)
- Real-Time Polyphonic Pitch-Detection for the Harpsichord by Anders Øland (BSc)
- GALAPACOS: God Algorithm for Living Artificial Physics-based Adapting Creatures with Omnipotent Scalability by Peter Ølsted and Benjamin Ma (BSc)
- ITU Infrastructure Analysis Ian Qvist and Michael Bisbjerg (BSc)
- Journey Infinita: An Editor with an Embedded Programming Language by Kristian Spencer and Michael Bo Magling (BSc)
- 2011
- Verifying the Danish Voting System by Ólavur Kjølbro (MSc)
- Supporting Programming as a Reflective Activity through Custom Repesentations by Sieman Baader (MSc)
- MARLLr: Specification Matching for Popular (widely used) Programming Languages by Martin Hansen (MSc)
- Pro-active Architecture and Implementation of a Secure Online Banking System that Uses Fingerprint Data as Part of Client Side Digital Signatures by Ane Divine Jinor (MSc)
- 2010
- Data Stream Processing on Enterprise Integration Platforms by Damian Chojna (MSc)
- Verified Monadic Programming by Robin Green (MSc)
- The Design and Algorithms of a Verification Condition Generator by Radu Grigore (PhD)
- Tool-assisted Code Splitting for GWT by Alan Hicks (MSc)
- Automated Refactoring of Java Contracts by Iain Hull (MSc)
- A Process for the Specification of Core JDK Classes by Ralph Hyland (MSc)
- Verified Pong by Benjamin Irani and Nedyalko Kargov (MSc project)
- SAT Solving in Interactive Configuration by Mikolas Janota (PhD)
- Automatic Static Class Generation from Informal BON Class Charts to Formal Textual BON Notation by Aidan Morrissey (MSc)
- SensorML on SenseTile by Ciaran Palmer (MSc)
- An Integrated Development Environment for Business Object Notation by Ralph Skinner (MSc)
- Contracts in OpenBSD by Murat Torlakcik (MSc)
- 2009
- R.E.A.L. by Eliott Bartley
- Beetlz - BON Software Model Consistency Checker for Eclipse by Eva Darulová
- SenseTile in the City: Road-Wær by Anara Sandygulova
- 2008
- Reasoning About Java Persistence by Alan Barrett (MSc)
- 2007
- Navigating Large Source Files Using a Fisheye View by Jakub Dostál
- 2006
- Secure Internet Voting in Ireland Using the Open Source Kiezen op Afstand (KOA) Remote Voting System by Dermot Cochran (MSc)
- Automatic Soundness and Completeness Warnings in ESC/Java2 by Barry Denby
- A PVS Eclipse Plug-in by Robert Finlay
- A CLR Back-end for a FLOSS Eiffel by Daragh Hurley
- Bugs in OpenBSD by Niall O'Higgins
- 2005
- Full Verification of the KOA Tally System by Fintan Fairmichael
- Checking JML Specification Soundness Using ESC/Java2 by Conor Gallagher
- A Verification Condition Generator for ESC/Java2 by Clément Hurlin
- KOA Evaluation, Demonstration Installation and Implementation by Alan Morkan