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 Finite-Domain Semantics for Testing Temporal Logic Specifications
1998-01-01 Alberto Coen, Porisini; Pradella, Matteo; SAN PIETRO, Pierluigi
A Formal Approach for Designing CORBA based Applications
2000-01-01 COEN PORISINI, Alberto; 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 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
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
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics
2006-01-01 Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation
2008-01-01 Furia, CARLO ALBERTO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Benchmarking Model- and Satisfiability-Checking on bi-infinite time
2008-01-01 Pradella, Matteo; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Bounded Reachability for Temporal Logic over Constraint Systems
2010-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Context Oriented Programming in Highly Concurrent Systems
2010-01-01 Ghezzi, Carlo; Pradella, Matteo; Salvaneschi, Guido
ContextErlang: introducing context-oriented programming in the actor model
2012-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo
Efficient analysis of event processing applications
2015-01-01 Cugola, Gianpaolo; Margara, Alessandro; Pezze', Mauro; Pradella, Matteo
First-Order Logic Definability of Free Languages
2015-01-01 Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo