PRADELLA, MATTEO

PRADELLA, MATTEO  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 20 di 82 (tempo di esecuzione: 0.018 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 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 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 Evolutionary Approach to the Design of Supervision and Control Systems 1-gen-1999 PRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
An Analysis of Language-Level Support for Self-Adaptive Software 1-gen-2013 GHEZZI, CARLOPRADELLA, MATTEO +
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
Associative definition of programming languages 1-gen-2001 CRESPI REGHIZZI, STEFANOPRADELLA, MATTEOSAN PIETRO, PIERLUIGI
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 1-gen-2008 FURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
An Automatic Approach to Enable Replacement of Conversational Services 1-gen-2009 CAVALLARO, LUCADI NITTO, ELISABETTAPRADELLA, MATTEO
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 1-gen-2008 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Beyond operator-precedence grammars and languages 1-gen-2020 Crespi Reghizzi S.Pradella M.
Bounded Reachability for Temporal Logic over Constraint Systems 1-gen-2010 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 1-gen-2013 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
A CKY parser for picture grammars 1-gen-2008 CRESPI REGHIZZI, STEFANOPRADELLA, MATTEO
Comments on temporal logics for real-time system specification 1-gen-2009 FURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI