1
0
0
(1 - 25 von 25
)
Prof. Dr. Paula Herber - Universität Münster
www.uni-muenster.de
Prof. Dr. Paula Herber. AG Embedded Systems. , Room Münster. Sprechstunde: nach Vereinbarung. Phone: + Fax: + Alle Anfragen an die Prüfungsbeauftragten der Informatik bitte an .
A Qualitative Evaluation of IPv6 for the Industrial Internet ...ScienceDirect
www.sciencedirect.com
von B Feldner · · Zitiert von: 16 — Paula Herber b. Show more. Add to Mendeley. Share. Cite. https://doi.org j.procs Get rights and content. Under a Creative Commons license.
Software and Embedded Systems Engineering: Paula Herber
www.sese.tu-berlin.de
Since , Paula Herber is the chair of the Embedded Systems Group at the University of Münster. Research Fields Verification and validation of embedded systems
EmbSys - Universität Münster
www.uni-muenster.de
Welcome to the Embedded Systems Group! The Embedded Systems Group is headed by Prof. Dr. Paula Herber and part of the Computer Science Department at the Faculty of Mathematics and Computer Science, University of Münster. Our research and teaching activities focus on methods and techniques for the construction of safe and secure embedded systems.
Paula Herber - dblp
dblp.org
Paula Herber: A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata. Berlin Institute of Technology, ...
Fachbereich Mathematik und Informatik - Universität Münster
www.uni-muenster.de
Prof. Dr. Paula Herber, Institut für Informatik. • Adelt, Julius; Brettschneider, Daniel; Herber, Paula Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. Automated Technology for Verification and Analysis - 20th International Symposium, {ATVA} 2022, Virtual Event, October , 2022, ProceedingsLecture ...
Liebrenz, Timm — Welcome to SOAMED
www.informatik.hu-berlin.de
2017: Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner (2017): Towards Service-oriented Design of Hybrid Systems modeled in Simulink. IEEE International Workshop on QUality Oriented Reuse of Software (QUORS 2017, to appear).
Lehrpreis der Fachschaft vergeben - Universität Münster
www.uni-muenster.de
Der diesjährige Lehrpreis für besonderes Engagement in der Lehre geht an Frau Paula Herber. Ihre Vorlesung "Rechnerstrukturen", die sie im Somersemester gehalten hat, hat sehr gute Evaluationsergebnisse erhalten und viele Studierende begeistert.
Projektseminar: Entwurf eingebetteter Systeme WS , Paula...
www.uni-muenster.de
Projektseminar: Entwurf eingebetteter Systeme WS , Paula Herber, Julius Adelt Etwa 98% aller programmierbaren Prozessoren weltweit sind in technische Umgebungen eingebettet, zum Beispiel in Fahrzeugen, Flugzeugen und Satelliten, in medizinischen Geräten, Fertigungshallen und Multimediasystemen.
Model Checking Memory-Related Properties of Hardware ...Archive ouverte HAL
hal.science
von M Pockrandt · · Zitiert von: 7 — Model Checking Memory-Related Properties of Hardware/Software Co-designs. Marcel Pockrandt 1Paula Herber 1 Verena Klös 1 Sabine Glesner 1. Détails.
Pockrandt | Electronic Communications of the EASSTTU Berlin
journal.ub.tu-berlin.de
von M Pockrandt · — Optimized Transformation and Verification of SystemC Methods. Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner ...
DepositOnce: A Framework for Automated HW/SW Co-Verification of...
depositonce.tu-berlin.de
Paula Herber. Embedded systems are usually composed of deeply integrated hardware and software components. They are often used in domains where a ...
Publications - Lehrstuhl Architektur von Universität Rostock
www.ava.uni-rostock.de
Stefan Sydow, Mohannad Nabelsee, Helge Parzyjegla, and Paula Herber. A safe and user-friendly graphical programming model for parallel stream processing.
Publications — Welcome to SOAMED
www.informatik.hu-berlin.de
Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner (2017). Towards Service-oriented Design of Hybrid Systems modeled in ...
Specification and Modelling of Software Systems - Program ...
en.cs.uni-paderborn.de
Paula Herber - Formal Verification of SystemC Using the CPAchecker. SystemC is widely used in hardware/software codesign. Although it is also used for the ...
dblp: International Conference on Embedded Systems 2013
dblp.dagstuhl.de
Bibliographic content of International Conference on Embedded Systems 2013
Search results for "Paula Herber" – FacetedDBLP
dblp.l3s.de
Publications of "Paula Herber" ( http://dblp.L3S.de/Authors/Paula_Herber ). Author page on DBLP Author page in RDF Community of Paula Herber in ASPL
sortiert nach Relevanz / Datum