| 2009 |
|---|
| 26 | 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) |
| 2007 |
|---|
| 25 | | 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 |
|---|
| 24 | 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 |
| 23 | EE | Pierfrancesco Bellini,
Ivan Bruno,
Paolo Nesi:
A GRID based Framework and tools for automating production of cross media content.
ICECCS 2006: 236-248 |
| 22 | EE | Pierfrancesco Bellini,
Ivan Bruno,
Paolo Nesi:
A Language and Architecture for Automating Multimedia Content Production on Grid.
ICME 2006: 441-444 |
| 21 | 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 |
| 20 | EE | Pierfrancesco Bellini,
Ivan Bruno,
Paolo Nesi,
Davide Rogai:
An Integrated Framework for Automating Content Enrich Packaging and Distribution with DRM support.
SWAP 2006 |
| 19 | 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 |
|---|
| 18 | EE | Pierfrancesco Bellini,
Ivan Bruno,
Paolo Nesi,
Davide Rogai:
Comparing Fault-Proneness Estimation Models.
ICECCS 2005: 205-214 |
| 17 | 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) |
| 16 | EE | Pierfrancesco Bellini,
Paolo Nesi,
Giorgio Zoia:
Symbolic Music Representation in MPEG.
IEEE MultiMedia 12(4): 42-49 (2005) |
| 2004 |
|---|
| 15 | EE | Pierfrancesco Bellini,
Jean-Pierre Barthélemy,
Paolo Nesi,
Giorgio Zoia:
A Proposal for the Integration of Symbolic Music Notation into Multimedia Frameworks.
WEDELMUSIC 2004: 36-43 |
| 14 | EE | Pierfrancesco Bellini,
Paolo Nesi:
Automatic justification and line-breaking of music sheets.
Int. J. Hum.-Comput. Stud. 61(1): 104-137 (2004) |
| 13 | EE | Pierfrancesco Bellini,
Ivan Bruno,
Paolo Nesi:
A distributed system for computer vision quality control of clinched boards.
Real-Time Imaging 10(3): 161-176 (2004) |
| 2003 |
|---|
| 12 | | Pierfrancesco Bellini,
Andrea Giotti,
Paolo Nesi,
Davide Rogai:
TILCO Temporal Logic for Real-Time Systems Implementation in C++.
SEKE 2003: 166-173 |
| 11 | EE | Pierfrancesco Bellini,
Jean-Pierre Barthélemy,
Ivan Bruno,
Paolo Nesi,
Marius B. Spinu:
Multimedia Music Sharing among Mediateques: Archives and Distribution to Their Attendees.
Applied Artificial Intelligence 17(8-9): 773-795 (2003) |
| 10 | EE | Pierfrancesco Bellini,
M. Buonopane,
Paolo Nesi:
Assessment of a Flexible Architecture for Distributed Control*.
Programming and Computer Software 29(3): 147-160 (2003) |
| 2002 |
|---|
| 9 | EE | Pierfrancesco Bellini,
Andrea Giotti,
Paolo Nesi:
Execution of TILCO Temporal Logic Specifications.
ICECCS 2002: 78- |
| 8 | EE | Pierfrancesco Bellini,
Paolo Nesi,
Marius B. Spinu:
Cooperative visual manipulation of music notation.
ACM Trans. Comput.-Hum. Interact. 9(3): 194-237 (2002) |
| 2001 |
|---|
| 7 | EE | Pierfrancesco Bellini,
Paolo Nesi:
TILCO-X, an Extension of TILCO Temporal Logic.
ICECCS 2001: 15-25 |
| 6 | EE | Pierfrancesco Bellini,
Paolo Nesi:
Communicating TILCO: A Model for Real-Time System Specification.
ICECCS 2001: 4-14 |
| 2000 |
|---|
| 5 | EE | Pierfrancesco Bellini,
Mario Andres Bruno,
Paolo Nesi:
Verification Criteria for a Compositional Model for Reactive Systems.
ICECCS 2000: 25-35 |
| 4 | EE | Pierfrancesco Bellini,
R. Mattonlini,
Paolo Nesi:
Temporal logics for real-time system specification.
ACM Comput. Surv. 32(1): 12-42 (2000) |
| 3 | | Pierfrancesco Bellini,
Mario Andres Bruno,
Paolo Nesi:
Verification of external specifications of reactive systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 30(6): 692-709 (2000) |
| 1999 |
|---|
| 2 | EE | Pierfrancesco Bellini,
M. Buonopane,
M. Montanelli,
Paolo Nesi:
Evaluating a Flexible Architecture for Distributed Control.
ICECCS 1999: 66-76 |
| 1 | | Pierfrancesco Bellini,
Fabrizio Fioravanti,
Paolo Nesi:
Managing Music in Orchestras.
IEEE Computer 32(9): 26-34 (1999) |
