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
Demo Data from EDBT 2026 / reviewers in the wild / expert

Angelo Chiappini

dblp:84/8198 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
0since 2021 · last 2010
—ORCID · none

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

Security and privacy · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 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.

Theoretical computer science
1 paper
Logic in computer science · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Embedded and real-time systems · 100%

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

TopicWeightPapersLastEvidence papers
Logic in computer science
formal specification		 0.112010
Formalization and validation of a subset of the European Train Control System · ICSE (2) 2010
Embedded and real-time systems
cyber-physical system platforms		 0.012010
Formalization and validation of a subset of the European Train Control System · ICSE (2) 2010
Embedded and real-time systems › cyber-physical system platforms
train control		 0.012010
Formalization and validation of a subset of the European Train Control System · ICSE (2) 2010

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

formal methods · 0.2
YearPublicationVenuePosition
2010 Formalization and validation of a subset of the European Train Control System
abstract
The European Train Control System (ETCS) is a control system for the interoperability of the railways across Europe.
Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini
 ICSE (2)1
1999 Formal Specification and Development of a Safety-Critical Train Management System
Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita
 SAFECOMP1