With this function you can construct your weekly calendar of lessons, which is customized on the basis of the courses that you intend to follow.
Warning: the personal schedule does not replace the presentation of the study plan! It's an informal tool that can help you better manage the organization of class attendance before the study plan presentation.
After the study plan presentation we recommend you to use the Lecture timetable service in your Online Services.
To create your customized schedule follow these instructions:
- Click on the "Enable" link to proceed. You will be asked your surname and first name in order to determine your alphabetic grouping.
-
To add or remove courses from your personal schedule, use the small icons which are found next to the courses:
 addition of the course removal of the course selection of the section of the Laboratory of Architecture
(Note: the effective area in which the teaching will be carried out will be determined after the presentation of the Study Plans)
-
The sidebar on the left displays the number of lessons included in schedule.
There are also these commands:
 View the schedule: allows the viewing of the weekly synoptic schedule Delete the schedule: cancels the selections made
When you have finished the entry, you can print the calendar you have made.
| Semester (Sem) | | 1 | First Semester | | 2 | Second Semester | | A | Annual course | | (1) | First Half-semester | | (2) | Second Half-semester |
|
Language
|
|
|
Course completely offered in italian
|
|
|
Course completely offered in english
|
|
--
|
Not available
|
|
Note on the teaching activities
|
The calculation of the number of students enrolled only considers students enrolled in the academic year in question and does not include any possible students who may be attending but who are enrolled in previous academic years.
In case of structured courses taught by more professors, the number of students enrolled is related to the individual professor module, while the students opinion of the teaching is related to the course as a whole.
The data related to the last academic years (number of students enrolled and students opinion of the teaching) have not yet been defined.
|
|
Information on didactic, research and institutional assignments on this page are certified by the University; more information, prepared by the professor, are available on the personal web page and in the curriculum vitae indicated on this webpage.
| List of publications and reserach products for the year 2023 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Conference proceedings |
|
Towards Better Trust in Human-Machine Teaming through Explainable Dependability (Show >>)(Hide <<)
|
| Author/s |
Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia |
| Title of the convention |
IEEE 20th International Conference on Software Architecture |
| Location of the convention |
L'Aquila, Italy |
| Title of the review |
--
|
| Pages |
86 - 90 |
| Item link |
http://hdl.handle.net/11311/1236165 |
|
| Journal Articles |
|
Specification, stochastic modeling and analysis of interactive service robotic applications (Show >>)(Hide <<)
|
| Author/s |
Lestingi, Livia; Zerla, Davide; Bersani, Marcello M.; Rossi, Matteo |
| Title of the review |
ROBOTICS AND AUTONOMOUS SYSTEMS (ISSN: 0921-8890) |
| Volume |
163 |
| Brochure |
-- |
| Pages |
104387 - 104420 |
| Item link |
http://hdl.handle.net/11311/1231048 |
|
| List of publications and reserach products for the year 2022 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Contributions on scientific books |
|
Towards Trust-preserving Continuous Co-evolution of Digital Twins (Show >>)(Hide <<)
|
| Author/s of the contributin |
Bersani, M. M.; Braghin, C.; Cortellessa, V.; Gargantini, A.; Grassi, V.; Presti, F. L.; Mirandola, R.; Pierantonio, A.; Riccobene, E.; Scandurra, P. |
| Title of the book |
2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C) (ISBN: 978-1-6654-9493-9) |
| Author/s of the book |
R. Kazman, P. Pelliccione, A. Liu, I. Weber |
| Publisher |
IEEE |
| Pages |
96 - 99 |
| Item link |
http://hdl.handle.net/11311/1224884 |
|
| Conference proceedings |
|
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings (Show >>)(Hide <<)
|
| Author/s |
Lestingi, Livia; Sbrolli, Cristian; Scarmozzino, Pasquale; Romeo, Giorgio; Bersani, Marcello M.; Rossi, MATTEO GIOVANNI |
| Title of the convention |
10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022 |
| Location of the convention |
Pittsburgh, PA, USA |
| Title of the review |
--
|
| Pages |
80 - 90 |
| Item link |
http://hdl.handle.net/11311/1218320 |
|
| Journal Articles |
|
Event-sourced, observable software architectures: An experience report (Show >>)(Hide <<)
|
| Author/s |
Alongi, F.; Bersani, M. M.; Ghielmetti, N.; Mirandola, R.; Tamburri, D. A. |
| Title of the review |
SOFTWARE, PRACTICE AND EXPERIENCE (ISSN: 1097-024X) |
| Volume |
52 |
| Brochure |
10 |
| Pages |
2127 - 2151 |
| Item link |
http://hdl.handle.net/11311/1224878 |
|
|
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior (Show >>)(Hide <<)
|
| Author/s |
Lestingi, L.; Bersani, M. M.; Rossi, M. |
| Title of the review |
IEEE INTELLIGENT SYSTEMS (ISSN: 1941-1294) |
| Volume |
37 |
| Brochure |
-- |
| Pages |
1 - 10 |
| Item link |
http://hdl.handle.net/11311/1223151 |
|
| List of publications and reserach products for the year 2021 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Conference proceedings |
| Author/s |
Smith, Robert L.; Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San |
| Title of the convention |
IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Location of the convention |
Madrid |
| Title of the review |
--
|
| Pages |
97 - 110 |
| Item link |
http://hdl.handle.net/11311/1186110 |
|
| Author/s |
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. |
| Title of the convention |
2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) |
| Location of the convention |
Madrid |
| Title of the review |
--
|
| Pages |
245 - 251 |
| Item link |
http://hdl.handle.net/11311/1186111 |
|
| Journal Articles |
|
A Deployment Framework for Formally Verified Human-Robot Interactions (Show >>)(Hide <<)
|
| Author/s |
Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo Giovanni |
| Title of the review |
IEEE ACCESS (ISSN: 2169-3536) |
| Volume |
9 |
| Brochure |
-- |
| Pages |
136616 - 136635 |
| Item link |
http://hdl.handle.net/11311/1186933 |
|
|
Edge-based Runtime Verification for the Internet of Things (Show >>)(Hide <<)
|
| Author/s |
Tsigkanos, Christos; Bersani, Marcello M.; Frangoudis, Pantelis A.; Dustdar, Schahram |
| Title of the review |
IEEE TRANSACTIONS ON SERVICES COMPUTING (ISSN: 1939-1374) |
| Volume |
15 |
| Brochure |
5 |
| Pages |
2713 - 2727 |
| Item link |
http://hdl.handle.net/11311/1224880 |
|
| List of publications and reserach products for the year 2020 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Conference proceedings |
|
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios (Show >>)(Hide <<)
|
| Author/s |
Lestingi, L.; Askarpour, M.; Bersani, M. M.; Rossi, M. G. |
| Title of the convention |
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC) |
| Location of the convention |
Toronto, ON, Canada |
| Title of the review |
--
|
| Pages |
1907 - 1914 |
| Item link |
http://hdl.handle.net/11311/1155630 |
|
|
Formal Verification of Human-Robot Interaction in Healthcare Scenarios (Show >>)(Hide <<)
|
| Author/s |
Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo |
| Title of the convention |
International Conference on Software Engineering and Formal Methods |
| Location of the convention |
Amsterdam, The Netherlands |
| Title of the review |
--
|
| Pages |
303 - 324 |
| Item link |
http://hdl.handle.net/11311/1146286 |
|
|
Statistical Model Checking of Human-Robot Interaction Scenarios (Show >>)(Hide <<)
|
| Author/s |
Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo |
| Title of the convention |
First Workshop on Agents and Robots for reliable Engineered Autonomy |
| Location of the convention |
Santiago de Compostela, Spain |
| Title of the review |
--
|
| Pages |
9 - 17 |
| Item link |
http://hdl.handle.net/11311/1146284 |
|
| Journal Articles |
|
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach (Show >>)(Hide <<)
|
| Author/s |
Menghi, C.; Bersani, M. M.; Rossi, M.; San Pietro, P. |
| Title of the review |
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (ISSN: 1529-3785) |
| Volume |
21 |
| Brochure |
3 |
| Pages |
1 - 44 |
| Item link |
http://hdl.handle.net/11311/1139946 |
|
|
PuRSUE -from specification of robotic environments to synthesis of controllers (Show >>)(Hide <<)
|
| Author/s |
Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo |
| Title of the review |
FORMAL ASPECTS OF COMPUTING (ISSN: 0934-5043) |
| Volume |
32 |
| Brochure |
-- |
| Pages |
187 - 227 |
| Item link |
http://hdl.handle.net/11311/1135430 |
|
|
Using formal verification to evaluate the execution time of Spark applications (Show >>)(Hide <<)
|
| Author/s |
Baresi, L.; Bersani, M. M.; Marconi, F.; Quattrocchi, G.; Rossi, M. |
| Title of the review |
FORMAL ASPECTS OF COMPUTING (ISSN: 0934-5043) |
| Volume |
32 |
| Brochure |
-- |
| Pages |
33 - 70 |
| Item link |
http://hdl.handle.net/11311/1135498 |
|
| List of publications and reserach products for the year 2019 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Journal Articles |
|
On the Initialization of Clocks in Timed Formalisms (Show >>)(Hide <<)
|
| Author/s |
Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San |
| Title of the review |
THEORETICAL COMPUTER SCIENCE (ISSN: 0304-3975) |
| Volume |
Journal Pre-Proof |
| Brochure |
-- |
| Pages |
1 - 45 |
| Item link |
http://hdl.handle.net/11311/1120518 |
|
|
Verifying big data topologies by-design: a semi-automated approach (Show >>)(Hide <<)
|
| Author/s |
Bersani, M. M.; Marconi, F.; Tamburri, D. A.; Nodari, A.; Jamshidi, P. |
| Title of the review |
JOURNAL OF BIG DATA (ISSN: 2196-1115) |
| Volume |
6 |
| Brochure |
1 |
| Pages |
1 - 23 |
| Item link |
http://hdl.handle.net/11311/1139993 |
|
|
|
