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 tenuti da più docenti, il numero di studenti iscritti è riferito al corso nel suo complesso, il dato sull'opinione degli studenti riguarda il singolo docente
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 Elettronica ed Informazione | -- | -- | -- | -- | (02.2339).3561 | -- | Su appuntamento (contattare via telefono o email) |
| | E-mail | matteo.rossi@polimi.it | | Pagina web redatta a cura del docente | http://home.dei.polimi.it/rossi |
| 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 |
|
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 |
|
| 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 |
N/A |
| Fascicolo |
-- |
| Pagine |
N/A |
| 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 |
N/A |
| Fascicolo |
-- |
| Pagine |
N/A |
| 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 |
| Poster |
| Autore/i |
Chaudhry, H. N.; Margara, A.; Rossi, M. |
| Titolo del libro |
DEBS 2019 - Proceedings of the 13th ACM International Conference on Distributed and Event-Based Systems (ISBN: 9781450367943) |
| Editore |
Association for Computing Machinery, Inc |
| Numero di pagine |
2 |
| Titolo del convegno |
13th ACM International Conference on Distributed and Event-Based Systems, DEBS 2019 |
| Luogo del convegno |
Darmstadtium, deu |
| Periodo del convegno |
2019 |
| Pagine |
250 - 251 |
| Link al prodotto |
http://hdl.handle.net/11311/1120522 |
|
| 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 |
|
| 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 |
|
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2018 (Mostra tutto | Nascondi tutto) |
| Tipologia |
Titolo Pubblicazione/Prodotto |
| Contributo in Atti di convegno |
| Autore/i |
Marconi, F.; Quattrocchi, G.; Baresi, L.; Bersani, M. M.; Rossi, M. |
| Titolo del convegno |
10th International Symposium on NASA Formal Methods, NFM 2018 |
| Luogo del convegno |
usa |
| Periodo del convegno |
2018 |
| Titolo della rivista |
--
|
| Pagine |
315 - 332 |
| Link al prodotto |
http://hdl.handle.net/11311/1120655 |
|
| Autore/i |
Carenini, Alessio; Dell’Arciprete, Ugo; Gogos, Stefanos; POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI; Rossi, MATTEO GIOVANNI; Santoro, Riccardo |
| Titolo del convegno |
Transport Research Arena TRA 2018 |
| Luogo del convegno |
Vienna (Austria) |
| Titolo della rivista |
--
|
| Pagine |
1 - 10 |
| Link al prodotto |
http://hdl.handle.net/11311/1068073 |
|
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2017 (Mostra tutto | Nascondi tutto) |
| Tipologia |
Titolo Pubblicazione/Prodotto |
| Contributi su volumi (Capitolo o Saggio) |
| Autore/i del contributo |
Bianchessi, Andrea G.; Cugola, Gianpaolo; Formentin, Simone; Morzenti, Angelo; Ongini, Carlo; Panigati, Emanuele; Rossi, Matteo; Schreiber, Fabio A.; Savaresi, Sergio Matteo; Tanca, Letizia; Vannutelli Depoli, Edoardo G. |
| Titolo del libro |
Electric Vehicle Sharing Services for Smarter Cities (ISBN: 978-3-319-61963-7; 978-3-319-61964-4) |
| Autore/i del libro |
D. F. Bignami, A. Colorni, A. Lué, R. Nocerino, M. Rossi, S. M. Savaresi |
| Editore |
Springer |
| Pagine |
123 - 138 |
| Link al prodotto |
http://hdl.handle.net/11311/1050926 |
|
| Autore/i del contributo |
Cugola, Gianpaolo; Morzenti, Angelo; Rossi, Matteo; Vannutelli Depoli, Edoardo G. |
| Titolo del libro |
Electric Vehicle Sharing Services for Smarter Cities (ISBN: 978-3-319-61963-7; 978-3-319-61964-4) |
| Autore/i del libro |
D. F. Bignami, A. Colorni, A. Lué, R. Nocerino, M. Rossi, S. M. Savaresi |
| Editore |
Springer |
| Pagine |
139 - 152 |
| Link al prodotto |
http://hdl.handle.net/11311/1050930 |
|
| Contributo in Atti di convegno |
|
Formal verification of data-intensive applications through model checking modulo theories (Mostra >>)(Nascondi <<)
|
| Autore/i |
Bersani, Marcello M.; Marconi, Francesco; Rossi, Matteo; Erascu, Madalina; Ghilardi, Silvio |
| Titolo del convegno |
24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, SPIN 2017 |
| Luogo del convegno |
University of California, Santa Barbara, usa |
| Periodo del convegno |
2017 |
| Titolo della rivista |
--
|
| Pagine |
98 - 101 |
| Link al prodotto |
http://hdl.handle.net/11311/1045522 |
|
| Autore/i |
Marconi, Francesco; Bersani, Marcello M.; Rossi, Matteo |
| Titolo del convegno |
32nd Annual ACM Symposium on Applied Computing, SAC 2017 |
| Luogo del convegno |
Marocco |
| Periodo del convegno |
2017 |
| Titolo della rivista |
--
|
| Pagine |
1168 - 1174 |
| Link al prodotto |
http://hdl.handle.net/11311/1030601 |
|
|
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications (Mostra >>)(Nascondi <<)
|
| Autore/i |
Askarpour, Mehrnoosh; Mandrioli, Dino; Rossi, MATTEO GIOVANNI; Vicentini, Federico |
| Titolo del convegno |
SAFECOMP |
| Luogo del convegno |
Trento, Italy |
| Titolo della rivista |
--
|
| Pagine |
89 - 104 |
| Link al prodotto |
http://hdl.handle.net/11311/1032168 |
|
| Curatela di volumi scientifici |
| Curatore/i |
Bignami, D. F.; Colorni, A.; Lue, A.; Nocerino, R.; Rossi, M.; Savaresi, S. M. |
| Codice ISBN |
978-3-319-61963-7; 978-3-319-61964-4 |
| Editore |
Springer |
| Numero di pagine |
282 |
| Link al prodotto |
http://hdl.handle.net/11311/1050922 |
|
| Articoli su riviste |
| Autore/i |
Troncy, Raphaël; Rizzo, Giuseppe; Jameson, Anthony; Corcho, Oscar; Plu, Julien; Palumbo, Enrico; Ballesteros Hermida, Juan Carlos; Spirescu, Adrian; Kuhn, Kai-Dominik; Barbu, Catalin; Rossi, Matteo; Celino, Irene; Agarwal, Rachit; Scanu, Christian; Valla, Massimo; Haaker, Timber |
| Titolo della rivista |
JOURNAL OF WEB SEMANTICS (ISSN: 1570-8268) |
| Volume |
46-47 |
| Fascicolo |
-- |
| Pagine |
2 - 13 |
| Link al prodotto |
http://hdl.handle.net/11311/1050916 |
|
|
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications (Mostra >>)(Nascondi <<)
|
| Autore/i |
Marconi, F; Bersani, Mm; Rossi, M |
| Titolo della rivista |
APPLIED COMPUTING REVIEW (ISSN: 1559-6915) |
| Volume |
17 |
| Fascicolo |
3 |
| Pagine |
6 - 16 |
| Link al prodotto |
http://hdl.handle.net/11311/1051669 |
|
| Autore/i |
Baresi, Luciano; Morzenti, Angelo; Motta, Alfredo; Pourhashem, Mohammad Mehdi; Rossi, Matteo |
| Titolo della rivista |
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY (ISSN: 1049-331X) |
| Volume |
26 |
| Fascicolo |
2 |
| Pagine |
1 - 47 |
| Link al prodotto |
http://hdl.handle.net/11311/1045450 |
|
| Autore/i |
BERSANI, MARCELLO MARIA; ROSSI, MATTEO GIOVANNI; SAN PIETRO, PIERLUIGI |
| Titolo della rivista |
THEORETICAL COMPUTER SCIENCE (ISSN: 0304-3975) |
| Volume |
658 |
| Fascicolo |
-- |
| Pagine |
46 - 59 |
| Link al prodotto |
http://hdl.handle.net/11311/1005780 |
|
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2016 (Mostra tutto | Nascondi tutto) |
| Tipologia |
Titolo Pubblicazione/Prodotto |
| Contributo in Atti di convegno |
| Autore/i |
Bersani, Marcello M.; Marconi, Francesco; Rossi, Matteo; Erascu, Madalina |
| Titolo del convegno |
International Workshop on Quality-Aware DevOps |
| Luogo del convegno |
Germany |
| Periodo del convegno |
July |
| Titolo della rivista |
--
|
| Pagine |
44 - 45 |
| Link al prodotto |
http://hdl.handle.net/11311/1005785 |
|
|
How bit-vector logic can help improve the verification of LTL specifications over infinite domains (Mostra >>)(Nascondi <<)
|
| Autore/i |
Baresi, Luciano; Kallehbasti, Mohammad Mehdi Pourhashem; Rossi, Matteo |
| Titolo del convegno |
31st Annual ACM Symposium on Applied Computing, SAC 2016 |
| Luogo del convegno |
Italy |
| Periodo del convegno |
2016 |
| Titolo della rivista |
--
|
| Pagine |
1666 - 1673 |
| Link al prodotto |
http://hdl.handle.net/11311/1005784 |
|
|
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration (Mostra >>)(Nascondi <<)
|
| Autore/i |
Askarpour, Mehrnoosh; Mandrioli, Dino; Rossi, Matteo; Vicentini, Federico |
| Titolo del convegno |
35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016 |
| Luogo del convegno |
Norway |
| Periodo del convegno |
2016 |
| Titolo della rivista |
--
|
| Pagine |
283 - 295 |
| Link al prodotto |
http://hdl.handle.net/11311/1005782 |
|
|
Towards the formal verification of data-intensive applications through metric temporal logic (Mostra >>)(Nascondi <<)
|
| Autore/i |
Marconi, Francesco; Bersani, Marcello M; Erascu, Madalina; Rossi, Matteo |
| Titolo del convegno |
18th International Conference on Formal Engineering Methods, ICFEM 2016 |
| Luogo del convegno |
Japan |
| Periodo del convegno |
2016 |
| Titolo della rivista |
--
|
| Pagine |
193 - 209 |
| Link al prodotto |
http://hdl.handle.net/11311/1005783 |
|
| Articoli su riviste |
|
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications (Mostra >>)(Nascondi <<)
|
| Autore/i |
Rossi, Matteo; Mandrioli, Dino; Morzenti, Angelo; Ferrucci, Luca |
| Titolo della rivista |
THEORETICAL COMPUTER SCIENCE (ISSN: 0304-3975) |
| Volume |
643 |
| Fascicolo |
-- |
| Pagine |
38 - 64 |
| Link al prodotto |
http://hdl.handle.net/11311/1004533 |
|
|
A tool for deciding the satisfiability of continuous-time metric temporal logic (Mostra >>)(Nascondi <<)
|
| Autore/i |
Bersani, Marcello M; Rossi, Matteo; San Pietro, Pierluigi |
| Titolo della rivista |
ACTA INFORMATICA (ISSN: 0001-5903) |
| Volume |
53 |
| Fascicolo |
2 |
| Pagine |
171 - 206 |
| Link al prodotto |
http://hdl.handle.net/11311/964235 |
|
|
|
