PRADELLA, MATTEO

PRADELLA, MATTEO  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 20 di 84 (tempo di esecuzione: 0.039 secondi).
Titolo Data di pubblicazione Autori File
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 1-gen-1999 MORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
A CKY parser for picture grammars 1-gen-2008 CRESPI REGHIZZI, STEFANOPRADELLA, MATTEO
A Finite-Domain Semantics for Testing Temporal Logic Specifications 1-gen-1998 PRADELLA, MATTEOSAN PIETRO, PIERLUIGI +
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 1-gen-2022 Chiari M.Mandrioli D.Pradella M.
A Formal Approach for Designing CORBA based Applications 1-gen-2000 COEN PORISINI, ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A formal approach for designing CORBA-based applications 1-gen-2003 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO +
A formal description of a practical agent for e-commerce 1-gen-2001 PRADELLA, MATTEOCOLOMBETTI, MARCO
A Metric Encoding for Bounded Model Checking 1-gen-2009 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
A Model Checker for Operator Precedence Languages 1-gen-2023 Chiari M.Mandrioli D.Pontiggia F.Pradella M.
A SAT-based parser and completer for pictures specified by tiling 1-gen-2008 PRADELLA, MATTEOCRESPI REGHIZZI, STEFANO
A Tile-based Approach for Self-assembling Service Compositions 1-gen-2010 CAVALLARO, LUCADI NITTO, ELISABETTAFURIA, CARLO ALBERTOPRADELLA, MATTEO
A UML 2-compatible language and tool for formal modeling real-time system architectures 1-gen-2006 PRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
A UML-compatible formal language for system architecture description 1-gen-2005 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A unifying approach to picture grammars 1-gen-2011 PRADELLA, MATTEOCHERUBINI, ALESSANDRACRESPI REGHIZZI, STEFANO
An Analysis of Language-Level Support for Self-Adaptive Software 1-gen-2013 GHEZZI, CARLOPRADELLA, MATTEO +
An Automatic Approach to Enable Replacement of Conversational Services 1-gen-2009 CAVALLARO, LUCADI NITTO, ELISABETTAPRADELLA, MATTEO
An evaluation of the adaptation capabilities in programming languages 1-gen-2011 GHEZZI, CARLOPRADELLA, MATTEOSALVANESCHI, GUIDO
An Evolutionary Approach to the Design of Supervision and Control Systems 1-gen-1999 PRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
Analyzing Security-Enhanced Linux Policy Specifications 1-gen-2003 PRADELLA, MATTEO +
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES 1-gen-2023 Mandrioli D.Pradella M.Crespi Reghizzi S.