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 course as a whole, while the students opinion of the teaching is related to individual modules and individual professors.
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 2019 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Journal Articles |
|
Formal model of human erroneous behavior for safety analysis in collaborative robotics (Show >>)(Hide <<)
|
| Author/s |
Askarpour, M.; Mandrioli, D.; Rossi, M.; Vicentini, F. |
| Title of the review |
ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING (ISSN: 0736-5845) |
| Volume |
57 |
| Brochure |
-- |
| Pages |
465 - 476 |
| Item link |
http://hdl.handle.net/11311/1120515 |
|
|
Safety Assessment of Collaborative Robotics Through Automated Formal Verification (Show >>)(Hide <<)
|
| Author/s |
Vicentini, F.; Askarpour, M.; Rossi, M. G.; Mandrioli, D. |
| Title of the review |
IEEE TRANSACTIONS ON ROBOTICS (ISSN: 1552-3098) |
| Volume |
online first |
| Brochure |
-- |
| Pages |
1 - 20 |
| Item link |
http://hdl.handle.net/11311/1120516 |
|
| Contributions on scientific books |
|
Formal Methods in Designing Critical Cyber-Physical Systems (Show >>)(Hide <<)
|
| Author/s of the contributin |
Askarpour, M.; Ghezzi, C.; Mandrioli, D.; Rossi, M.; Tsigkanos, C. |
| Title of the book |
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) |
| Author/s of the book |
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini |
| Publisher |
Springer Verlag |
| Pages |
110 - 130 |
| Item link |
http://hdl.handle.net/11311/1120524 |
|
| Conference proceedings |
|
Word- and Tree-based Temporal Logics for Operator Precedence Languages (Show >>)(Hide <<)
|
| Author/s |
Chiari, Michele; Mandrioli, Dino; Pradella, Matteo |
| Title of the convention |
ICTCS 2019, 20th Italian Conference on Theoretical Computer Science |
| Location of the convention |
Como |
| Title of the review |
--
|
| Pages |
222 - 228 |
| Item link |
http://hdl.handle.net/11311/1118958 |
|
| List of publications and reserach products for the year 2018 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Journal Articles |
|
Generalizing input-driven languages: Theoretical and practical benefits (Show >>)(Hide <<)
|
| Author/s |
Mandrioli, D.; Pradella, M. |
| Title of the review |
COMPUTER SCIENCE REVIEW (ISSN: 1574-0137) |
| Volume |
27 |
| Brochure |
-- |
| Pages |
61 - 87 |
| Item link |
http://hdl.handle.net/11311/1046282 |
|
| Conference proceedings |
|
Temporal Logic and Model Checking for Operator Precedence Languages (Show >>)(Hide <<)
|
| Author/s |
Chiari, Michele; Mandrioli, Dino; Pradella, Matteo |
| Title of the convention |
9th International Symposium on Games, Automata, Logics, and Formal Verification, G and ALF 2018 |
| Location of the convention |
Saarbrücken, Germany |
| Period of the convention |
26-28th September 2018 |
| Title of the review |
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (ISSN: 2075-2180)
|
| Pages |
161 - 175 |
| Item link |
http://hdl.handle.net/11311/1066178 |
|
| List of publications and reserach products for the year 2017 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Journal Articles |
|
Toward a theory of input-driven locally parsable languages (Show >>)(Hide <<)
|
| Author/s |
CRESPI REGHIZZI, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo |
| Title of the review |
THEORETICAL COMPUTER SCIENCE (ISSN: 0304-3975) |
| Volume |
658 |
| Brochure |
-- |
| Pages |
105 - 121 |
| Item link |
http://hdl.handle.net/11311/999581 |
|
| Conference proceedings |
|
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications (Show >>)(Hide <<)
|
| Author/s |
Askarpour, Mehrnoosh; Mandrioli, Dino; Rossi, MATTEO GIOVANNI; Vicentini, Federico |
| Title of the convention |
SAFECOMP |
| Location of the convention |
Trento, Italy |
| Title of the review |
--
|
| Pages |
89 - 104 |
| Item link |
http://hdl.handle.net/11311/1032168 |
|
| Author/s |
Manfred, Droste; Stefan, Duck; Dino, Mandrioli; Matteo, Pradella |
| Title of the convention |
42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017 |
| Location of the convention |
Aalborg, Denmark |
| Period of the convention |
21 August 2017 through 25 August 2017 |
| Title of the review |
--
|
| Pages |
1 - 15 |
| Item link |
http://hdl.handle.net/11311/1040130 |
|
| List of publications and reserach products for the year 2016 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Journal Articles |
|
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications (Show >>)(Hide <<)
|
| Author/s |
Rossi, Matteo; Mandrioli, Dino; Morzenti, Angelo; Ferrucci, Luca |
| Title of the review |
THEORETICAL COMPUTER SCIENCE (ISSN: 0304-3975) |
| Volume |
643 |
| Brochure |
-- |
| Pages |
38 - 64 |
| Item link |
http://hdl.handle.net/11311/1004533 |
|
| Conference proceedings |
|
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration (Show >>)(Hide <<)
|
| Author/s |
Askarpour, Mehrnoosh; Mandrioli, Dino; Rossi, Matteo; Vicentini, Federico |
| Title of the convention |
35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016 |
| Location of the convention |
Norway |
| Period of the convention |
2016 |
| Title of the review |
--
|
| Pages |
283 - 295 |
| Item link |
http://hdl.handle.net/11311/1005782 |
|
| List of publications and reserach products for the year 2015 (Show all details | Hide all details) |
| Type |
Title of the Publicaiton/Product |
| Journal Articles |
|
Syntactic-semantic incrementality for agile verification (Show >>)(Hide <<)
|
| Author/s |
Domenico Bianculli; Antonio Filieri; Carlo Ghezzi; Dino Mandrioli |
| Title of the review |
SCIENCE OF COMPUTER PROGRAMMING (ISSN: 0167-6423) |
| Volume |
27, part 1 |
| Brochure |
1 |
| Pages |
47 - 54 |
| Item link |
http://hdl.handle.net/11311/859936 |
|
| Author/s |
Mandrioli D.; Pradella M. |
| Title of the review |
SOFTWARE ENGINEERING NOTES (ISSN: 0163-5948) |
| Volume |
40 |
| Brochure |
1 |
| Pages |
1 - 4 |
| Item link |
http://hdl.handle.net/11311/904155 |
|
|
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization (Show >>)(Hide <<)
|
| Author/s |
Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo |
| Title of the review |
SIAM JOURNAL ON COMPUTING (ISSN: 0097-5397) |
| Volume |
44 |
| Brochure |
-- |
| Pages |
1026 - 1088 |
| Item link |
http://hdl.handle.net/11311/964069 |
|
| Author/s |
Barenghi, Alessandro; Crespi Reghizzi, Stefano; Mandrioli, Dino; Panella, Federica; Pradella, Matteo |
| Title of the review |
SCIENCE OF COMPUTER PROGRAMMING (ISSN: 0167-6423) |
| Volume |
112 |
| Brochure |
3 |
| Pages |
195 - 226 |
| Item link |
http://hdl.handle.net/11311/971391 |
|
| Conference proceedings |
| Author/s |
Mandrioli Dino |
| Title of the convention |
IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering |
| Location of the convention |
Firenze |
| Period of the convention |
18/05/2015 |
| Title of the review |
--
|
| Pages |
1 - 5 |
| Item link |
http://hdl.handle.net/11311/957361 |
|
| Author/s |
Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo |
| Title of the convention |
10th International Computer Science Symposium in Russia (CSR) |
| Location of the convention |
Listvyanka, Russia |
| Title of the review |
--
|
| Pages |
310 - 324 |
| Item link |
http://hdl.handle.net/11311/964071 |
|
| Author/s |
Crespi Reghizzi, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo |
| Title of the convention |
Mathematical Foundations of Computer Science 2015 (MFCS) |
| Location of the convention |
Milano, Italy |
| Title of the review |
--
|
| Pages |
154 - 166 |
| Item link |
http://hdl.handle.net/11311/964072 |
|
|
Syntax-Driven Program Verification of Matching Logic Properties (Show >>)(Hide <<)
|
| Author/s |
Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino; Rizzi, Alessandro Maria |
| Title of the convention |
3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015 |
| Location of the convention |
ita |
| Period of the convention |
2015 |
| Title of the review |
--
|
| Pages |
68 - 74 |
| Item link |
http://hdl.handle.net/11311/986637 |
|
|
|
