Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Davide Rogai

dblp:55/1782 · DBLP profile ↗
← Back
7ranked-venue papers
0as first author
0since 2021 · last 2009
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 5Artificial intelligence and machine learning · 2Graphics, computer vision, multimedia, augmented reality and games · 2

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Requirements engineering and software design · 100%
Theoretical computer science
1 paper
Logic in computer science · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Requirements engineering and software design
formal specification
0.112006
Reply to Comments on "An Interval Logic for Real-Time System Specification' · IEEE Trans. Software Eng. 2006
Requirements engineering and software design › formal specification
real-time specification
0.112006
Reply to Comments on "An Interval Logic for Real-Time System Specification' · IEEE Trans. Software Eng. 2006
Logic in computer science › temporal logic
interval temporal logic
0.112006
Reply to Comments on "An Interval Logic for Real-Time System Specification' · IEEE Trans. Software Eng. 2006
Logic in computer science
temporal logic
0.112006
Reply to Comments on "An Interval Logic for Real-Time System Specification' · IEEE Trans. Software Eng. 2006

Methods — techniques the papers use, named apart from their topics

TILCO · 0.1
YearPublicationVenuePosition
2009 Expressing and organizing real-time specification patterns via temporal logics
Pierfrancesco Bellini, Paolo Nesi, Davide Rogai
J. Syst. Softw.3
2007 A Component-Based Solution and Architecture for Dynamic Service-Based Applications
Alessio Colzi, Tommaso Martini, Paolo Nesi, Davide Rogai
SEKE4
2006 Model and Usage of a Core Module for Axmedis/MPEG-21 Content Manipulation Tools
abstract
Despite the relevance of the MPEG-21 standard, little has been done about the modeling of authoring tools and players for the production/consumption of MPEG-21 digital objects. The design and implementation of MPEG-21 tools present several critical points to be solved at the architectural level, so as to ensure security and provide a suitable support and the requested flexibility for manipulating any kind of digital resource, according to the spirit of MPEG-21 standard. This paper presents the AXMEDIS core model and components for MPEG-21 content authoring tools and players. The proposed architecture provides both data manipulation flexibility and a high level of security when digital resources are used. The same architecture can be used to develop any other MPEG-21 DI tools. The architecture presented has been adopted to build authoring and player tools developed for the AXMEDIS IST FP6 R&D European Commission project
Pierfrancesco Bellini, Paolo Nesi, L. Ortimini, Davide Rogai, Andrea Vallotti
ICME4
2006 A Protection Processor for MPEG-21 Players
abstract
The design and implementation of MPEG-21 players and authoring tools presents several critical points to be solved. One of the most relevant is the security level and protection processing in the players. This paper presents a solution for the realization of components in charge of enforcing Digital Rights Management in AXMEDIS tools for MPEG-21 digital content. The proposed architecture provides functionalities to create both trusted environment on the client side and dynamic protection and unprotection of digital content including digital resources and their organization and metadata. The same solution can be used to achieve the desired security level in any other MPEG-21 player or authoring tool. The architecture presented hereinafter has been adopted to enforce protection on authoring and player tools developed for the AXMEDIS IST FP6 R&D European Commission project
Paolo Nesi, Davide Rogai, Andrea Vallotti
ICME2
2006 Reply to Comments on "An Interval Logic for Real-Time System Specification'
abstract
The paper on Comments on "An Interval Logic for Real-Time System Specification" presents some remarks on the comparison examples from TILCO and other logics and some slips on the related examples. This paper gives evidence that such issues have no impact on the validity of the TILCO theory of paper and provides some further clarifications about some aspects of the comparison
Pierfrancesco Bellini, Paolo Nesi, Davide Rogai
IEEE Trans. Software Eng.3
2005 Comparing Fault-Proneness Estimation Models
abstract
Over the last, years, software quality has become one of the most important requirements in the development of systems. Fault-proneness estimation could play a key role in quality control of software products. In this area, much effort has been spent in defining metrics and identifying models for system assessment. Using this metrics to assess which parts of the system are more fault-proneness is of primary importance. This paper reports a research study begun with the analysis of more than 100 metrics and aimed at producing suitable models for fault-proneness estimation and prediction of software modules/files. The objective has been to find a compromise between the fault-proneness estimation rate and the size of the estimation model in terms of number of metrics used in the model itself. To this end, two different methodologies have been used, compared, and some synergies exploited. The methodologies were the logistic regression and the discriminant analyses. The corresponding models produced for fault-proneness estimation and prediction have been based on metrics addressing different aspects of computer programming. The comparison has produced satisfactory results in terms of fault-proneness prediction. The produced models have been cross validated by using data sets derived from source codes provided by two application scenarios.
Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai
ICECCS4
2003 TILCO Temporal Logic for Real-Time Systems Implementation in C++
Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi, Davide Rogai
SEKE4