TRONCI, Enrico

TRONCI, Enrico  

DIPARTIMENTO DI INFORMATICA  

Mostra prodotti
Risultati 1 - 20 di 132 (tempo di esecuzione: 0.028 secondi).
Titolo Data di pubblicazione Autore(i) File
A Case Study on Automated Generation of Integration Tests 2006 DELLA PENNA, G; Intrigila, B; Melatti, Igor; Pecorari, M; Tofani, A; Tronci, Enrico
A Constraint Optimization–Based Sense and Response System for Interactive Business Performance Management 2021 Mari, F.; Massini, A.; Melatti, I.; Tronci, E.
A glimpse of SmartHG project test-bed and communication infrastructure 2015 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Tronci, Enrico; Ebeid, E.; Mikkelsen, S. A.; Jacobsen, Rune Hylsberg; Gruber, Jorn K.; Hayes, Barry; Huerta, Francisco; Prodanovic, Milan
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 2013 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
A methodology for a complete simulation of Cyber-Physical Energy Systems 2018 Driouich, Y.; Parente, M.; Tronci, E.
A model checking technique for the verification of fuzzy control systems 2005 B., Intrigila; D., Magazzeni; Melatti, Igor; A., Tofani; Tronci, Enrico
A Model-Based methodology to support the Space System Engineering 2010 S., Mazzini; Tronci, Enrico; C., Paccagnini; X., Olive
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET 2013 Mari, Federico; Melatti, Igor; Tronci, Enrico; Alberto, Finzi
A Probabilistic Approach to Space-Time Trading in Automatic Verification of Concurrent Systems 2001 Tronci, Enrico; G., DELLA PENNA; B., Intrigila; Zilli, Marisa
A Symbolic Model Checker for ACTL 1998 A., Fantechi; S., Gnesi; F., Mazzanti; R., Pugliese; Tronci, Enrico
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 2021 Melatti, I.; Mari, F.; Mancini, T.; Prodanovic, M. N.; Tronci, E.
About Systems of Equations, X-separability and Left-invertibility in the lambda-calculus 1991 C., Bohm; Tronci, Enrico
AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials 2020 Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E.; Mari, F.; Leeners, B.
An efficient algorithm for network vulnerability analysis under malicious attacks 2018 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine 2016 Ehrig, R; Dierkes, T; Schäfer, S; Röblitz, S; Tronci, Enrico; Mancini, Toni; Salvo, Ivano; Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Massini, Annalisa; Leeners, B; Krüger, T. H. C; Egli, M; Ille, F; Leeners, B.
Analyzing Flexible Timeline-based Plans 2010 Amedeo, Cesta; Alberto, Finzi; Simone, Fratini; Andrea, Orlandini; Tronci, Enrico
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification 2021 Mancini, T.; Melatti, I.; Tronci, E.
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 2016 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation 2014 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Associations between natural physiological and supraphysiological estradiol levels and stress perception 2019 Leeners, Brigitte; Krüger, Tillmann H. C.; Geraedts, Kirsten; Tronci, Enrico; Mancini, Toni; Egli, Marcel; Röblitz, Susanna; Saleh, Lanja; Spanaus, Katharina; Schippert, Cordula; Zhang, Yuanyuan; Ille, Fabian