stefanomarrone
Associate professor in Computer Science. His interests include model-based processes for the design and the analysis of critical computer-based systems.
UniversitĂ della Campania "Luigi Vanvitelli"Caserta, Italy
Pinned Repositories
autoHMI
bems-evaluation
Quantitative Evaluation of Building Energy Management System
cosyma_mongodb
dse
dependability simulation engine
MSED-Analyzer
A Bayesian Network based tool for the safety evaluation in multi sensor event detection
performingrail
This repository constitutes the modelling baseline for the WP2 of the PerformingRail EU project.
smcsim
Smart Mixing Cell Simulator
surreal
SURvivability Requirements Elicitation adn Assessment tooL
wnl-tools
Water Network Language editor and analysis tools
yogaposes-aii22-challenge
stefanomarrone's Repositories
stefanomarrone/performingrail
This repository constitutes the modelling baseline for the WP2 of the PerformingRail EU project.
stefanomarrone/surreal
SURvivability Requirements Elicitation adn Assessment tooL
stefanomarrone/yogaposes-aii22-challenge
stefanomarrone/autoHMI
stefanomarrone/bems-evaluation
Quantitative Evaluation of Building Energy Management System
stefanomarrone/cosyma_mongodb
stefanomarrone/creed-robot
stefanomarrone/d3b
Depressive Disorder Data Base
stefanomarrone/dse
dependability simulation engine
stefanomarrone/MSED-Analyzer
A Bayesian Network based tool for the safety evaluation in multi sensor event detection
stefanomarrone/ned
stefanomarrone/smcsim
Smart Mixing Cell Simulator
stefanomarrone/wnl-tools
Water Network Language editor and analysis tools
stefanomarrone/dstm
stefanomarrone/heartbeat_digital_twin
Digital formal model of hearthbeat
stefanomarrone/hmi-evaluation-framework
stefanomarrone/plantuml
Generate diagrams from textual description
stefanomarrone/privacy-risk-assessment
stefanomarrone/reliable-explainable-random-forest
stefanomarrone/scratch-gui
stefanomarrone/security4blockchain
This repository contains some results of our research in automated security modelling and analysis of blockchain protocols by means of model-driven techniques
stefanomarrone/warp
Workspace Autonomous Reservation Program - a system to help you efficiently manage hybrid (assigned, hot-desks, etc) office space.