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
|
In case of structured courses taught by more lecturers, the number of students enrolled is related to the individual lecturer module, while the students opinion of the teaching is related to the course as a whole.
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 lecturer, are available on the personal web page and in the curriculum vitae indicated on this webpage.
| Office hours | | Department | Floor | Office | Day | Timetable | Telephone | Fax | Notes |
|---|
| Dipartimento di Meccanica | --- | --- | --- | From :
To : | (02.2339).3561 | --- | Su appuntamento (contattare via telefono o email) |
| | E-mail | matteo.rossi@polimi.it | | Personal website | --- |
| List of publications and reserach products for the year 2025 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Journal Articles |
|
Data-Driven Energy Modeling of Machining Centers Through Automata Learning (Show >>)(Hide <<)
|
| Author/s |
Lestingi, Livia; Frigerio, Nicla; Bersani, Marcello M.; Matta, Andrea; Rossi, Matteo |
| Title of the review |
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (ISSN: 1545-5955) |
| Volume |
22 |
| Brochure |
-- |
| Pages |
5769 - 5780 |
| Item link |
http://hdl.handle.net/11311/1270148 |
|
| List of publications and reserach products for the year 2024 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Conference proceedings |
|
An Educational Module for Temporal Features in Alloy 6 (Show >>)(Hide <<)
|
| Author/s |
Padalino, L.; Panaccione, F. P.; Santambrogio, F.; Di Nitto, E.; Rossi, M. |
| Title of the convention |
6th International Workshop on Formal Methods Teaching, FMTea 2024 |
| Location of the convention |
ita |
| Period of the convention |
2024 |
| Title of the review |
--
|
| Pages |
75 - 90 |
| Item link |
http://hdl.handle.net/11311/1279229 |
|
|
Efficient Verification of Protection System Configuration of Electrical Distribution Grids (Show >>)(Hide <<)
|
| Author/s |
Pellei, Francesco; Abdelkhalek Mansour, Ahmed Nagy; Ragaini, Enrico; Grillo, Samuele; Rossi, Matteo |
| Title of the convention |
2024 IEEE PES Innovative Smart Grid Technologies Europe Conference, ISGT EUROPE 2024 |
| Location of the convention |
Croatia |
| Period of the convention |
2024 |
| Title of the review |
--
|
| Pages |
1 - 5 |
| Item link |
http://hdl.handle.net/11311/1287353 |
|
|
Towards Verifiable Multi-Agent Interaction Pattern Specification (Show >>)(Hide <<)
|
| Author/s |
Tagliaferro, Alberto; Lestingi, Livia; Rossi, Matteo |
| Title of the convention |
International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Location of the convention |
Lisbon, Portugal |
| Title of the review |
--
|
| Pages |
122 - 126 |
| Item link |
http://hdl.handle.net/11311/1267105 |
|
|
Verification-Oriented Specification of Multi-agent Interaction Patterns (Show >>)(Hide <<)
|
| Author/s |
Tagliaferro, A.; Lestingi, L.; Rossi, M. |
| Title of the convention |
Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2024) |
| Location of the convention |
Santiago di Compostela |
| Title of the review |
--
|
| Pages |
38 - 53 |
| Item link |
http://hdl.handle.net/11311/1277108 |
|
| Journal Articles |
|
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification (Show >>)(Hide <<)
|
| Author/s |
Lestingi, Livia; Manglaviti, Andrea; Marinaro, Davide; Marinello, Luca; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo |
| Title of the review |
SOFTWARE AND SYSTEMS MODELING (ISSN: 1619-1366) |
| Volume |
23 |
| Brochure |
2 |
| Pages |
473 - 502 |
| Item link |
http://hdl.handle.net/11311/1247937 |
|
|
Interoperability of heterogeneous Systems of Systems: from requirements to a reference architecture (Show >>)(Hide <<)
|
| Author/s |
Sadeghi, Mersedeh; Carenini, Alessio; Corcho, Oscar; Rossi, Matteo; Santoro, Riccardo; Vogelsang, Andreas |
| Title of the review |
THE JOURNAL OF SUPERCOMPUTING (ISSN: 0920-8542) |
| Volume |
80 |
| Brochure |
7 |
| Pages |
8954 - 8987 |
| Item link |
http://hdl.handle.net/11311/1261473 |
|
|
Optimising Queries for Pattern Detection Over Large Scale Temporally Evolving Graphs (Show >>)(Hide <<)
|
| Author/s |
Chaudhry, Hassan Nazeer; Rossi, Matteo |
| Title of the review |
IEEE ACCESS (ISSN: 2169-3536) |
| Volume |
12 |
| Brochure |
-- |
| Pages |
86790 - 86808 |
| Item link |
http://hdl.handle.net/11311/1268431 |
|
|
Ride2Rail: integrating ridesharing to increase the attractiveness of rail travel (Show >>)(Hide <<)
|
| Author/s |
Golightly, David; Altobelli, Emiliano; Bassi, Nicola; Buchníček, Petr; Consonni, Cristian; Juránková, Petra; Mitropoulos, Lambros; Rizzi, Giuseppe; Rossi, Matteo; Scrocca, Mario; Rutanen, Eetu; Kortsari, Annie; Niavis, Harris |
| Title of the review |
EUROPEAN TRANSPORT RESEARCH REVIEW (ISSN: 1866-8887) |
| Volume |
16 |
| Brochure |
1 |
| Pages |
1 - 12 |
| Item link |
http://hdl.handle.net/11311/1261474 |
|
| List of publications and reserach products for the year 2023 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Conference proceedings |
|
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems (Show >>)(Hide <<)
|
| Author/s |
Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia |
| Title of the convention |
2023 IEEE 31st International Requirements Engineering Conference Workshops (REW) |
| Location of the convention |
Hannover, Germany |
| Title of the review |
--
|
| Pages |
309 - 315 |
| Item link |
http://hdl.handle.net/11311/1251661 |
|
|
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids (Show >>)(Hide <<)
|
| Author/s |
Mansour, Ahmed Nagy Abdelkhalek; Grillo, Samuele; Ragaini, Enrico; Rossi, Matteo |
| Title of the convention |
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Location of the convention |
Melbourne |
| Title of the review |
--
|
| Pages |
120 - 129 |
| Item link |
http://hdl.handle.net/11311/1245879 |
|
| Author/s |
Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia |
| Title of the convention |
European Conference on Software Architecture (ECSA 2023) |
| Location of the convention |
Istanbul, Turkey |
| Title of the review |
--
|
| Pages |
153 - 169 |
| Item link |
http://hdl.handle.net/11311/1249858 |
|
|
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning (Show >>)(Hide <<)
|
| Author/s |
Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo |
| Title of the convention |
11th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Location of the convention |
Melbourne, Australia |
| Title of the review |
--
|
| Pages |
18 - 28 |
| Item link |
http://hdl.handle.net/11311/1243584 |
|
|
Interoperability of Heterogeneous Systems of Systems: Review of Challenges, Emerging Requirements and Options (Show >>)(Hide <<)
|
| Author/s |
Sadeghi, Mersedeh; Carenini, Alessio; Corcho, Oscar; Rossi, Matteo; Santoro, Riccardo; Vogelsang, Andreas |
| Title of the convention |
38th ACM/SIGAPP Symposium on Applied Computing |
| Location of the convention |
Tallinn, Estonia |
| Title of the review |
--
|
| Pages |
741 - 750 |
| Item link |
http://hdl.handle.net/11311/1240258 |
|
|
Rigorous Automated Verification of Protection Systems in LV Distribution Grids (Show >>)(Hide <<)
|
| Author/s |
Mansour, Ahmed Nagy Abdelkhalek; Grillo, Samuele; Ragaini, Enrico; Rossi, Matteo |
| Title of the convention |
2023 IEEE International Conference on Environment and Electrical Engineering and 2023 IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe) |
| Location of the convention |
Madrid |
| Period of the convention |
06/06/2023-09/06/2023 |
| Title of the review |
--
|
| Pages |
1 - 6 |
| Item link |
http://hdl.handle.net/11311/1247482 |
|
|
Towards Better Trust in Human-Machine Teaming through Explainable Dependability (Show >>)(Hide <<)
|
| Author/s |
Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia |
| Title of the convention |
IEEE 20th International Conference on Software Architecture |
| Location of the convention |
L'Aquila, Italy |
| Title of the review |
--
|
| Pages |
86 - 90 |
| Item link |
http://hdl.handle.net/11311/1236165 |
|
| Journal Articles |
|
Automated Creation of Mappings between Data Specifications through Linguistic and Structural Techniques (Show >>)(Hide <<)
|
| Author/s |
Kalwar, Safia; Rossi, Matteo; Sadeghi, Mersedeh |
| Title of the review |
IEEE ACCESS (ISSN: 2169-3536) |
| Volume |
11 |
| Brochure |
-- |
| Pages |
30324 - 30339 |
| Item link |
http://hdl.handle.net/11311/1232570 |
|
|
Specification, stochastic modeling and analysis of interactive service robotic applications (Show >>)(Hide <<)
|
| Author/s |
Lestingi, Livia; Zerla, Davide; Bersani, Marcello M.; Rossi, Matteo |
| Title of the review |
ROBOTICS AND AUTONOMOUS SYSTEMS (ISSN: 0921-8890) |
| Volume |
163 |
| Brochure |
-- |
| Pages |
1 - 34 |
| Item link |
http://hdl.handle.net/11311/1231048 |
|
| List of publications and reserach products for the year 2022 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Conference proceedings |
| Author/s |
Samavati, Sepehr; Nemirovskiy, Alexander; Rossi, Matteo |
| Title of the convention |
International Conference on Intelligent Transportation Systems |
| Location of the convention |
Macau |
| Period of the convention |
08/10/2022-12/10/2022 |
| Title of the review |
--
|
| Pages |
2655 - 2662 |
| Item link |
http://hdl.handle.net/11311/1223156 |
|
|
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings (Show >>)(Hide <<)
|
| Author/s |
Lestingi, Livia; Sbrolli, Cristian; Scarmozzino, Pasquale; Romeo, Giorgio; Bersani, Marcello M.; Rossi, Matteo |
| Title of the convention |
10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022 |
| Location of the convention |
Pittsburgh, PA, USA |
| Title of the review |
--
|
| Pages |
80 - 90 |
| Item link |
http://hdl.handle.net/11311/1218320 |
|
|
Personalized Context-Aware Recommender System for Travelers (Show >>)(Hide <<)
|
| Author/s |
Shekari, Mahsa; JAVADIAN SABET, Alireza; Guan, Chaofeng; Rossi, Matteo; Schreiber, Fabio A.; Tanca, Letizia |
| Title of the convention |
30th Italian Symposium on Advanced Database Systems, SEBD 2022 |
| Location of the convention |
Tirrenia (Italy) |
| Period of the convention |
19/06/2022-22/06/2022 |
| Title of the review |
--
|
| Pages |
497 - 504 |
| Item link |
http://hdl.handle.net/11311/1223162 |
|
| Journal Articles |
|
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior (Show >>)(Hide <<)
|
| Author/s |
Lestingi, L.; Bersani, M. M.; Rossi, M. |
| Title of the review |
IEEE INTELLIGENT SYSTEMS (ISSN: 1541-1672) |
| Volume |
37 |
| Brochure |
6 |
| Pages |
48 - 56 |
| Item link |
http://hdl.handle.net/11311/1223151 |
|
|
On How Bit-Vector Logic Can Help Verify LTL-based Specifications (Show >>)(Hide <<)
|
| Author/s |
Pourhashem Kallehbasti, Mohammad Mehdi; Rossi, Matteo Giovanni; Baresi, Luciano |
| Title of the review |
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (ISSN: 0098-5589) |
| Volume |
48 |
| Brochure |
4 |
| Pages |
1154 - 1168 |
| Item link |
http://hdl.handle.net/11311/1154585 |
|
|
THOR: A Hybrid Recommender System for the Personalized Travel Experience (Show >>)(Hide <<)
|
| Author/s |
Javadian Sabet, Alireza; Shekari, Mahsa; Guan, Chaofeng; Rossi, Matteo; Schreiber, Fabio; Tanca, Letizia |
| Title of the review |
BIG DATA AND COGNITIVE COMPUTING (ISSN: 2504-2289) |
| Volume |
6 |
| Brochure |
4 |
| Pages |
1 - 19 |
| Item link |
http://hdl.handle.net/11311/1223157 |
|
| List of publications and reserach products for the year 2021 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Conference proceedings |
|
A semantic-based access control mechanism for distributed systems (Show >>)(Hide <<)
|
| Author/s |
Sadeghi, M.; Sartor, L.; Rossi, M. |
| Title of the convention |
36th Annual ACM Symposium on Applied Computing, SAC 2021 |
| Location of the convention |
Korea |
| Period of the convention |
2021 |
| Title of the review |
--
|
| Pages |
1864 - 1873 |
| Item link |
http://hdl.handle.net/11311/1187753 |
|
| Author/s |
Smith, Robert L.; Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San |
| Title of the convention |
IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Location of the convention |
Madrid |
| Title of the review |
--
|
| Pages |
97 - 110 |
| Item link |
http://hdl.handle.net/11311/1186110 |
|
| Author/s |
PINCIROLI VAGO, NICOLÒ ORESTE; Sacaj, Mario; Sadeghi, Mersedeh; Kalwar, Safia; Vogelsang, Andreas; Rossi, Matteo G. |
| Title of the convention |
Sem4Tra 2021 - Semantics And The Web For Transport 2021 |
| Location of the convention |
Online |
| Title of the review |
--
|
| Pages |
1 - 10 |
| Item link |
http://hdl.handle.net/11311/1203194 |
|
| Author/s |
Sabet, A. J.; Gopalakrishnan, S.; Rossi, M.; Schreiber, F. A.; Tanca, L. |
| Title of the convention |
2021 IEEE International Conference on Artificial Intelligence and Computer Applications, ICAICA 2021 |
| Location of the convention |
chn |
| Period of the convention |
2021 |
| Title of the review |
--
|
| Pages |
358 - 365 |
| Item link |
http://hdl.handle.net/11311/1190977 |
|
| Author/s |
Askarpour, Mehrnoosh; Tsigkanos, Christos; Menghi, Claudio; Calinescu, Radu; Pelliccione, Patrizio; Garcia, Sergio; Caldas, Ricardo; von Oertzen, Tim J; Wimmer, Manuel; Berardinelli, Luca; Rossi, Matteo; Bersani, Marcello M.; Rodrigues, Gabriel S. |
| Title of the convention |
2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) |
| Location of the convention |
Madrid |
| Title of the review |
--
|
| Pages |
245 - 251 |
| Item link |
http://hdl.handle.net/11311/1186111 |
|
|
SMART: Towards automated mapping between data specifications (Show >>)(Hide <<)
|
| Author/s |
Kalwar, S.; Sadeghi, M.; Sabet, A. J.; Nemirovskiy, A.; Rossi, M. |
| Title of the convention |
33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021 |
| Location of the convention |
KSIR Virtual Conference Center, usa |
| Period of the convention |
2021 |
| Title of the review |
--
|
| Pages |
429 - 436 |
| Item link |
http://hdl.handle.net/11311/1186112 |
|
|
Temporal Pattern Recognition in Graph Data Structures (Show >>)(Hide <<)
|
| Author/s |
Daverio, Pietro; Chaudhry, HASSAN NAZEER; Margara, Alessandro; Rossi, MATTEO GIOVANNI |
| Title of the convention |
IEEE International Conference on Big Data |
| Location of the convention |
Orlando, FL, USA |
| Title of the review |
--
|
| Pages |
2753 - 2763 |
| Item link |
http://hdl.handle.net/11311/1198509 |
|
|
Towards learning travelers’ preferences in a context-aware fashion (Show >>)(Hide <<)
|
| Author/s |
Javadian Sabet, A.; Rossi, M.; Schreiber, F. A.; Tanca, L. |
| Title of the convention |
11th International Symposium on Ambient Intelligence, ISAmI 2020 |
| Location of the convention |
ita |
| Period of the convention |
2020 |
| Title of the review |
--
|
| Pages |
203 - 212 |
| Item link |
http://hdl.handle.net/11311/1166953 |
|
| Journal Articles |
|
A Deployment Framework for Formally Verified Human-Robot Interactions (Show >>)(Hide <<)
|
| Author/s |
Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo Giovanni |
| Title of the review |
IEEE ACCESS (ISSN: 2169-3536) |
| Volume |
9 |
| Brochure |
-- |
| Pages |
136616 - 136635 |
| Item link |
http://hdl.handle.net/11311/1186933 |
|
|
A semantic-based access control approach for systems of systems (Show >>)(Hide <<)
|
| Author/s |
Sadeghi, Mersedeh; Sartor, Luca; Rossi, Matteo |
| Title of the review |
APPLIED COMPUTING REVIEW (ISSN: 1559-6915) |
| Volume |
21 |
| Brochure |
4 |
| Pages |
5 - 19 |
| Item link |
http://hdl.handle.net/11311/1207349 |
|
|
Formally-based Model-Driven Development of Collaborative Robotic Applications (Show >>)(Hide <<)
|
| Author/s |
Askarpour, Mehrnoosh; Lestingi, Livia; Longoni, Samuele; Iannacci, Niccolò; Rossi, Matteo; Vicentini, Federico |
| Title of the review |
JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS (ISSN: 0921-0296) |
| Volume |
102 |
| Brochure |
3 |
| Pages |
1 - 26 |
| Item link |
http://hdl.handle.net/11311/1175632 |
|
|
|
