Marcel Verhoef

Dikutip oleh

	Semua	Sejak 2020
Kutipan	1956	235
indeks-h	17	8
indeks-i10	25	8

200

100

150

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202513 9 8 6 8 7 26 72 82 76 86 131 123 166 120 196 106 117 119 105 90 56 57 53 26 41 2

Akses publik

Lihat semua

0 artikel

1 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Peter Gorm LarsenAarhus UniversityEmail yang diverifikasi di ece.au.dk
John S. FitzgeraldNewcastle University, UKEmail yang diverifikasi di ncl.ac.uk
Ken PierceNewcastle UniversityEmail yang diverifikasi di ncl.ac.uk
Jozef HoomanProfessor of Computer Science, Radboud University NijmegenEmail yang diverifikasi di cs.ru.nl
Ernesto WandelerEmail yang diverifikasi di bcg.com
Sune WolffCTO & Co-Founder, SynergyXREmail yang diverifikasi di synergyxr.com
Kenneth LausdahlPhD StudentEmail yang diverifikasi di lausdahl.com
Nick BattleGuest Member of Staff, Newcastle UniversityEmail yang diverifikasi di newcastle.ac.uk
Lothar ThieleProfessor of Computer Engineering, ETH ZurichEmail yang diverifikasi di ethz.ch
Nico PlatEmail yang diverifikasi di nicoplat.com
Jan F. BroeninkAssociate Professor of Embedded Control SystemsEmail yang diverifikasi di utwente.nl
Simon TjellUniversity of AarhusEmail yang diverifikasi di post.au.dk
Gerrit MullerUSNEmail yang diverifikasi di usn.no
Godfried AugenbroeProfessor of Building TechnologyEmail yang diverifikasi di gatech.edu
Martijn HendriksEindhoven University of TechnologyEmail yang diverifikasi di tue.nl
Tomohiro OdaSoftware Research Associates, Inc.Email yang diverifikasi di sra.co.jp
Jeroen VoetenProfessor Electronic Systems, Eindhoven University of TechnologyEmail yang diverifikasi di tue.nl
Robert AmorProfessor of Computer Science, University of AucklandEmail yang diverifikasi di cs.auckland.ac.nz
Maurice HeemelsFull Professor Eindhoven University of TechnologyEmail yang diverifikasi di tue.nl
Tiziana MargariaUniversity of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for SmartEmail yang diverifikasi di ul.ie

Ikuti

Marcel Verhoef

European Space Agency

Email yang diverifikasi di xs4all.nl - Beranda

computer science formal methods


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Validated designs for object-oriented systems J Fitzgerald Springer Science & Business Media, 2005	425	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	284	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	213	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	159	2006
Collaborative design for embedded systems J Fitzgerald, PG Larsen, M Verhoef Academic Press 10, 978-3, 2014	118	2014
Timed automata based analysis of embedded system architectures M Hendriks, M Verhoef Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006	115	2006
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	65	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	58	2010
Conceptual modelling approaches in the COMBINE project AM Dubois, J Flynn, MHG Verhoef, GLM Augenbroe COMBINE seminar, Dublin, 1995	48	1995
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	45	2013
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	45	2010
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	33	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	31	2014
Co-simulation of distributed embedded real-time control systems M Verhoef, P Visser, J Hooman, J Broenink International Conference on Integrated Formal Methods, 639-658, 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: Report on the ForTia Industry Day at FM05 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

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama