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.
| 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 |
|
| 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 |
|
|
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 |
|
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 |
[Online 2023] |
| Fascicolo |
-- |
| Pagine |
1 - 30 |
| Link al prodotto |
http://hdl.handle.net/11311/1247937 |
|
|
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 |
| Contributi su volumi (Capitolo o Saggio) |
| Autore/i del contributo |
Bersani, M. M.; Braghin, C.; Cortellessa, V.; Gargantini, A.; Grassi, V.; Presti, F. L.; Mirandola, R.; Pierantonio, A.; Riccobene, E.; Scandurra, P. |
| Titolo del libro |
2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C) (ISBN: 978-1-6654-9493-9) |
| Autore/i del libro |
R. Kazman, P. Pelliccione, A. Liu, I. Weber |
| Editore |
IEEE |
| Pagine |
96 - 99 |
| Link al prodotto |
http://hdl.handle.net/11311/1224884 |
|
| Contributo in Atti di convegno |
|
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 |
|
| Articoli su riviste |
| Autore/i |
Alongi, F.; Bersani, M. M.; Ghielmetti, N.; Mirandola, R.; Tamburri, D. A. |
| Titolo della rivista |
SOFTWARE, PRACTICE AND EXPERIENCE (ISSN: 1097-024X) |
| Volume |
52 |
| Fascicolo |
10 |
| Pagine |
2127 - 2151 |
| Link al prodotto |
http://hdl.handle.net/11311/1224878 |
|
|
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 |
|
| 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 |
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 |
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 |
|
| 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 |
Tsigkanos, Christos; Bersani, Marcello M.; Frangoudis, Pantelis A.; Dustdar, Schahram |
| Titolo della rivista |
IEEE TRANSACTIONS ON SERVICES COMPUTING (ISSN: 1939-1374) |
| Volume |
15 |
| Fascicolo |
5 |
| Pagine |
2713 - 2727 |
| Link al prodotto |
http://hdl.handle.net/11311/1224880 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
| Articoli su riviste |
| 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 |
|
| Autore/i |
Bersani, M. M.; Marconi, F.; Tamburri, D. A.; Nodari, A.; Jamshidi, P. |
| Titolo della rivista |
JOURNAL OF BIG DATA (ISSN: 2196-1115) |
| Volume |
6 |
| Fascicolo |
1 |
| Pagine |
1 - 23 |
| Link al prodotto |
http://hdl.handle.net/11311/1139993 |
|
|
|
