SALVANESCHI, GUIDO
SALVANESCHI, GUIDO
DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE (attivo dal 01/01/1900 al 31/12/2012)
An evaluation of the adaptation capabilities in programming languages
2011-01-01 Ghezzi, Carlo; Pradella, Matteo; Salvaneschi, Guido
Automatic Cross Validation of Multiple Specifications: A Case Study
2010-01-01 Ghezzi, Carlo; Mocci, Andrea; Salvaneschi, Guido
Context Oriented Programming in Highly Concurrent Systems
2010-01-01 Ghezzi, Carlo; Pradella, Matteo; Salvaneschi, Guido
Finding Non-trivial Malware Naming Inconsistencies
2011-01-01 Maggi, Federico; A., Bellini; Salvaneschi, Guido; Zanero, Stefano
Identifying Dormant Functionality in Malware Programs
2010-01-01 P., Milani Comparetti; Salvaneschi, Guido; C., Kolbitsch; E., Kirda; C., Kruegel; Zanero, Stefano
Integrated Detection of Attacks Against Browsers, Web Applications and Databases
2009-01-01 Criscione, Claudio; Salvaneschi, Guido; Maggi, Federico; Zanero, Stefano
On the downscaling of the Jazz platform - Experimenting the Jazz RTC platform in a teaching course
2010-01-01 Gargantini, ANGELO MICHELE; Salvaneschi, Guido; P., Scandurra
On the Semantics of Distributed Reactive Programming: the Cost of Consistency
2018-01-01 Margara, Alessandro; Salvaneschi, Guido
Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang
2010-01-01 Ghezzi, Carlo; Pradella, Matteo; Salvaneschi, Guido
Reactive Programming: A Walkthrough
2015-01-01 Salvaneschi, Guido; Margara, Alessandro; Tamburrelli, Giordano
Rethinking safe consistency in distributed object-oriented programming
2020-01-01 Köhler, Mirko; Eskandani, Nafise; Weisenburger, Pascal; Margara, Alessandro; Salvaneschi, Guido
We have a DREAM: Distributed reactive programming with consistency guarantees
2014-01-01 Margara, Alessandro; Salvaneschi, Guido