Marcel Verhoef

878 total citations
21 papers, 290 citations indexed

About

Marcel Verhoef is a scholar working on Hardware and Architecture, Software and Computer Networks and Communications. According to data from OpenAlex, Marcel Verhoef has authored 21 papers receiving a total of 290 indexed citations (citations by other indexed papers that have themselves been cited), including 11 papers in Hardware and Architecture, 8 papers in Software and 6 papers in Computer Networks and Communications. Recurrent topics in Marcel Verhoef's work include Real-Time Systems Scheduling (10 papers), Model-Driven Software Engineering Techniques (8 papers) and Embedded Systems Design Techniques (8 papers). Marcel Verhoef is often cited by papers focused on Real-Time Systems Scheduling (10 papers), Model-Driven Software Engineering Techniques (8 papers) and Embedded Systems Design Techniques (8 papers). Marcel Verhoef collaborates with scholars based in Netherlands, Denmark and United Kingdom. Marcel Verhoef's co-authors include Ernesto Wandeler, Paul Lieverse, Lothar Thiele, Peter Gorm Larsen, John Fitzgerald, Martijn Hendriks, Miguel A. Ferreira, Kenneth Lausdahl, Ken Pierce and Jan F. Broenink and has published in prestigious journals such as International Journal on Software Tools for Technology Transfer, Mathematical Structures in Computer Science and Radboud Repository (Radboud University).

In The Last Decade

Marcel Verhoef

17 papers receiving 273 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Marcel Verhoef Netherlands	8	180	105	88	73	57	21	290
Éric Rutten France	11	232 1.3×	95 0.9×	192 2.2×	48 0.7×	55 1.0×	58	353
Florence Maraninchi France	10	245 1.4×	67 0.6×	236 2.7×	110 1.5×	72 1.3×	27	382
Frank Singhoff France	10	333 1.9×	119 1.1×	167 1.9×	73 1.0×	108 1.9×	31	433
Luis Alejandro Cortés Sweden	12	230 1.3×	60 0.6×	218 2.5×	57 0.8×	35 0.6×	21	355
Simon Bliudze Switzerland	9	72 0.4×	71 0.7×	141 1.6×	87 1.2×	115 2.0×	30	271
Slobodan Matic United States	10	306 1.7×	173 1.6×	132 1.5×	20 0.3×	35 0.6×	17	414
Chokri Mraidha France	9	125 0.7×	49 0.5×	61 0.7×	93 1.3×	102 1.8×	41	238
Ananda Basu France	5	106 0.6×	56 0.5×	123 1.4×	61 0.8×	100 1.8×	6	233
Ehsan Khamespanah Iran	9	62 0.3×	55 0.5×	93 1.1×	50 0.7×	66 1.2×	28	184
John Davis United States	6	174 1.0×	110 1.0×	78 0.9×	50 0.7×	39 0.7×	7	295

Countries citing papers authored by Marcel Verhoef

Since Specialization

Citations

This map shows the geographic impact of Marcel Verhoef's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Marcel Verhoef with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Marcel Verhoef more than expected).

Fields of papers citing papers by Marcel Verhoef

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Marcel Verhoef. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Marcel Verhoef. The network helps show where Marcel Verhoef may publish in the future.

Co-authorship network of co-authors of Marcel Verhoef

This figure shows the co-authorship network connecting the top 25 collaborators of Marcel Verhoef. A scholar is included among the top collaborators of Marcel Verhoef based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Marcel Verhoef. Marcel Verhoef is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Fischer, Nils, et al.. (2024). Outcomes and Perspectives from the 4^th ESA ModelBased Space Systems and Software Engineering Workshop (MBSE2023) on reducing the gap between model‐based systems engineering and domain‐specific approaches. INCOSE International Symposium. 34(1). 2124–2139.

Fischer, Nils, et al.. (2024). The European Space Agency MBSE Methodology. INCOSE International Symposium. 34(1). 2069–2086. 2 indexed citations

Verhoef, Marcel, et al.. (2021). Digital Engineering Hub Pathfinder. 467–476. 2 indexed citations

Fitzgerald, John, Peter Gorm Larsen, & Marcel Verhoef. (2014). Collaborative Design for Embedded Systems: Co-modelling and Co-simulation. CERN Document Server (European Organization for Nuclear Research). 18 indexed citations

Fitzgerald, John, Peter Gorm Larsen, Ken Pierce, & Marcel Verhoef. (2013). A formal approach to collaborative modelling and co-simulation for embedded systems. Mathematical Structures in Computer Science. 23(4). 726–750. 10 indexed citations

Fitzgerald, John, et al.. (2010). Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. HAL (Le Centre pour la Communication Scientifique Directe). 7 indexed citations

Larsen, Peter Gorm, et al.. (2010). The overture initiative integrating tools for VDM. ACM SIGSOFT Software Engineering Notes. 35(1). 1–6. 49 indexed citations

Broenink, Jan F., et al.. (2010). Design support and tooling for dependable embedded control software. University of Twente Research Information. 77–82. 9 indexed citations

Fitzgerald, John, et al.. (2007). Resilience Modelling Through Discrete Event and Continuous Time Co-simulation. Radboud Repository (Radboud University). 350–351. 1 indexed citations

10.

Bosch, P. van den, et al.. (2007). 1.3.1 Modeling of hardware software performance of high‐tech systems. INCOSE International Symposium. 17(1). 39–51. 2 indexed citations

11.

Verhoef, Marcel & Peter Gorm Larsen. (2007). Interpreting Distributed System Architectures using VDM++ - A Case Study. Radboud Repository (Radboud University). 6 indexed citations

12.

Fitzgerald, John, et al.. (2007). Validation Support for Distributed Real-Time Embedded Systems in VDM++. Radboud Repository (Radboud University). 2651. 331–340. 5 indexed citations

13.

Sandee, J.H., et al.. (2006). Threads of reasoning : a case study in printer control. Munich Personal RePEc Archive (Ludwig Maximilian University of Munich). 1–16.

14.

Hendriks, Martijn & Marcel Verhoef. (2006). \nTimed Automata Based Analysis of Embedded System Architecture. Radboud Repository (Radboud University). 31 indexed citations

15.

Voeten, Jeroen, et al.. (2006). Reusing Real-Time Systems Design Experience.. Forum on specification and Design Languages. 37(6). 375–381. 2 indexed citations

16.

Wandeler, Ernesto, Lothar Thiele, Marcel Verhoef, & Paul Lieverse. (2006). System architecture evaluation using modular performance analysis: a case study. International Journal on Software Tools for Technology Transfer. 8(6). 649–667. 130 indexed citations

17.

Wandeler, Ernesto, Lothar Thiele, Marcel Verhoef, & Paul Lieverse. (2006). System architecture evaluation using modular performance analysis: A case study. Radboud Repository (Radboud University). 3 indexed citations

18.

Sandee, J.H., et al.. (2006). Threads of reasoning : a case study. TU/e Research Portal. 895–909. 1 indexed citations

19.

Verhoef, Marcel. (2005). On the Use of VDM++ for Specifying Real-time Systems. Radboud Repository (Radboud University). 2 indexed citations

20.

Verhoef, Marcel, Ernesto Wandeler, Lothar Thiele, & Paul Lieverse. (2004). System Architecture Evaluation Using Modular Performance Analysis - A Case Study.. 209–219. 8 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact