Description: FABIoT is an Agent-based model (ABM) that mimics the operation of different scale IoT systems over the time. FABIoT offers the toolkit for the definition of IoT environments and event-driven
Concrete artefacts are produced and used for dissemination. These include scientific publications, a repository of use-cases, tutorials, a non-technical article presenting the main achievements of the project, material for tutorials and recorded tutorials. These artefacts will remain available to the general public beyond the duration of the project and promote a continuative and long-term dissemination.
If you are unable to view these files, please log in or register.
Description: Automated test generation for Android applications Developed at: UBA Contacts: iarcuschin@dc.uba.ar Available at: https://github.com/FlyingPumba/evolutiz
Description: extension of Dingo-Hunter (https://github.com/nickng/dingo-hunter) that generates error messages when a Go program cannot be shown live or safe. Developed at: UBA Available at: https://github.com/DamiFur/gong, https://github.com/DamiFur/migo
Description: A research prototype Developed at: ULEIC Contacts: ndwalkinshaw@gmail.com Available at: https://bitbucket.org/nwalkinshaw/efsminferencetool
Description: Concurrent typestate-oriented programming for Java Developed at: UNITO Contacts: Luca Padovani Available at: http://www.di.unito.it/~padovani/Software/EasyJoin/
Description: It synthesises Erlang monitors from mu-HML specifications and instruments them with the system under scrutiny Developed at: UOM Contacts: duncan.attard.01@um.edu.mt, ian.cassar.10@um.edu.mt, afra1@um.edu.mt Available at: https://bitbucket.org/duncanatt/detecter-lite https://bitbucket.org/casian/adapter https://bitbucket.org/casian/detecter2.0