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 2019 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Journal Articles |
|
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 |
|
|
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 |
|
| Conference proceedings |
| 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 |
|
|
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 |
|
|
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 |
|
| 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 >>)(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 |
|
|
|
| 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 |
|
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 |
|
|
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 |
|
| 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 |
|
|
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 |
|
| 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. |
| 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 |
|
| 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 >>)(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 |
|
|
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 |
|
|
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 |
|
| 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 |
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
| 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 >>)(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 |
|
| 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 |
|
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 |
|
|
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 |
|
|
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 GIOVANNI |
| 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 |
|
|
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 |
|
| 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 |
|
| 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 >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; Gundula, Blohm; Dimitrios S., Kolovos; Nicholas, Matragkas; Motta, Alfredo; Richard F., Paige; Alek, Radjenovic; Rossi, MATTEO GIOVANNI |
| Title of the review |
SOFTWARE AND SYSTEMS MODELING (ISSN: 1619-1366) |
| Volume |
14 |
| Brochure |
1 |
| Pages |
343 - 363 |
| Item link |
http://hdl.handle.net/11311/758852 |
|
| Author/s |
BARESI, LUCIANO; MOTTOLA, LUCA; Dustdar, Schahram |
| Title of the review |
IEEE INTERNET COMPUTING (ISSN: 1089-7801) |
| Volume |
19 |
| Brochure |
2 |
| Pages |
6 - 8 |
| Item link |
http://hdl.handle.net/11311/988923 |
|
| Conference proceedings |
|
Efficient Scalable Verification of LTL Specifications (Show >>)(Hide <<)
|
| Author/s |
BARESI, LUCIANO; POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI; ROSSI, MATTEO GIOVANNI |
| Title of the convention |
International Conference on Software Engineering |
| Location of the convention |
Firenze, Italy |
| Title of the review |
--
|
| Pages |
711 - 721 |
| Item link |
http://hdl.handle.net/11311/964237 |
|
|
SPF: A Middleware for Social Interaction in Mobile Proximity Environments (Show >>)(Hide <<)
|
| Author/s |
BARESI, LUCIANO; Goix, Laurent Walter; GUINEA MONTALVO, SAM JESUS ALEJANDRO; Panzica La Manna, Valerio; Aliprandi, Jacopo; Archetti, Dario |
| Title of the convention |
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering |
| Location of the convention |
Florence, Italy |
| Title of the review |
--
|
| Pages |
79 - 88 |
| Item link |
http://hdl.handle.net/11311/964720 |
|
|
Event-Based Monitoring of Service-Oriented Smart Spaces (Show >>)(Hide <<)
|
| Author/s |
BARESI, LUCIANO; GUINEA MONTALVO, SAM JESUS ALEJANDRO |
| Title of the convention |
2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA) |
| Location of the convention |
Roma, Italia |
| Title of the review |
--
|
| Pages |
123 - 130 |
| Item link |
http://hdl.handle.net/11311/988650 |
|
|
An architecture-centric approach for dynamic smart spaces (Show >>)(Hide <<)
|
| Author/s |
BARESI, LUCIANO; Shahzada, Adnan |
| Title of the convention |
9th European Conference on Software Architecture, ECSA 2015 |
| Location of the convention |
hrv |
| Period of the convention |
2015 |
| Title of the review |
--
|
| Pages |
277 - 284 |
| Item link |
http://hdl.handle.net/11311/988924 |
|
|
Dynamically Evolving the Structural Variability of Dynamic Software Product Lines (Show >>)(Hide <<)
|
| Author/s |
Baresi, Luciano; Quinton, Clement |
| Title of the convention |
10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015 |
| Location of the convention |
ita |
| Period of the convention |
2015 |
| Title of the review |
--
|
| Pages |
57 - 63 |
| Item link |
http://hdl.handle.net/11311/988925 |
|
| Author/s |
Quinton, Clément; Rabiser, Rick; Vierhauser, Michael; Grünbacher, Paul; Baresi, Luciano |
| Title of the convention |
International Conference on Software Product Line |
| Location of the convention |
usa |
| Title of the review |
--
|
| Pages |
126 - 130 |
| Item link |
http://hdl.handle.net/11311/988926 |
|
|
|
