2009 |
15 | EE | Pierfrancesco Bellini,
Paolo Nesi,
Davide Rogai:
Expressing and organizing real-time specification patterns via temporal logics.
Journal of Systems and Software 82(2): 183-196 (2009) |
2008 |
14 | EE | Christian Timmerer,
Maria Teresa Andrade,
Pedro Carvalho,
Davide Rogai,
Giovanni Cordara:
The semantics of MPEG-21 digital items revisited.
MS 2008: 17-23 |
2007 |
13 | | Alessio Colzi,
Tommaso Martini,
Paolo Nesi,
Davide Rogai:
A Component-Based Solution and Architecture for Dynamic Service-Based Applications.
SEKE 2007: 637- |
12 | | Pierfrancesco Bellini,
Ivan Bruno,
Paolo Nesi,
Davide Rogai,
Paolo Vaccari:
Interoperable cross media content and DRM for multichannel distribution.
Emerging Artificial Intelligence Applications in Computer Engineering 2007: 330-340 |
2006 |
11 | EE | Pierfrancesco Bellini,
Sauro Chellini,
Tommaso Martini,
Paolo Nesi,
Davide Rogai,
Andrea Vallotti:
AXMEDIS architectural solution for interoperable content and DRM on multichannel distribution.
AIAI 2006: 697-704 |
10 | EE | Jaime Delgado,
Tommaso Martini,
Paolo Nesi,
Eva Rodríguez,
Davide Rogai,
Andrea Vallotti:
Definition of Mechanisms that Enable the Exploitation of Governed Content.
AXMEDIS 2006: 136-142 |
9 | EE | Paolo Nesi,
Davide Rogai,
Andrea Vallotti:
A Protection Processor for MPEG-21 Players.
ICME 2006: 1357-1360 |
8 | EE | Pierfrancesco Bellini,
Paolo Nesi,
L. Ortimini,
Davide Rogai,
Andrea Vallotti:
Model and Usage of a Core Module for Axmedis/MPEG-21 Content Manipulation Tools.
ICME 2006: 577-580 |
7 | EE | Pierfrancesco Bellini,
Ivan Bruno,
Paolo Nesi,
Davide Rogai:
An Integrated Framework for Automating Content Enrich Packaging and Distribution with DRM support.
SWAP 2006 |
6 | EE | Pierfrancesco Bellini,
Paolo Nesi,
Davide Rogai:
Reply to Comments on "An Interval Logic for Real-Time System Specification'.
IEEE Trans. Software Eng. 32(6): 428-431 (2006) |
2005 |
5 | | Tommaso Martini,
Paolo Nesi,
Davide Rogai,
Andrea Vallotti:
A Component based Multimedia Middleware for Content Production Factory.
DMS 2005: 135-138 |
4 | EE | Pierfrancesco Bellini,
Ivan Bruno,
Paolo Nesi,
Davide Rogai:
Comparing Fault-Proneness Estimation Models.
ICECCS 2005: 205-214 |
3 | EE | Mauro Pezzè,
Andrea Baldini,
Giovanni Denaro,
Giuseppe Lipari,
Matteo Rossi,
Davide Rogai:
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems.
Electr. Notes Theor. Comput. Sci. 116: 113-131 (2005) |
2 | EE | Pierfrancesco Bellini,
Paolo Nesi,
Davide Rogai:
Validating Component Integration with C-TILCO: A Case Study.
Electr. Notes Theor. Comput. Sci. 116: 241-252 (2005) |
2003 |
1 | | Pierfrancesco Bellini,
Andrea Giotti,
Paolo Nesi,
Davide Rogai:
TILCO Temporal Logic for Real-Time Systems Implementation in C++.
SEKE 2003: 166-173 |