- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c10 |      | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci: Automatic control software synthesis for quantized discrete time hybrid systems. CDC 2012: 6120-6125 |
| c9 | | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci: On model based synthesis of embedded control software. EMSOFT 2012: 227-236 |
| c8 | | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci: Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. ICTAC 2012: 243-258 |
| i6 | | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci: Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems. CoRR abs/1207.4098 (2012) |
| i5 | | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci: On Model Based Synthesis of Embedded Control Software. CoRR abs/1207.4474 (2012) |
| i4 | | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci: A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. CoRR abs/1210.2276 (2012) |
| 2011 | ||
| i3 | | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci: Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters. CoRR abs/1105.5640 (2011) |
| i2 | | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci: From Boolean Functional Equations to Control Software. CoRR abs/1106.0468 (2011) |
| i1 | | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci: Quantized Feedback Control Software Synthesis from System Level Formal Specifications. CoRR abs/1107.5638 (2011) |
| 2010 | ||
| c7 | | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci: Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. CAV 2010: 180-195 |
| 2009 | ||
| c6 | | Pietro Cenciarelli, Daniele Gorla, Ivano Salvo: Depletable Channels: Dynamics and Behaviour. FCT 2009: 50-61 |
| c5 | | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li: Model Checking Coalition Nash Equilibria in MAD Distributed Systems. SSS 2009: 531-546 |
| 2008 | ||
| c4 | | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li: Model Checking Nash Equilibria in MAD Distributed Systems. FMCAD 2008: 1-8 |
| 2003 | ||
| j5 | | Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo: Mobility Types for Mobile Processes in Mobile Ambients. Electr. Notes Theor. Comput. Sci. 78: 144-177 (2003) |
| j4 | | Antonio Bucciarelli, Adolfo Piperno, Ivano Salvo: Intersection Types and lambda-Definability. Mathematical Structures in Computer Science 13(1): 15-53 (2003) |
| 2001 | ||
| j3 | | Viviana Bono, Ivano Salvo: A CuCh Interpretation of an Object-Oriented Language. Electr. Notes Theor. Comput. Sci. 50(2): 159-177 (2001) |
| j2 | | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone: A Type Inference Algorithm for Secure Ambients. Electr. Notes Theor. Comput. Sci. 62: 83-101 (2001) |
| j1 | | Benedetto Intrigila, Ivano Salvo, Stefano Sorgi: A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser. Inf. Comput. 171(2): 137-155 (2001) |
| 2000 | ||
| c3 | | Mariangiola Dezani-Ciancaglini, Ivano Salvo: Security Types for Mobile Safe Ambients. ASIAN 2000: 215-236 |
| 1999 | ||
| c2 | | Antonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo: Some Computational Properties of Intersection Types. LICS 1999: 109-118 |
| 1998 | ||
| c1 | | |
Data released under the ODC-BY 1.0 license — See also our legal information page