Matteo Pradella

113 papers A* 2A 3B 15C 10Misc 3Journal 52Unranked 26
YearRankTypeTitle / Venue / Authors
2025 — conf
Attribute-Based Precedence Relations for Free-Form Grammars.
ICTCS
Angelo Borsotti, Stefano Crespi-Reghizzi, Matteo Pradella
2025 B conf
Boosting Parallel Parsing through Cyclic Operator Precedence Grammars.
SLE
Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella
2025 J jnl
Cyclic operator precedence grammars for parallel parsing.
Inf. Comput.
Michele Chiari, Dino Mandrioli, Matteo Pradella
2025 — ed.
Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
FM (1)
André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
2025 — ed.
Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
FM (2)
André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
2024 C conf
Cyclic Operator Precedence Grammars for Improved Parallel Parsing.
DLT
Michele Chiari, Dino Mandrioli, Matteo Pradella
2024 C ed.
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milano, Italy, September 9-11, 2024
PPDP
Alessandro Bruni, Alberto Momigliano, Matteo Pradella, Matteo Rossi, James Cheney
2024 J jnl
Review on
Formal Aspects Comput.
Matteo Pradella
2024 — conf
SMT-Based Symbolic Model-Checking for Operator Precedence Languages.
CAV (1)
Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella
2024 J jnl
SMT-based Symbolic Model-Checking for Operator Precedence Languages.
CoRR
Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella
2023 J jnl
A Model Checker for Operator Precedence Languages.
ACM Trans. Program. Lang. Syst.
Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella
2023 J jnl
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages.
Log. Methods Comput. Sci.
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
2023 J jnl
Cyclic Operator Precedence Grammars for Parallel Parsing.
CoRR
Michele Chiari, Dino Mandrioli, Matteo Pradella
2023 J jnl
Lecture Notes on Monadic First- and Second-Order Logic on Strings.
CoRR
Dino Mandrioli, Davide Martinenghi, Angelo Morzenti, Matteo Pradella, Matteo Rossi
2022 J jnl
A First-Order Complete Temporal Logic for Structured Context-Free Languages.
Log. Methods Comput. Sci.
Michele Chiari, Dino Mandrioli, Matteo Pradella
2022 — conf
Static Analysis of Infrastructure as Code: a Survey.
ICSA Companion
Michele Chiari, Michele De Pascalis, Matteo Pradella
2022 J jnl
Static Analysis of Infrastructure as Code: a Survey.
CoRR
Michele Chiari, Michele De Pascalis, Matteo Pradella
2022 J jnl
Weighted operator precedence languages.
Inf. Comput.
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
2021 J jnl
A First-Order Complete Temporal Logic for Structured Context-Free Languages.
CoRR
Michele Chiari, Dino Mandrioli, Matteo Pradella
2021 — conf
Model-Checking Structured Context-Free Languages.
CAV (2)
Michele Chiari, Dino Mandrioli, Matteo Pradella
2021 B conf
Verification of Programs with Exceptions Through Operator Precedence Automata.
SEFM
Francesco Pontiggia, Michele Chiari, Matteo Pradella
2020 J jnl
Aperiodicity, Star-freeness, and First-order Definability of Structured Context-Free Languages.
CoRR
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
2020 J jnl
Beyond operator-precedence grammars and languages.
J. Comput. Syst. Sci.
Stefano Crespi-Reghizzi, Matteo Pradella
2020 — conf
Linear Temporal Logics for Structured Context-Free Languages.
ICTCS
Michele Chiari, Davide Bergamaschi, Dino Mandrioli, Matteo Pradella
2020 J jnl
Operator precedence temporal logic and model checking.
Theor. Comput. Sci.
Michele Chiari, Dino Mandrioli, Matteo Pradella
2020 C conf
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages.
ICTAC
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
2019 J jnl
POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages.
CoRR
Michele Chiari, Dino Mandrioli, Matteo Pradella
2019 — conf
Word- and Tree-based Temporal Logics for Operator Precedence Languages.
ICTCS
Michele Chiari, Dino Mandrioli, Matteo Pradella
2018 J jnl
Generalizing input-driven languages: Theoretical and practical benefits.
Comput. Sci. Rev.
Dino Mandrioli, Matteo Pradella
2018 — conf
Temporal Logic and Model Checking for Operator Precedence Languages.
GandALF
Michele Chiari, Dino Mandrioli, Matteo Pradella
2017 J jnl
Generalizing input-driven languages: theoretical and practical benefits.
CoRR
Dino Mandrioli, Matteo Pradella
2017 — conf
Higher-order Operator Precedence Languages.
AFL
Stefano Crespi-Reghizzi, Matteo Pradella
2017 J jnl
Toward a theory of input-driven locally parsable languages.
Theor. Comput. Sci.
Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella
2017 B conf
Weighted Operator Precedence Languages.
MFCS
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
2017 J jnl
Weighted Operator Precedence Languages.
CoRR
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
2015 J jnl
ContextErlang: A language for distributed context-aware self-adaptive applications.
Sci. Comput. Program.
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2015 — conf
Efficient analysis of event processing applications.
DEBS
Gianpaolo Cugola, Alessandro Margara, Mauro Pezzè, Matteo Pradella
2015 Misc conf
First-Order Logic Definability of Free Languages.
CSR
Violetta Lonati, Dino Mandrioli, Federica Panella, Matteo Pradella
2015 — conf
Locally Chain-Parsable Languages.
MFCS (1)
Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella
2015 J jnl
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization.
SIAM J. Comput.
Violetta Lonati, Dino Mandrioli, Federica Panella, Matteo Pradella
2015 J jnl
Parallel parsing made practical.
Sci. Comput. Program.
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella
2015 J jnl
Programming Languages shouldn't be "too Natural".
ACM SIGSOFT Softw. Eng. Notes
Dino Mandrioli, Matteo Pradella
2014 J jnl
Constraint LTL satisfiability checking without automata.
J. Appl. Log.
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
2014 B conf
The PAPAGENO Parallel-Parser Generator.
CC
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella
2013 J jnl
An Analysis of Language-Level Support for Self-Adaptive Software.
ACM Trans. Auton. Adapt. Syst.
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2013 J jnl
Bounded satisfiability checking of metric temporal logic specifications.
ACM Trans. Softw. Eng. Methodol.
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
2013 B conf
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages.
SOFSEM
Violetta Lonati, Dino Mandrioli, Matteo Pradella
2013 C conf
Operator Precedence ω-Languages.
Developments in Language Theory
Federica Panella, Matteo Pradella, Violetta Lonati, Dino Mandrioli
2013 J jnl
Operator Precedence ω-languages
CoRR
Federica Panella, Matteo Pradella, Dino Mandrioli, Violetta Lonati
2013 J jnl
Parallel parsing of operator precedence grammars.
Inf. Process. Lett.
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella
2012 J jnl
Constraint LTL Satisfiability Checking without Automata
CoRR
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
2012 J jnl
Context-oriented programming: A software engineering perspective.
J. Syst. Softw.
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2012 — conf
ContextErlang: introducing context-oriented programming in the actor model.
AOSD
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2012 J jnl
Logic Characterization of Floyd Languages
CoRR
Violetta Lonati, Dino Mandrioli, Matteo Pradella
2012 B conf
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars.
SLE
Alessandro Barenghi, Ermes Viviani, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella
2011 J jnl
A unifying approach to picture grammars.
Inf. Comput.
Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi
2011 A conf
An evaluation of the adaptation capabilities in programming languages.
SEAMS
Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi
2011 J jnl
Context-Oriented Programming: A Programming Paradigm for Autonomic Systems
CoRR
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2011 J jnl
JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming
CoRR
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2011 — conf
JavaCtx: seamless toolchain integration for context-oriented programming.
COP@ECOOP
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2011 Misc conf
Precedence Automata and Languages.
CSR
Violetta Lonati, Dino Mandrioli, Matteo Pradella
2011 J jnl
Strategies to scan pictures with automata based on Wang tiles.
RAIRO Theor. Informatics Appl.
Violetta Lonati, Matteo Pradella
2011 C conf
Towards More Expressive 2D Deterministic Automata.
CIAA
Violetta Lonati, Matteo Pradella
2010 B conf
A Tile-Based Approach for Self-Assembling Service Compositions.
ICECCS
Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella
2010 J jnl
Bounded Reachability for Temporal Logic over Constraint Systems
CoRR
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
2010 C conf
Bounded Reachability for Temporal Logic over Constraint Systems.
TIME
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
2010 — conf
Context oriented programming in highly concurrent systems.
COP@ECOOP
Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi
2010 J jnl
Deterministic recognizability of picture languages with Wang automata.
Discret. Math. Theor. Comput. Sci.
Violetta Lonati, Matteo Pradella
2010 B conf
Picture Recognizability with Automata Based on Wang Tiles.
SOFSEM
Violetta Lonati, Matteo Pradella
2010 J jnl
Precedence Automata and Languages
CoRR
Violetta Lonati, Dino Mandrioli, Matteo Pradella
2010 A conf
Programming language support to context-aware adaptation: a case-study with Erlang.
SEAMS
Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi
2010 B conf
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability.
SEFM
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi
2010 J jnl
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
CoRR
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi
2010 A conf
Synthesizing adapters for conversational web-services from their WSDL interface.
SEAMS
Luca Cavallaro, Elisabetta Di Nitto, Patrizio Pelliccione, Matteo Pradella, Massimo Tivoli
2009 J jnl
A Metric Encoding for Bounded Model Checking (extended version)
CoRR
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
2009 B conf
A Metric Encoding for Bounded Model Checking.
FM
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
2009 J jnl
A User's Guide to Zot
CoRR
Matteo Pradella
2009 J jnl
A unifying approach to picture grammars
CoRR
Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi
2009 — conf
An Automatic Approach to Enable Replacement of Conversational Services.
ICSOC/ServiceWave
Luca Cavallaro, Elisabetta Di Nitto, Matteo Pradella
2009 J jnl
Comments on temporal logics for real-time system specification.
ACM Comput. Surv.
Carlo A. Furia, Matteo Pradella, Matteo Rossi
2009 — conf
Deterministic recognizability of picture languages by Wang automata.
ICTCS
Violetta Lonati, Matteo Pradella
2009 J jnl
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
CoRR
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi
2009 B conf
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms.
SEFM
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi
2009 — conf
Picture Languages: From Wang Tiles to 2D Grammars.
CAI
Alessandra Cherubini, Matteo Pradella
2009 B conf
Snake-Deterministic Tiling Systems.
MFCS
Violetta Lonati, Matteo Pradella
2008 J jnl
A CKY parser for picture grammars.
Inf. Process. Lett.
Stefano Crespi-Reghizzi, Matteo Pradella
2008 J jnl
A SAT-based parser and completer for pictures specified by tiling.
Pattern Recognit.
Matteo Pradella, Stefano Crespi-Reghizzi
2008 B conf
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.
FM
Carlo A. Furia, Matteo Pradella, Matteo Rossi
2008 C conf
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time.
ICTAC
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
2008 J jnl
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
CoRR
Carlo A. Furia, Matteo Pradella, Matteo Rossi
2008 C conf
Practical Automated Partial Verification of Multi-paradigm Real-Time Models.
ICFEM
Carlo A. Furia, Matteo Pradella, Matteo Rossi
2008 A* conf
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking.
ASE
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
2008 B conf
Regional Languages and Tiling: A Unifying Approach to Picture Grammars.
MFCS
Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella
2007 — conf
Model Checking Temporal Metric Specifications with Trio2Promela.
FSEN
Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro
2007 — conf
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties.
ESEC/SIGSOFT FSE
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
2007 — conf
Trio2Promela: A Model Checker for Temporal Metric Specifications.
ICSE Companion
Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
2006 Misc conf
A UML 2-compatible language and tool for formal modeling real-time system architectures.
SAC
Pietro Colombo, Matteo Pradella, Matteo Rossi
2006 J jnl
Comments on "An Interval Logic for Real-Time System Specification'.
IEEE Trans. Software Eng.
Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi
2006 J jnl
Picture languages: Tiling systems versus tile rewriting grammars.
Theor. Comput. Sci.
Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro
2005 — conf
A UML-Compatible Formal Language for System Architecture Description.
SDL Forum
Matteo Pradella, Matteo Rossi, Dino Mandrioli
2005 C conf
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.
FORTE
Matteo Pradella, Matteo Rossi, Dino Mandrioli
2005 J jnl
Tile rewriting grammars and picture languages.
Theor. Comput. Sci.
Stefano Crespi-Reghizzi, Matteo Pradella
2003 J jnl
A formal approach for designing CORBA-based applications.
ACM Trans. Softw. Eng. Methodol.
Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli
2003 — conf
Analyzing Security-Enhanced Linux Policy Specifications.
POLICY
Myla Archer, Elizabeth I. Leonard, Matteo Pradella
2003 — conf
Model-Checking TRIO Specifications in SPIN.
FME
Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
2003 — conf
Modeling Security-Enhanced Linux Policy Specifications for Analysis.
DISCEX (2)
Myla Archer, Elizabeth I. Leonard, Matteo Pradella
2003 C conf
Tile Rewriting Grammars.
Developments in Language Theory
Stefano Crespi-Reghizzi, Matteo Pradella
2002 B conf
Software procurement and methods for specification and validation in the railway transportation industry.
SMC
Umberto Foschi, Mauro Giuliani, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro
2000 — conf
A Formal Description of a Practical Agent for E-Commerce.
AMEC
Matteo Pradella, Marco Colombetti
2000 A* conf
A formal approach for designing CORBA based applications.
ICSE
Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini
2000 J jnl
Associative definition of programming languages.
Comput. Lang.
Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro
1999 — conf
A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications.
PDSE
Angelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio
1998 — conf
A Finite-Domain Semantics for Testing Temporal Logic Specifications.
FTRTFT
Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro