Ivano Salvo
Ivano Salvo
Bestätigte E-Mail-Adresse bei di.uniroma1.it
Titel
Zitiert von
Zitiert von
Jahr
M3: Mobility types for mobile processes in mobile ambients
M Coppo, M Dezani-Ciancaglini, E Giovannetti, I Salvo
Electronic Notes in Theoretical Computer Science 78, 144-177, 2003
522003
Security types for mobile safe ambients
M Dezani-Ciancaglini, I Salvo
Annual Asian Computing Science Conference, 215-236, 2000
452000
Synthesis of quantized feedback control software for discrete time linear hybrid systems
F Mari, I Melatti, I Salvo, E Tronci
International Conference on Computer Aided Verification, 180-195, 2010
272010
Model-based synthesis of control software from system-level formal specifications
F Mari, I Melatti, I Salvo, E Tronci
ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (1), 1-42, 2014
252014
Computing biological model parameters by parallel statistical model checking
T Mancini, E Tronci, I Salvo, F Mari, A Massini, I Melatti
International Conference on Bioinformatics and Biomedical Engineering, 542-554, 2015
222015
Demand-aware price policy synthesis and verification services for smart grids
T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ...
2014 IEEE International Conference on Smart Grid Communications …, 2014
202014
Intersection types and lambda-definability
A Bucciarelli, A Piperno, I Salvo
Mathematical Structures in Computer Science 13 (1), 15-53, 2003
192003
Some computational properties of intersection types
A Bucciarelli, S De Lorenzis, A Piperno, I Salvo
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
191999
Patient-specific models from inter-patient biological models and clinical records
E Tronci, T Mancini, I Salvo, S Sinisi, F Mari, I Melatti, A Massini, F Davì, ...
2014 Formal Methods in Computer-Aided Design (FMCAD), 207-214, 2014
182014
Automatic control software synthesis for quantized discrete time hybrid systems
V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 6120-6125, 2012
172012
Linearizing discrete-time hybrid systems
V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci
IEEE Transactions on Automatic Control 62 (10), 5357-5364, 2017
162017
On minimising the maximum expected verification time
T Mancini, F Mari, A Massini, I Melatti, I Salvo, E Tronci
Information Processing Letters 122, 8-16, 2017
152017
User flexibility aware price policy synthesis for smart grids
T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ...
2015 Euromicro Conference on Digital System Design, 478-485, 2015
152015
On model based synthesis of embedded control software
V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci
Proceedings of the tenth ACM international conference on Embedded software …, 2012
142012
Undecidability of quantized state feedback control for discrete time linear hybrid systems
F Mari, I Melatti, I Salvo, E Tronci
International Colloquium on Theoretical Aspects of Computing, 243-258, 2012
142012
Controller-aware false data injection against programmable logic controllers
S McLaughlin, S Zonouz
2014 IEEE International Conference on Smart Grid Communications …, 2014
122014
On-the-fly control software synthesis
V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci
International SPIN Workshop on Model Checking of Software, 61-80, 2013
122013
Parallel statistical model checking for safety verification in smart grids
T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ...
2018 IEEE International Conference on Communications, Control, and Computing …, 2018
112018
Computing personalised treatments through in silico clinical trials. A case study on downregulation in assisted reproduction
T Mancini, F Mari, A Massini, I Melatti, I Salvo, S Sinisi, I Tronci, R Ehrig, ...
Intelligenza Artificiale, 1-16, 2018
112018
A globally stabilizing receding horizon controller for neutrally stable linear systems with input constraints
A Jadbabaie, C De Persis, TW Yoon
Proceedings of the 41st IEEE Conference on Decision and Control, 2002. 1 …, 2002
112002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20