Con questa funzione puoi costruire il tuo calendario settimanale delle lezioni, personalizzato sulla base dei corsi che intendi seguire.
Attenzione: l'Orario Personalizzato non sostituisce la presentazione del piano degli studi! E' uno strumento informale, che ti può aiutare a gestire al meglio l'organizzazione della frequenza alle lezioni prima della presentazione del piano studi.
Dopo aver presentato piano ti raccomandiamo di utilizzare il servizio Orario delle lezioni presente nel tuo elenco dei Servizi Online.
Per creare il calendario personalizzato segui queste istruzioni:
- Clicca sul link "Abilita" per procedere. Ti verrà chiesto il cognome e nome per determinare il tuo scaglione alfabetico.
-
Per aggiungere o togliere insegnamenti dal tuo Orario Personalizzato, utilizza le iconcine che trovi in corrispondenza degli insegnamenti:
 aggiunta dell'insegnamento rimozione dell'insegnamento selezione della sezione del laboratorio di Architettura
(N.B: la sezione effettiva in cui si dovrà seguire la didattica verrà determinata dopo la presentazione dei Piani di Studio)
-
Nella barra laterale a sinistra è indicato il numero degli insegnamenti inseriti nell'Orario.
Sono inoltre presenti questi comandi:
 Visualizza orario: permette di visualizzare l'orario sinottico settimanale Elimina orario: cancella le selezioni effettuate
