TRONCI, Enrico
TRONCI, Enrico
DIPARTIMENTO DI INFORMATICA
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
2022 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, E; Mancini, T; Salvo, I; Alimguzhin, V; Mari, F; Melatti, I; Massini, A; 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
2022 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
| 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 | 2022 | 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, E; Mancini, T; Salvo, I; Alimguzhin, V; Mari, F; Melatti, I; Massini, A; 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 | 2022 | 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 |