Sfoglia per Autore
Review on Verified Functional Programming in Agda
2024-01-01 Pradella, Matteo
SMT-Based Symbolic Model-Checking for Operator Precedence Languages
2024-01-01 Chiari, M.; Geatti, L.; Gigante, N.; Pradella, M.
Cyclic Operator Precedence Grammars for Improved Parallel Parsing
2024-01-01 Chiari, M.; Mandrioli, D.; Pradella, M.
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.
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES
2022-01-01 Chiari, M.; Mandrioli, D.; Pradella, M.
Weighted operator precedence languages
2022-01-01 Droste, M.; Duck, S.; Mandrioli, D.; Pradella, M.
Static Analysis of Infrastructure as Code: A Survey
2022-01-01 Chiari, M.; De Pascalis, M.; Pradella, M.
Model-Checking Structured Context-Free Languages
2021-01-01 Chiari, Michele; Mandrioli, Dino; Pradella, Matteo
Verification of Programs with Exceptions Through Operator Precedence Automata
2021-01-01 Pontiggia, F.; Chiari, M.; Pradella, M.
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages
2020-01-01 Mandrioli, D.; Pradella, M.; Crespi Reghizzi, S.
Beyond operator-precedence grammars and languages
2020-01-01 Crespi Reghizzi, S.; Pradella, M.
Linear temporal logics for structured context-free languages
2020-01-01 Chiari, M.; Bergamaschi, D.; Mandrioli, D.; Pradella, M.
Operator precedence temporal logic and model checking
2020-01-01 Chiari, M.; Mandrioli, D.; Pradella, M.
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
Toward a theory of input-driven locally parsable languages
2017-01-01 CRESPI REGHIZZI, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo
Higher-order operator precedence languages
2017-01-01 Reghizzi, Stefano Crespi; Pradella, Matteo
Weighted Operator Precedence Languages
2017-01-01 Droste, Manfred; Duck, Stefan; Mandrioli, Dino; Pradella, Matteo
Programming Languages shouldn't be "too Natural"
2015-01-01 Mandrioli, Dino; Pradella, Matteo
Efficient analysis of event processing applications
2015-01-01 Cugola, Gianpaolo; Margara, Alessandro; Pezze', Mauro; Pradella, Matteo
Parallel parsing made practical
2015-01-01 Barenghi, Alessandro; CRESPI REGHIZZI, Stefano; 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
ContextErlang: A language for distributed context-aware self-adaptive applications
2015-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo
First-Order Logic Definability of Free Languages
2015-01-01 Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
Locally Chain-Parsable Languages
2015-01-01 CRESPI REGHIZZI, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo
Constraint LTL Satisfiability Checking without Automata
2014-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
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
Parallel parsing of operator precedence grammars
2013-01-01 Barenghi, Alessandro; CRESPI REGHIZZI, Stefano; Mandrioli, Dino; Pradella, Matteo
Free Grammars and Languages
2013-01-01 Violetta, Lonati; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
An Analysis of Language-Level Support for Self-Adaptive Software
2013-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo
Bounded Satisfiability Checking of Metric Temporal Logic Specifications
2013-01-01 Pradella, Matteo; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
ContextErlang: introducing context-oriented programming in the actor model
2012-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo
Context-oriented programming: A software engineering perspective
2012-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo
Strategies to scan pictures with automata based on Wang tiles
2011-01-01 V., Lonati; Pradella, Matteo
Precedence Automata and Languages
2011-01-01 V., Lonati; Mandrioli, Dino; Pradella, Matteo
A unifying approach to picture grammars
2011-01-01 Pradella, Matteo; Cherubini, Alessandra; CRESPI REGHIZZI, Stefano
Towards more expressive 2D deterministic automata
2011-01-01 V., Lonati; Pradella, Matteo
An evaluation of the adaptation capabilities in programming languages
2011-01-01 Ghezzi, Carlo; Pradella, Matteo; Salvaneschi, Guido
Picture recognizability with automata based on Wang tiles
2010-01-01 V., Lonati; Pradella, Matteo
A Tile-based Approach for Self-assembling Service Compositions
2010-01-01 Cavallaro, Luca; DI NITTO, Elisabetta; Furia, CARLO ALBERTO; Pradella, Matteo
Deterministic recognizability of picture languages with Wang automata
2010-01-01 V., Lonati; Pradella, Matteo
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability
2010-01-01 Bersani, MARCELLO MARIA; Cavallaro, Luca; Frigeri, Achille; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Bounded Reachability for Temporal Logic over Constraint Systems
2010-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Context Oriented Programming in Highly Concurrent Systems
2010-01-01 Ghezzi, Carlo; Pradella, Matteo; Salvaneschi, Guido
Synthesizing adapters for conversational web-services from their WSDL interface
2010-01-01 Cavallaro, Luca; DI NITTO, Elisabetta; Pelliccione, P.; Pradella, Matteo; Tivoli, M.
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