logo-polimi
Loading...
Degree programme
Programme Structure
Show/Search Programme
Degree Programme
International context
Customized Schedule
Your customized time schedule has been disabled
Enable
Search
Search a Professor
Professor's activities
Search a Course
Search a Course (system prior D.M. n. 509)
Search Lessons taught in English
Information on didactic, research and institutional assignments on this page are certified by the University; more information, prepared by the professor, are available on the personal web page and in the curriculum vitae indicated on this webpage.
Information on professor
ProfessorBaresi Luciano
QualificationFull professor
Belonging DepartmentDipartimento di Elettronica, Informazione e Bioingegneria
Scientific-Disciplinary SectorING-INF/05 - Information Processing Systems
Curriculum VitaeDownload CV (117.38Kb - 09/01/2019)
OrcIDhttps://orcid.org/0000-0001-6467-837X

Contacts
Professor's office hours
DepartmentFloorOfficeDayTimetableTelephoneFaxNotes
DEIB35745MondayFrom 13:00
To 14:00
36383574Su appuntamento nel mio ufficio a Cremona
DEIB3574316FridayFrom 12:00
To 14:00
36383574su appuntamento
E-mailluciano.baresi@polimi.it
Professor's personal websitehttp://home.deib.polimi.it/baresi/

Data source: RE.PUBLIC@POLIMI - Research Publications at Politecnico di Milano

List of publications and reserach products for the year 2019
No product yet registered in the year 2019


List of publications and reserach products for the year 2018 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Conference proceedings
TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation (Show >>)
Fine-grained Context-aware Access Control for Smart Devices (Show >>)


List of publications and reserach products for the year 2017 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
A comparison framework for runtime monitoring approaches (Show >>)
Test oracles for simulink-like models (Show >>)
A logic-based approach for the verification of UML timed models (Show >>)
Conference proceedings
Microservices identification through interface analysis (Show >>)
Empowering low-latency applications through a serverless edge computing architecture (Show >>)
MAGNET: A middleware for the proximal interaction of devices based on Wi-Fi direct (Show >>)
Supporting the decision of migrating to microservices through multi-layer fuzzy cognitive maps (Show >>)


List of publications and reserach products for the year 2016 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
A distributed architecture for efficient Web service discovery (Show >>)
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis (Show >>)
Prefazione/Postfazione
Welcome Message from the Chairs of WICSA, QoSA and CBSE (Show >>)
Conference proceedings
How bit-vector logic can help improve the verification of LTL specifications over infinite domains (Show >>)
Learning and evolution in dynamic software product lines (Show >>)
A3Droid: A framework for developing distributed crowdsensing (Show >>)
WiDiSi: A Wi-Fi direct simulator (Show >>)


List of publications and reserach products for the year 2015 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
Formal verification and validation of embedded systems: the UML-based MADES approach (Show >>)
Building Software for the Internet of Things (Show >>)
Conference proceedings
Efficient Scalable Verification of LTL Specifications (Show >>)
SPF: A Middleware for Social Interaction in Mobile Proximity Environments (Show >>)
Event-Based Monitoring of Service-Oriented Smart Spaces (Show >>)
An architecture-centric approach for dynamic smart spaces (Show >>)
Dynamically Evolving the Structural Variability of Dynamic Software Product Lines (Show >>)
Evolution in dynamic software product lines (Show >>)
manifesti v. 3.1.3 / 3.1.3
Area Servizi ICT
18/10/2019