Al termine dell'inserimento, puoi stampare il calendario che hai costruito.
| Semestre (Sem) | | 1 | Primo Semestre | | 2 | Secondo Semestre | | A | Insegnamento Annuale | | (1) | Primo Emisemestre | | (2) | Secondo Emisemestre |
|
Lingua d'erogazione
|
|
|
Insegnamento completamente offerto in lingua italiana
|
|
|
Insegnamento completamente offerto in lingua inglese
|
|
--
|
Non definita
|
|
Note sulle attività didattiche
|
Nel caso di corsi strutturati in moduli, tenuti da più docenti, il numero di studenti iscritti è riferito al modulo del docente citato nel riquadro.
Il dato sull'opinione degli studenti riguarda il corso strutturato nel suo complesso.
I dati relativi all'ultimo anno accademico (numero di studenti iscritti e l'opinione degli studenti sulla didattica) non sono ancora definitivi.
|
|
Le informazioni sulla didattica, sulla ricerca e sui compiti istituzionali riportate in questa pagina sono certificate dall'Ateneo; ulteriori informazioni, redatte a cura del docente, sono disponibili sulla pagina web personale e nel curriculum vitae indicati nella scheda.
| Orario di ricevimento | | Dipartimento | Piano | Ufficio | Giorno | Orario | Telefono | Fax | Note |
|---|
| Dipartimento di Meccanica | --- | --- | --- | Dalle :
Alle : | (02.2339).3561 | --- | Su appuntamento (contattare via telefono o email) |
| | E-mail | matteo.rossi@polimi.it | | Pagina web redatta a cura del docente | --- |
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2025 |
| Nessun prodotto attualmente registrato nell'anno 2025 |
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2024 (Mostra tutto | Nascondi tutto) |
| Tipologia |
Titolo Pubblicazione/Prodotto |
| Contributo in Atti di convegno |
| Autore/i |
Padalino, L.; Panaccione, F. P.; Santambrogio, F.; Di Nitto, E.; Rossi, M. |
| Titolo del convegno |
6th International Workshop on Formal Methods Teaching, FMTea 2024 |
| Luogo del convegno |
ita |
| Periodo del convegno |
2024 |
| Titolo della rivista |
--
|
| Pagine |
75 - 90 |
| Link al prodotto |
http://hdl.handle.net/11311/1279229 |
|
| Autore/i |
Tagliaferro, Alberto; Lestingi, Livia; Rossi, Matteo |
| Titolo del convegno |
International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Luogo del convegno |
Lisbon, Portugal |
| Titolo della rivista |
--
|
| Pagine |
122 - 126 |
| Link al prodotto |
http://hdl.handle.net/11311/1267105 |
|
| Autore/i |
Tagliaferro, A.; Lestingi, L.; Rossi, M. |
| Titolo del convegno |
Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2024) |
| Luogo del convegno |
Santiago di Compostela |
| Titolo della rivista |
--
|
| Pagine |
38 - 53 |
| Link al prodotto |
http://hdl.handle.net/11311/1277108 |
|
| Articoli su riviste |
|
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification (Mostra >>)(Nascondi <<)
|
| Autore/i |
Lestingi, Livia; Manglaviti, Andrea; Marinaro, Davide; Marinello, Luca; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo |
| Titolo della rivista |
SOFTWARE AND SYSTEMS MODELING (ISSN: 1619-1366) |
| Volume |
23 |
| Fascicolo |
2 |
| Pagine |
473 - 502 |
| Link al prodotto |
http://hdl.handle.net/11311/1247937 |
|
| Autore/i |
Lestingi, Livia; Frigerio, Nicla; Bersani, Marcello M.; Matta, Andrea; Rossi, Matteo |
| Titolo della rivista |
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (ISSN: 1545-5955) |
| Volume |
Online first |
| Fascicolo |
-- |
| Pagine |
1 - 12 |
| Link al prodotto |
http://hdl.handle.net/11311/1270148 |
|
|
Interoperability of heterogeneous Systems of Systems: from requirements to a reference architecture (Mostra >>)(Nascondi <<)
|
| Autore/i |
Sadeghi, Mersedeh; Carenini, Alessio; Corcho, Oscar; Rossi, Matteo; Santoro, Riccardo; Vogelsang, Andreas |
| Titolo della rivista |
THE JOURNAL OF SUPERCOMPUTING (ISSN: 0920-8542) |
| Volume |
80 |
| Fascicolo |
7 |
| Pagine |
8954 - 8987 |
| Link al prodotto |
http://hdl.handle.net/11311/1261473 |
|
|
Optimising Queries for Pattern Detection Over Large Scale Temporally Evolving Graphs (Mostra >>)(Nascondi <<)
|
| Autore/i |
Chaudhry, Hassan Nazeer; Rossi, Matteo |
| Titolo della rivista |
IEEE ACCESS (ISSN: 2169-3536) |
| Volume |
12 |
| Fascicolo |
-- |
| Pagine |
86790 - 86808 |
| Link al prodotto |
http://hdl.handle.net/11311/1268431 |
|
|
Ride2Rail: integrating ridesharing to increase the attractiveness of rail travel (Mostra >>)(Nascondi <<)
|
| Autore/i |
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 |
| Titolo della rivista |
EUROPEAN TRANSPORT RESEARCH REVIEW (ISSN: 1866-8887) |
| Volume |
16 |
| Fascicolo |
1 |
| Pagine |
1 - 12 |
| Link al prodotto |
http://hdl.handle.net/11311/1261474 |
|
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2023 (Mostra tutto | Nascondi tutto) |
| Tipologia |
Titolo Pubblicazione/Prodotto |
| Contributo in Atti di convegno |
|
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems (Mostra >>)(Nascondi <<)
|
| Autore/i |
Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia |
| Titolo del convegno |
2023 IEEE 31st International Requirements Engineering Conference Workshops (REW) |
| Luogo del convegno |
Hannover, Germany |
| Titolo della rivista |
--
|
| Pagine |
309 - 315 |
| Link al prodotto |
http://hdl.handle.net/11311/1251661 |
|
|
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids (Mostra >>)(Nascondi <<)
|
| Autore/i |
Mansour, Ahmed Nagy Abdelkhalek; Grillo, Samuele; Ragaini, Enrico; Rossi, Matteo |
| Titolo del convegno |
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Luogo del convegno |
Melbourne |
| Titolo della rivista |
--
|
| Pagine |
120 - 129 |
| Link al prodotto |
http://hdl.handle.net/11311/1245879 |
|
| Autore/i |
Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia |
| Titolo del convegno |
European Conference on Software Architecture (ECSA 2023) |
| Luogo del convegno |
Istanbul, Turkey |
| Titolo della rivista |
--
|
| Pagine |
153 - 169 |
| Link al prodotto |
http://hdl.handle.net/11311/1249858 |
|
|
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning (Mostra >>)(Nascondi <<)
|
| Autore/i |
Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo |
| Titolo del convegno |
11th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Luogo del convegno |
Melbourne, Australia |
| Titolo della rivista |
--
|
| Pagine |
18 - 28 |
| Link al prodotto |
http://hdl.handle.net/11311/1243584 |
|
|
Interoperability of Heterogeneous Systems of Systems: Review of Challenges, Emerging Requirements and Options (Mostra >>)(Nascondi <<)
|
| Autore/i |
Sadeghi, Mersedeh; Carenini, Alessio; Corcho, Oscar; Rossi, Matteo; Santoro, Riccardo; Vogelsang, Andreas |
| Titolo del convegno |
38th ACM/SIGAPP Symposium on Applied Computing |
| Luogo del convegno |
Tallinn, Estonia |
| Titolo della rivista |
--
|
| Pagine |
741 - 750 |
| Link al prodotto |
http://hdl.handle.net/11311/1240258 |
|
|
Rigorous Automated Verification of Protection Systems in LV Distribution Grids (Mostra >>)(Nascondi <<)
|
| Autore/i |
Mansour, Ahmed Nagy Abdelkhalek; Grillo, Samuele; Ragaini, Enrico; Rossi, Matteo |
| Titolo del convegno |
2023 IEEE International Conference on Environment and Electrical Engineering and 2023 IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe) |
| Luogo del convegno |
Madrid |
| Periodo del convegno |
06/06/2023-09/06/2023 |
| Titolo della rivista |
--
|
| Pagine |
1 - 6 |
| Link al prodotto |
http://hdl.handle.net/11311/1247482 |
|
|
Towards Better Trust in Human-Machine Teaming through Explainable Dependability (Mostra >>)(Nascondi <<)
|
| Autore/i |
Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia |
| Titolo del convegno |
IEEE 20th International Conference on Software Architecture |
| Luogo del convegno |
L'Aquila, Italy |
| Titolo della rivista |
--
|
| Pagine |
86 - 90 |
| Link al prodotto |
http://hdl.handle.net/11311/1236165 |
|
| Articoli su riviste |
|
Automated Creation of Mappings between Data Specifications through Linguistic and Structural Techniques (Mostra >>)(Nascondi <<)
|
| Autore/i |
Kalwar, Safia; Rossi, Matteo; Sadeghi, Mersedeh |
| Titolo della rivista |
IEEE ACCESS (ISSN: 2169-3536) |
| Volume |
11 |
| Fascicolo |
-- |
| Pagine |
30324 - 30339 |
| Link al prodotto |
http://hdl.handle.net/11311/1232570 |
|
|
Specification, stochastic modeling and analysis of interactive service robotic applications (Mostra >>)(Nascondi <<)
|
| Autore/i |
Lestingi, Livia; Zerla, Davide; Bersani, Marcello M.; Rossi, Matteo |
| Titolo della rivista |
ROBOTICS AND AUTONOMOUS SYSTEMS (ISSN: 0921-8890) |
| Volume |
163 |
| Fascicolo |
-- |
| Pagine |
1 - 34 |
| Link al prodotto |
http://hdl.handle.net/11311/1231048 |
|
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2022 (Mostra tutto | Nascondi tutto) |
| Tipologia |
Titolo Pubblicazione/Prodotto |
| Contributo in Atti di convegno |
| Autore/i |
Samavati, Sepehr; Nemirovskiy, Alexander; Rossi, Matteo |
| Titolo del convegno |
International Conference on Intelligent Transportation Systems |
| Luogo del convegno |
Macau |
| Periodo del convegno |
08/10/2022-12/10/2022 |
| Titolo della rivista |
--
|
| Pagine |
2655 - 2662 |
| Link al prodotto |
http://hdl.handle.net/11311/1223156 |
|
|
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings (Mostra >>)(Nascondi <<)
|
| Autore/i |
Lestingi, Livia; Sbrolli, Cristian; Scarmozzino, Pasquale; Romeo, Giorgio; Bersani, Marcello M.; Rossi, Matteo |
| Titolo del convegno |
10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022 |
| Luogo del convegno |
Pittsburgh, PA, USA |
| Titolo della rivista |
--
|
| Pagine |
80 - 90 |
| Link al prodotto |
http://hdl.handle.net/11311/1218320 |
|
| Autore/i |
Shekari, Mahsa; JAVADIAN SABET, Alireza; Guan, Chaofeng; Rossi, Matteo; Schreiber, Fabio A.; Tanca, Letizia |
| Titolo del convegno |
30th Italian Symposium on Advanced Database Systems, SEBD 2022 |
| Luogo del convegno |
Tirrenia (Italy) |
| Periodo del convegno |
19/06/2022-22/06/2022 |
| Titolo della rivista |
--
|
| Pagine |
497 - 504 |
| Link al prodotto |
http://hdl.handle.net/11311/1223162 |
|
| Articoli su riviste |
|
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior (Mostra >>)(Nascondi <<)
|
| Autore/i |
Lestingi, L.; Bersani, M. M.; Rossi, M. |
| Titolo della rivista |
IEEE INTELLIGENT SYSTEMS (ISSN: 1541-1672) |
| Volume |
37 |
| Fascicolo |
6 |
| Pagine |
48 - 56 |
| Link al prodotto |
http://hdl.handle.net/11311/1223151 |
|
| Autore/i |
Pourhashem Kallehbasti, Mohammad Mehdi; Rossi, Matteo Giovanni; Baresi, Luciano |
| Titolo della rivista |
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (ISSN: 0098-5589) |
| Volume |
48 |
| Fascicolo |
4 |
| Pagine |
1154 - 1168 |
| Link al prodotto |
http://hdl.handle.net/11311/1154585 |
|
| Autore/i |
Javadian Sabet, Alireza; Shekari, Mahsa; Guan, Chaofeng; Rossi, Matteo; Schreiber, Fabio; Tanca, Letizia |
| Titolo della rivista |
BIG DATA AND COGNITIVE COMPUTING (ISSN: 2504-2289) |
| Volume |
6 |
| Fascicolo |
4 |
| Pagine |
1 - 19 |
| Link al prodotto |
http://hdl.handle.net/11311/1223157 |
|
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2021 (Mostra tutto | Nascondi tutto) |
| Tipologia |
Titolo Pubblicazione/Prodotto |
| Contributo in Atti di convegno |
| Autore/i |
Sadeghi, M.; Sartor, L.; Rossi, M. |
| Titolo del convegno |
36th Annual ACM Symposium on Applied Computing, SAC 2021 |
| Luogo del convegno |
Korea |
| Periodo del convegno |
2021 |
| Titolo della rivista |
--
|
| Pagine |
1864 - 1873 |
| Link al prodotto |
http://hdl.handle.net/11311/1187753 |
|
| Autore/i |
Smith, Robert L.; Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San |
| Titolo del convegno |
IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Luogo del convegno |
Madrid |
| Titolo della rivista |
--
|
| Pagine |
97 - 110 |
| Link al prodotto |
http://hdl.handle.net/11311/1186110 |
|
| Autore/i |
PINCIROLI VAGO, NICOLÒ ORESTE; Sacaj, Mario; Sadeghi, Mersedeh; Kalwar, Safia; Vogelsang, Andreas; Rossi, Matteo G. |
| Titolo del convegno |
Sem4Tra 2021 - Semantics And The Web For Transport 2021 |
| Luogo del convegno |
Online |
| Titolo della rivista |
--
|
| Pagine |
1 - 10 |
| Link al prodotto |
http://hdl.handle.net/11311/1203194 |
|
| Autore/i |
Sabet, A. J.; Gopalakrishnan, S.; Rossi, M.; Schreiber, F. A.; Tanca, L. |
| Titolo del convegno |
2021 IEEE International Conference on Artificial Intelligence and Computer Applications, ICAICA 2021 |
| Luogo del convegno |
chn |
| Periodo del convegno |
2021 |
| Titolo della rivista |
--
|
| Pagine |
358 - 365 |
| Link al prodotto |
http://hdl.handle.net/11311/1190977 |
|
| Autore/i |
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. |
| Titolo del convegno |
2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) |
| Luogo del convegno |
Madrid |
| Titolo della rivista |
--
|
| Pagine |
245 - 251 |
| Link al prodotto |
http://hdl.handle.net/11311/1186111 |
|
| Autore/i |
Kalwar, S.; Sadeghi, M.; Sabet, A. J.; Nemirovskiy, A.; Rossi, M. |
| Titolo del convegno |
33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021 |
| Luogo del convegno |
KSIR Virtual Conference Center, usa |
| Periodo del convegno |
2021 |
| Titolo della rivista |
--
|
| Pagine |
429 - 436 |
| Link al prodotto |
http://hdl.handle.net/11311/1186112 |
|
| Autore/i |
Daverio, Pietro; Chaudhry, HASSAN NAZEER; Margara, Alessandro; Rossi, MATTEO GIOVANNI |
| Titolo del convegno |
IEEE International Conference on Big Data |
| Luogo del convegno |
Orlando, FL, USA |
| Titolo della rivista |
--
|
| Pagine |
2753 - 2763 |
| Link al prodotto |
http://hdl.handle.net/11311/1198509 |
|
| Articoli su riviste |
| Autore/i |
Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo Giovanni |
| Titolo della rivista |
IEEE ACCESS (ISSN: 2169-3536) |
| Volume |
9 |
| Fascicolo |
-- |
| Pagine |
136616 - 136635 |
| Link al prodotto |
http://hdl.handle.net/11311/1186933 |
|
| Autore/i |
Sadeghi, Mersedeh; Sartor, Luca; Rossi, Matteo |
| Titolo della rivista |
APPLIED COMPUTING REVIEW (ISSN: 1559-6915) |
| Volume |
21 |
| Fascicolo |
4 |
| Pagine |
5 - 19 |
| Link al prodotto |
http://hdl.handle.net/11311/1207349 |
|
|
Formally-based Model-Driven Development of Collaborative Robotic Applications (Mostra >>)(Nascondi <<)
|
| Autore/i |
Askarpour, Mehrnoosh; Lestingi, Livia; Longoni, Samuele; Iannacci, Niccolò; Rossi, Matteo; Vicentini, Federico |
| Titolo della rivista |
JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS (ISSN: 0921-0296) |
| Volume |
102 |
| Fascicolo |
3 |
| Pagine |
1 - 26 |
| Link al prodotto |
http://hdl.handle.net/11311/1175632 |
|
|
|
