Published in: OASIcs, Volume 36, 5th Workshop on Medical Cyber-Physical Systems (2014)
Freek van den Berg, Anne Remke, and Boudewijn R. Haverkort. A Domain Specific Language for Performance Evaluation of Medical Imaging Systems. In 5th Workshop on Medical Cyber-Physical Systems. Open Access Series in Informatics (OASIcs), Volume 36, pp. 80-93, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{vandenberg_et_al:OASIcs.MCPS.2014.80, author = {van den Berg, Freek and Remke, Anne and Haverkort, Boudewijn R.}, title = {{A Domain Specific Language for Performance Evaluation of Medical Imaging Systems}}, booktitle = {5th Workshop on Medical Cyber-Physical Systems}, pages = {80--93}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-66-8}, ISSN = {2190-6807}, year = {2014}, volume = {36}, editor = {Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.80}, URN = {urn:nbn:de:0030-drops-45257}, doi = {10.4230/OASIcs.MCPS.2014.80}, annote = {Keywords: Domain Specific Language, Performance Evaluation, Simulation, Model Checking, Medical Systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 7101, Quantitative Aspects of Embedded Systems (2007)
Boudewijn Haverkort, Joost-Pieter Katoen, and Lothar Thiele. 07101 Abstracts Collection – Quantitative Aspects of Embedded Systems. In Quantitative Aspects of Embedded Systems. Dagstuhl Seminar Proceedings, Volume 7101, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{haverkort_et_al:DagSemProc.07101.1, author = {Haverkort, Boudewijn and Katoen, Joost-Pieter and Thiele, Lothar}, title = {{07101 Abstracts Collection – Quantitative Aspects of Embedded Systems}}, booktitle = {Quantitative Aspects of Embedded Systems}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7101}, editor = {Boudewijn Haverkort and Joost-Pieter Katoen and Lothar Thiele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07101.1}, URN = {urn:nbn:de:0030-drops-11402}, doi = {10.4230/DagSemProc.07101.1}, annote = {Keywords: Embedded systems, quantitative analysis, model checking, real-time calculus, validation, verification, model-based and model-driven design} }
Published in: Dagstuhl Seminar Proceedings, Volume 7101, Quantitative Aspects of Embedded Systems (2007)
Boudewijn Haverkort, Joost-Pieter Katoen, and Lothar Thiele. 07101 Executive Summary – Quantitative Aspects of Embedded Systems. In Quantitative Aspects of Embedded Systems. Dagstuhl Seminar Proceedings, Volume 7101, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{haverkort_et_al:DagSemProc.07101.2, author = {Haverkort, Boudewijn and Katoen, Joost-Pieter and Thiele, Lothar}, title = {{07101 Executive Summary – Quantitative Aspects of Embedded Systems}}, booktitle = {Quantitative Aspects of Embedded Systems}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7101}, editor = {Boudewijn Haverkort and Joost-Pieter Katoen and Lothar Thiele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07101.2}, URN = {urn:nbn:de:0030-drops-11378}, doi = {10.4230/DagSemProc.07101.2}, annote = {Keywords: Embedded systems, quantitative analysis, model checking, real-time calculus, validation, verification, model-based and model-driven design. Embedded s} }
Published in: Dagstuhl Seminar Proceedings, Volume 7101, Quantitative Aspects of Embedded Systems (2007)
Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, and Lijun Zhang. 07101 Working Group Report – Performance Measures Other Than Time. In Quantitative Aspects of Embedded Systems. Dagstuhl Seminar Proceedings, Volume 7101, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{cloth_et_al:DagSemProc.07101.3, author = {Cloth, Lucia and Crouzen, Pepijn and Fruth, Matthias and Han, Tingting and Jansen, David N. and Kattenbelt, Mark and Smit, Gerard J. M. and Zhang, Lijun}, title = {{07101 Working Group Report – Performance Measures Other Than Time}}, booktitle = {Quantitative Aspects of Embedded Systems}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7101}, editor = {Boudewijn Haverkort and Joost-Pieter Katoen and Lothar Thiele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07101.3}, URN = {urn:nbn:de:0030-drops-11396}, doi = {10.4230/DagSemProc.07101.3}, annote = {Keywords: } }
Published in: Dagstuhl Seminar Proceedings, Volume 7101, Quantitative Aspects of Embedded Systems (2007)
Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit, and Johann Hurink. Demonstration of Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC). In Quantitative Aspects of Embedded Systems. Dagstuhl Seminar Proceedings, Volume 7101, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{holzenspies_et_al:DagSemProc.07101.4, author = {H\"{o}lzenspies, Philip K. F. and Kuper, Jan and Smit, Gerard J. M. and Hurink, Johann}, title = {{Demonstration of Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC)}}, booktitle = {Quantitative Aspects of Embedded Systems}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7101}, editor = {Boudewijn Haverkort and Joost-Pieter Katoen and Lothar Thiele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07101.4}, URN = {urn:nbn:de:0030-drops-11382}, doi = {10.4230/DagSemProc.07101.4}, annote = {Keywords: Run-time spatial mapping, streaming applications, MPSoC} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Craig Boutilier, Boudewijn Haverkort, Marta Kwiatkowska, and Moshe Y. Vardi. Probabilistic Methods in Verification and Planning (Dagstuhl Seminar 03201). Dagstuhl Seminar Report 379, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)
@TechReport{boutilier_et_al:DagSemRep.379, author = {Boutilier, Craig and Haverkort, Boudewijn and Kwiatkowska, Marta and Vardi, Moshe Y.}, title = {{Probabilistic Methods in Verification and Planning (Dagstuhl Seminar 03201)}}, pages = {1--8}, ISSN = {1619-0203}, year = {2003}, type = {Dagstuhl Seminar Report}, number = {379}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.379}, URN = {urn:nbn:de:0030-drops-152590}, doi = {10.4230/DagSemRep.379}, }
Feedback for Dagstuhl Publishing