A Finite-Domain Semantics for Testing Temporal Logic Specifications. - Alberto Coen-Porisini; Matteo Pradella; Pierluigi San Pietro (FTRTFT, 1998)

A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. - Angelo Morzenti; Matteo Pradella; Matteo Rossi 001; Stefano Russo 001; Antonio Sergio (PDSE, 1999)

A Formal Description of a Practical Agent for E-Commerce. - Matteo Pradella; Marco Colombetti (AMEC, 2000)

Associative definition of programming languages. - Stefano Crespi-Reghizzi; Matteo Pradella; Pierluigi San Pietro (Comput. Lang., 2000)

Software procurement and methods for specification and validation in the railway transportation industry. - Umberto Foschi; Mauro Giuliani; Angelo Morzenti; Matteo Pradella; Pierluigi San Pietro (SMC, 2002)

Modeling Security-Enhanced Linux Policy Specifications for Analysis. - Myla Archer; Elizabeth I. Leonard; Matteo Pradella (DISCEX (2), 2003)

Tile Rewriting Grammars. - Stefano Crespi-Reghizzi; Matteo Pradella (Developments in Language Theory, 2003)

Model-Checking TRIO Specifications in SPIN. - Angelo Morzenti; Matteo Pradella; Pierluigi San Pietro; Paola Spoletini (FME, 2003)

Analyzing Security-Enhanced Linux Policy Specifications. - Myla Archer; Elizabeth I. Leonard; Matteo Pradella (POLICY, 2003)

A formal approach for designing CORBA-based applications. - Alberto Coen-Porisini; Matteo Pradella; Matteo Rossi 001; Dino Mandrioli (ACM Trans. Softw. Eng. Methodol., 2003)

ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. - Matteo Pradella; Matteo Rossi 001; Dino Mandrioli (FORTE, 2005)

A UML-Compatible Formal Language for System Architecture Description. - Matteo Pradella; Matteo Rossi 001; Dino Mandrioli (SDL Forum, 2005)

Tile rewriting grammars and picture languages. - Stefano Crespi-Reghizzi; Matteo Pradella (Theor. Comput. Sci., 2005)

A UML 2-compatible language and tool for formal modeling real-time system architectures. - Pietro Colombo; Matteo Pradella; Matteo Rossi 001 (SAC, 2006)

Picture languages: Tiling systems versus tile rewriting grammars. - Alessandra Cherubini; Stefano Crespi-Reghizzi; Matteo Pradella; Pierluigi San Pietro (Theor. Comput. Sci., 2006)

Comments on "An Interval Logic for Real-Time System Specification'. - Carlo A. Furia; Angelo Morzenti; Matteo Pradella; Matteo Rossi 001 (IEEE Trans. Software Eng., 2006)

Model Checking Temporal Metric Specifications with Trio2Promela. - Domenico Bianculli; Paola Spoletini; Angelo Morzenti; Matteo Pradella; Pierluigi San Pietro (FSEN, 2007)

Trio2Promela: A Model Checker for Temporal Metric Specifications. - Domenico Bianculli; Angelo Morzenti; Matteo Pradella; Pierluigi San Pietro; Paola Spoletini (ICSE Companion, 2007)

The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. - Matteo Pradella; Angelo Morzenti; Pierluigi San Pietro (ESEC/SIGSOFT FSE, 2007)

Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. - Carlo A. Furia; Matteo Pradella; Matteo Rossi 001 (FM, 2008)

Practical Automated Partial Verification of Multi-paradigm Real-Time Models. - Carlo A. Furia; Matteo Pradella; Matteo Rossi 001 (ICFEM, 2008)

Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. - Matteo Pradella; Angelo Morzenti; Pierluigi San Pietro (ICTAC, 2008)

Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. - Matteo Pradella; Angelo Morzenti; Pierluigi San Pietro (ASE, 2008)

Regional Languages and Tiling: A Unifying Approach to Picture Grammars. - Alessandra Cherubini; Stefano Crespi-Reghizzi; Matteo Pradella (MFCS, 2008)

A CKY parser for picture grammars. - Stefano Crespi-Reghizzi; Matteo Pradella (Inf. Process. Lett., 2008)

A SAT-based parser and completer for pictures specified by tiling. - Matteo Pradella; Stefano Crespi-Reghizzi (Pattern Recognit., 2008)

Picture Languages: From Wang Tiles to 2D Grammars. - Alessandra Cherubini; Matteo Pradella (CAI, 2009)

A Metric Encoding for Bounded Model Checking. - Matteo Pradella; Angelo Morzenti; Pierluigi San Pietro (FM, 2009)

An Automatic Approach to Enable Replacement of Conversational Services. - Luca Cavallaro; Elisabetta Di Nitto; Matteo Pradella (ICSOC/ServiceWave, 2009)

Deterministic recognizability of picture languages by Wang automata. - Violetta Lonati; Matteo Pradella (ICTCS, 2009)

Snake-Deterministic Tiling Systems. - Violetta Lonati; Matteo Pradella (MFCS, 2009)

Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. - Marcello M. Bersani; Carlo A. Furia; Matteo Pradella; Matteo Rossi 001 (SEFM, 2009)

A Metric Encoding for Bounded Model Checking (extended version) - Matteo Pradella; Angelo Morzenti; Pierluigi San Pietro (CoRR, 2009)

A User's Guide to Zot - Matteo Pradella (CoRR, 2009)

Comments on temporal logics for real-time system specification. - Carlo A. Furia; Matteo Pradella; Matteo Rossi 001 (ACM Comput. Surv., 2009)

Context oriented programming in highly concurrent systems. - Carlo Ghezzi; Matteo Pradella; Guido Salvaneschi (COP@ECOOP, 2010)

A Tile-Based Approach for Self-Assembling Service Compositions. - Luca Cavallaro; Elisabetta Di Nitto; Carlo A. Furia; Matteo Pradella (ICECCS, 2010)

Synthesizing adapters for conversational web-services from their WSDL interface. - Luca Cavallaro; Elisabetta Di Nitto; Patrizio Pelliccione; Matteo Pradella; Massimo Tivoli (SEAMS, 2010)

Programming language support to context-aware adaptation: a case-study with Erlang. - Carlo Ghezzi; Matteo Pradella; Guido Salvaneschi (SEAMS, 2010)

SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. - Marcello M. Bersani; Luca Cavallaro; Achille Frigeri; Matteo Pradella; Matteo Rossi 001 (SEFM, 2010)

Picture Recognizability with Automata Based on Wang Tiles. - Violetta Lonati; Matteo Pradella (SOFSEM, 2010)

Bounded Reachability for Temporal Logic over Constraint Systems. - Marcello M. Bersani; Achille Frigeri; Angelo Morzenti; Matteo Pradella; Matteo Rossi 001; Pierluigi San Pietro (TIME, 2010)

SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability - Marcello M. Bersani; Luca Cavallaro; Achille Frigeri; Matteo Pradella; Matteo Rossi 001 (CoRR, 2010)

Deterministic recognizability of picture languages with Wang automata. - Violetta Lonati; Matteo Pradella (Discret. Math. Theor. Comput. Sci., 2010)

Precedence Automata and Languages. - Violetta Lonati; Dino Mandrioli; Matteo Pradella (CSR, 2011)

JavaCtx: seamless toolchain integration for context-oriented programming. - Guido Salvaneschi; Carlo Ghezzi; Matteo Pradella (COP@ECOOP, 2011)

An evaluation of the adaptation capabilities in programming languages. - Carlo Ghezzi; Matteo Pradella; Guido Salvaneschi (SEAMS, 2011)

Towards More Expressive 2D Deterministic Automata. - Violetta Lonati; Matteo Pradella (CIAA, 2011)

