IRIS
MARI, FEDERICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 48
AS - Asia 5
EU - Europa 3
Totale 56
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 48
SG - Singapore 5
IT - Italia 3
Totale 56
Salva come PNG Salva come JPEG
Città #
Chicago 17
Ashburn 8
Springfield 8
Prineville 7
Fort Worth 6
Singapore 5
Rome 3
Totale 54
Salva come PNG Salva come JPEG
Nome #
SyLVaaS 11
Urban Vibrancy in Roma’s Neighbourhoods: A Case Study 8
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems 4
Control Software Visualization 4
On minimising the maximum expected verification time 4
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids 4
On Placing Skips Optimally In Expectation 3
The Preventive Role of Physical Activity in Systemic Sclerosis: A Cross-Sectional Study on the Correlation with Clinical Parameters and Disease Progression. International Journal of Environmental Research and Public Health 3
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019 3
SyLVaaS: system level formal verification as a service 3
Simulator semantics for system level formal verification 3
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco Networks 2
Formal verification at system level 2
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 2
NashMV 2
System level formal verification via model checking driven simulation 2
Classification-based screening of phlebopathic patients using smart socks 2
Undecidability of quantized state feedback control for discrete time linear hybrid systems 2
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management 2
Control software synthesis for cyber-physical systems with QKS 2
SyLVaaS: System level formal verification as a service 2
An efficient algorithm for network vulnerability analysis under malicious attacks 2
QKS 2
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine 2
Model Based Synthesis of Control Software from System Level Formal Specifications 2
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET 2
From Boolean Relations to Control Software 2
On checking equivalence of simulation scripts 2
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems 2
A glimpse of SmartHG project test-bed and communication infrastructure 2
Model checking driven simulation of sat procedures 1
Model Checking Nash Equilibria in MAD Distributed Systems 1
AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials 1
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation 1
Visualisation of control software for cyber-physical systems 1
User flexibility aware price policy synthesis for smart grids 1
Electricity network constraint management using individualised demand aware price policies 1
System level formal verification via distributed multi-core hardware in the loop simulation 1
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records 1
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 1
Synthesizing Control Software from Boolean Relations 1
On-the-Fly Control Software Synthesis 1
Linearising discrete time hybrid systems 1
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 1
Automatic control software synthesis for quantized discrete time hybrid systems 1
Model Checking Satellite Operational Procedures 1
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 1
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 1
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction 1
Model Checking Coalition Nash Equilibria in MAD Distributed Systems 1
Parallel statistical model checking for safety verification in smart grids 1
Computing biological model parameters by parallel statistical model checking 1
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins 1
On model based synthesis of embedded control software 1
Totale 112
Salva come PNG Salva come JPEG
Categoria #
all - tutte 668
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 668
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202453 0 0 0 0 0 0 0 0 0 0 0 53
2024/202559 0 17 42 0 0 0 0 0 0 0 0 0
Totale 112