PRADELLA, MATTEO
PRADELLA, MATTEO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications
1999-01-01 Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; S., Russo; A., Sergio
A CKY parser for picture grammars
2008-01-01 CRESPI REGHIZZI, Stefano; Pradella, Matteo
A Finite-Domain Semantics for Testing Temporal Logic Specifications
1998-01-01 Alberto Coen, Porisini; Pradella, Matteo; SAN PIETRO, Pierluigi
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
2000-01-01 COEN PORISINI, Alberto; Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A formal approach for designing CORBA-based applications
2003-01-01 A., Coen Porisini; Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A formal description of a practical agent for e-commerce
2001-01-01 Pradella, Matteo; Colombetti, Marco
A Metric Encoding for Bounded Model Checking
2009-01-01 Pradella, Matteo; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
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 Tile-based Approach for Self-assembling Service Compositions
2010-01-01 Cavallaro, Luca; DI NITTO, Elisabetta; Furia, CARLO ALBERTO; Pradella, Matteo
A UML 2-compatible language and tool for formal modeling real-time system architectures
2006-01-01 P., Colombo; Pradella, Matteo; Rossi, MATTEO GIOVANNI; G., Sassaroli
A UML-compatible formal language for system architecture description
2005-01-01 Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
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
An Automatic Approach to Enable Replacement of Conversational Services
2009-01-01 Cavallaro, Luca; DI NITTO, Elisabetta; Pradella, Matteo
An evaluation of the adaptation capabilities in programming languages
2011-01-01 Ghezzi, Carlo; Pradella, Matteo; Salvaneschi, Guido
An Evolutionary Approach to the Design of Supervision and Control Systems
1999-01-01 A., Coen Porisini; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Analyzing Security-Enhanced Linux Policy Specifications
2003-01-01 M., Archer; E., Leonard; Pradella, Matteo
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES
2023-01-01 Mandrioli, D.; Pradella, M.; Crespi Reghizzi, S.