Demo Data from EDBT 2026 / reviewers in the wild / expert
Andrea Lomuscio
dblp:196/2947
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2017
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 1
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 |
Program verification · 50% Software testing · 50% | |
| Artificial intelligence
1 paper |
Trustworthy machine learning · 100% | |
| Computer networks
1 paper |
Internet architecture and protocols · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Machine learning › Trustworthy machine learning › robustness
fault tolerance |
0.3 | 1 | 2017 | Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems · Inf. Comput. 2017 |
Software testing › mutation testing
fault injection |
0.3 | 1 | 2017 | Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems · Inf. Comput. 2017 |
Program verification
model checking |
0.3 | 1 | 2017 | Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems · Inf. Comput. 2017 |
Internet architecture and protocols › local area network › ring network
token ring |
0.1 | 1 | 2017 | Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems · Inf. Comput. 2017 |
Methods — techniques the papers use, named apart from their topics
temporal-epistemic logic · 0.9model checking · 0.9fault injection · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2017 | Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systemsabstractWe present an automated technique that combines fault injection with model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems. We define a general method for mutating a multi-agent systems model representing correct behaviour by injecting faults into it, and specification patterns based on temporal-epistemic formulas to reason about the correct and faulty behaviours of the mutated model. The technique is implemented in a toolkit that can be used for injecting automatically faults into a multi-agent systems program. The usefulness of the methodology is demonstrated by injecting a number of faults into a model of the IEEE 802.5 token ring LAN protocol and analysing the protocol's fault tolerance, by verifying a number of temporal-epistemic specifications. Jonathan Ezekiel, Andrea Lomuscio |
Inf. Comput. | 2 |