Demo Data from SIGIR 2026 / reviewers in the wild / expert
Davide Cerotti
dblp:08/2403
· DBLP profile ↗
11ranked-venue papers
7as first author
2since 2021 · last 2026
0000-0001-5192-9387ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 4 · 3 first-authorSecurity and privacy · 2 · 2 first-authorArtificial intelligence and machine learning · 1 · 1 first-authorDatabases, data management, data science and information retrieval · 1 · 1 since 2021Human-computer interaction and ubiquitous computing · 1Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author
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.
| Computer networks
1 paper |
Internet of things and sensor networks · 67% Cellular and mobile networks · 33% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Performance modeling and evaluation · 100% |
Topics — the 3 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Cellular and mobile networks
ON/OFF policy |
0.1 | 1 | 2008 | Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents · PerCom 2008 |
Internet of things and sensor networks › energy management
power management |
0.1 | 1 | 2008 | Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents · PerCom 2008 |
Internet of things and sensor networks › low-power wireless
radio duty cycling |
0.1 | 1 | 2008 | Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents · PerCom 2008 |
Methods — techniques the papers use, named apart from their topics
interacting markovian agents · 0.2continuous-time markov chain · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Attack Graph driven Discrete Event Simulation for Security Assessment in Power SystemsabstractAs power grids transition into decentralized Cyber-Physical Power Systems, the digitalization of legacy devices has dramatically multiplied the potential entry points for cyber adversaries. To accurately assess these threats, security models must capture both detailed attack steps and network timing effects. However, obtaining real-world cyber incident data to parameterize these models is rarely possible due to strict privacy and confidentiality constraints within utility companies. To overcome this limitation, we present a simulation-based framework that integrates Attack Graphs (AGs) with the OMNeT++ Discrete Event Simulation environment and Dynamic Bayesian Networks (DBNs). Attack step logic is modeled through Control Finite State Machines, allowing for dynamic interactions between attacker behavior and simulated network components. The simulation automatically generates time-series data used to train AG-derived DBNs used to answer probabilistic queries on attack progression. We present a case study on a Distributed Energy Resource cyberattack which demonstrates that the framework captures complex temporal dependencies and maintains high predictive accuracy supporting cybersecurity assessment for critical energy infrastructures. The code and models implemented in this work are available here: https://github.com/Dosclic98/dbn-sim-learning.git. Davide Savarro, Davide Cerotti, Daniele Codetta Raiteri, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Giovanna Dondossola, Roberta Terruggia |
SIGSIM-PADS | 2 |
| 2026 | Temporal relational algebras supporting preferences in temporal relational databases: Definition, properties and evaluation
Luca Anselma, Antonella Coviello, Davide Cerotti, Erica Raina, Paolo Terenziani |
Inf. Syst. | 3 |
| 2019 | Scalable analytical model for reliability measures in aging VLSI by interacting Markovian agents
Davide Cerotti, Antonio Miele, Marco Gribaudo, Andrea Bobbio, Cristiana Bolchini |
Perform. Evaluation | 1 |
| 2017 | A Crowd-Cooperative Approach for Intelligent Transportation SystemsabstractAs embedded and mobile systems grow pervasive in people lives and expand their reach, paradigms related to mobile crowdsensing (MCS) are going to play an ever more prominent role. Innovative methodologies and applications able to unlock such a huge potential are required. A domain where MCS really fits is mobility and transportation. However, for a full exploitation of this paradigm in intelligent transportation systems (ITS), distributed and self-management capabilities for the involved nodes-vehicles have to be provided. This paper is a first step in this direction, laying out an optimization system by exploiting feedback-driven patterns in a distributed-opportunistic way. In this sense, collective intelligence and stigmergic, swarm-based paradigms are adapted to an innovative decentralized MCS pattern toward new approaches in ITS. Their effectiveness is demonstrated through a traffic engineering case study, where route planning services are designed according to the proposed approach and then modeled and evaluated by Markovian agents. Davide Cerotti, Salvatore Distefano, Giovanni Merlino, Antonio Puliafito |
IEEE Trans. Intell. Transp. Syst. | 1 |
| 2016 | Modeling and analysis of performances for concurrent multithread applications on multicore and graphics processing unit systemsabstractSummary The capabilities of multicore processors lead them to be widely adopted in systems at any scale, since their are able to provide more computing power at a lower consumption and dissipation cost. System designers are challenged to a deeper understanding of multicore functioning in order to fully exploit them while keeping the optimal balance between cores utilization and optimal throughput, response time and energy usage. Besides the advancement of general purpose CPUs, the same technological evolution leads to the rise of GPUs, dramatic evolution of graphical coprocessors, that are now affordable, efficient, dedicated computing units, capable of parallel computing and equipped with facilities that make them suited for supporting the main CPU of a system in running ordinary applications. The availability of commercial off‐the‐shelf (COTS) multicore computers, eventually equipped with one or more GPUs, makes them the basic building block of data centers devoted to cloud applications or scientific computing. The way to optimal exploitation of such a wide amount of computing power passes through the ability of matching the best scheduling of hardware resources with the software characteristics of the applications. This requires appropriate models and evaluation methods. Simulation and analytical techniques are essential tools to support the design and the management process of such architectures, but a sound characterization of the workloads is required. Typical workloads consist in multithreaded applications, with different characteristics, that dynamically span over the cores of multiple machines, connected by fast networks. In this paper we propose several parametric performance models for different configurations of multicore machines, with or without GPU support, running multiple class multithreaded applications, aiming to supply a detailed modeling help for complex data centers. Copyright © 2015 John Wiley & Sons, Ltd. Davide Cerotti, Marco Gribaudo, Mauro Iacono, Pietro Piazzolla |
Concurr. Comput. Pract. Exp. | 1 |
| 2014 | Workload Characterization Of Multithreaded Applications On Multicore ArchitecturesabstractMulticore architectures are now available for a wide range of high performance applications, ranging from embedded systems to large scale servers deployed in cloud environments. Multicore architectures are usually subject to two conflicting goals: obtaining a full utilization of the cores while achieving given performance objectives, such as throughput, response time or reduced energy consumption. Moreover, there is a strong interdependence between the software characteristics of the applications, and the underlying CPU architecture. In this scenario, simulation and analytical techniques can provide solid tools to properly design the considered class of systems: however, properly characterize the workload on multithreaded application in multicore environment is not an easy task, and thus is an hot research topic. In this paper we present several models, of increasing complexity, that can characterize multithreaded applications running on multicore architectures. Davide Cerotti, Marco Gribaudo, Mauro Iacono, Pietro Piazzolla |
ECMS | 1 |
| 2012 | Markovian agent modeling swarm intelligence algorithms in wireless sensor networks
Dario Bruneo, Marco Scarpa, Andrea Bobbio, Davide Cerotti, Marco Gribaudo |
Perform. Evaluation | 4 |
| 2009 | Presenting Dynamic Markovian Agents with a road tunnel applicationabstractThe paper discusses a Dynamic Markovian Agent Model obtained by adding mobility to a recently introduced new formalism suitable for the analysis of large scale systems, composed by a population of interacting entities, called Markovian Agents (MA). The differential equations describing the evolution of the MA density in time and space are derived, and their numerical solution is briefly sketched. An application to the analysis of the flow of vehicles in a road tunnel is discussed, together with the evaluation of the probability of collision against a fixed obstacle. Davide Cerotti, Marco Gribaudo, Andrea Bobbio |
MASCOTS | 1 |
| 2008 | Disaster Propagation in Heterogeneous Media via Markovian Agents
Davide Cerotti, Marco Gribaudo, Andrea Bobbio |
CRITIS | 1 |
| 2008 | Analysis of On-off policies in Sensor Networks Using Interacting Markovian AgentsabstractPower management in battery operated sensor networks, is a hot topic addressed by many ongoing researches. One of the most commonly employed technique consists in turning on and of the power of the radio unit to reduce the power consumption. In this paper we exploit the modelling power of Interacting Markovian agent to evaluate the performance of four different on-off strategies. A Markovian agent (MA) is an entity whose behaviour is described by a continuous time Markov chain (CTMC) and that is able to interact with other MA's by sending and receiving messages. A perceived message may induce a state transition in an MA according to a perception function than can depend on the geographical location of the MA's, on the message routing strategy and on the transmission property of the medium. We represent each sensor by an MA and we show how MA's can interact to produce the collective behaviour of the sensor network. Marco Gribaudo, Davide Cerotti, Andrea Bobbio |
PerCom | 2 |
| 2007 | UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project
Davide Cerotti, Daniele Codetta Raiteri, Susanna Donatelli, Claudio Brasca, Giovanna Dondossola, Fabrizio Garrone |
CRITIS | 1 |