Results

Found results 27

Full data Concise data

Click the title to see full data and shelfmark of each item

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Tesi presenti nel catalogo

Non definita BONIZZI ALBERTO, MODEL-BASED DESIGN OF A SMART ENERGY CONTROL USING TASTE, Rel. PASSERONE ROBERTO, AA 2017/2018
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
Consultabile CALABRESE RAFFAELE LEONARDO, PROGETTO E SVILUPPO DI UNO SCHEDULER PER APPLICAZIONI IN MULTITASK, Rel. GIUNCHIGLIA FAUSTO, AA 1995/1996
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
Non consultabile CAMPANA DANIELE, FORMAL VERIFICATION OF SLIM MODELS VIA TRANSLATION INTO EXPLICIT HYDI, Rel. SEBASTIANI ROBERTO, AA 2011/2012
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
Non consultabile CAMPANA DANIELE, A FORMAL FRAMEWORK FOR THE EFFICIENT SIMULATION OF TIMED COMPLEX SYSTEMS AND CONTROL PLANS, Rel. SEBASTIANI ROBERTO, Rel. CIMATTI ALESSANDRO, AA 2013/2014
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
Consultabile CAMUFFO NICOLA, VERIFICA FORMALE DI MODELLI LUSTRE TRAMITE NUSMV., Rel. SEBASTIANI ROBERTO, AA 2009/2010
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
Consultabile CIRESA MARTINO, DESIGN AND DEVELOPMENT OF A GRAPHICAL FRONT-END FOR THE VERIFICATION OF STRUCTURED HYBRID SYSTEMS, Rel. SEBASTIANI ROBERTO, AA 2011/2012
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
Consultabile CRISTELLI MICHELE, MODELLAZIONE DI SISTEMI IBRIDI IN MATLAB/SIMULINK, E LORO CODIFICA E VERIFICA CON IL TOOL NUSMV., Rel. SEBASTIANI ROBERTO, AA 2009/2010
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
Consultabile CRISTELLI MICHELE, PLANNING WITH DURATIVE ACTIONS UNDER TEMPORAL UNCERTAINTY, Rel. LIPARI GIUSEPPE, Rel. PALOPOLI LUIGI, AA 2011/2012
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
Consultabile DAL LAGO LORIS, USING ABSTRACT INTERPRETATION TO PERFORM STATIC ANALYSIS IN NUSMV, Rel. SEBASTIANI ROBERTO, AA 2011/2012
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
Non consultabile DOKLA DODO EDWIN, MODELING AND VERIFICATION OF A TTETHERNET SYNCHRONIZATION FUNCTION AS HYBRID AUTOMATA, Rel. SEBASTIANI ROBERTO, AA 2011/2012
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
Consultabile DONAZZOLO FULVIO, UN'ANALISI FORMALE DELLA COMPETIZIONE INTERNAZIONALE PER SISTEMI DI DIAGNOSTICA, Rel. CIMATTI ALESSANDRO, AA 2011/2012
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
Consultabile DORIGATTI MICHELE, THE OCRA TOOL: FORMAL SUPPORT FOR CONTRACT-BASED DESIGN, Rel. PASSERONE ROBERTO, AA 2011/2012
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
Consultabile FORTI WALTER, UN SISTEMA DI SUPERVISIONE DISTRIBUITO PER LA GESTIONE DI IMPIANTI DI TRASPORTO, Rel. GIUNCHIGLIA FAUSTO, AA 1995/1996
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
Consultabile FORTI WALTER, UN SISTEMA DI SUPERVISIONE DISTRIBUITO PER LA GESTIONE DI IMPIANTI DI TRASPORTO, Rel. GIUNCHIGLIA FAUSTO, AA 2001/2002
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
Non consultabile GIRARDI MASSIMILIANO, RUNTIME VERIFICATION OF SCADE-BASED SAFETY-CRITICAL SYSTEMS, Rel. SEBASTIANI ROBERTO, AA 2020/2021
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
Non consultabile GREGO ELIA, FAILURE PROPAGATION OF SAFETY CRITICAL SYSTEMS: THE WHEEL BRAKE SYSTEM CASE STUDY, Rel. SEBASTIANI ROBERTO, AA 2020/2021
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
Consultabile LAGO FRANCESCO, SVILUPPO DI UN CONVERTITORE VERILOG-NUSMV., Rel. SEBASTIANI ROBERTO, AA 2006/2007
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
Non consultabile MAGNAGO ENRICO, TIMED NUXMV, Rel. SEBASTIANI ROBERTO, AA 2017/2018
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
Consultabile MARIOTTI ALESSANDRO, VERIFICA FORMALE DI HARDWARE VIA AIGER E NUSMV., Rel. SEBASTIANI ROBERTO, AA 2009/2010
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
Consultabile MATTAREI CRISTIAN, DEFINIZIONE E SVILUPPO DI UNA TRADUZIONE FORMALE DA ALTARICA AD HYDI PER LA VERIFICA DEI SISTEMI AVIONICI., Rel. PALOPOLI LUIGI, AA 2009/2010
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
Consultabile MICHELI ANDREA, SYSTEMC2C: UN FRONTEND PER LA VERIFICA FORMALE DI MODELLI SYSTEMC., Rel. SEBASTIANI ROBERTO, AA 2008/2009
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
Consultabile MOVER SERGIO, A ROBUST AUTOMATA LIBRARY FOR SYMBOLIC MODEL CHECKING EXPRESSIVE TEMPORAL LOGICS., Rel. SEBASTIANI ROBERTO, AA 2008/2009
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
Consultabile PENSALLORTO MARCO, IMPLEMENTAZIONE EFFICIENTE DI TECNICHE DI MODEL CHECKING PER INVARIANTI SU SISTEMI A STATI FINITI BASATE SU INTERPOLANTI DI CRAIG., Rel. SEBASTIANI ROBERTO, AA 2009/2010
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
Consultabile TURRI GIULIANO, DESIGN SPACE EXPLORATION OF REDUNDANCY ARCHITECTURES BASED ON SMT AND OMT, Rel. PASSERONE ROBERTO, AA 2020/2021
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
Consultabile VALENTINI ALESSANDRO, TEMPORAL PLANNING WITH INTERMEDIATE CONDITIONS AND EFFECTS, Rel. SEBASTIANI ROBERTO, AA 2017/2018
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
Non consultabile ZAMPEDRI GIANNI, MODELLAZIONE E VALIDAZIONE DI UN ROBOT PER L'ESPLORAZIONE PLANETARIA, Rel. PALOPOLI LUIGI, AA 2011/2012
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
Non consultabile ZAMPEDRI GIANNI, UNDERSTANDING PROBABILISTIC CONTINUOUS-TIMED MODELS VIA REDUCTION TO CONTINUOUS TIMED TRANSITION SYSTEMS, Rel. QUAGLIA PAOLA, AA 2016/2017
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

New search