Found results 27 Full data Concise dataClick the title to see full data and shelfmark of each item |
Consultabilità delle tesi
|
![]()
Author:
BONIZZI ALBERTO
Title: MODEL-BASED DESIGN OF A SMART ENERGY CONTROL USING TASTE Relatore: PASSERONE ROBERTO Correlatore: CIMATTI ALESSANDRO Secondo Correlatore: PASSERONE ROBERTO Controrelatore: CAVADA ROBERTO Academic year: 2017/2018 Course: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Shelfmark: 0517H-484 |
![]()
Author:
CALABRESE RAFFAELE LEONARDO
Title: PROGETTO E SVILUPPO DI UNO SCHEDULER PER APPLICAZIONI IN MULTITASK Relatore: GIUNCHIGLIA FAUSTO Correlatore: CIMATTI ALESSANDRO Academic year: 1995/1996 Course: Diploma Universitario - Diploma Universitario in Ingegneria Informatica [0302A] Struttura didattica: Facoltà di Ingegneria Formato: cartaceo Shelfmark: IN46 Richiedi la consultazione |
![]()
Author:
CAMPANA DANIELE
Title: FORMAL VERIFICATION OF SLIM MODELS VIA TRANSLATION INTO EXPLICIT HYDI Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Secondo Correlatore: TONETTA STEFANO Academic year: 2011/2012 Course: Corso di Laurea - Informatica [0514G] Struttura didattica: Facoltà di Scienze Formato: digitale Shelfmark: 0514G-40 |
![]()
Author:
CAMPANA DANIELE
Title: A FORMAL FRAMEWORK FOR THE EFFICIENT SIMULATION OF TIMED COMPLEX SYSTEMS AND CONTROL PLANS Relatore: SEBASTIANI ROBERTO Secondo Relatore: CIMATTI ALESSANDRO Correlatore: CAVADA ROBERTO Secondo Correlatore: DI NATALE MARCO Academic year: 2013/2014 Course: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Shelfmark: 0517H-236 |
![]()
Author:
CAMUFFO NICOLA
Title: VERIFICA FORMALE DI MODELLI LUSTRE TRAMITE NUSMV. Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Academic year: 2009/2010 Course: Corso di Laurea - Informatica (triennale) [0507C] Struttura didattica: Facoltà di Scienze Formato: digitale Shelfmark: QC341 Richiedi la consultazione |
![]()
Author:
CIRESA MARTINO
Title: DESIGN AND DEVELOPMENT OF A GRAPHICAL FRONT-END FOR THE VERIFICATION OF STRUCTURED HYBRID SYSTEMS Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Academic year: 2011/2012 Course: Corso di Laurea - Informatica [0514G] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Shelfmark: 0514G-69 Richiedi la consultazione |
![]()
Author:
CRISTELLI MICHELE
Title: MODELLAZIONE DI SISTEMI IBRIDI IN MATLAB/SIMULINK, E LORO CODIFICA E VERIFICA CON IL TOOL NUSMV. Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Controrelatore: PALOPOLI LUIGI Academic year: 2009/2010 Course: Corso di Laurea - Informatica (triennale) [0507C] Struttura didattica: Facoltà di Scienze Formato: digitale Shelfmark: QC332 Richiedi la consultazione |
![]()
Author:
CRISTELLI MICHELE
Title: PLANNING WITH DURATIVE ACTIONS UNDER TEMPORAL UNCERTAINTY Relatore: PALOPOLI LUIGI Secondo Relatore: LIPARI GIUSEPPE Correlatore: CIMATTI ALESSANDRO Secondo Correlatore: ROVERI MARCO Controrelatore: PASSERONE ROBERTO Academic year: 2011/2012 Course: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Shelfmark: 0517H-120 Richiedi la consultazione |
![]()
Author:
DAL LAGO LORIS
Title: USING ABSTRACT INTERPRETATION TO PERFORM STATIC ANALYSIS IN NUSMV Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Controrelatore: PASSERONE ROBERTO Academic year: 2011/2012 Course: Corso di Laurea - Informatica [0514G] Struttura didattica: Facoltà di Scienze Formato: digitale Shelfmark: 0514G-41 Richiedi la consultazione |
![]()
Author:
DOKLA DODO EDWIN
Title: MODELING AND VERIFICATION OF A TTETHERNET SYNCHRONIZATION FUNCTION AS HYBRID AUTOMATA Relatore: SEBASTIANI ROBERTO Correlatore: TONETTA STEFANO Secondo Correlatore: CIMATTI ALESSANDRO Academic year: 2011/2012 Course: Corso di Laurea - Informatica [0514G] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Shelfmark: 0514G-65 |
![]()
Author:
DONAZZOLO FULVIO
Title: UN'ANALISI FORMALE DELLA COMPETIZIONE INTERNAZIONALE PER SISTEMI DI DIAGNOSTICA Relatore: CIMATTI ALESSANDRO Correlatore: BOZZANO MARCO Secondo Correlatore: CAVADA ROBERTO Academic year: 2011/2012 Course: Corso di Laurea - Informatica (triennale) [0507C] Struttura didattica: Facoltà di Scienze Formato: digitale Shelfmark: 0507C-398 Richiedi la consultazione |
![]()
Author:
DORIGATTI MICHELE
Title: THE OCRA TOOL: FORMAL SUPPORT FOR CONTRACT-BASED DESIGN Relatore: PASSERONE ROBERTO Correlatore: TONETTA STEFANO Secondo Correlatore: CIMATTI ALESSANDRO Academic year: 2011/2012 Course: Corso di Laurea - Informatica [0514G] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Shelfmark: 0514G-68 Richiedi la consultazione |
![]()
Author:
FORTI WALTER
Title: UN SISTEMA DI SUPERVISIONE DISTRIBUITO PER LA GESTIONE DI IMPIANTI DI TRASPORTO Relatore: GIUNCHIGLIA FAUSTO Correlatore: CIMATTI ALESSANDRO Academic year: 1995/1996 Course: Diploma Universitario - Diploma Universitario in Ingegneria Informatica [0302A] Struttura didattica: Facoltà di Ingegneria Formato: cartaceo Shelfmark: IN30 Richiedi la consultazione |
![]()
Author:
FORTI WALTER
Title: UN SISTEMA DI SUPERVISIONE DISTRIBUITO PER LA GESTIONE DI IMPIANTI DI TRASPORTO Relatore: GIUNCHIGLIA FAUSTO Correlatore: CIMATTI ALESSANDRO Academic year: 2001/2002 Course: Corso di Laurea - Ingegneria dell'informazione e dell'organizzazione [0317C] Struttura didattica: Facoltà di Ingegneria Formato: cartaceo Shelfmark: IN30 Richiedi la consultazione |
![]()
Author:
GIRARDI MASSIMILIANO
Title: RUNTIME VERIFICATION OF SCADE-BASED SAFETY-CRITICAL SYSTEMS Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Academic year: 2020/2021 Course: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Shelfmark: 0517H-770 |
![]()
Author:
GREGO ELIA
Title: FAILURE PROPAGATION OF SAFETY CRITICAL SYSTEMS: THE WHEEL BRAKE SYSTEM CASE STUDY Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Secondo Correlatore: BOZZANO MARCO Controrelatore: GRIGGIO ALBERTO Academic year: 2020/2021 Course: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Shelfmark: 0517H-716 |
Author:
LAGO FRANCESCO
Title: SVILUPPO DI UN CONVERTITORE VERILOG-NUSMV. Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Academic year: 2006/2007 Course: Corso di Laurea - Informatica (triennale) [0507C] Struttura didattica: Facoltà di Scienze Formato: digitale Shelfmark: QC200 Richiedi la consultazione |
Author:
MAGNAGO ENRICO
Title: TIMED NUXMV Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Academic year: 2017/2018 Course: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Shelfmark: 0517H-496 |
![]()
Author:
MARIOTTI ALESSANDRO
Title: VERIFICA FORMALE DI HARDWARE VIA AIGER E NUSMV. Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Correlatore: ROVERI MARCO Academic year: 2009/2010 Course: Corso di Laurea - Informatica (triennale) [0507C] Struttura didattica: Facoltà di Scienze Formato: digitale Shelfmark: QC367 Richiedi la consultazione |
![]()
Author:
MATTAREI CRISTIAN
Title: DEFINIZIONE E SVILUPPO DI UNA TRADUZIONE FORMALE DA ALTARICA AD HYDI PER LA VERIFICA DEI SISTEMI AVIONICI. Relatore: PALOPOLI LUIGI Correlatore: CIMATTI ALESSANDRO Correlatore: BOZZANO MARCO Academic year: 2009/2010 Course: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Shelfmark: QN183 Richiedi la consultazione |
![]()
Author:
MICHELI ANDREA
Title: SYSTEMC2C: UN FRONTEND PER LA VERIFICA FORMALE DI MODELLI SYSTEMC. Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Controrelatore: PASSERONE ROBERTO Academic year: 2008/2009 Course: Corso di Laurea - Informatica (triennale) [0507C] Struttura didattica: Facoltà di Scienze Formato: digitale Shelfmark: QC312 Richiedi la consultazione |
![]()
Author:
MOVER SERGIO
Title: A ROBUST AUTOMATA LIBRARY FOR SYMBOLIC MODEL CHECKING EXPRESSIVE TEMPORAL LOGICS. Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Correlatore: TONETTA STEFANO Controrelatore: PALOPOLI LUIGI Academic year: 2008/2009 Course: Corso di Laurea Specialistica - Informatica [0510D] Struttura didattica: Facoltà di Scienze Formato: digitale Shelfmark: QN142 Richiedi la consultazione |
![]()
Author:
PENSALLORTO MARCO
Title: IMPLEMENTAZIONE EFFICIENTE DI TECNICHE DI MODEL CHECKING PER INVARIANTI SU SISTEMI A STATI FINITI BASATE SU INTERPOLANTI DI CRAIG. Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Correlatore: ROVERI MARCO Academic year: 2009/2010 Course: Corso di Laurea - Informatica (triennale) [0507C] Struttura didattica: Facoltà di Scienze Formato: digitale Shelfmark: QC368 Richiedi la consultazione |
![]()
Author:
TURRI GIULIANO
Title: DESIGN SPACE EXPLORATION OF REDUNDANCY ARCHITECTURES BASED ON SMT AND OMT Relatore: PASSERONE ROBERTO Correlatore: CIMATTI ALESSANDRO Academic year: 2020/2021 Course: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Shelfmark: 0517H-748 Richiedi la consultazione |
![]()
Author:
VALENTINI ALESSANDRO
Title: TEMPORAL PLANNING WITH INTERMEDIATE CONDITIONS AND EFFECTS Relatore: SEBASTIANI ROBERTO Correlatore: CIMATTI ALESSANDRO Academic year: 2017/2018 Course: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Shelfmark: 0517H-517 Richiedi la consultazione |
![]()
Author:
ZAMPEDRI GIANNI
Title: MODELLAZIONE E VALIDAZIONE DI UN ROBOT PER L'ESPLORAZIONE PLANETARIA Relatore: PALOPOLI LUIGI Correlatore: CIMATTI ALESSANDRO Controrelatore: SEBASTIANI ROBERTO Academic year: 2011/2012 Course: Corso di Laurea - Informatica [0514G] Struttura didattica: Facoltà di Scienze Formato: digitale Shelfmark: 0514G-45 |
![]()
Author:
ZAMPEDRI GIANNI
Title: UNDERSTANDING PROBABILISTIC CONTINUOUS-TIMED MODELS VIA REDUCTION TO CONTINUOUS TIMED TRANSITION SYSTEMS Relatore: QUAGLIA PAOLA Correlatore: CIMATTI ALESSANDRO Academic year: 2016/2017 Course: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Shelfmark: 0517H-438 |