Found results 51 Full data Concise dataClick the title to see full data and shelfmark of each item |
Consultabilità delle tesi
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |