Sfoglia per Autore
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES
2023-01-01 Mandrioli, D.; Pradella, M.; Crespi Reghizzi, S.
A Model Checker for Operator Precedence Languages
2023-01-01 Chiari, M.; Mandrioli, D.; Pontiggia, F.; Pradella, M.
Weighted operator precedence languages
2022-01-01 Droste, M.; Duck, S.; Mandrioli, D.; Pradella, M.
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES
2022-01-01 Chiari, M.; Mandrioli, D.; Pradella, M.
Model-Checking Structured Context-Free Languages
2021-01-01 Chiari, Michele; Mandrioli, Dino; Pradella, Matteo
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages
2020-01-01 Mandrioli, D.; Pradella, M.; Crespi Reghizzi, S.
Operator precedence temporal logic and model checking
2020-01-01 Chiari, M.; Mandrioli, D.; Pradella, M.
Linear temporal logics for structured context-free languages
2020-01-01 Chiari, M.; Bergamaschi, D.; Mandrioli, D.; Pradella, M.
Safety Assessment of Collaborative Robotics Through Automated Formal Verification
2019-01-01 Vicentini, F.; Askarpour, M.; Rossi, M. G.; Mandrioli, D.
Formal model of human erroneous behavior for safety analysis in collaborative robotics
2019-01-01 Askarpour, M.; Mandrioli, D.; Rossi, M.; Vicentini, F.
Formal Methods in Designing Critical Cyber-Physical Systems
2019-01-01 Askarpour, M.; Ghezzi, C.; Mandrioli, D.; Rossi, M.; Tsigkanos, C.
Word- and Tree-based Temporal Logics for Operator Precedence Languages
2019-01-01 Chiari, Michele; Mandrioli, Dino; Pradella, Matteo
Generalizing input-driven languages: Theoretical and practical benefits
2018-01-01 Mandrioli, D.; Pradella, M.
Temporal Logic and Model Checking for Operator Precedence Languages
2018-01-01 Chiari, Michele; Mandrioli, Dino; Pradella, Matteo
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications
2017-01-01 Askarpour, Mehrnoosh; Mandrioli, Dino; Rossi, MATTEO GIOVANNI; Vicentini, Federico
Toward a theory of input-driven locally parsable languages
2017-01-01 CRESPI REGHIZZI, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo
Weighted Operator Precedence Languages
2017-01-01 Droste, Manfred; Duck, Stefan; Mandrioli, Dino; Pradella, Matteo
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications
2016-01-01 Rossi, MATTEO GIOVANNI; Mandrioli, Dino; Morzenti, ANGELO CARLO; Ferrucci, Luca
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration
2016-01-01 Askarpour, Mehrnoosh; Mandrioli, Dino; Rossi, MATTEO GIOVANNI; Vicentini, Federico
On the Heroism of really Pursuing Formal Methods
2015-01-01 Mandrioli, Dino
Syntactic-semantic incrementality for agile verification
2015-01-01 Domenico, Bianculli; Antonio, Filieri; Ghezzi, Carlo; Mandrioli, Dino
Programming Languages shouldn't be "too Natural"
2015-01-01 Mandrioli, Dino; Pradella, Matteo
First-Order Logic Definability of Free Languages
2015-01-01 Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization
2015-01-01 Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
Parallel parsing made practical
2015-01-01 Barenghi, Alessandro; CRESPI REGHIZZI, Stefano; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
Syntax-Driven Program Verification of Matching Logic Properties
2015-01-01 Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino; Rizzi, ALESSANDRO MARIA
Locally Chain-Parsable Languages
2015-01-01 CRESPI REGHIZZI, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo
Automated formal verification for flexible manufacturing systems
2014-01-01 E., Carpanzano; Ferrucci, Luca; Mandrioli, Dino; Mazzolini, •. M.; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows
2014-01-01 Domenico, Bianculli; Antonio, Filieri; Ghezzi, Carlo; Mandrioli, Dino
The PAPAGENO Parallel-Parser Generator
2014-01-01 Barenghi, Alessandro; CRESPI REGHIZZI, Stefano; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars
2013-01-01 Barenghi, Alessandro; Ermes, Viviani; CRESPI REGHIZZI, Stefano; Mandrioli, Dino; Pradella, Matteo
Operator precedence ω-languages
2013-01-01 Panella, Federica; Pradella, Matteo; V., Lonati; Mandrioli, Dino
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages
2013-01-01 Violetta, Lonati; Mandrioli, Dino; Pradella, Matteo
Free Grammars and Languages
2013-01-01 Violetta, Lonati; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
Parallel parsing of operator precedence grammars
2013-01-01 Barenghi, Alessandro; CRESPI REGHIZZI, Stefano; Mandrioli, Dino; Pradella, Matteo
Operator precedence and the visibly pushdown property
2012-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis
2012-01-01 Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Automated Formal Verification for Flexible Manufacturing Systems
2012-01-01 Emanuele, Carpanzano; Ferrucci, Luca; Mandrioli, Dino; Mauro, Mazzolini; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Modeling Time in Computing
2012-01-01 Carlo A., Furia; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
A Metric Temporal Logic for Dealing with Zero-Time Transitions
2012-01-01 Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Turing: la vita, l’opera, l’impatto
2012-01-01 C., Furia; Mandrioli, Dino
Precedence Automata and Languages
2011-01-01 V., Lonati; Mandrioli, Dino; Pradella, Matteo
Computers foster education and education fosters computer science: the Politecnico’s approach
2010-01-01 Mandrioli, Dino; Torrebruno, Aldo; Marini, Luisa
Operator Precedence and the Visibly Pushdown Property
2010-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
Modeling Time in Computing: a taxonomy and a comparative survey
2010-01-01 Furia, CARLO ALBERTO; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
SCORE: the first student contest on software engineering
2010-01-01 Mandrioli, Dino; S., Fickas; Furia, CARLO ALBERTO; M., Jazayeri; Rossi, MATTEO GIOVANNI; M., Young
SCORE: the first Student COntest in softwaRe Engineering
2009-01-01 M., Jazayeri; Mandrioli, Dino
Languages defined by consensual computations
2009-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
Algebraic properties of structured context-free languages: old approaches and novel developments
2009-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
Informatica: Arte e Mestiere
2008-01-01 Mandrioli, Dino; Ceri, Stefano; Cremonesi, Paolo; Cugola, Gianpaolo; Sbattella, Licia
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