Marcel Verhoef

Cited by

	All	Since 2019
Citations	1922	290
h-index	17	9
i10-index	25	8

200

100

150

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 10 8 6 8 7 25 73 82 76 86 134 124 167 118 199 104 114 119 103 87 57 58 52 24 12

Public access

View all

0 articles

1 article

available

not available

Based on funding mandates

Co-authors

Peter Gorm LarsenAarhus UniversityVerified email at ece.au.dk
John S. FitzgeraldNewcastle University, UKVerified email at ncl.ac.uk
Ken PierceNewcastle UniversityVerified email at ncl.ac.uk
Jozef HoomanProfessor of Computer Science, Radboud University NijmegenVerified email at cs.ru.nl
Ernesto WandelerVerified email at bcg.com
Sune WolffCTO & Co-Founder, SynergyXRVerified email at synergyxr.com
Kenneth LausdahlPhD StudentVerified email at lausdahl.com
Nick BattleGuest Member of Staff, Newcastle UniversityVerified email at newcastle.ac.uk
Lothar ThieleProfessor of Computer Engineering, ETH ZurichVerified email at ethz.ch
Nico PlatFellow at University of Twente, The NetherlandsVerified email at nicoplat.com
Jan F. BroeninkAssociate Professor of Embedded Control SystemsVerified email at utwente.nl
Simon TjellUniversity of AarhusVerified email at post.au.dk
Gerrit MullerUSNVerified email at usn.no
Godfried AugenbroeProfessor of Building TechnologyVerified email at gatech.edu
Martijn HendriksEindhoven University of TechnologyVerified email at tue.nl
Tomohiro OdaSoftware Research Associates, Inc.Verified email at sra.co.jp
Jeroen VoetenProfessor Electronic Systems, Eindhoven University of TechnologyVerified email at tue.nl
Robert AmorProfessor of Computer Science, University of AucklandVerified email at cs.auckland.ac.nz
Maurice HeemelsFull Professor Eindhoven University of TechnologyVerified email at tue.nl
Tiziana MargariaUniversity of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for SmartVerified email at ul.ie

Marcel Verhoef

European Space Agency

Verified email at xs4all.nl - Homepage

computer science formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Validated designs for object-oriented systems J Fitzgerald Springer Science & Business Media, 2005	415	2005
System architecture evaluation using modular performance analysis: a case study E Wandeler, L Thiele, M Verhoef, P Lieverse International Journal on Software Tools for Technology Transfer 8, 649-667, 2006	282	2006
The overture initiative integrating tools for VDM PG Larsen, N Battle, M Ferreira, J Fitzgerald, K Lausdahl, M Verhoef ACM SIGSOFT Software Engineering Notes 35 (1), 1-6, 2010	203	2010
Modeling and validating distributed embedded real-time systems with VDM++ M Verhoef, PG Larsen, J Hooman International Symposium on Formal Methods, 147-162, 2006	152	2006
Timed automata based analysis of embedded system architectures M Hendriks, M Verhoef Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006	117	2006
Collaborative design for embedded systems J Fitzgerald, PG Larsen, M Verhoef Academic Press 10, 978-3, 2014	112	2014
VDM-10 language manual PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ... Internet: overturetool. org/documentation/manuals. html [Oct. 5, 2020], 2013	64	2013
Modeling and validating distributed embedded real-time control systems MHG Verhoef [Sl]:[Sn], 2009	61	2009
Collaborative modelling and co-simulation in the development of dependable embedded systems J Fitzgerald, PG Larsen, K Pierce, M Verhoef, S Wolff International Conference on Integrated Formal Methods, 12-26, 2010	56	2010
Conceptual modelling approaches in the COMBINE project AM Dubois, J Flynn, MHG Verhoef, GLM Augenbroe COMBINE seminar, Dublin, 1995	48	1995
Design support and tooling for dependable embedded control software JF Broenink, C Kleijn, PG Larsen, D Jovanovic, M Verhoef, K Pierce Proceedings of the 2nd International Workshop on Software Engineering for …, 2010	47	2010
A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems J Fitzgerald, PG Larsen, K Pierce, M Verhoef Mathematical Structures in Computer Science, September 23, 726-750, 2013	44	2013
Validation support for distributed real-time embedded systems in vdm++ JS Fitzgerald, S Tjell, PG Larsen, M Verhoef 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 331-340, 2007	32	2007
From embedded to cyber-physical systems: Challenges and future directions J Fitzgerald, PG Larsen, M Verhoef Collaborative design for embedded systems: Co-modelling and Co-simulation …, 2014	30	2014
Co-simulation of distributed embedded real-time control systems M Verhoef, P Visser, J Hooman, J Broenink Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford …, 2007	28	2007
A multi-paradigm mapping method survey M Verhoef, T Liebich, R Amor Workshop on Modeling of Buildings through their Life-cycle, 233-247, 1995	19	1995
Interpreting Distributed System Architectures Using VDM++-A Case Study M Verhoef, PG Larsen Hoboken, NY: Stevens Institute of Technology, 2007	17	2007
Formal methods going mainstream: costs, benefits, experiences T Margaria, B Schätz, M Verhoef	16	2006
Industrial case studies—final report M Verhoef, B Bos, P van Eijk, J Remijnse, E Visser, M De Paepe, ... DESTECS Deliverable D 4, 2012	15	2012
Formal semantics of a VDM extension for distributed embedded systems J Hooman, M Verhoef Concurrency, Compositionality, and Correctness: Essays in Honor of Willem …, 2010	14	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors