PRADELLA, MATTEO

PRADELLA, MATTEO  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 20 di 58 (tempo di esecuzione: 0.02 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 Finite-Domain Semantics for Testing Temporal Logic Specifications 1-gen-1998 PRADELLA, MATTEOSAN PIETRO, PIERLUIGI +
A Formal Approach for Designing CORBA based Applications 1-gen-2000 COEN PORISINI, ALBERTOPRADELLA, 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 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
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 +
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 1-gen-2006 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 1-gen-2008 FURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 1-gen-2008 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Bounded Reachability for Temporal Logic over Constraint Systems 1-gen-2010 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Context Oriented Programming in Highly Concurrent Systems 1-gen-2010 GHEZZI, CARLOPRADELLA, MATTEOSALVANESCHI, GUIDO
ContextErlang: introducing context-oriented programming in the actor model 1-gen-2012 GHEZZI, CARLOPRADELLA, MATTEO +
Cyclic Operator Precedence Grammars for Improved Parallel Parsing 1-gen-2024 Chiari M.Mandrioli D.Pradella M.
Efficient analysis of event processing applications 1-gen-2015 CUGOLA, GIANPAOLOMARGARA, ALESSANDROPEZZE', MAUROPRADELLA, MATTEO