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 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
Office building occupancy monitoring through image recognition sensors (Show >>)
A unified model for the mobile-edge-cloud continuum (Show >>)
Fine-grained Dynamic Resource Allocation for Big-Data Applications (Show >>)
Conference proceedings
Towards vertically scalable spark applications (Show >>)
Symbolic execution-driven extraction of the parallel execution plans of Spark applications (Show >>)
PAPS: A Framework for Decentralized Self-management at the Edge (Show >>)


List of publications and reserach products for the year 2018 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
Multi-party business process compliance monitoring through IoT-enabled artifacts (Show >>)
What Are We Missing When Testing Our Android Apps? (Show >>)
Contributions on scientific books
Activity Diagrams (Show >>)
Conference proceedings
TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation (Show >>)
Fine-grained Context-aware Access Control for Smart Devices (Show >>)
On the timed analysis of big-data applications (Show >>)
LIQDROID: Towards seamlessly distributed Android applications (Show >>)
Abstract in Atti di convegno
A comparison framework for runtime monitoring approaches (journal-first abstract) (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 >>)
Efficient Dynamic Updates of Distributed Components Through Version Consistency (Show >>)
Test oracles for simulink-like models (Show >>)
A logic-based approach for the verification of UML timed models (Show >>)
Contributions on scientific books
Software engineering for self-adaptive systems: research challenges in the provision of assurances (Show >>)
Conference proceedings
mArtifact: an Artifact-driven Process Monitoring Platform (Show >>)
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
Using the guard-stage-milestone notation for monitoring BPMN-based processes (Show >>)
On Handling Business Process Anomalies through Artifact-based Modeling (Show >>)
A GSM-based approach for monitoring cross-organization business processes using smart objects (Show >>)
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 >>)
A discrete-Time feedback controller for containerized cloud applications (Show >>)
MicroCloud: A Container-Based Solution for Efficient Resource Management in the Cloud (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 >>)
Distributed Coordinated Adaptation of Cloud-based Applications (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.9 / 3.1.9
Area Servizi ICT
10/12/2019