default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marcel Verhoef
@inproceedings{DBLP:conf/models/VerhoefGVSJKWBP21,
author = {Marcel Verhoef and
Sam Geren{\'{e}} and
Alex Vorobiev and
Nathanael Smiechowski and
Stephan Jahnke and
Jan Knippschild and
Sven Weikert and
Marc Becker and
St{\'{e}}phane Paquay and
Juan Pablo Hernandez Vogt and
Ivan Fontaine},
title = {Digital Engineering Hub Pathfinder},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems Companion, {MODELS} 2021 Companion, Fukuoka, Japan, October
10-15, 2021},
pages = {467--476},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MODELS-C53483.2021.00073},
doi = {10.1109/MODELS-C53483.2021.00073},
timestamp = {Wed, 23 Feb 2022 12:16:54 +0100},
biburl = {https://dblp.org/rec/conf/models/VerhoefGVSJKWBP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SilveiraJVJ19,
author = {Daniel Silveira and
Andreas Jung and
Marcel Verhoef and
Tiago Jorge},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {Formal Methods Applicability on Space Applications Specification and
Implementation Using {MORA-TSP}},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {727--737},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_42},
doi = {10.1007/978-3-030-30942-8\_42},
timestamp = {Mon, 23 Sep 2019 13:47:30 +0200},
biburl = {https://dblp.org/rec/conf/fm/SilveiraJVJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/14/VerhoefPGB14,
author = {Marcel Verhoef and
Kenneth Pierce and
Carl Gamble and
Jan F. Broenink},
editor = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
title = {Collaborative Development of Embedded Systems},
booktitle = {Collaborative Design for Embedded Systems - Co-modelling and Co-simulation},
pages = {3--14},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54118-6\_1},
doi = {10.1007/978-3-642-54118-6\_1},
timestamp = {Wed, 14 Nov 2018 10:12:23 +0100},
biburl = {https://dblp.org/rec/books/sp/14/VerhoefPGB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/14/LarsenFVP14,
author = {Peter Gorm Larsen and
John S. Fitzgerald and
Marcel Verhoef and
Kenneth Pierce},
editor = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
title = {Discrete-Event Modelling in {VDM}},
booktitle = {Collaborative Design for Embedded Systems - Co-modelling and Co-simulation},
pages = {61--95},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54118-6\_4},
doi = {10.1007/978-3-642-54118-6\_4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/14/LarsenFVP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/14/VerhoefBPGA14,
author = {Marcel Verhoef and
Bert Bos and
Kenneth Pierce and
Carl Gamble and
Job van Amerongen},
editor = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
title = {Case Studies in Co-modelling and Co-simulation},
booktitle = {Collaborative Design for Embedded Systems - Co-modelling and Co-simulation},
pages = {141--152},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54118-6\_7},
doi = {10.1007/978-3-642-54118-6\_7},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/14/VerhoefBPGA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/14/PierceWV14,
author = {Kenneth Pierce and
Sune Wolff and
Marcel Verhoef},
editor = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
title = {Methods for Creating Co-models of Embedded Systems},
booktitle = {Collaborative Design for Embedded Systems - Co-modelling and Co-simulation},
pages = {153--183},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54118-6\_8},
doi = {10.1007/978-3-642-54118-6\_8},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/14/PierceWV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/14/VerhoefL14,
author = {Marcel Verhoef and
Peter Gorm Larsen},
editor = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
title = {Industrial Application of Co-modelling and Co-simulation Technology},
booktitle = {Collaborative Design for Embedded Systems - Co-modelling and Co-simulation},
pages = {223--259},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54118-6\_11},
doi = {10.1007/978-3-642-54118-6\_11},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/14/VerhoefL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/14/WolffLV14,
author = {Sune Wolff and
Peter Gorm Larsen and
Marcel Verhoef},
editor = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
title = {Deploying Co-modelling in Commercial Practice},
booktitle = {Collaborative Design for Embedded Systems - Co-modelling and Co-simulation},
pages = {263--271},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54118-6\_12},
doi = {10.1007/978-3-642-54118-6\_12},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/14/WolffLV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/14/FitzgeraldLV14,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
editor = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
title = {From Embedded to Cyber-Physical Systems: Challenges and Future Directions},
booktitle = {Collaborative Design for Embedded Systems - Co-modelling and Co-simulation},
pages = {293--303},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54118-6\_14},
doi = {10.1007/978-3-642-54118-6\_14},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/14/FitzgeraldLV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/FLV2014,
editor = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
title = {Collaborative Design for Embedded Systems - Co-modelling and Co-simulation},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54118-6},
doi = {10.1007/978-3-642-54118-6},
isbn = {978-3-642-54117-9},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/FLV2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/FitzgeraldLV14,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
title = {System Development: The DESTECS/Crescendo Technology},
journal = {{ERCIM} News},
volume = {2014},
number = {97},
year = {2014},
url = {http://ercim-news.ercim.eu/en97/special/system-development-the-destecs-crescendo-technology},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/FitzgeraldLV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FitzgeraldLPV13,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Ken G. Pierce and
Marcel Verhoef},
title = {A formal approach to collaborative modelling and co-simulation for
embedded systems},
journal = {Math. Struct. Comput. Sci.},
volume = {23},
number = {4},
pages = {726--750},
year = {2013},
url = {https://doi.org/10.1017/S0960129512000242},
doi = {10.1017/S0960129512000242},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FitzgeraldLPV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/LarsenBFFLV10,
author = {Peter Gorm Larsen and
Nick Battle and
Miguel Alexandre Ferreira and
John S. Fitzgerald and
Kenneth Lausdahl and
Marcel Verhoef},
title = {The overture initiative integrating tools for {VDM}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {35},
number = {1},
pages = {1--6},
year = {2010},
url = {https://doi.org/10.1145/1668862.1668864},
doi = {10.1145/1668862.1668864},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/LarsenBFFLV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HoomanV10,
author = {Jozef Hooman and
Marcel Verhoef},
editor = {Dennis Dams and
Ulrich Hannemann and
Martin Steffen},
title = {Formal Semantics of a {VDM} Extension for Distributed Embedded Systems},
booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of
Willem-Paul de Roever},
series = {Lecture Notes in Computer Science},
volume = {5930},
pages = {142--161},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11512-7\_10},
doi = {10.1007/978-3-642-11512-7\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HoomanV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/FitzgeraldLPVW10,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Ken G. Pierce and
Marcel Verhoef and
Sune Wolff},
editor = {Dominique M{\'{e}}ry and
Stephan Merz},
title = {Collaborative Modelling and Co-simulation in the Development of Dependable
Embedded Systems},
booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6396},
pages = {12--26},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16265-7\_2},
doi = {10.1007/978-3-642-16265-7\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/FitzgeraldLPVW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BroeninkKLJVP10,
author = {Jan F. Broenink and
Christian Kleijn and
Peter Gorm Larsen and
Dusko S. Jovanovic and
Marcel Verhoef and
Kenneth Pierce},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {Design support and tooling for dependable embedded control software},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {77--82},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401745},
doi = {10.1145/2401736.2401745},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/BroeninkKLJVP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/FitzgeraldLV08,
author = {John S. Fitzgerald and
Peter Gorm Larsen and
Marcel Verhoef},
editor = {Benjamin W. Wah},
title = {Vienna Development Method},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
publisher = {John Wiley {\&} Sons, Inc.},
year = {2008},
url = {https://doi.org/10.1002/9780470050118.ecse447},
doi = {10.1002/9780470050118.ECSE447},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/wiley/FitzgeraldLV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/FitzgeraldTLV07,
author = {John S. Fitzgerald and
Simon Tjell and
Peter Gorm Larsen and
Marcel Verhoef},
title = {Validation Support for Distributed Real-Time Embedded Systems in {VDM++}},
booktitle = {Tenth {IEEE} International Symposium on High Assurance Systems Engineering
{(HASE} 2007), November 14-16, 2007, Dallas, Texas, {USA}},
pages = {331--340},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/HASE.2007.26},
doi = {10.1109/HASE.2007.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/FitzgeraldTLV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/VerhoefVHB07,
author = {Marcel Verhoef and
Peter Visser and
Jozef Hooman and
Jan F. Broenink},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Co-simulation of Distributed Embedded Real-Time Control Systems},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {639--658},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_33},
doi = {10.1007/978-3-540-73210-5\_33},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/VerhoefVHB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BuchholzKV06,
author = {Peter Buchholz and
Joost{-}Pieter Katoen and
Marcel Verhoef},
title = {Guest editors' introduction: quantitative analysis of real-time embedded
systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {6},
pages = {605--606},
year = {2006},
url = {https://doi.org/10.1007/s10009-006-0013-y},
doi = {10.1007/S10009-006-0013-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BuchholzKV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/WandelerTVL06,
author = {Ernesto Wandeler and
Lothar Thiele and
Marcel Verhoef and
Paul Lieverse},
title = {System architecture evaluation using modular performance analysis:
a case study},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {6},
pages = {649--667},
year = {2006},
url = {https://doi.org/10.1007/s10009-006-0019-5},
doi = {10.1007/S10009-006-0019-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/WandelerTVL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/FlorescuVVC06,
author = {Oana Florescu and
Jeroen Voeten and
Marcel Verhoef and
Henk Corporaal},
title = {Reusing Real-Time Systems Design Experience},
booktitle = {Forum on specification and Design Languages, {FDL} 2006, September
19-22, 2006, Darmstadt, Germany, Proceedings},
pages = {375--381},
publisher = {{ECSI}},
year = {2006},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=313},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/FlorescuVVC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/VerhoefLH06,
author = {Marcel Verhoef and
Peter Gorm Larsen and
Jozef Hooman},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Modeling and Validating Distributed Embedded Real-Time Systems with
{VDM++}},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {147--162},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_11},
doi = {10.1007/11813040\_11},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/VerhoefLH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/HendriksV06,
author = {Martijn Hendriks and
Marcel Verhoef},
title = {Timed automata based analysis of embedded system architectures},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639422},
doi = {10.1109/IPDPS.2006.1639422},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/HendriksV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/VerhoefWTL04,
author = {Marcel Verhoef and
Ernesto Wandeler and
Lothar Thiele and
Paul Lieverse},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {System Architecture Evaluation Using Modular Performance Analysis
- {A} Case Study},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {209--219},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
biburl = {https://dblp.org/rec/conf/isola/VerhoefWTL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PlatPV91,
author = {Nico Plat and
Kees Pronk and
Marcel Verhoef},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {The Delft {VDM-SL} Front-End},
booktitle = {{VDM} '91 - Formal Software Development, 4th International Symposium
of {VDM} Europe, Noordwijkerhout, The Netherlands, October 21-25,
1991, Proceedings, Volume 1: Conference Contributions},
series = {Lecture Notes in Computer Science},
volume = {551},
pages = {677--680},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_45},
doi = {10.1007/3-540-54834-3\_45},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/PlatPV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
