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

Fokion Zervoudakis

dblp:133/8119 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
0since 2021 · last 2013
—ORCID · none

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

Software engineering, systems software and programming languages · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 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 · 87% Requirements engineering and software design · 13%

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

TopicWeightPapersLastEvidence papers
Program verification › model checking
domain-specific model checking		 0.212013
Cascading verification: an integrated method for domain-specific model checking · ESEC/SIGSOFT FSE 2013
Program verification
model checking		 0.212013
Cascading verification: an integrated method for domain-specific model checking · ESEC/SIGSOFT FSE 2013
Requirements engineering and software design
model-driven engineering		 0.012013
Cascading verification: an integrated method for domain-specific model checking · ESEC/SIGSOFT FSE 2013

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

cascading verification · 0.2
YearPublicationVenuePosition
2013 Financial Industry Ontologies for Risk and Regulation Data (FIORD) - A Position Paper
Justin McCarthy, Laurentiu Vasiliu, Allan D. Grody, Cal Muckley, Donald Lawrence, Fokion Zervoudakis, Said Tabet, Jeroen van Grondelle, Athanasios Bouras, Kiran Jude Fernandes 0001, Theodoros Krintas, Panos Xidonas, Kyriakos Chourdakis, Adamantios Koumpis
 PRO-VE6
2013 Cascading verification: an integrated method for domain-specific model checking
abstract
Model checking is an established method for verifying behavioral properties of system models. But model checkers tend to support low-level modeling languages that require intricate models to represent even the simplest systems. Modeling complexity arises in part from the need to encode domain knowledge at relatively low levels of abstraction.
Fokion Zervoudakis, David S. Rosenblum, Sebastian G. Elbaum, Anthony Finkelstein
 ESEC/SIGSOFT FSE1