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 2019 |
| Nessun prodotto attualmente registrato nell'anno 2019 |
| 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 |
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 |
| Articoli su riviste |
| 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 |
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 |
|
| 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 |
| Autore/i |
MARCONI, FRANCESCO; BERSANI, MARCELLO MARIA; ROSSI, MATTEO GIOVANNI |
| 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 |
|
|
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 |
|
| 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 |
-- |
| Link al prodotto |
http://hdl.handle.net/11311/1050922 |
|
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2016 (Mostra tutto | Nascondi tutto) |
| Tipologia |
Titolo Pubblicazione/Prodotto |
| Articoli su riviste |
|
A tool for deciding the satisfiability of continuous-time metric temporal logic (Mostra >>)(Nascondi <<)
|
| Autore/i |
BERSANI, MARCELLO MARIA; ROSSI, MATTEO GIOVANNI; 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 |
|
|
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications (Mostra >>)(Nascondi <<)
|
| Autore/i |
ROSSI, MATTEO GIOVANNI; MANDRIOLI, DINO; MORZENTI, ANGELO CARLO; 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 |
|
| Autore/i |
BERSANI, MARCELLO MARIA; ROSSI, MATTEO GIOVANNI; SAN PIETRO, PIERLUIGI |
| Titolo della rivista |
THEORETICAL COMPUTER SCIENCE (ISSN: 0304-3975) |
| Volume |
online |
| Fascicolo |
-- |
| Pagine |
1 - 14 |
| Link al prodotto |
http://hdl.handle.net/11311/1005780 |
|
| Contributo in Atti di convegno |
|
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration (Mostra >>)(Nascondi <<)
|
| Autore/i |
ASKARPOUR, MEHRNOOSH; MANDRIOLI, DINO; ROSSI, MATTEO GIOVANNI; 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 MARIA; Erascu, Madalina; ROSSI, MATTEO GIOVANNI |
| 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 |
|
|
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 GIOVANNI |
| 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 |
|
| Autore/i |
BERSANI, MARCELLO MARIA; MARCONI, FRANCESCO; ROSSI, MATTEO GIOVANNI; 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 |
|
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2015 (Mostra tutto | Nascondi tutto) |
| Tipologia |
Titolo Pubblicazione/Prodotto |
| Articoli su riviste |
|
Formal verification and validation of embedded systems: the UML-based MADES approach (Mostra >>)(Nascondi <<)
|
| Autore/i |
Baresi, Luciano; Gundula, Blohm; Dimitrios S., Kolovos; Nicholas, Matragkas; Motta, Alfredo; Richard F., Paige; Alek, Radjenovic; Rossi, MATTEO GIOVANNI |
| Titolo della rivista |
SOFTWARE AND SYSTEMS MODELING (ISSN: 1619-1366) |
| Volume |
14 |
| Fascicolo |
1 |
| Pagine |
343 - 363 |
| Link al prodotto |
http://hdl.handle.net/11311/758852 |
|
| Autore/i |
BERSANI, MARCELLO MARIA; ROSSI, MATTEO GIOVANNI; SAN PIETRO, PIERLUIGI |
| Titolo della rivista |
INFORMATION AND COMPUTATION (ISSN: 0890-5401) |
| Volume |
245 |
| Fascicolo |
-- |
| Pagine |
72 - 97 |
| Link al prodotto |
http://hdl.handle.net/11311/964236 |
|
| Contributo in Atti di convegno |
| Autore/i |
BARESI, LUCIANO; POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI; ROSSI, MATTEO GIOVANNI |
| Titolo del convegno |
International Conference on Software Engineering |
| Luogo del convegno |
Firenze, Italy |
| Titolo della rivista |
--
|
| Pagine |
711 - 721 |
| Link al prodotto |
http://hdl.handle.net/11311/964237 |
|
| Autore/i |
Casale, G.; ARDAGNA, DANILO; Artac, M.; Barbier, F.; DI NITTO, ELISABETTA; Henry, A.; Iuhasz, G.; Joubert, C.; Merseguer, J.; Munteanu, V. I.; Perez, J. F.; Petcu, D.; ROSSI, MATTEO GIOVANNI; Sheridan, C.; Spais, I.; Vladušič, D. . |
| Titolo del convegno |
MISE 2015 |
| Luogo del convegno |
Firenze |
| Periodo del convegno |
2015 |
| Titolo della rivista |
--
|
| Pagine |
78 - 83 |
| Link al prodotto |
http://hdl.handle.net/11311/983772 |
|
|
|
