Demo Data from EDBT 2026 / reviewers in the wild / expert
Davide Rogai
dblp:55/1782
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Requirements engineering and software design
formal specification |
0.1 | 1 | 2006 | 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.1 | 1 | 2006 | 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.1 | 1 | 2006 | Reply to Comments on "An Interval Logic for Real-Time System Specification' · IEEE Trans. Software Eng. 2006 |
Logic in computer science
temporal logic |
0.1 | 1 | 2006 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 |
SEKE | 4 |
| 2006 | Model and Usage of a Core Module for Axmedis/MPEG-21 Content Manipulation ToolsabstractDespite 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 |
ICME | 4 |
| 2006 | A Protection Processor for MPEG-21 PlayersabstractThe 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 |
ICME | 2 |
| 2006 | Reply to Comments on "An Interval Logic for Real-Time System Specification'abstractThe 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 ModelsabstractOver 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 |
ICECCS | 4 |
| 2003 | TILCO Temporal Logic for Real-Time Systems Implementation in C++
Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi, Davide Rogai |
SEKE | 4 |