Publications (17)
Weighted Operator Precedence Languages
Manfred Droste, Stefan Dück, Dino Mandrioli +1
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella +1
Precedence Automata and Languages
Violetta Lonati, Dino Mandrioli, Matteo Pradella
A Metric Encoding for Bounded Model Checking (extended version)
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
Context-Oriented Programming: A Programming Paradigm for Autonomic Systems
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
Temporal Logic and Model Checking for Operator Precedence Languages
Michele Chiari, Dino Mandrioli, Matteo Pradella
Higher-Order Operator Precedence Languages
Stefano Crespi Reghizzi, Matteo Pradella
Constraint LTL Satisfiability Checking without Automata
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti +3
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 +2
A User's Guide to Zot
Matteo Pradella
JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
Bounded Reachability for Temporal Logic over Constraint Systems
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti +3
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
Carlo A. Furia, Matteo Pradella, Matteo Rossi
Generalizing input-driven languages: theoretical and practical benefits
Dino Mandrioli, Matteo Pradella
Logic Characterization of Floyd Languages
Violetta Lonati, Dino Mandrioli, Matteo Pradella
Operator Precedence Ï-languages
Federica Panella, Matteo Pradella, Dino Mandrioli +1
A unifying approach to picture grammars
Matteo Pradella, Alessandra Cherubini, Stefano Crespi Reghizzi