Context-Oriented Programming: A Programming Paradigm for Autonomic Systems - Guido Salvaneschi; Carlo Ghezzi; Matteo Pradella (CoRR, 2011)

A unifying approach to picture grammars. - Matteo Pradella; Alessandra Cherubini; Stefano Crespi-Reghizzi (Inf. Comput., 2011)

Strategies to scan pictures with automata based on Wang tiles. - Violetta Lonati; Matteo Pradella (RAIRO Theor. Informatics Appl., 2011)

ContextErlang: introducing context-oriented programming in the actor model. - Guido Salvaneschi; Carlo Ghezzi; Matteo Pradella (AOSD, 2012)

PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars. - Alessandro Barenghi; Ermes Viviani; Stefano Crespi-Reghizzi; Dino Mandrioli; Matteo Pradella (SLE, 2012)

Logic Characterization of Floyd Languages - Violetta Lonati; Dino Mandrioli; Matteo Pradella (CoRR, 2012)

Context-oriented programming: A software engineering perspective. - Guido Salvaneschi; Carlo Ghezzi; Matteo Pradella (J. Syst. Softw., 2012)

Operator Precedence ω-Languages. - Federica Panella; Matteo Pradella; Violetta Lonati; Dino Mandrioli (Developments in Language Theory, 2013)

Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages. - Violetta Lonati; Dino Mandrioli; Matteo Pradella (SOFSEM, 2013)

Parallel parsing of operator precedence grammars. - Alessandro Barenghi; Stefano Crespi-Reghizzi; Dino Mandrioli; Matteo Pradella (Inf. Process. Lett., 2013)

An Analysis of Language-Level Support for Self-Adaptive Software. - Guido Salvaneschi; Carlo Ghezzi; Matteo Pradella (ACM Trans. Auton. Adapt. Syst., 2013)

Bounded satisfiability checking of metric temporal logic specifications. - Matteo Pradella; Angelo Morzenti; Pierluigi San Pietro (ACM Trans. Softw. Eng. Methodol., 2013)

The PAPAGENO Parallel-Parser Generator. - Alessandro Barenghi; Stefano Crespi-Reghizzi; Dino Mandrioli; Federica Panella; Matteo Pradella (CC, 2014)

Constraint LTL satisfiability checking without automata. - Marcello M. Bersani; Achille Frigeri; Angelo Morzenti; Matteo Pradella; Matteo Rossi 001; Pierluigi San Pietro (J. Appl. Log., 2014)

First-Order Logic Definability of Free Languages. - Violetta Lonati; Dino Mandrioli; Federica Panella; Matteo Pradella (CSR, 2015)

Efficient analysis of event processing applications. - Gianpaolo Cugola; Alessandro Margara; Mauro Pezzè; Matteo Pradella (DEBS, 2015)

Locally Chain-Parsable Languages. - Stefano Crespi-Reghizzi; Violetta Lonati; Dino Mandrioli; Matteo Pradella (MFCS (1), 2015)

Parallel parsing made practical. - Alessandro Barenghi; Stefano Crespi-Reghizzi; Dino Mandrioli; Federica Panella; Matteo Pradella (Sci. Comput. Program., 2015)

ContextErlang: A language for distributed context-aware self-adaptive applications. - Guido Salvaneschi; Carlo Ghezzi; Matteo Pradella (Sci. Comput. Program., 2015)

Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization. - Violetta Lonati; Dino Mandrioli; Federica Panella; Matteo Pradella (SIAM J. Comput., 2015)

Programming Languages shouldn't be "too Natural". - Dino Mandrioli; Matteo Pradella (ACM SIGSOFT Softw. Eng. Notes, 2015)

Higher-order Operator Precedence Languages. - Stefano Crespi-Reghizzi; Matteo Pradella (AFL, 2017)

