With this function you can construct your weekly calendar of lessons, which is customized on the basis of the courses that you intend to follow.
Warning: the personal schedule does not replace the presentation of the study plan! It's an informal tool that can help you better manage the organization of class attendance before the study plan presentation.
After the study plan presentation we recommend you to use the Lecture timetable service in your Online Services.
To create your customized schedule follow these instructions:
- Click on the "Enable" link to proceed. You will be asked your surname and first name in order to determine your alphabetic grouping.
-
To add or remove courses from your personal schedule, use the small icons which are found next to the courses:
 addition of the course removal of the course selection of the section of the Laboratory of Architecture
(Note: the effective area in which the teaching will be carried out will be determined after the presentation of the Study Plans)
-
The sidebar on the left displays the number of lessons included in schedule.
There are also these commands:
 View the schedule: allows the viewing of the weekly synoptic schedule Delete the schedule: cancels the selections made
When you have finished the entry, you can print the calendar you have made.
| Semester (Sem) | | 1 | First Semester | | 2 | Second Semester | | A | Annual course | | (1) | First Half-semester | | (2) | Second Half-semester |
|
Language
|
|
|
Course completely offered in italian
|
|
|
Course completely offered in english
|
|
--
|
Not available
|
|
Note on the teaching activities
|
The calculation of the number of students enrolled only considers students enrolled in the academic year in question and does not include any possible students who may be attending but who are enrolled in previous academic years.
In case of structured courses taught by more professors, the number of students enrolled is related to the course as a whole, while the students opinion of the teaching is related to individual modules and individual professors.
The data related to the last academic years (number of students enrolled and students opinion of the teaching) have not yet been defined.
|
|
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.
| Professor's office hours | | Department | Floor | Office | Day | Timetable | Telephone | Fax | Notes |
|---|
| DEIB | 3574 | 5 | Monday | From 13:00
To 14:00 | 3638 | 3574 | Su appuntamento nel mio ufficio a Cremona | | DEIB | 3574 | 316 | Friday | From 12:00
To 14:00 | 3638 | 3574 | su appuntamento |
| | E-mail | luciano.baresi@polimi.it | | Professor's personal website | http://home.deib.polimi.it/baresi/ |
| 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 >>)(Hide <<)
|
| Author/s |
Baresi, L.; Bersani, M. M.; Marconi, F.; Quattrocchi, G.; Rossi, M. |
| Title of the review |
FORMAL ASPECTS OF COMPUTING (ISSN: 0934-5043) |
| Volume |
N/A |
| Brochure |
-- |
| Pages |
N/A |
| Item link |
http://hdl.handle.net/11311/1135498 |
|
| 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 >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; Mendonça, Danilo Filgueira; Quattrocchi, Giovanni |
| Title of the convention |
Service-Oriented Computing - 17th International Conference |
| Location of the convention |
Toulouse, France |
| Title of the review |
--
|
| Pages |
508 - 522 |
| Item link |
http://hdl.handle.net/11311/1120705 |
|
|
Symbolic execution-driven extraction of the parallel execution plans of Spark applications (Show >>)(Hide <<)
|
| Author/s |
Baresi, L.; Denaro, G.; Quattrocchi, G. |
| Title of the convention |
27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2019 |
| Location of the convention |
est |
| Period of the convention |
2019 |
| Title of the review |
--
|
| Pages |
246 - 256 |
| Item link |
http://hdl.handle.net/11311/1120700 |
|
| Author/s |
Baresi, L.; Quattrocchi, G. |
| Title of the convention |
24th International Conference on Parallel and Distributed Computing, Euro-Par 2018 |
| Location of the convention |
ita |
| Period of the convention |
2018 |
| Title of the review |
--
|
| Pages |
106 - 118 |
| Item link |
http://hdl.handle.net/11311/1120663 |
|
| Journal Articles |
|
A unified model for the mobile-edge-cloud continuum (Show >>)(Hide <<)
|
| Author/s |
Baresi, L.; Mendonca, D. F.; Garriga, M.; Guinea, S.; Quattrocchi, G. |
| Title of the review |
ACM TRANSACTIONS ON INTERNET TECHNOLOGY (ISSN: 1533-5399) |
| Volume |
19 |
| Brochure |
2 |
| Pages |
1 - 21 |
| Item link |
http://hdl.handle.net/11311/1120706 |
|
|
Fine-grained Dynamic Resource Allocation for Big-Data Applications (Show >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; Leva, Alberto; Quattrocchi, Giovanni |
| Title of the review |
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (ISSN: 0098-5589) |
| Volume |
Early Access |
| Brochure |
-- |
| Pages |
1 - 17 |
| Item link |
http://hdl.handle.net/11311/1120719 |
|
|
Office building occupancy monitoring through image recognition sensors (Show >>)(Hide <<)
|
| Author/s |
Mannino, Antonino; Moretti, Nicola; Dejaco, MARIO CLAUDIO; Baresi, Luciano; RE CECCONI, Fulvio |
| Title of the review |
INTERNATIONAL JOURNAL OF SAFETY AND SECURITY ENGINEERING (ISSN: 2041-9031) |
| Volume |
9 |
| Brochure |
4 |
| Pages |
371 - 380 |
| Item link |
http://hdl.handle.net/11311/1118738 |
|
| 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 >>)(Hide <<)
|
| Author/s |
Rabiser, R.; Guinea, S.; Vierhauser, M.; Baresi, L.; Grunbacher, P. |
| Title of the book |
25th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018 - Proceedings (ISBN: 978-1-5386-4969-5) |
| Publisher |
Institute of Electrical and Electronics Engineers Inc. |
| Number of pages |
1 |
| Title of the convention |
25th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018 |
| Location of the convention |
University of Molise, ita |
| Period of the convention |
2018 |
| Volume |
2018- |
| Pages |
472 |
| Item link |
http://hdl.handle.net/11311/1120653 |
|
| Contributions on scientific books |
| Author/s of the contributin |
Baresi, Luciano |
| Title of the book |
Encyclopedia of Database Systems, Second Edition (ISBN: 978-1-4614-8266-6; 978-1-4614-8265-9) |
| Author/s of the book |
Ling Liu and M. Tamer Ozsu |
| Publisher |
Springer |
| Pages |
51 - 56 |
| Item link |
http://hdl.handle.net/11311/1120646 |
|
| Conference proceedings |
|
Fine-grained Context-aware Access Control for Smart Devices (Show >>)(Hide <<)
|
| Author/s |
Baresi, L.; Sadeghi, M. |
| Title of the convention |
The 8th International Conference On Computer Science and Information Technology ( CSIT2018) |
| Location of the convention |
Jordan, Amman |
| Title of the review |
--
|
| Pages |
1 - 6 |
| Item link |
http://hdl.handle.net/11311/1062384 |
|
|
LIQDROID: Towards seamlessly distributed Android applications (Show >>)(Hide <<)
|
| Author/s |
Baresi, L.; Imani, A.; Fr, C.; Valla, M. |
| Title of the convention |
5th ACM/IEEE 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft 2018, collocated with the 40th International Conference on Software Engineering, ICSE 2018 |
| Location of the convention |
swe |
| Period of the convention |
2018 |
| Title of the review |
--
|
| Pages |
166 - 175 |
| Item link |
http://hdl.handle.net/11311/1120658 |
|
| Author/s |
Marconi, F.; Quattrocchi, G.; Baresi, L.; Bersani, M. M.; Rossi, M. |
| Title of the convention |
10th International Symposium on NASA Formal Methods, NFM 2018 |
| Location of the convention |
usa |
| Period of the convention |
2018 |
| Title of the review |
--
|
| Pages |
315 - 332 |
| Item link |
http://hdl.handle.net/11311/1120655 |
|
|
TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation (Show >>)(Hide <<)
|
| Author/s |
Baresi, L.; Sadeghi, M.; Valla, M. |
| Title of the convention |
Proceedings of the 11th IEEE International Conference on Internet of Things (iThings) |
| Location of the convention |
Halifax Canada |
| Title of the review |
--
|
| Pages |
1 - 8 |
| Item link |
http://hdl.handle.net/11311/1062372 |
|
| Journal Articles |
|
Multi-party business process compliance monitoring through IoT-enabled artifacts (Show >>)(Hide <<)
|
| Author/s |
Meroni, Giovanni; Baresi, Luciano; Montali, Marco; Plebani, Pierluigi |
| Title of the review |
INFORMATION SYSTEMS (ISSN: 0306-4379) |
| Volume |
73 |
| Brochure |
-- |
| Pages |
61 - 78 |
| Item link |
http://hdl.handle.net/11311/1045452 |
|
|
|
| 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 >>)(Hide <<)
|
| Author/s of the contributin |
de Lemos, Rogério; Garlan, David; Ghezzi, Carlo; Giese, Holger; Andersson, Jesper; Litoiu, Marin; Schmerl, Bradley; Weyns, Danny; Baresi, Luciano; Bencomo, Nelly; Brun, Yuriy; Camara, Javier; Calinescu, Radu; Cohen, Myra B.; Gorla, Alessandra; Grassi, Vincenzo; Grunske, Lars; Inverardi, Paola; Jezequel, Jean-Marc; Malek, Sam; Mirandola, Raffaela; Mori, Marco; Müller, Hausi A.; Rouvoy, Romain; Rubira, Cecília M. F.; Rutten, Eric; Shaw, Mary; Tamburrelli, Giordano; Tamura, Gabriel; Villegas, Norha M.; Vogel, Thomas; Zambonelli, Franco |
| Title of the book |
Software Engineering for Self-Adaptive Systems III. Assurances. (ISBN: 9783319741826) |
| Author/s of the book |
de Lemos R., Garlan D., Ghezzi C., Giese H. |
| Publisher |
Springer Verlag |
| Pages |
3 - 30 |
| Item link |
http://hdl.handle.net/11311/1046572 |
|
| Conference proceedings |
|
Empowering low-latency applications through a serverless edge computing architecture (Show >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; Filgueira Mendonça, Danilo; Garriga, Martin |
| Title of the convention |
6th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2017 |
| Location of the convention |
nor |
| Period of the convention |
2017 |
| Title of the review |
LECTURE NOTES IN COMPUTER SCIENCE (ISSN: 1611-3349)
|
| Pages |
196 - 210 |
| Item link |
http://hdl.handle.net/11311/1045455 |
|
|
MAGNET: A middleware for the proximal interaction of devices based on Wi-Fi direct (Show >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; Derakhshan, Naser; Guinea, Sam; Arenella, Francesco |
| Title of the convention |
2017 IEEE International Conference on Communications, ICC 2017 |
| Location of the convention |
fra |
| Period of the convention |
2017 |
| Title of the review |
--
|
| Pages |
1 - 7 |
| Item link |
http://hdl.handle.net/11311/1045457 |
|
|
Microservices identification through interface analysis (Show >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; Garriga, Martin; De Renzis, Alan |
| Title of the convention |
6th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2017 |
| Location of the convention |
nor |
| Period of the convention |
2017 |
| Title of the review |
LECTURE NOTES IN COMPUTER SCIENCE (ISSN: 1611-3349)
|
| Pages |
19 - 33 |
| Item link |
http://hdl.handle.net/11311/1045454 |
|
|
Supporting the decision of migrating to microservices through multi-layer fuzzy cognitive maps (Show >>)(Hide <<)
|
| Author/s |
Christoforou, Andreas; Garriga, Martin; Andreou, Andreas S.; Baresi, Luciano |
| Title of the convention |
15th International Conference on Service-Oriented Computing, ICSOC 2017 |
| Location of the convention |
esp |
| Period of the convention |
2017 |
| Title of the review |
LECTURE NOTES IN COMPUTER SCIENCE (ISSN: 1611-3349)
|
| Pages |
471 - 480 |
| Item link |
http://hdl.handle.net/11311/1045458 |
|
|
mArtifact: an Artifact-driven Process Monitoring Platform (Show >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; Di Ciccio, Claudio; Mendling, Jan; Meroni, Giovanni; Plebani, Pierluigi |
| Title of the convention |
BPM 2017 Demo Track |
| Location of the convention |
Barcelona |
| Title of the review |
--
|
| Pages |
0 |
| Item link |
http://hdl.handle.net/11311/1032238 |
|
| Journal Articles |
|
A comparison framework for runtime monitoring approaches (Show >>)(Hide <<)
|
| Author/s |
Rabiser, Rick; Guinea Montalvo, Sam Jesus; Vierhauser, Michael; Baresi, Luciano; Grünbacher, Paul |
| Title of the review |
THE JOURNAL OF SYSTEMS AND SOFTWARE (ISSN: 0164-1212) |
| Volume |
125 |
| Brochure |
-- |
| Pages |
309 - 321 |
| Item link |
http://hdl.handle.net/11311/1009047 |
|
|
A logic-based approach for the verification of UML timed models (Show >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; Morzenti, Angelo; Motta, Alfredo; Pourhashem, Mohammad Mehdi; Rossi, Matteo |
| Title of the review |
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY (ISSN: 1049-331X) |
| Volume |
26 |
| Brochure |
2 |
| Pages |
1 - 47 |
| Item link |
http://hdl.handle.net/11311/1045450 |
|
|
Efficient Dynamic Updates of Distributed Components Through Version Consistency (Show >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; Ghezzi, Carlo; Ma, Xiaoxing; Manna, Valerio Panzica La |
| Title of the review |
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (ISSN: 0098-5589) |
| Volume |
43 |
| Brochure |
4 |
| Pages |
340 - 358 |
| Item link |
http://hdl.handle.net/11311/1031379 |
|
| Author/s |
Baresi, Luciano; Delamaro, Marcio; Nardi, Paulo |
| Title of the review |
AUTOMATED SOFTWARE ENGINEERING (ISSN: 0928-8910) |
| Volume |
24 |
| Brochure |
2 |
| Pages |
369 - 391 |
| Item link |
http://hdl.handle.net/11311/1031380 |
|
| 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 >>)(Hide <<)
|
| Author/s |
Muccini, Henry; Harper, K. Eric; Heinrich, Robert; Bosch, Jan; Plouzeau, Noël; Zimmermann, Olaf; Baresi, Luciano; Cortellessa, Vittorio |
| Title of the book |
Proceedings - 2016 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2016 (ISBN: 9781509025695; 9781509025695) |
| Publisher |
Institute of Electrical and Electronics Engineers Inc. |
| Pages |
vii - viii |
| Item link |
http://hdl.handle.net/11311/1009049 |
|
| Conference proceedings |
|
A GSM-based approach for monitoring cross-organization business processes using smart objects (Show >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; Meroni, Giovanni; Plebani, Pierluigi |
| Title of the convention |
Business Process Management Workshops, BPM 2015 |
| Location of the convention |
Innsbruck |
| Period of the convention |
2015 |
| Title of the review |
--
|
| Pages |
389 - 400 |
| Item link |
http://hdl.handle.net/11311/997299 |
|
|
A discrete-Time feedback controller for containerized cloud applications (Show >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; Guinea Montalvo, Sam Jesus; Leva, Alberto; Quattrocchi, Giovanni |
| Title of the convention |
24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016 |
| Location of the convention |
usa |
| Period of the convention |
2016 |
| Title of the review |
--
|
| Pages |
217 - 228 |
| Item link |
http://hdl.handle.net/11311/1009052 |
|
|
A3Droid: A framework for developing distributed crowdsensing (Show >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; GUINEA MONTALVO, SAM JESUS; Mendonça, D. F.; FILGUEIRA MENDONÇA, Danilo |
| Title of the convention |
13th IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016 |
| Location of the convention |
aus |
| Period of the convention |
2016 |
| Title of the review |
--
|
| Pages |
1 - 6 |
| Item link |
http://hdl.handle.net/11311/1009051 |
|
|
How bit-vector logic can help improve the verification of LTL specifications over infinite domains (Show >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; Kallehbasti, Mohammad Mehdi Pourhashem; Rossi, Matteo |
| Title of the convention |
31st Annual ACM Symposium on Applied Computing, SAC 2016 |
| Location of the convention |
Italy |
| Period of the convention |
2016 |
| Title of the review |
--
|
| Pages |
1666 - 1673 |
| Item link |
http://hdl.handle.net/11311/1005784 |
|
|
Learning and evolution in dynamic software product lines (Show >>)(Hide <<)
|
| Author/s |
Sharifloo, Amir Molzam; Metzger, Andreas; Quinton, Clément; Baresi, Luciano; Pohl, Klaus |
| Title of the convention |
11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016 |
| Location of the convention |
usa |
| Period of the convention |
2016 |
| Title of the review |
--
|
| Pages |
158 - 164 |
| Item link |
http://hdl.handle.net/11311/1009050 |
|
|
MicroCloud: A Container-Based Solution for Efficient Resource Management in the Cloud (Show >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; GUINEA MONTALVO, SAM JESUS; Quattrocchi, Giovanni; Tamburri, DAMIAN ANDREW |
| Title of the convention |
2016 IEEE International Conference on Smart Cloud, SmartCloud 2016 |
| Location of the convention |
usa |
| Period of the convention |
2016 |
| Title of the review |
--
|
| Pages |
218 - 223 |
| Item link |
http://hdl.handle.net/11311/1009053 |
|
|
On Handling Business Process Anomalies through Artifact-based Modeling (Show >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; Meroni, Giovanni; Plebani, Pierluigi |
| Title of the convention |
CAISE 2016 Forum |
| Location of the convention |
Ljubljana |
| Title of the review |
--
|
| Pages |
9 - 16 |
| Item link |
http://hdl.handle.net/11311/994635 |
|
|
Using the guard-stage-milestone notation for monitoring BPMN-based processes (Show >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; Meroni, Giovanni; Plebani, Pierluigi |
| Title of the convention |
17th International Conference on Business Process Modeling, Development and Support, BPMDS 2016 and 21st International Conference on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2016 held at Conference on Advanced Information Systems Engineering, CAiSE 2016 |
| Location of the convention |
Ljubljana |
| Period of the convention |
2016 |
| Title of the review |
--
|
| Pages |
18 - 33 |
| Item link |
http://hdl.handle.net/11311/994634 |
|
| Author/s |
Baresi, Luciano; Derakhshan, Naser; Guinea Montalvo, Sam Jesus |
| Title of the convention |
2016 IEEE Wireless Communications and Networking Conference, WCNC 2016 |
| Location of the convention |
qat |
| Period of the convention |
2016 |
| Title of the review |
--
|
| Pages |
1 - 7 |
| Item link |
http://hdl.handle.net/11311/1009054 |
|
| Journal Articles |
|
A distributed architecture for efficient Web service discovery (Show >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; Miraz, Matteo; Plebani, Pierluigi |
| Title of the review |
SERVICE ORIENTED COMPUTING AND APPLICATIONS (ISSN: 1863-2386) |
| Volume |
10 |
| Brochure |
1 |
| Pages |
1 - 17 |
| Item link |
http://hdl.handle.net/11311/975277 |
|
|
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis (Show >>)(Hide <<)
|
| Author/s |
Mendonça, Danilo Filgueira; Nunes Rodrigues, Genaína; Ali, Raian; Alves, Vander; Baresi, Luciano; FILGUEIRA MENDONÇA, Danilo |
| Title of the review |
INFORMATION AND SOFTWARE TECHNOLOGY (ISSN: 0950-5849) |
| Volume |
80 |
| Brochure |
-- |
| Pages |
246 - 264 |
| Item link |
http://hdl.handle.net/11311/1009048 |
|
|
|
