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
alpine
The minimalist blog theme, powered by Nuxt & Markdown.
api-project
API Project - Report Generator
CharTransf
decent-tools
A fork of decentmon and of its enforcer with some custom changes.
topocity
Towards topological reasoning in smart cities environment. A putback BX framework from CityGML to Bigraphs. Powered by BiGUL.
webmonitor
A formal approach to monitoring web pages as spatio-temporal traces.
spid-cie-button
Micro-library to add a SPID connection button to the website (still requires a SAML Relying Party)
moonlight
MoonLight: a light-weight framework for runtime monitoring.
GBL-IoTMonitoringSTREL
ennioVisco's Repositories
ennioVisco/webmonitor
A formal approach to monitoring web pages as spatio-temporal traces.
ennioVisco/topocity
Towards topological reasoning in smart cities environment. A putback BX framework from CityGML to Bigraphs. Powered by BiGUL.
ennioVisco/alpine
The minimalist blog theme, powered by Nuxt & Markdown.
ennioVisco/bayesformal
A set of kotlin scripts and python notebooks for analysing spatio-temporal data of cities.
ennioVisco/bayesformal-archive
A set of kotlin scripts and python notebooks for analysing spatio-temporal data of cities.
ennioVisco/decent-tools
A fork of decentmon and of its enforcer with some custom changes.
ennioVisco/BiGUL
Github mirror of the BiGUL repository
ennioVisco/citygml-tools
Miscellanea tools for dealing with CityGML files
ennioVisco/citygml4hs
The Open Source Haskell API for CityGML. Autonomously developed based on CityGML specification.
ennioVisco/cps-labs
ennioVisco/CV
Personal Resume/CV
ennioVisco/docs
📄 Documentation for Vue 3
ennioVisco/docus
Write beautiful documentations with Nuxt 3.
ennioVisco/dotenv
GitHub Action to read .env file and add variables to GITHUB_ENV
ennioVisco/ennioVisco
ennioVisco/enniovisco-com
ennioVisco/esbuild-jest-transform-2022
ennioVisco/fontawesome-module
Module to use Font Awesome icons in Nuxt.js
ennioVisco/lettera
ennioVisco/libgdx.github.io
Github hosted site for libGDX
ennioVisco/MoonLight
MoonLight: a light-weight framework for runtime monitoring.
ennioVisco/nuxt-minimal-auto-imports
Created with CodeSandbox
ennioVisco/nuxt-parallel-limit
Run multiple fetch with limited concurrency
ennioVisco/nuxt-seo-ui
Nuxt components with Schema.org and SEO integrations
ennioVisco/predicting-decentmon
ennioVisco/shields
Concise, consistent, and legible badges in SVG and raster format
ennioVisco/slidev
Presentation Slides for Developers
ennioVisco/TuRBO
ennioVisco/use-wagmi
Vue Composition for Ethereum based on wagmi
ennioVisco/viem
TypeScript Interface for Ethereum