Results

Found results 51

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


Consultabile AVANCINI ANDREA, MIGRAZIONE AUTOMATICA DI SISTEMI LEGACY: UN CASO DI STUDIO., Rel. SEBASTIANI ROBERTO, AA 2008/2009
Author: AVANCINI ANDREA
Title: MIGRAZIONE AUTOMATICA DI SISTEMI LEGACY: UN CASO DI STUDIO.
Relatore: SEBASTIANI ROBERTO
Controrelatore: BRUNATO MAURO
Academic year: 2008/2009
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN122
Richiedi la consultazione
Consultabile BAZZANELLA CINZIA, REQUIREMENT PRIORITIZATION IN SOFTWARE ENGINEERING, A SET OF EXPERIMENTAL PROOFS OF THE CASE-BASED RANKING METHODOLOGY EFFECTIVENESS., Rel. SEBASTIANI ROBERTO, AA 2005/2006
Author: BAZZANELLA CINZIA
Title: REQUIREMENT PRIORITIZATION IN SOFTWARE ENGINEERING, A SET OF EXPERIMENTAL PROOFS OF THE CASE-BASED RANKING METHODOLOGY EFFECTIVENESS.
Relatore: SEBASTIANI ROBERTO
Correlatore: PERINI ANNA
Correlatore: SUSI ANGELO
Controrelatore: BLANZIERI ENRICO
Academic year: 2005/2006
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN25
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 CAPPELLO IGOR, ENCODING WEB SERVICES REQUEST AS CONSTRAINTS: AN IMPLEMENTATION, Rel. AIELLO MARCO, AA 2004/2005
Author: CAPPELLO IGOR
Title: ENCODING WEB SERVICES REQUEST AS CONSTRAINTS: AN IMPLEMENTATION
Relatore: AIELLO MARCO
Controrelatore: SEBASTIANI ROBERTO
Academic year: 2004/2005
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC90
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 COLOMBINI GABRIELE, TECNICHE DI PREPROCESSING DI FORMULE PER MATHSAT: ANALISI, IMPLEMENTAZIONE E TEST, Rel. SEBASTIANI ROBERTO, AA 2002/2003
Author: COLOMBINI GABRIELE
Title: TECNICHE DI PREPROCESSING DI FORMULE PER MATHSAT: ANALISI, IMPLEMENTAZIONE E TEST
Relatore: SEBASTIANI ROBERTO
Academic year: 2002/2003
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC27
Richiedi la consultazione
Consultabile CONTALDO FRANCESCO, FROM OPTIMIZATION MODULO THEORIES TO MINIZINC: ENCODING, EVALUATION AND ANALYSIS, Rel. SEBASTIANI ROBERTO, AA 2017/2018
Author: CONTALDO FRANCESCO
Title: FROM OPTIMIZATION MODULO THEORIES TO MINIZINC: ENCODING, EVALUATION AND ANALYSIS
Relatore: SEBASTIANI ROBERTO
Correlatore: TRENTIN PATRICK
Academic year: 2017/2018
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-524
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 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
Consultabile DI BERNARDO VALERIO, A FORMAL FRAMEWORK FOR SPECIFYING AND VERIFYING PURPOSE AWARE POLICIES., Rel. SEBASTIANI ROBERTO, AA 2014/2015
Author: DI BERNARDO VALERIO
Title: A FORMAL FRAMEWORK FOR SPECIFYING AND VERIFYING PURPOSE AWARE POLICIES.
Relatore: SEBASTIANI ROBERTO
Correlatore: GHIDINI CHIARA
Academic year: 2014/2015
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-297
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 FANTE STEFANO, GOAL-ORIENTED REQUIREMENTS ENGINEERING: TECNICHE NUMERICHE DI ANALISI TOP.DOWN E BOTTOM-UP., Rel. SEBASTIANI ROBERTO, AA 2002/2003
Author: FANTE STEFANO
Title: GOAL-ORIENTED REQUIREMENTS ENGINEERING: TECNICHE NUMERICHE DI ANALISI TOP.DOWN E BOTTOM-UP.
Relatore: SEBASTIANI ROBERTO
Academic year: 2002/2003
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC21
Richiedi la consultazione
Consultabile GIACOBBE MIRCO, PREDICATE ABSTRACTION OF PLC PROGRAMS USING SMT SOLVING, Rel. BIALLAS SEBASTIAN, AA 2011/2012
Author: GIACOBBE MIRCO
Title: PREDICATE ABSTRACTION OF PLC PROGRAMS USING SMT SOLVING
Relatore: BIALLAS SEBASTIAN
Correlatore: KOWALESKI STEFAN
Secondo Correlatore: SEBASTIANI 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-122
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
Consultabile GOZZER PAOLO, VOTO ELETTRONICO: VERSO UN PORTALE DELLE ESPERIENZE PRINCIPALI DI VOTO., Rel. SEBASTIANI ROBERTO, AA 2004/2005
Author: GOZZER PAOLO
Title: VOTO ELETTRONICO: VERSO UN PORTALE DELLE ESPERIENZE PRINCIPALI DI VOTO.
Relatore: SEBASTIANI ROBERTO
Academic year: 2004/2005
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC87
Richiedi la consultazione
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
Consultabile LARCHERI PAOLO, APPLICAZIONE DI UNA PIATTAFORMA MULTICAST A SISTEMI SENSIBILI ALL'AMBIENTE, Rel. SEBASTIANI ROBERTO, AA 2001/2002
Author: LARCHERI PAOLO
Title: APPLICAZIONE DI UNA PIATTAFORMA MULTICAST A SISTEMI SENSIBILI ALL'AMBIENTE
Relatore: SEBASTIANI ROBERTO
Correlatore: BUSETTA PAOLO
Academic year: 2001/2002
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC7
Richiedi la consultazione
Consultabile LE THI THIEU HOA, A NOVEL TECHNIQUE FOR COMPUTING CRAIG INTERPOLANTS IN SATISFIABILITY MODULO THE THEORY OF INTEGER LINEAR ARITHMETIC., Rel. SEBASTIANI ROBERTO, AA 2009/2010
Author: LE THI THIEU HOA
Title: A NOVEL TECHNIQUE FOR COMPUTING CRAIG INTERPOLANTS IN SATISFIABILITY MODULO THE THEORY OF INTEGER LINEAR ARITHMETIC.
Relatore: SEBASTIANI ROBERTO
Academic year: 2009/2010
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QQ5
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 MASINA GABRIELE, EXTENDING WEIGHTED MODEL INTEGRATION WITH STRUCTURE AWARENESS AND MULTIPLE INTEGRATION APPROACHES, Rel. SEBASTIANI ROBERTO, AA 2021/2022
Author: MASINA GABRIELE
Title: EXTENDING WEIGHTED MODEL INTEGRATION WITH STRUCTURE AWARENESS AND MULTIPLE INTEGRATION APPROACHES
Relatore: SEBASTIANI ROBERTO
Correlatore: SPALLITTA GIUSEPPE
Secondo Correlatore: PASSERINI ANDREA
Academic year: 2021/2022
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-842
Richiedi la consultazione
Consultabile MATTEOTTI CRISTINA, APPLYING A NOVEL TEST-CASE PRIORITIZATION METHODOLOGY ON A REAL CASE STUDY., Rel. SEBASTIANI ROBERTO, AA 2005/2006
Author: MATTEOTTI CRISTINA
Title: APPLYING A NOVEL TEST-CASE PRIORITIZATION METHODOLOGY ON A REAL CASE STUDY.
Relatore: SEBASTIANI ROBERTO
Correlatore: TONELLA PAOLO
Controrelatore: GIORGINI PAOLO
Academic year: 2005/2006
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC168
Richiedi la consultazione
Consultabile MERZI MATTIA, UNA TECNICA PER LA COORDINAZIONE DI AGENTI MEDIANTE MULTICAST: IMPLEMENTAZIONE E CONFRONTI., Rel. SEBASTIANI ROBERTO, AA 2003/2004
Author: MERZI MATTIA
Title: UNA TECNICA PER LA COORDINAZIONE DI AGENTI MEDIANTE MULTICAST: IMPLEMENTAZIONE E CONFRONTI.
Relatore: SEBASTIANI ROBERTO
Correlatore: LEONI MATTEO
Academic year: 2003/2004
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC38
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 MICHELI ANDREA, TEMPORAL PROBLEMS WITH SATISTIABILITY MODULO THEORY, Rel. SEBASTIANI ROBERTO, AA 2010/2011
Author: MICHELI ANDREA
Title: TEMPORAL PROBLEMS WITH SATISTIABILITY MODULO THEORY
Relatore: SEBASTIANI ROBERTO
Correlatore: ROVERI MARCO
Academic year: 2010/2011
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: 0517H-49
Richiedi la consultazione
Consultabile MICHNO MACIEJ, A RULE BASED APPROACH TO THE RICOGNITION OF NEWSPAPER ARTICLES. UN APPROCCIO BASATO SU REGOLE AL RICONOSCIMENTO DI ARTICOLI DI STAMPA QUOTIDIANA., Rel. AIELLO MARCO, AA 2005/2006
Author: MICHNO MACIEJ
Title: A RULE BASED APPROACH TO THE RICOGNITION OF NEWSPAPER ARTICLES. UN APPROCCIO BASATO SU REGOLE AL RICONOSCIMENTO DI ARTICOLI DI STAMPA QUOTIDIANA.
Relatore: AIELLO MARCO
Controrelatore: SEBASTIANI ROBERTO
Academic year: 2005/2006
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN14
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 NARDIN LUCA, POLYNOMIAL TIME INSTANCES FOR THE I.K.H.O. PROBLEM. ISTANZE A TEMPO POLINOMINALE PER IL PROBLEMA I.K.H.O., Rel. SEBASTIANI ROBERTO, AA 2005/2006
Author: NARDIN LUCA
Title: POLYNOMIAL TIME INSTANCES FOR THE I.K.H.O. PROBLEM. ISTANZE A TEMPO POLINOMINALE PER IL PROBLEMA I.K.H.O.
Relatore: SEBASTIANI ROBERTO
Correlatore: RIZZI ROMEO
Controrelatore: BATTITI ROBERTO
Academic year: 2005/2006
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC144
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 PHAN QUOC SANG, STOCHASTIC LOCAL SEARCH FOR SATISFIABILITY MODULO THEORIES: EXPLOITS TRIMMING AND COMMITMENT STRATEGIES., Rel. SEBASTIANI ROBERTO, AA 2009/2010
Author: PHAN QUOC SANG
Title: STOCHASTIC LOCAL SEARCH FOR SATISFIABILITY MODULO THEORIES: EXPLOITS TRIMMING AND COMMITMENT STRATEGIES.
Relatore: SEBASTIANI ROBERTO
Correlatore: TOMASI SILVIA
Academic year: 2009/2010
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QQ18
Richiedi la consultazione
Consultabile RAMADIAN YUSI, SCHEDULING VERIFICATION AND SENSITIVITY ANALYSIS USING MATHSAT., Rel. PALOPOLI LUIGI, AA 2006/2007
Author: RAMADIAN YUSI
Title: SCHEDULING VERIFICATION AND SENSITIVITY ANALYSIS USING MATHSAT.
Relatore: PALOPOLI LUIGI
Controrelatore: SEBASTIANI ROBERTO
Academic year: 2006/2007
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN51
Richiedi la consultazione
Consultabile SANTUARI ALESSANDRO, NUOVE TECNICHE DI RAGIONAMENTO AUTOMATICO PER TEORIE LOGICHE COMBINATE, Rel. SEBASTIANI ROBERTO, AA 2004/2005
Author: SANTUARI ALESSANDRO
Title: NUOVE TECNICHE DI RAGIONAMENTO AUTOMATICO PER TEORIE LOGICHE COMBINATE
Relatore: SEBASTIANI ROBERTO
Controrelatore: AIELLO MARCO
Academic year: 2004/2005
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN11
Richiedi la consultazione
Consultabile SGORLON STEFANO, A SAT-BASED TOOL FOR SOLVING CONFIGURATION PROBLEMS., Rel. SEBASTIANI ROBERTO, AA 2007/2008
Author: SGORLON STEFANO
Title: A SAT-BASED TOOL FOR SOLVING CONFIGURATION PROBLEMS.
Relatore: SEBASTIANI ROBERTO
Academic year: 2007/2008
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN101
Richiedi la consultazione
Consultabile SIENA ALBERTO, UNO STRUMENTO PER LA VERIFICA ESAUSTIVA DELLA CORRETTEZZA DEI REGOLAMENTI DIDATTICI E LA PIANIFICAZIONE AUTOMATICA DI CURRICULA IN AMBITO UNIVERSITARIO, Rel. BOUQUET PAOLO, AA 2002/2003
Author: SIENA ALBERTO
Title: UNO STRUMENTO PER LA VERIFICA ESAUSTIVA DELLA CORRETTEZZA DEI REGOLAMENTI DIDATTICI E LA PIANIFICAZIONE AUTOMATICA DI CURRICULA IN AMBITO UNIVERSITARIO
Relatore: BOUQUET PAOLO
Correlatore: SEBASTIANI ROBERTO
Controrelatore: ERZEGOVESI LUCA
Academic year: 2002/2003
Course: Corso di Laurea - Economia e Commercio [0103B]
Struttura didattica: Facoltà di Economia
Formato: digitale
Shelfmark: EC3192
Richiedi la consultazione
Consultabile SOMMAVILLA FRANCESCO, PUSHING THE ENVELOPE OF SMT-BASED WEIGHTED MODEL INTEGRATION, Rel. PASSERINI ANDREA, Rel. SEBASTIANI ROBERTO, AA 2018/2019
Author: SOMMAVILLA FRANCESCO
Title: PUSHING THE ENVELOPE OF SMT-BASED WEIGHTED MODEL INTEGRATION
Relatore: SEBASTIANI ROBERTO
Secondo Relatore: PASSERINI ANDREA
Correlatore: MORETTIN PAOLO
Academic year: 2018/2019
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-551
Richiedi la consultazione
Consultabile SPALLITTA GIUSEPPE, IMPROVED TECHNIQUES FOR SAT-TO-ISING ENCODING APPLIED TO HYBRID QUANTUM ANNEALING, Rel. SEBASTIANI ROBERTO, AA 2019/2020
Author: SPALLITTA GIUSEPPE
Title: IMPROVED TECHNIQUES FOR SAT-TO-ISING ENCODING APPLIED TO HYBRID QUANTUM ANNEALING
Relatore: SEBASTIANI ROBERTO
Correlatore: ROVERI MARCO
Academic year: 2019/2020
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-652
Richiedi la consultazione
Consultabile STENICO MARCO, USO DI TECNICHE DI COMPUTER ALGEBRA PER LA SOLUZIONE DI PROBLEMI NON LINEARI IN MATHSAT: UNO STUDIO PRELIMINARE, Rel. SEBASTIANI ROBERTO, AA 2003/2004
Author: STENICO MARCO
Title: USO DI TECNICHE DI COMPUTER ALGEBRA PER LA SOLUZIONE DI PROBLEMI NON LINEARI IN MATHSAT: UNO STUDIO PRELIMINARE
Relatore: SEBASTIANI ROBERTO
Controrelatore: RIZZI ROMEO
Academic year: 2003/2004
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC36
Richiedi la consultazione
Consultabile STENICO CRISTIAN, TECHNIQUES FOR COST-OPTIMIZATION IN SATISFIABILITY MODULO THEORY., Rel. SEBASTIANI ROBERTO, AA 2008/2009
Author: STENICO CRISTIAN
Title: TECHNIQUES FOR COST-OPTIMIZATION IN SATISFIABILITY MODULO THEORY.
Relatore: SEBASTIANI ROBERTO
Controrelatore: PALOPOLI LUIGI
Academic year: 2008/2009
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN167
Richiedi la consultazione
Consultabile STROBBE MICHELA, USO DI CODIFICA GRAY IN SYMBOLIC MODEL CHECKING., Rel. SEBASTIANI ROBERTO, AA 2006/2007
Author: STROBBE MICHELA
Title: USO DI CODIFICA GRAY IN SYMBOLIC MODEL CHECKING.
Relatore: SEBASTIANI ROBERTO
Academic year: 2006/2007
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN69
Richiedi la consultazione
Consultabile TOMASI ALESSANDRO, TECNICHE DI VERIFICA FORMALE APPLICATE A PROCESSI AMMINISTRATIVI UNIVERSITARI: SIMULAZIONE DI PIANI DI STUDIO E VERIFICA DELLA COERENZA DI OFFERTE DIDATTICHE TRAMITE SYMBOLIC MODEL CHECKING, Rel. GIUNCHIGLIA FAUSTO, AA 1999/2000
Author: TOMASI ALESSANDRO
Title: TECNICHE DI VERIFICA FORMALE APPLICATE A PROCESSI AMMINISTRATIVI UNIVERSITARI: SIMULAZIONE DI PIANI DI STUDIO E VERIFICA DELLA COERENZA DI OFFERTE DIDATTICHE TRAMITE SYMBOLIC MODEL CHECKING
Relatore: GIUNCHIGLIA FAUSTO
Correlatore: SEBASTIANI ROBERTO
Academic year: 1999/2000
Course: Corso di Laurea - Matematica [0503B]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: MA386
Richiedi la consultazione
Non consultabile TOMASI SILVIA, LOGIC PROGRAMMING TECHNIQUES IN MDD: APPLICATION TO CODE GENERATION AND FORMAL VERIFICATION OF STATECHARTS., Rel. SEBASTIANI ROBERTO, AA 2008/2009
Author: TOMASI SILVIA
Title: LOGIC PROGRAMMING TECHNIQUES IN MDD: APPLICATION TO CODE GENERATION AND FORMAL VERIFICATION OF STATECHARTS.
Relatore: SEBASTIANI ROBERTO
Correlatore: TIELLA ROBERTO
Controrelatore: PALOPOLI LUIGI
Academic year: 2008/2009
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN132
Consultabile TOMASONI DANILO, APPLICAZIONE DI TECNICHE DI MODEL CHECKING ALLA VERIFICA DI PROGRAMMI A INTERAZIONE VOCALE, Rel. SEBASTIANI ROBERTO, AA 2010/2011
Author: TOMASONI DANILO
Title: APPLICAZIONE DI TECNICHE DI MODEL CHECKING ALLA VERIFICA DI PROGRAMMI A INTERAZIONE VOCALE
Relatore: SEBASTIANI ROBERTO
Correlatore: ROBERTI PIERLUIGI
Academic year: 2010/2011
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: 0517H-48
Richiedi la consultazione
Consultabile TRENTIN PATRICK, LINEAR INTEGER OPTIMIZATION WITH SMT , Rel. SEBASTIANI ROBERTO, AA 2012/2013
Author: TRENTIN PATRICK
Title: LINEAR INTEGER OPTIMIZATION WITH SMT
Relatore: SEBASTIANI ROBERTO
Controrelatore: PALOPOLI LUIGI
Academic year: 2012/2013
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-189
Richiedi la consultazione
Consultabile TRUONG DUY TIN, AUTOMATED PARAMETER CONFIGURATION FOR AN SMT SOLVER., Rel. SEBASTIANI ROBERTO, AA 2009/2010
Author: TRUONG DUY TIN
Title: AUTOMATED PARAMETER CONFIGURATION FOR AN SMT SOLVER.
Relatore: SEBASTIANI ROBERTO
Academic year: 2009/2010
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QQ6
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
Consultabile VAROTTI STEFANO, EFFICIENT ENCODING OF SAT PROBLEMS INTO QUBO PROBLEMS FOR ADIABATIC QUANTUM COMPUTATIONS., Rel. SEBASTIANI ROBERTO, AA 2014/2015
Author: VAROTTI STEFANO
Title: EFFICIENT ENCODING OF SAT PROBLEMS INTO QUBO PROBLEMS FOR ADIABATIC QUANTUM COMPUTATIONS.
Relatore: SEBASTIANI ROBERTO
Academic year: 2014/2015
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-284
Richiedi la consultazione
Consultabile VESCOVI MICHELE, AUTOMATIC REASONING IN MODAL LOGIC VIA SAT, Rel. SEBASTIANI ROBERTO, AA 2004/2005
Author: VESCOVI MICHELE
Title: AUTOMATIC REASONING IN MODAL LOGIC VIA SAT
Relatore: SEBASTIANI ROBERTO
Controrelatore: AIELLO MARCO
Academic year: 2004/2005
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN12
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