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 calcolo del "numero studenti iscritti" vengono considerati i soli studenti iscritti nell'anno accademico considerato. Non sono compresi gli eventuali studenti associati all'insegnamento con iscrizione in anni accademici precedenti.
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 2023 (Mostra tutto | Nascondi tutto) |
| Tipologia |
Titolo Pubblicazione/Prodotto |
| Contributo in Atti di convegno |
|
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 |
104387 - 104420 |
| 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 GIOVANNI |
| 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 GIOVANNI; 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: 1941-1294) |
| Volume |
37 |
| Fascicolo |
-- |
| Pagine |
1 - 10 |
| 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 |
|
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2020 (Mostra tutto | Nascondi tutto) |
| Tipologia |
Titolo Pubblicazione/Prodotto |
| Contributo in Atti di convegno |
|
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios (Mostra >>)(Nascondi <<)
|
| Autore/i |
Lestingi, L.; Askarpour, M.; Bersani, M. M.; Rossi, M. G. |
| Titolo del convegno |
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC) |
| Luogo del convegno |
Toronto, ON, Canada |
| Titolo della rivista |
--
|
| Pagine |
1907 - 1914 |
| Link al prodotto |
http://hdl.handle.net/11311/1155630 |
|
|
Co-simulation of human-robot collaboration: From temporal logic to 3d simulation (Mostra >>)(Nascondi <<)
|
| Autore/i |
Askarpour, M.; Rossi, M.; Tiryakiler, O. |
| Titolo del convegno |
1st Workshop on Agents and Robots for Reliable Engineered Autonomy, AREA 2020 |
| Luogo del convegno |
Santiago de Compostela, Spain |
| Periodo del convegno |
2020 |
| Titolo della rivista |
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (ISSN: 2075-2180)
|
| Pagine |
1 - 8 |
| Link al prodotto |
http://hdl.handle.net/11311/1165676 |
|
| Autore/i |
Javadian Sabet, A.; Rossi, M.; Schreiber, F. A.; Tanca, L. |
| Titolo del convegno |
28th Italian Symposium on Advanced Database Systems, SEBD 2020 |
| Luogo del convegno |
Villa Simius |
| Periodo del convegno |
2020 |
| Titolo della rivista |
--
|
| Pagine |
202 - 209 |
| Link al prodotto |
http://hdl.handle.net/11311/1166951 |
|
| Autore/i |
Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo |
| Titolo del convegno |
International Conference on Software Engineering and Formal Methods |
| Luogo del convegno |
Amsterdam, The Netherlands |
| Titolo della rivista |
--
|
| Pagine |
303 - 324 |
| Link al prodotto |
http://hdl.handle.net/11311/1146286 |
|
|
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications (Mostra >>)(Nascondi <<)
|
| Autore/i |
Askarpour, Mehrnoosh; Lestingi, Livia; Buran, Federico; Rossi, Matteo Giovanni; Vicentini, Federico |
| Titolo del convegno |
2020 IEEE International Conference on Human-Machine Systems (ICHMS) |
| Luogo del convegno |
Rome, Italy, Italy |
| Titolo della rivista |
--
|
| Pagine |
1 - 6 |
| Link al prodotto |
http://hdl.handle.net/11311/1146854 |
|
|
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport (Mostra >>)(Nascondi <<)
|
| Autore/i |
Sadeghi, M.; Buchníček, P.; Carenini, A.; Corcho, O.; Gogos, S.; Rossi, M.; Santoro, R. |
| Titolo del convegno |
8th Transport Research Arena TRA 2020 |
| Luogo del convegno |
Helsinki |
| Titolo della rivista |
--
|
| Pagine |
1 - 10 |
| Link al prodotto |
http://hdl.handle.net/11311/1132635 |
|
| Autore/i |
Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo |
| Titolo del convegno |
First Workshop on Agents and Robots for reliable Engineered Autonomy |
| Luogo del convegno |
Santiago de Compostela, Spain |
| Titolo della rivista |
--
|
| Pagine |
9 - 17 |
| Link al prodotto |
http://hdl.handle.net/11311/1146284 |
|
| Autore/i |
Javadian Sabet, A.; Rossi, M.; Schreiber, F. A.; Tanca, L. |
| Titolo del convegno |
11th International Symposium on Ambient Intelligence, ISAmI 2020 |
| Luogo del convegno |
ita |
| Periodo del convegno |
2020 |
| Titolo della rivista |
--
|
| Pagine |
203 - 212 |
| Link al prodotto |
http://hdl.handle.net/11311/1166953 |
|
| Articoli su riviste |
| Autore/i |
Menghi, C.; Bersani, M. M.; Rossi, M.; San Pietro, P. |
| Titolo della rivista |
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (ISSN: 1529-3785) |
| Volume |
21 |
| Fascicolo |
3 |
| Pagine |
1 - 44 |
| Link al prodotto |
http://hdl.handle.net/11311/1139946 |
|
|
PuRSUE -from specification of robotic environments to synthesis of controllers (Mostra >>)(Nascondi <<)
|
| Autore/i |
Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo |
| Titolo della rivista |
FORMAL ASPECTS OF COMPUTING (ISSN: 0934-5043) |
| Volume |
32 |
| Fascicolo |
-- |
| Pagine |
187 - 227 |
| Link al prodotto |
http://hdl.handle.net/11311/1135430 |
|
|
Using formal verification to evaluate the execution time of Spark applications (Mostra >>)(Nascondi <<)
|
| Autore/i |
Baresi, L.; Bersani, M. M.; Marconi, F.; Quattrocchi, G.; Rossi, M. |
| Titolo della rivista |
FORMAL ASPECTS OF COMPUTING (ISSN: 0934-5043) |
| Volume |
32 |
| Fascicolo |
-- |
| Pagine |
33 - 70 |
| Link al prodotto |
http://hdl.handle.net/11311/1135498 |
|
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2019 (Mostra tutto | Nascondi tutto) |
| Tipologia |
Titolo Pubblicazione/Prodotto |
| Contributi su volumi (Capitolo o Saggio) |
| Autore/i del contributo |
Askarpour, M.; Ghezzi, C.; Mandrioli, D.; Rossi, M.; Tsigkanos, C. |
| Titolo del libro |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (ISBN: 978-3-030-30984-8; 978-3-030-30985-5) |
| Autore/i del libro |
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini |
| Editore |
Springer Verlag |
| Pagine |
110 - 130 |
| Link al prodotto |
http://hdl.handle.net/11311/1120524 |
|
| Contributo in Atti di convegno |
|
Automated Mapping for Semantic-based Conversion of Transportation Data Formats (Mostra >>)(Nascondi <<)
|
| Autore/i |
Hosseini, Marjan; Kalwar, Safia; Rossi, MATTEO GIOVANNI; Sadeghi, Mersedeh |
| Titolo del convegno |
1st International Workshop On Semantics For Transport |
| Luogo del convegno |
Karlsruhe, Germany |
| Titolo della rivista |
--
|
| Pagine |
1 - 6 |
| Link al prodotto |
http://hdl.handle.net/11311/1120521 |
|
| Autore/i |
Chaudhry, H. N.; Margara, A.; Rossi, M. |
| Titolo del convegno |
13th ACM International Conference on Distributed and Event-Based Systems, DEBS 2019 |
| Luogo del convegno |
Darmstadtium, deu |
| Periodo del convegno |
2019 |
| Titolo della rivista |
--
|
| Pagine |
250 - 251 |
| Link al prodotto |
http://hdl.handle.net/11311/1120522 |
|
| Articoli su riviste |
|
Formal model of human erroneous behavior for safety analysis in collaborative robotics (Mostra >>)(Nascondi <<)
|
| Autore/i |
Askarpour, M.; Mandrioli, D.; Rossi, M.; Vicentini, F. |
| Titolo della rivista |
ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING (ISSN: 0736-5845) |
| Volume |
57 |
| Fascicolo |
-- |
| Pagine |
465 - 476 |
| Link al prodotto |
http://hdl.handle.net/11311/1120515 |
|
| Autore/i |
Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San |
| Titolo della rivista |
THEORETICAL COMPUTER SCIENCE (ISSN: 0304-3975) |
| Volume |
Journal Pre-Proof |
| Fascicolo |
-- |
| Pagine |
1 - 45 |
| Link al prodotto |
http://hdl.handle.net/11311/1120518 |
|
|
Safety Assessment of Collaborative Robotics Through Automated Formal Verification (Mostra >>)(Nascondi <<)
|
| Autore/i |
Vicentini, F.; Askarpour, M.; Rossi, M. G.; Mandrioli, D. |
| Titolo della rivista |
IEEE TRANSACTIONS ON ROBOTICS (ISSN: 1552-3098) |
| Volume |
online first |
| Fascicolo |
-- |
| Pagine |
1 - 20 |
| Link al prodotto |
http://hdl.handle.net/11311/1120516 |
|
|
|
