ennioVisco

PhD student @ TU Wien, Vienna 🇦🇹. Former Research Intern @ INRIA Grenoble 🇫🇷, and NII Tokyo 🇯🇵. MSc in 💻 Science & Eng. @ Polimi, Milano 🇮🇹.

@trust-cps-group Vienna, Austria

Pinned Repositories

acse
ACSE compiler for FLC
Language:C1 1 00
alpine
The minimalist blog theme, powered by Nuxt & Markdown.
Language:Vue0 0 00
api-project
API Project - Report Generator
Language:Python0 2 00
CharTransf
Language:PHP1 1 01
decent-tools
A fork of decentmon and of its enforcer with some custom changes.
Language:OCaml0 1 00
topocity
Towards topological reasoning in smart cities environment. A putback BX framework from CityGML to Bigraphs. Powered by BiGUL.
Language:Haskell2 1 00
webmonitor
A formal approach to monitoring web pages as spatio-temporal traces.
Language:Kotlin3 1 00
spid-cie-button
Micro-library to add a SPID connection button to the website (still requires a SAML Relying Party)
Language:TypeScript1 3 00
moonlight
MoonLight: a light-weight framework for runtime monitoring.
Language:Java14 10 193
GBL-IoTMonitoringSTREL
Language:Java0 3 00

ennioVisco's Repositories

ennioVisco/acse
ACSE compiler for FLC
Language:C1 1 00
ennioVisco/CharTransf
Language:PHP1 1 01
ennioVisco/api-project
API Project - Report Generator
Language:Python0 2 00
ennioVisco/azerothcore-wotlk
AzerothCore - Continuing Sunwell Core Project! Based on MaNGOS -> TrinityCore -> SunwellCore
Language:C++0 1 00
ennioVisco/classicthesis-polimi
Adaptation to Polimi of the popular "classicthesis" LaTeX template for graduation thesis.
Language:TeX1 0
ennioVisco/elm-boil
Command Line Utility for creating an Elm boilerplate project easy to run, build and get deployed
Language:JavaScript0 0
ennioVisco/flex
The Fast Lexical Analyzer
Language:C1 0
ennioVisco/hxt
Haskell XML Toolbox
Language:Haskell1 0
ennioVisco/ibm-tts-stt
A python script implementing IBM Watson Text to Speech and Speech to Text api.
Language:Python1 0
ennioVisco/julius
Language:C2 0
ennioVisco/MH-Engine
The back-end engine of a textual RPG. Inspired by MondoHogwarts.
Language:C#4 0
ennioVisco/MODELS19
This repository accommodates models described in our MODELS 2019 paper.
1 0
ennioVisco/myTaxyServiceTVZ
Software Engineering 2 project
Language:TeX0 0
ennioVisco/paxos
Playing with the Paxos protocol from L. Lamport.
Language:Java0 0
ennioVisco/polaretto.github.io
Language:HTML1 0
ennioVisco/spid-dotnet-sdk
SPID authentication library for .NET
Language:C#6 1
ennioVisco/TrinityCore
TrinityCore Open Source MMO Framework
Language:C++1 0
ennioVisco/WDOM
WoW Database Object Model
Language:JavaScript1 0
ennioVisco/WowPacketParser
World of Warcraft Packet Parser
Language:C#1 0