Toward a theory of input-driven locally parsable languages. - Stefano Crespi-Reghizzi; Violetta Lonati; Dino Mandrioli; Matteo Pradella (Theor. Comput. Sci., 2017)

Temporal Logic and Model Checking for Operator Precedence Languages. - Michele Chiari; Dino Mandrioli; Matteo Pradella (GandALF, 2018)

Generalizing input-driven languages: Theoretical and practical benefits. - Dino Mandrioli; Matteo Pradella (Comput. Sci. Rev., 2018)

Word- and Tree-based Temporal Logics for Operator Precedence Languages. - Michele Chiari; Dino Mandrioli; Matteo Pradella (ICTCS, 2019)

POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages. - Michele Chiari; Dino Mandrioli; Matteo Pradella (CoRR, 2019)

Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages. - Dino Mandrioli; Matteo Pradella; Stefano Crespi-Reghizzi (ICTAC, 2020)

Linear Temporal Logics for Structured Context-Free Languages. - Michele Chiari; Davide Bergamaschi; Dino Mandrioli; Matteo Pradella (ICTCS, 2020)

Aperiodicity, Star-freeness, and First-order Definability of Structured Context-Free Languages. - Dino Mandrioli; Matteo Pradella; Stefano Crespi-Reghizzi (CoRR, 2020)

Beyond operator-precedence grammars and languages. - Stefano Crespi-Reghizzi; Matteo Pradella (J. Comput. Syst. Sci., 2020)

Operator precedence temporal logic and model checking. - Michele Chiari; Dino Mandrioli; Matteo Pradella (Theor. Comput. Sci., 2020)

Model-Checking Structured Context-Free Languages. - Michele Chiari; Dino Mandrioli; Matteo Pradella (CAV (2), 2021)

Verification of Programs with Exceptions Through Operator Precedence Automata. - Francesco Pontiggia; Michele Chiari; Matteo Pradella (SEFM, 2021)

Static Analysis of Infrastructure as Code: a Survey. - Michele Chiari; Michele De Pascalis; Matteo Pradella (ICSA Companion, 2022)

Weighted operator precedence languages. - Manfred Droste; Stefan Dück; Dino Mandrioli; Matteo Pradella (Inf. Comput., 2022)

A First-Order Complete Temporal Logic for Structured Context-Free Languages. - Michele Chiari; Dino Mandrioli; Matteo Pradella (Log. Methods Comput. Sci., 2022)

Lecture Notes on Monadic First- and Second-Order Logic on Strings. - Dino Mandrioli; Davide Martinenghi; Angelo Morzenti; Matteo Pradella; Matteo Rossi 001 (CoRR, 2023)

Cyclic Operator Precedence Grammars for Parallel Parsing. - Michele Chiari; Dino Mandrioli; Matteo Pradella (CoRR, 2023)

Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages. - Dino Mandrioli; Matteo Pradella; Stefano Crespi-Reghizzi (Log. Methods Comput. Sci., 2023)

A Model Checker for Operator Precedence Languages. - Michele Chiari; Dino Mandrioli; Francesco Pontiggia; Matteo Pradella (ACM Trans. Program. Lang. Syst., 2023)

SMT-Based Symbolic Model-Checking for Operator Precedence Languages. - Michele Chiari; Luca Geatti; Nicola Gigante; Matteo Pradella (CAV (1), 2024)

Cyclic Operator Precedence Grammars for Improved Parallel Parsing. - Michele Chiari; Dino Mandrioli; Matteo Pradella (DLT, 2024)

Review on Verified Functional Programming in Agda: By Aaron Stump ACM, ISBN: 978-1-97000-126-6, 246 pages, 2016. - Matteo Pradella (Formal Aspects Comput., 2024)

Boosting Parallel Parsing through Cyclic Operator Precedence Grammars. - Michele Chiari; Michele Giornetta; Dino Mandrioli; Matteo Pradella (SLE, 2025)