Blog Archives

FoCAS Metro Map

FoCAS Metro Map

At the FoCAS Video Sprint in early January 2016 we developed the concept of a FoCAS Metro map to highlight the journeys, intersections and destinations of the FoCAS projects. Best viewed Full Screen

Tagged with: , , , , , , ,
Posted in For Educators, For Researchers, For Students, News Stream, Presentations, Video

Diversify @ ICT 2015

Video detailing the Diversify Project’s contribution to the FoCAS Networking Session @ ICT 2015 – Perspectives on Collectives: Insights into Collective Adaptive Systems.

Tagged with: ,
Posted in For Educators, For Researchers, For Students, News Stream, Video

Perspectives on Collectives : Insights into Collective Adaptive Systems

ICT 2015

FoCAS ran a networking session called Perspectives on Collectives at the ICT conference on 20 October 2015 to standing room-only capacity. The aim was to present two research-informed scenarios to stimulate discussion on some benefits and perceived problems arising from

Tagged with: ,
Posted in By Event, Conferences & Workshops, Events Archive, For Researchers, News Stream

DIVERSIFY: Security and privacy on the Web

Diversify

FoCAS project Diversify appear in the latest edition of  FET through the keyhole. Software enables every aspect of the Web. In a time when citizens increasingly rely on software services for many aspects of their daily lives, security and privacy

Tagged with:
Posted in FET & EC Activities, For Educators, For Researchers, For Students, News Stream

Diversify Project Animation

Diversify animation

FoCAS project Diversify have made the above animation to explain the rationale of their research.

Tagged with:
Posted in For Educators, For Researchers, For Students, News Stream, Presentations, Video

3 Diversify presentations

1. On the biodiversity of source code: rigid or plastic repair. 2. Introduction to Diversify. 3. Artificial software diversity: autonomic synthesis of program sosies. All available at the Diversify website: www.diversify-project.eu

Tagged with:
Posted in For Researchers, For Students, News Stream

Enhancing Server Availability and Security Through Failure-Oblivious Computing

Background Paper

Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee, Jr. OSDI’04 Proceedings of the 6th conference on Symposium on Operating Systems Design & Implementation – Volume 6, Pages 21-21 http://static.usenix.org/event/osdi04/tech/full_papers/rinard/rinard_html/ Used by the Diversify

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Obtaining and Reasoning About Good Enough Software

Background Paper

Martin Rinard DAC ’12 Proceedings of the 49th Annual Design Automation Conference, June 3-7, 2012, San Francisco, California, USA, Pages 930-935 DOI 10.1145/2228360.2228526 Used by the Diversify project Martin Rinard has explored many different unsound program transformations that aim at

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Dual Ecological Measures of Focus in Software Development

Background Paper

Daryl Posnett, Raissa D’Souza, Premkumar Devanbu, and, Vladimir Filkov 2013 35th International Conference on Software Engineering (ICSE), San Francesco, USA, 2013, Pages: 452 – 461 DOI 10.1109/ICSE.2013.6606591 Used by the Diversify project Posnett et al. model commiter / project relationships

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Taming Dynamically Adaptive Systems Using Models and Aspects

Background Paper

Brice Morin, Olivier Barais, Grégory Nain and Jean-Marc Jézéquel IEEE 31st International Conference on Software Engineering, 2009. ICSE 2009, Pages: 122 – 132 DOI 10.1109/ICSE.2009.5070514 Used by the Diversify project One diverse software variants are synthesized at different levels in

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers