PRADELLA, MATTEO
PRADELLA, MATTEO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A CKY parser for picture grammars
2008-01-01 CRESPI REGHIZZI, Stefano; Pradella, Matteo
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES
2022-01-01 Chiari, M.; Mandrioli, D.; Pradella, M.
A formal approach for designing CORBA-based applications
2003-01-01 A., Coen Porisini; Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A Model Checker for Operator Precedence Languages
2023-01-01 Chiari, M.; Mandrioli, D.; Pontiggia, F.; Pradella, M.
A SAT-based parser and completer for pictures specified by tiling
2008-01-01 Pradella, Matteo; CRESPI REGHIZZI, Stefano
A unifying approach to picture grammars
2011-01-01 Pradella, Matteo; Cherubini, Alessandra; CRESPI REGHIZZI, Stefano
An Analysis of Language-Level Support for Self-Adaptive Software
2013-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES
2023-01-01 Mandrioli, D.; Pradella, M.; Crespi Reghizzi, S.
Associative definition of programming languages
2001-01-01 CRESPI REGHIZZI, Stefano; Pradella, Matteo; SAN PIETRO, Pierluigi
Beyond operator-precedence grammars and languages
2020-01-01 Crespi Reghizzi, S.; Pradella, M.
Bounded Satisfiability Checking of Metric Temporal Logic Specifications
2013-01-01 Pradella, Matteo; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Comments on temporal logics for real-time system specification
2009-01-01 Furia, CARLO ALBERTO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Comments on “An Interval Logic for Real-Time System Specification”
2006-01-01 Furia, CARLO ALBERTO; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
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
Context-oriented programming: A software engineering perspective
2012-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo
ContextErlang: A language for distributed context-aware self-adaptive applications
2015-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo
Deterministic recognizability of picture languages with Wang automata
2010-01-01 V., Lonati; Pradella, Matteo
Generalizing input-driven languages: Theoretical and practical benefits
2018-01-01 Mandrioli, D.; Pradella, M.
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization
2015-01-01 Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
Operator precedence temporal logic and model checking
2020-01-01 Chiari, M.; Mandrioli, D.; Pradella, M.