logo-polimi
Loading...
Manifesto
Struttura Corso di Studi
Cerca/Visualizza Manifesto
Regolamento didattico
Internazionalizzazione
Orario Personalizzato
Il tuo orario personalizzato è disabilitato
Abilita
Ricerche
Cerca Docenti
Attività docente
Cerca Insegnamenti
Cerca insegnamenti degli Ordinamenti precedenti al D.M.509
Erogati in lingua Inglese
Le informazioni sulla didattica, sulla ricerca e sui compiti istituzionali riportate in questa pagina sono certificate dall'Ateneo; ulteriori informazioni, redatte a cura del docente, sono disponibili sulla pagina web personale e nel curriculum vitae indicati nella scheda.
Informazioni sul docente
DocenteBaresi Luciano
QualificaProfessore ordinario a tempo pieno
Dipartimento d'afferenzaDipartimento di Elettronica, Informazione e Bioingegneria
Settore Scientifico DisciplinareING-INF/05 - Sistemi Di Elaborazione Delle Informazioni
Curriculum VitaeScarica il CV (117.38Kb - 09/01/2019)
OrcIDhttps://orcid.org/0000-0001-6467-837X

Contatti
Orario di ricevimento
DipartimentoPianoUfficioGiornoOrarioTelefonoFaxNote
DEIB35745LunedìDalle 13:00
Alle 14:00
36383574Su appuntamento nel mio ufficio a Cremona
DEIB3574316VenerdìDalle 12:00
Alle 14:00
36383574su appuntamento
E-mailluciano.baresi@polimi.it
Pagina web redatta a cura del docentehttp://home.deib.polimi.it/baresi/

Fonte dati: RE.PUBLIC@POLIMI - Research Publications at Politecnico di Milano

Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2019
Nessun prodotto attualmente registrato nell'anno 2019


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2018 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Contributo in Atti di convegno
TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation (Mostra >>)
Fine-grained Context-aware Access Control for Smart Devices (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2017 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
A comparison framework for runtime monitoring approaches (Mostra >>)
Test oracles for simulink-like models (Mostra >>)
A logic-based approach for the verification of UML timed models (Mostra >>)
Contributo in Atti di convegno
Microservices identification through interface analysis (Mostra >>)
Empowering low-latency applications through a serverless edge computing architecture (Mostra >>)
MAGNET: A middleware for the proximal interaction of devices based on Wi-Fi direct (Mostra >>)
Supporting the decision of migrating to microservices through multi-layer fuzzy cognitive maps (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2016 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
A distributed architecture for efficient Web service discovery (Mostra >>)
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis (Mostra >>)
Prefazione/Postfazione
Welcome Message from the Chairs of WICSA, QoSA and CBSE (Mostra >>)
Contributo in Atti di convegno
How bit-vector logic can help improve the verification of LTL specifications over infinite domains (Mostra >>)
Learning and evolution in dynamic software product lines (Mostra >>)
A3Droid: A framework for developing distributed crowdsensing (Mostra >>)
WiDiSi: A Wi-Fi direct simulator (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2015 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
Formal verification and validation of embedded systems: the UML-based MADES approach (Mostra >>)
Building Software for the Internet of Things (Mostra >>)
Contributo in Atti di convegno
Efficient Scalable Verification of LTL Specifications (Mostra >>)
SPF: A Middleware for Social Interaction in Mobile Proximity Environments (Mostra >>)
Event-Based Monitoring of Service-Oriented Smart Spaces (Mostra >>)
An architecture-centric approach for dynamic smart spaces (Mostra >>)
Dynamically Evolving the Structural Variability of Dynamic Software Product Lines (Mostra >>)
Evolution in dynamic software product lines (Mostra >>)
manifesti v. 3.1.9 / 3.1.9
Area Servizi ICT
20/11/2019