Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 128
Titolo Data di pubblicazione Autori File
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES 1-gen-2023 Mandrioli D.Pradella M.Crespi Reghizzi S.
A Model Checker for Operator Precedence Languages 1-gen-2023 Chiari M.Mandrioli D.Pontiggia F.Pradella M.
Weighted operator precedence languages 1-gen-2022 Droste M.Duck S.Mandrioli D.Pradella M.
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 1-gen-2022 Chiari M.Mandrioli D.Pradella M.
Model-Checking Structured Context-Free Languages 1-gen-2021 Chiari, MicheleMandrioli, DinoPradella, Matteo
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages 1-gen-2020 Mandrioli D.Pradella M.Crespi Reghizzi S.
Operator precedence temporal logic and model checking 1-gen-2020 Chiari M.Mandrioli D.Pradella M.
Linear temporal logics for structured context-free languages 1-gen-2020 Chiari M.Bergamaschi D.Mandrioli D.Pradella M.
Safety Assessment of Collaborative Robotics Through Automated Formal Verification 1-gen-2019 Vicentini F.Askarpour M.Rossi M. G.Mandrioli D.
Formal model of human erroneous behavior for safety analysis in collaborative robotics 1-gen-2019 Askarpour M.Mandrioli D.Rossi M.Vicentini F.
Formal Methods in Designing Critical Cyber-Physical Systems 1-gen-2019 Askarpour M.Ghezzi C.Mandrioli D.Rossi M.Tsigkanos C.
Word- and Tree-based Temporal Logics for Operator Precedence Languages 1-gen-2019 Michele ChiariDino MandrioliMatteo Pradella
Generalizing input-driven languages: Theoretical and practical benefits 1-gen-2018 D. MandrioliM. Pradella
Temporal Logic and Model Checking for Operator Precedence Languages 1-gen-2018 CHIARI, MICHELEDino MandrioliMatteo Pradella
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 1-gen-2017 ASKARPOUR, MEHRNOOSHMANDRIOLI, DINOROSSI, MATTEO GIOVANNIVICENTINI, FEDERICO
Toward a theory of input-driven locally parsable languages 1-gen-2017 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINOPRADELLA, MATTEO +
Weighted Operator Precedence Languages 1-gen-2017 Dino MandrioliMatteo Pradella +
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 1-gen-2016 ROSSI, MATTEO GIOVANNIMANDRIOLI, DINOMORZENTI, ANGELO CARLOFERRUCCI, LUCA
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration 1-gen-2016 ASKARPOUR, MEHRNOOSHMANDRIOLI, DINOROSSI, MATTEO GIOVANNIVICENTINI, FEDERICO
On the Heroism of really Pursuing Formal Methods 1-gen-2015 MANDRIOLI, DINO
Syntactic-semantic incrementality for agile verification 1-gen-2015 GHEZZI, CARLOMANDRIOLI, DINO +
Programming Languages shouldn't be "too Natural" 1-gen-2015 MANDRIOLI, DINOPRADELLA, MATTEO
First-Order Logic Definability of Free Languages 1-gen-2015 MANDRIOLI, DINOPANELLA, FEDERICAPRADELLA, MATTEO +
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization 1-gen-2015 MANDRIOLI, DINOPANELLA, FEDERICAPRADELLA, MATTEO +
Parallel parsing made practical 1-gen-2015 BARENGHI, ALESSANDROCRESPI REGHIZZI, STEFANOMANDRIOLI, DINOPANELLA, FEDERICAPRADELLA, MATTEO
Syntax-Driven Program Verification of Matching Logic Properties 1-gen-2015 GHEZZI, CARLOMANDRIOLI, DINORIZZI, ALESSANDRO MARIA +
Locally Chain-Parsable Languages 1-gen-2015 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINOPRADELLA, MATTEO +
Automated formal verification for flexible manufacturing systems 1-gen-2014 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI +
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows 1-gen-2014 GHEZZI, CARLOMANDRIOLI, DINO +
The PAPAGENO Parallel-Parser Generator 1-gen-2014 BARENGHI, ALESSANDROCRESPI REGHIZZI, STEFANOMANDRIOLI, DINOPANELLA, FEDERICAPRADELLA, MATTEO
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars 1-gen-2013 BARENGHI, ALESSANDROCRESPI REGHIZZI, STEFANOMANDRIOLI, DINOPRADELLA, MATTEO +
Operator precedence ω-languages 1-gen-2013 PANELLA, FEDERICAPRADELLA, MATTEOMANDRIOLI, DINO +
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages 1-gen-2013 MANDRIOLI, DINOPRADELLA, MATTEO +
Free Grammars and Languages 1-gen-2013 MANDRIOLI, DINOPANELLA, FEDERICAPRADELLA, MATTEO +
Parallel parsing of operator precedence grammars 1-gen-2013 BARENGHI, ALESSANDROCRESPI REGHIZZI, STEFANOMANDRIOLI, DINOPRADELLA, MATTEO
Operator precedence and the visibly pushdown property 1-gen-2012 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 1-gen-2012 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
Automated Formal Verification for Flexible Manufacturing Systems 1-gen-2012 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI +
Modeling Time in Computing 1-gen-2012 MANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI +
A Metric Temporal Logic for Dealing with Zero-Time Transitions 1-gen-2012 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
Turing: la vita, l’opera, l’impatto 1-gen-2012 MANDRIOLI, DINO +
Precedence Automata and Languages 1-gen-2011 MANDRIOLI, DINOPRADELLA, MATTEO +
Computers foster education and education fosters computer science: the Politecnico’s approach 1-gen-2010 MANDRIOLI, DINOTORREBRUNO, ALDOMARINI, LUISA
Operator Precedence and the Visibly Pushdown Property 1-gen-2010 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
Modeling Time in Computing: a taxonomy and a comparative survey 1-gen-2010 FURIA, CARLO ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
SCORE: the first student contest on software engineering 1-gen-2010 MANDRIOLI, DINOFURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI +
SCORE: the first Student COntest in softwaRe Engineering 1-gen-2009 MANDRIOLI, DINO +
Languages defined by consensual computations 1-gen-2009 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
Algebraic properties of structured context-free languages: old approaches and novel developments 1-gen-2009 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
Informatica: Arte e Mestiere 1-gen-2008 MANDRIOLI, DINOCERI, STEFANOCREMONESI, PAOLOCUGOLA, GIANPAOLOSBATTELLA, LICIA
Mostrati risultati da 1 a 50 di 128
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile