Risultati

Risultati trovati 27

Dati completi Dati sintetici

Clicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo.

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Modalità di consultazione e contatti

Non definita BONIZZI ALBERTO, MODEL-BASED DESIGN OF A SMART ENERGY CONTROL USING TASTE, Rel. PASSERONE ROBERTO, AA 2017/2018
Autore: BONIZZI ALBERTO
Titolo: MODEL-BASED DESIGN OF A SMART ENERGY CONTROL USING TASTE
Relatore: PASSERONE ROBERTO
Correlatore: CIMATTI ALESSANDRO
Secondo Correlatore: PASSERONE ROBERTO
Controrelatore: CAVADA ROBERTO
Anno accademico: 2017/2018
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-484
Consultabile CALABRESE RAFFAELE LEONARDO, PROGETTO E SVILUPPO DI UNO SCHEDULER PER APPLICAZIONI IN MULTITASK, Rel. GIUNCHIGLIA FAUSTO, AA 1995/1996
Autore: CALABRESE RAFFAELE LEONARDO
Titolo: PROGETTO E SVILUPPO DI UNO SCHEDULER PER APPLICAZIONI IN MULTITASK
Relatore: GIUNCHIGLIA FAUSTO
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 1995/1996
Corso: Diploma Universitario - Diploma Universitario in Ingegneria Informatica [0302A]
Struttura didattica: Facoltà di Ingegneria
Formato: cartaceo
Segnatura: IN46
Richiedi la consultazione
Non consultabile CAMPANA DANIELE, FORMAL VERIFICATION OF SLIM MODELS VIA TRANSLATION INTO EXPLICIT HYDI, Rel. SEBASTIANI ROBERTO, AA 2011/2012
Autore: CAMPANA DANIELE
Titolo: FORMAL VERIFICATION OF SLIM MODELS VIA TRANSLATION INTO EXPLICIT HYDI
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Secondo Correlatore: TONETTA STEFANO
Anno accademico: 2011/2012
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 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
Autore: CAMPANA DANIELE
Titolo: 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
Anno accademico: 2013/2014
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-236
Consultabile CAMUFFO NICOLA, VERIFICA FORMALE DI MODELLI LUSTRE TRAMITE NUSMV., Rel. SEBASTIANI ROBERTO, AA 2009/2010
Autore: CAMUFFO NICOLA
Titolo: VERIFICA FORMALE DI MODELLI LUSTRE TRAMITE NUSMV.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2009/2010
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 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
Autore: CIRESA MARTINO
Titolo: DESIGN AND DEVELOPMENT OF A GRAPHICAL FRONT-END FOR THE VERIFICATION OF STRUCTURED HYBRID SYSTEMS
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2011/2012
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 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
Autore: CRISTELLI MICHELE
Titolo: 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
Anno accademico: 2009/2010
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC332
Richiedi la consultazione
Consultabile CRISTELLI MICHELE, PLANNING WITH DURATIVE ACTIONS UNDER TEMPORAL UNCERTAINTY, Rel. LIPARI GIUSEPPE, Rel. PALOPOLI LUIGI, AA 2011/2012
Autore: CRISTELLI MICHELE
Titolo: PLANNING WITH DURATIVE ACTIONS UNDER TEMPORAL UNCERTAINTY
Relatore: PALOPOLI LUIGI
Secondo Relatore: LIPARI GIUSEPPE
Correlatore: CIMATTI ALESSANDRO
Secondo Correlatore: ROVERI MARCO
Controrelatore: PASSERONE ROBERTO
Anno accademico: 2011/2012
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-120
Richiedi la consultazione
Consultabile DAL LAGO LORIS, USING ABSTRACT INTERPRETATION TO PERFORM STATIC ANALYSIS IN NUSMV, Rel. SEBASTIANI ROBERTO, AA 2011/2012
Autore: DAL LAGO LORIS
Titolo: USING ABSTRACT INTERPRETATION TO PERFORM STATIC ANALYSIS IN NUSMV
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Controrelatore: PASSERONE ROBERTO
Anno accademico: 2011/2012
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 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
Autore: DOKLA DODO EDWIN
Titolo: MODELING AND VERIFICATION OF A TTETHERNET SYNCHRONIZATION FUNCTION AS HYBRID AUTOMATA
Relatore: SEBASTIANI ROBERTO
Correlatore: TONETTA STEFANO
Secondo Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2011/2012
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0514G-65
Consultabile DONAZZOLO FULVIO, UN'ANALISI FORMALE DELLA COMPETIZIONE INTERNAZIONALE PER SISTEMI DI DIAGNOSTICA, Rel. CIMATTI ALESSANDRO, AA 2011/2012
Autore: DONAZZOLO FULVIO
Titolo: UN'ANALISI FORMALE DELLA COMPETIZIONE INTERNAZIONALE PER SISTEMI DI DIAGNOSTICA
Relatore: CIMATTI ALESSANDRO
Correlatore: BOZZANO MARCO
Secondo Correlatore: CAVADA ROBERTO
Anno accademico: 2011/2012
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0507C-398
Richiedi la consultazione
Consultabile DORIGATTI MICHELE, THE OCRA TOOL: FORMAL SUPPORT FOR CONTRACT-BASED DESIGN, Rel. PASSERONE ROBERTO, AA 2011/2012
Autore: DORIGATTI MICHELE
Titolo: THE OCRA TOOL: FORMAL SUPPORT FOR CONTRACT-BASED DESIGN
Relatore: PASSERONE ROBERTO
Correlatore: TONETTA STEFANO
Secondo Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2011/2012
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 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
Autore: FORTI WALTER
Titolo: UN SISTEMA DI SUPERVISIONE DISTRIBUITO PER LA GESTIONE DI IMPIANTI DI TRASPORTO
Relatore: GIUNCHIGLIA FAUSTO
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 1995/1996
Corso: Diploma Universitario - Diploma Universitario in Ingegneria Informatica [0302A]
Struttura didattica: Facoltà di Ingegneria
Formato: cartaceo
Segnatura: 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
Autore: FORTI WALTER
Titolo: UN SISTEMA DI SUPERVISIONE DISTRIBUITO PER LA GESTIONE DI IMPIANTI DI TRASPORTO
Relatore: GIUNCHIGLIA FAUSTO
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2001/2002
Corso: Corso di Laurea - Ingegneria dell'informazione e dell'organizzazione [0317C]
Struttura didattica: Facoltà di Ingegneria
Formato: cartaceo
Segnatura: IN30
Richiedi la consultazione
Non consultabile GIRARDI MASSIMILIANO, RUNTIME VERIFICATION OF SCADE-BASED SAFETY-CRITICAL SYSTEMS, Rel. SEBASTIANI ROBERTO, AA 2020/2021
Autore: GIRARDI MASSIMILIANO
Titolo: RUNTIME VERIFICATION OF SCADE-BASED SAFETY-CRITICAL SYSTEMS
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2020/2021
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-770
Non consultabile GREGO ELIA, FAILURE PROPAGATION OF SAFETY CRITICAL SYSTEMS: THE WHEEL BRAKE SYSTEM CASE STUDY, Rel. SEBASTIANI ROBERTO, AA 2020/2021
Autore: GREGO ELIA
Titolo: 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
Anno accademico: 2020/2021
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-716
Consultabile LAGO FRANCESCO, SVILUPPO DI UN CONVERTITORE VERILOG-NUSMV., Rel. SEBASTIANI ROBERTO, AA 2006/2007
Autore: LAGO FRANCESCO
Titolo: SVILUPPO DI UN CONVERTITORE VERILOG-NUSMV.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2006/2007
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC200
Richiedi la consultazione
Non consultabile MAGNAGO ENRICO, TIMED NUXMV, Rel. SEBASTIANI ROBERTO, AA 2017/2018
Autore: MAGNAGO ENRICO
Titolo: TIMED NUXMV
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2017/2018
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-496
Consultabile MARIOTTI ALESSANDRO, VERIFICA FORMALE DI HARDWARE VIA AIGER E NUSMV., Rel. SEBASTIANI ROBERTO, AA 2009/2010
Autore: MARIOTTI ALESSANDRO
Titolo: VERIFICA FORMALE DI HARDWARE VIA AIGER E NUSMV.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Correlatore: ROVERI MARCO
Anno accademico: 2009/2010
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 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
Autore: MATTAREI CRISTIAN
Titolo: 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
Anno accademico: 2009/2010
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN183
Richiedi la consultazione
Consultabile MICHELI ANDREA, SYSTEMC2C: UN FRONTEND PER LA VERIFICA FORMALE DI MODELLI SYSTEMC., Rel. SEBASTIANI ROBERTO, AA 2008/2009
Autore: MICHELI ANDREA
Titolo: SYSTEMC2C: UN FRONTEND PER LA VERIFICA FORMALE DI MODELLI SYSTEMC.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Controrelatore: PASSERONE ROBERTO
Anno accademico: 2008/2009
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC312
Richiedi la consultazione
Consultabile MOVER SERGIO, A ROBUST AUTOMATA LIBRARY FOR SYMBOLIC MODEL CHECKING EXPRESSIVE TEMPORAL LOGICS., Rel. SEBASTIANI ROBERTO, AA 2008/2009
Autore: MOVER SERGIO
Titolo: A ROBUST AUTOMATA LIBRARY FOR SYMBOLIC MODEL CHECKING EXPRESSIVE TEMPORAL LOGICS.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Correlatore: TONETTA STEFANO
Controrelatore: PALOPOLI LUIGI
Anno accademico: 2008/2009
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 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
Autore: PENSALLORTO MARCO
Titolo: 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
Anno accademico: 2009/2010
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC368
Richiedi la consultazione
Consultabile TURRI GIULIANO, DESIGN SPACE EXPLORATION OF REDUNDANCY ARCHITECTURES BASED ON SMT AND OMT, Rel. PASSERONE ROBERTO, AA 2020/2021
Autore: TURRI GIULIANO
Titolo: DESIGN SPACE EXPLORATION OF REDUNDANCY ARCHITECTURES BASED ON SMT AND OMT
Relatore: PASSERONE ROBERTO
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2020/2021
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-748
Richiedi la consultazione
Consultabile VALENTINI ALESSANDRO, TEMPORAL PLANNING WITH INTERMEDIATE CONDITIONS AND EFFECTS, Rel. SEBASTIANI ROBERTO, AA 2017/2018
Autore: VALENTINI ALESSANDRO
Titolo: TEMPORAL PLANNING WITH INTERMEDIATE CONDITIONS AND EFFECTS
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2017/2018
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 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
Autore: ZAMPEDRI GIANNI
Titolo: MODELLAZIONE E VALIDAZIONE DI UN ROBOT PER L'ESPLORAZIONE PLANETARIA
Relatore: PALOPOLI LUIGI
Correlatore: CIMATTI ALESSANDRO
Controrelatore: SEBASTIANI ROBERTO
Anno accademico: 2011/2012
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0514G-45
Non consultabile ZAMPEDRI GIANNI, UNDERSTANDING PROBABILISTIC CONTINUOUS-TIMED MODELS VIA REDUCTION TO CONTINUOUS TIMED TRANSITION SYSTEMS, Rel. QUAGLIA PAOLA, AA 2016/2017
Autore: ZAMPEDRI GIANNI
Titolo: UNDERSTANDING PROBABILISTIC CONTINUOUS-TIMED MODELS VIA REDUCTION TO CONTINUOUS TIMED TRANSITION SYSTEMS
Relatore: QUAGLIA PAOLA
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2016/2017
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-438

Nuova ricerca