Ivano Salvo Authors: Add personal information
 Affiliation history
Bibliometrics: publication history
SEARCH
ROLE
Author only

AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas

BOOKMARK & SHARE

 #resultstats2 { width:100%; padding: 10px; background-color:#ECE9D8; /*background:#9c9;*/ } #resultstats { width:100%; /*background-color:#ECE9D8;*/ font-size: 12px; /*background:#9c9;*/ } #resultstats a:link { text-decoration: none; } #resultstats div { padding-bottom: 5px; padding-top: 5px; } #resfound { background-color: #ece9d8; padding-left:5px } #searchtools { display:inline; float:right; padding-right: 10px; } #refinements { padding-top: 5px; } #refinements table { margin-left: 10px; } #refinements tr { vertical-align:top; } #refinements span { font-size: 12px; } .rectots { font-size:12px; } .problem { font-size:12px; color: red; } div.problem { height: 400px; } #results { /* float:right; */ /* width:80%; */ color: #000000; font-family: Verdana,Arial,Helvetica,sans-serif; font-size: 12px; padding-top: 10px; /*background:#9c9;*/ } #aggs { float:left; width:20%; font-family: Verdana,Arial,Helvetica,sans-serif; font-size:12px; } #pagelogic { font-family: Verdana,Arial,Helvetica,sans-serif; font-size:12px; float:right; padding-bottom: 10px; } #pagerange { font-family: Verdana,Arial,Helvetica,sans-serif; font-size:12px; float:left; padding-bottom: 10px; } #resultmenu { font-family: Verdana,Arial,Helvetica,sans-serif; font-size:12px; float:right; padding-bottom: 10px; } #resultmenu label { margin-right: 0px; vertical-align:bottom; } #resultmenu input { margin-right: 0px; vertical-align:bottom; } #resultmenu select { margin-right: 0px; background-color: #aff; border: 0; border-radius: 0; font-size: 12px; } #resultmenu option { font-size: 12px; background-color: white; } .aggHead { font-weight: bold; padding-bottom: 0; padding-top: 10px; } #aggs ul{ list-style-type: none; margin-top: 0.25em; padding-left: 0; font-size: 1em; } #upcevents li{ padding-bottom: 1.25em; } #upcevents div{ margin-top: 25px; } a.showhide:link { text-decoration: none; } #results .numbering{ font-size: 12px; font-weight:bold; width:30px; float:left; text-align: right; padding-top: 2px; } #results .details{ font-size: 12px; width:92%; float:right; padding-bottom: 20px; } #results .title{ font-size: 14px; padding-bottom:5px; } #results .authors{ font-size: 12px; padding-bottom:5px; } #results .source{ font-size: 12px; padding-bottom:5px; } #results .publisher{ font-size: 12px; padding-bottom:5px; } #results .metrics{ font-size: 12px; padding-bottom:5px; } #results .metricsCol1{ float: left; display:inline; padding-bottom:5px; } #results .metricsCol2{ float: right; display: inline; width: 590px; padding-bottom:5px; } #results .ft{ font-size: 12px; padding-bottom:5px; } #results .abstract{ font-size: 12px; padding-bottom:5px; } #results .kw{ font-size: 12px; padding-bottom:5px; } #results .pubother{ font-size: 12px; padding-bottom:5px; } .izers { margin-top: 10px; margin-bottom:10px; } .highlights em{ background-color: #FFFF00; font-style: normal; } .publicationDate { background-color: #aff; } .citedCount { } .download6Weeks { } .download12Months { } .downloadAll { } 15 results found Export Results: bibtex | endnote | acmref | csv Result 1 – 15 of 15 Sort by: relevance publication date citation count downloads (6 Weeks) downloads (12 months) downloads (overall) 1 June 2017 Information Processing Letters: Volume 122 Issue C, June 2017 Publisher: Elsevier North-Holland, Inc. Bibliometrics: Citation Count: 0 Cyber Physical Systems (CPSs) consist of hardware and software components. To verify that the whole (i.e., software + hardware) system meets the given specifications, exhaustive simulation-based approaches (Hardware In the Loop Simulation, HILS) can be effectively used by first generating all relevant simulation scenarios (i.e., sequences of disturbances) and then ... Keywords: System-level formal verification, Explicit model checking, Formal methods, Formal verification, Software engineering 2 August 2015 DSD '15: Proceedings of the 2015 Euromicro Conference on Digital System Design Publisher: IEEE Computer Society Bibliometrics: Citation Count: 0 In order to optimally manage a modern electricity distribution network, peaks in residential users demand should be avoided, as this can reduce energy and network asset management costs. Furthermore, this must be done without compressing residential users demand. To this aim, in a demand response setting, residential users are given ... Keywords: Price Policy Synthesis, Peak Shaving, Policy Robustness Verification, Grid State Estimation 3 October 2014 FMCAD '14: Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design Publisher: FMCAD Inc Bibliometrics: Citation Count: 0 Downloads (6 Weeks): 1,   Downloads (12 Months): 8,   Downloads (Overall): 24 Full text available: PDF One of the main goals of systems biology models in a health-care context is to individualise models in order to compute patient-specific predictions for the time evolution of species (e.g., hormones) concentrations. In this paper we present a statistical model checking based approach that, given an inter-patient model and a ... 4 February 2014 ACM Transactions on Software Engineering and Methodology (TOSEM): Volume 23 Issue 1, February 2014 Publisher: ACM Bibliometrics: Citation Count: 3 Downloads (6 Weeks): 3,   Downloads (12 Months): 40,   Downloads (Overall): 352 Full text available: PDF Many embedded systems are indeed software-based control systems , that is, control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on formal model-based design approaches for automatic synthesis of embedded systems control software. We present an algorithm, along with a tool QKS implementing ... Keywords: model-based design of control software, Hybrid systems, correct-by-construction control software synthesis 5 October 2012 EMSOFT '12: Proceedings of the tenth ACM international conference on Embedded software Publisher: ACM Bibliometrics: Citation Count: 3 Downloads (6 Weeks): 0,   Downloads (12 Months): 8,   Downloads (Overall): 121 Full text available: PDF Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for control software. Given the formal model of a plant as a Discrete Time Linear Hybrid ... Keywords: design and implementation of embedded software, model- and component-based software design and analysis 6 September 2012 ICTAC'12: Proceedings of the 9th international conference on Theoretical Aspects of Computing Publisher: Springer-Verlag Bibliometrics: Citation Count: 3 We show that the existence of a quantized controller for a given Discrete Time Linear Hybrid System (DTLHS) is undecidable. This is a relevant class of controllers since control software always implements a quantized controller. Furthermore, we investigate the relationship between dense time modelling and discrete time modelling by showing ... 7 July 2010 CAV'10: Proceedings of the 22nd international conference on Computer Aided Verification Publisher: Springer-Verlag Bibliometrics: Citation Count: 5 We present an algorithm that given a Discrete Time Linear Hybrid System ${\cal H}$ returns a correct-by-construction software implementation K for a ( near time optimal ) robust quantized feedback controller for ${\cal H}$ along with the set of states on which K is guaranteed to work correctly ( controllable ... 8 November 2009 SSS '09: Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems Publisher: Springer-Verlag Bibliometrics: Citation Count: 0 We present two OBDD based model checking algorithms for the verification of Nash equilibria in finite state mechanisms modeling Multiple Administrative Domains (MAD) distributed systems with possibly colluding agents (coalitions ) and with possibly faulty or malicious nodes (Byzantine agents). Given a finite state mechanism, a proposed protocol for each ... 9 September 2009 FCT'09: Proceedings of the 17th international conference on Fundamentals of computation theory Publisher: Springer-Verlag Bibliometrics: Citation Count: 0 A simple model of multi-hop communication in ad-hoc networks is considered. Similar models are often adopted for studying energy efficiency and load balancing of different routing protocols. We address an orthogonal question never considered by the networking community: whether, regardless of specific protocols, two networks may be considered as equivalent ... 10 November 2008 FMCAD '08: Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design Publisher: IEEE Press Bibliometrics: Citation Count: 1 Downloads (6 Weeks): 0,   Downloads (12 Months): 0,   Downloads (Overall): 33 Full text available: PDF We present a symbolic model checking algorithm for verification of Nash equilibria in finite state mechanisms modeling Multiple Administrative Domains (MAD) distributed systems. Given a finite state mechanism, a proposed protocol for each agent and an indifference threshold for rewards, our model checker returns PASS if the proposed protocol is ... 11 February 2003 Mathematical Structures in Computer Science: Volume 13 Issue 1, February 2003 Publisher: Cambridge University Press Bibliometrics: Citation Count: 2 This paper presents a novel method for comparing computational properties of λ-terms that are typeable with intersection types, with respect to terms that are typeable with Curry types. We introduce a translation from intersection typing derivations to Curry typeable terms that is preserved by β-reduction: this allows the simulation of ... 12 January 2002 Information and Computation: Volume 171 Issue 2, December 15, 2001 Publisher: Academic Press, Inc. Bibliometrics: Citation Count: 0 Basic properties of rewriting systems can be stated in the framework of abstract reduction systems (ARS). Properties like confluence (or Church-Rosser, CR) and weak confluence (or weak Church-Rosser, WCR) and their relationships can be studied in this setting: as a matter of fact, well-known counterexamples to the implication WCR CR ... 13 November 2000 ASIAN '00: Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science Publisher: Springer-Verlag Bibliometrics: Citation Count: 17 The Ambient Calculus and the Safe Ambient Calculus have been recently successfully proposed as models for the Web. They are based on the notions of ambient movement and ambient opening. Different type disciplines have been devised for them in order to avoid unwanted behaviours of processes. In the present paper ... 14 July 1999 LICS '99: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science Publisher: IEEE Computer Society Bibliometrics: Citation Count: 3 This paper presents a new method for comparing computational properties of \math-terms typeable with intersection types with respect to terms typeable with Curry types. In particular, strong normalization and \math-definability are investigated. A translation is introduced from intersection typing derivations to Curry typeable terms; the main feature of the proposed ... 15 July 1998 ICALP '98: Proceedings of the 25th International Colloquium on Automata, Languages and Programming Publisher: Springer-Verlag Bibliometrics: Citation Count: 0