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 full time
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 2020 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
Using formal verification to evaluate the execution time of Spark applications (Show >>)


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


List of publications and reserach products for the year 2018 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Abstract in Atti di convegno
A comparison framework for runtime monitoring approaches (journal-first abstract) (Show >>)
Contributions on scientific books
Activity Diagrams (Show >>)
Conference proceedings
Fine-grained Context-aware Access Control for Smart Devices (Show >>)
LIQDROID: Towards seamlessly distributed Android applications (Show >>)
On the timed analysis of big-data applications (Show >>)
TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation (Show >>)
Journal Articles
Multi-party business process compliance monitoring through IoT-enabled artifacts (Show >>)
What Are We Missing When Testing Our Android Apps? (Show >>)


List of publications and reserach products for the year 2017 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Contributions on scientific books
Software engineering for self-adaptive systems: research challenges in the provision of assurances (Show >>)
Conference proceedings
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 >>)
Microservices identification through interface analysis (Show >>)
Supporting the decision of migrating to microservices through multi-layer fuzzy cognitive maps (Show >>)
mArtifact: an Artifact-driven Process Monitoring Platform (Show >>)
Journal Articles
A comparison framework for runtime monitoring approaches (Show >>)
A logic-based approach for the verification of UML timed models (Show >>)
Efficient Dynamic Updates of Distributed Components Through Version Consistency (Show >>)
Test oracles for simulink-like models (Show >>)


List of publications and reserach products for the year 2016 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Prefazione/Postfazione
Welcome Message from the Chairs of WICSA, QoSA and CBSE (Show >>)
Conference proceedings
A GSM-based approach for monitoring cross-organization business processes using smart objects (Show >>)
A discrete-Time feedback controller for containerized cloud applications (Show >>)
A3Droid: A framework for developing distributed crowdsensing (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 >>)
MicroCloud: A Container-Based Solution for Efficient Resource Management in the Cloud (Show >>)
On Handling Business Process Anomalies through Artifact-based Modeling (Show >>)
Using the guard-stage-milestone notation for monitoring BPMN-based processes (Show >>)
WiDiSi: A Wi-Fi direct simulator (Show >>)
Journal Articles
A distributed architecture for efficient Web service discovery (Show >>)
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis (Show >>)
manifesti v. 3.3.7 / 3.3.7
Area Servizi ICT
10/07/2020