Matteo Pradella

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 29

Top Venues

CoRR

Theor. Comput. Sci.

ICTCS

Sci. Comput. Program.

Publications

Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella
SMT-based Symbolic Model-Checking for Operator Precedence Languages. CoRR (2024)
Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella
SMT-Based Symbolic Model-Checking for Operator Precedence Languages. CAV (1) (2024)
Matteo Pradella
: By Aaron Stump ACM, ISBN: 978-1-97000-126-6, 246 pages, 2016. Formal Aspects Comput. 36 (1) (2024)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Cyclic Operator Precedence Grammars for Improved Parallel Parsing. DLT (2024)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Cyclic Operator Precedence Grammars for Parallel Parsing. CoRR (2023)
Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella
A Model Checker for Operator Precedence Languages. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Dino Mandrioli, Davide Martinenghi, Angelo Morzenti, Matteo Pradella, Matteo Rossi
Lecture Notes on Monadic First- and Second-Order Logic on Strings. CoRR (2023)
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages. Log. Methods Comput. Sci. 19 (4) (2023)
Michele Chiari, Michele De Pascalis, Matteo Pradella
Static Analysis of Infrastructure as Code: a Survey. CoRR (2022)
Michele Chiari, Michele De Pascalis, Matteo Pradella
Static Analysis of Infrastructure as Code: a Survey. ICSA Companion (2022)
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
Weighted operator precedence languages. Inf. Comput. 282 (2022)
Michele Chiari, Dino Mandrioli, Matteo Pradella
A First-Order Complete Temporal Logic for Structured Context-Free Languages. Log. Methods Comput. Sci. 18 (3) (2022)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Model-Checking Structured Context-Free Languages. CAV (2) (2021)
Michele Chiari, Dino Mandrioli, Matteo Pradella
A First-Order Complete Temporal Logic for Structured Context-Free Languages. CoRR (2021)
Francesco Pontiggia, Michele Chiari, Matteo Pradella
Verification of Programs with Exceptions Through Operator Precedence Automata. SEFM (2021)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Operator precedence temporal logic and model checking. Theor. Comput. Sci. 848 (2020)
Michele Chiari, Davide Bergamaschi, Dino Mandrioli, Matteo Pradella
Linear Temporal Logics for Structured Context-Free Languages. ICTCS (2020)
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages. ICTAC (2020)
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
Aperiodicity, Star-freeness, and First-order Definability of Structured Context-Free Languages. CoRR (2020)
Stefano Crespi-Reghizzi, Matteo Pradella
Beyond operator-precedence grammars and languages. J. Comput. Syst. Sci. 113 (2020)
Michele Chiari, Dino Mandrioli, Matteo Pradella
POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages. CoRR (2019)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Word- and Tree-based Temporal Logics for Operator Precedence Languages. ICTCS (2019)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Temporal Logic and Model Checking for Operator Precedence Languages. GandALF (2018)
Dino Mandrioli, Matteo Pradella
Generalizing input-driven languages: Theoretical and practical benefits. Comput. Sci. Rev. 27 (2018)
Dino Mandrioli, Matteo Pradella
Generalizing input-driven languages: theoretical and practical benefits. CoRR (2017)
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
Weighted Operator Precedence Languages. MFCS (2017)
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
Weighted Operator Precedence Languages. CoRR (2017)
Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella
Toward a theory of input-driven locally parsable languages. Theor. Comput. Sci. 658 (2017)
Stefano Crespi-Reghizzi, Matteo Pradella
Higher-order Operator Precedence Languages. AFL (2017)
Violetta Lonati, Dino Mandrioli, Federica Panella, Matteo Pradella
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization. SIAM J. Comput. 44 (4) (2015)
Gianpaolo Cugola, Alessandro Margara, Mauro Pezzè, Matteo Pradella
Efficient analysis of event processing applications. DEBS (2015)
Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella
Locally Chain-Parsable Languages. MFCS (1) (2015)
Violetta Lonati, Dino Mandrioli, Federica Panella, Matteo Pradella
First-Order Logic Definability of Free Languages. CSR (2015)
Dino Mandrioli, Matteo Pradella
Programming Languages shouldn't be "too Natural". ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
ContextErlang: A language for distributed context-aware self-adaptive applications. Sci. Comput. Program. 102 (2015)
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella
Parallel parsing made practical. Sci. Comput. Program. 112 (2015)
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella
The PAPAGENO Parallel-Parser Generator. CC (2014)
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
Constraint LTL satisfiability checking without automata. J. Appl. Log. 12 (4) (2014)
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
An Analysis of Language-Level Support for Self-Adaptive Software. ACM Trans. Auton. Adapt. Syst. 8 (2) (2013)
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella
Parallel parsing of operator precedence grammars. Inf. Process. Lett. 113 (7) (2013)
Violetta Lonati, Dino Mandrioli, Matteo Pradella
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages. SOFSEM (2013)
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
Bounded satisfiability checking of metric temporal logic specifications. ACM Trans. Softw. Eng. Methodol. 22 (3) (2013)
Federica Panella, Matteo Pradella, Violetta Lonati, Dino Mandrioli
Operator Precedence ω-Languages. Developments in Language Theory (2013)
Federica Panella, Matteo Pradella, Dino Mandrioli, Violetta Lonati
Operator Precedence ω-languages CoRR (2013)
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
Constraint LTL Satisfiability Checking without Automata CoRR (2012)
Alessandro Barenghi, Ermes Viviani, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars. SLE (2012)
Violetta Lonati, Dino Mandrioli, Matteo Pradella
Logic Characterization of Floyd Languages CoRR (2012)
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
ContextErlang: introducing context-oriented programming in the actor model. AOSD (2012)
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
Context-oriented programming: A software engineering perspective. J. Syst. Softw. 85 (8) (2012)
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming CoRR (2011)
Violetta Lonati, Matteo Pradella
Towards More Expressive 2D Deterministic Automata. CIAA (2011)
Violetta Lonati, Dino Mandrioli, Matteo Pradella
Precedence Automata and Languages. CSR (2011)
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
JavaCtx: seamless toolchain integration for context-oriented programming. COP@ECOOP (2011)
Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi
An evaluation of the adaptation capabilities in programming languages. SEAMS (2011)
Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi
A unifying approach to picture grammars. Inf. Comput. 209 (9) (2011)
Violetta Lonati, Matteo Pradella
Strategies to scan pictures with automata based on Wang tiles. RAIRO Theor. Informatics Appl. 45 (1) (2011)
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
Context-Oriented Programming: A Programming Paradigm for Autonomic Systems CoRR (2011)
Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi
Context oriented programming in highly concurrent systems. COP@ECOOP (2010)
Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella
A Tile-Based Approach for Self-Assembling Service Compositions. ICECCS (2010)
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability CoRR (2010)
Luca Cavallaro, Elisabetta Di Nitto, Patrizio Pelliccione, Matteo Pradella, Massimo Tivoli
Synthesizing adapters for conversational web-services from their WSDL interface. SEAMS (2010)
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
Bounded Reachability for Temporal Logic over Constraint Systems. TIME (2010)
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
Bounded Reachability for Temporal Logic over Constraint Systems CoRR (2010)
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. SEFM (2010)
Violetta Lonati, Matteo Pradella
Picture Recognizability with Automata Based on Wang Tiles. SOFSEM (2010)
Violetta Lonati, Matteo Pradella
Deterministic recognizability of picture languages with Wang automata. Discret. Math. Theor. Comput. Sci. 12 (4) (2010)
Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi
Programming language support to context-aware adaptation: a case-study with Erlang. SEAMS (2010)
Violetta Lonati, Dino Mandrioli, Matteo Pradella
Precedence Automata and Languages CoRR (2010)
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
A Metric Encoding for Bounded Model Checking. FM (2009)
Alessandra Cherubini, Matteo Pradella
Picture Languages: From Wang Tiles to 2D Grammars. CAI (2009)
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms CoRR (2009)
Matteo Pradella
A User's Guide to Zot CoRR (2009)
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. SEFM (2009)
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
A Metric Encoding for Bounded Model Checking (extended version) CoRR (2009)
Violetta Lonati, Matteo Pradella
Snake-Deterministic Tiling Systems. MFCS (2009)
Luca Cavallaro, Elisabetta Di Nitto, Matteo Pradella
An Automatic Approach to Enable Replacement of Conversational Services. ICSOC/ServiceWave (2009)
Violetta Lonati, Matteo Pradella
Deterministic recognizability of picture languages by Wang automata. ICTCS (2009)
Carlo A. Furia, Matteo Pradella, Matteo Rossi
Comments on temporal logics for real-time system specification. ACM Comput. Surv. 41 (2) (2009)
Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi
A unifying approach to picture grammars CoRR (2009)
Stefano Crespi-Reghizzi, Matteo Pradella
A CKY parser for picture grammars. Inf. Process. Lett. 105 (6) (2008)
Carlo A. Furia, Matteo Pradella, Matteo Rossi
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. FM (2008)
Matteo Pradella, Stefano Crespi-Reghizzi
A SAT-based parser and completer for pictures specified by tiling. Pattern Recognit. 41 (2) (2008)
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. ICTAC (2008)
Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella
Regional Languages and Tiling: A Unifying Approach to Picture Grammars. MFCS (2008)
Carlo A. Furia, Matteo Pradella, Matteo Rossi
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models CoRR (2008)
Carlo A. Furia, Matteo Pradella, Matteo Rossi
Practical Automated Partial Verification of Multi-paradigm Real-Time Models. ICFEM (2008)
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. ASE (2008)
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. ESEC/SIGSOFT FSE (2007)
Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro
Model Checking Temporal Metric Specifications with Trio2Promela. FSEN (2007)
Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion (2007)
Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi
Comments on "An Interval Logic for Real-Time System Specification'. IEEE Trans. Software Eng. 32 (6) (2006)
Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro
Picture languages: Tiling systems versus tile rewriting grammars. Theor. Comput. Sci. 356 (1-2) (2006)
Pietro Colombo, Matteo Pradella, Matteo Rossi
A UML 2-compatible language and tool for formal modeling real-time system architectures. SAC (2006)
Matteo Pradella, Matteo Rossi, Dino Mandrioli
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. FORTE (2005)
Stefano Crespi-Reghizzi, Matteo Pradella
Tile rewriting grammars and picture languages. Theor. Comput. Sci. 340 (1) (2005)
Matteo Pradella, Matteo Rossi, Dino Mandrioli
A UML-Compatible Formal Language for System Architecture Description. SDL Forum (2005)
Myla Archer, Elizabeth I. Leonard, Matteo Pradella
Modeling Security-Enhanced Linux Policy Specifications for Analysis. DISCEX (2) (2003)
Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
Model-Checking TRIO Specifications in SPIN. FME (2003)
Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli
A formal approach for designing CORBA-based applications. ACM Trans. Softw. Eng. Methodol. 12 (2) (2003)
Stefano Crespi-Reghizzi, Matteo Pradella
Tile Rewriting Grammars. Developments in Language Theory (2003)

Matteo Pradella.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matteo Pradella