1
0
0
(1 - 24 von 25
)
Designing Modern Embedded Systems: Software, Hardware, and ...google.fr
books.google.fr
... Analysis Marcel Schoppmeier and Paula Herber ( ) University of Münster , Einsteinstr , Münster , Germany { marcel.schoppmeier , paula.herber}@ ...
Formal Methods and Software Engineering: 20th International ...google.fr
books.google.fr
Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X Timm Liebrenz(B), Paula Herber, and Sabine Glesner Software and ...
A Framework for Automated HW/SW Co-Verification of SystemC Designs...
books.google.de
Paula Herber. 1. Introduction. Embedded systems are usually composed of deeply integrated hardware and software components, and they are developed ...
Formal Methods and Software Engineering: 20th International...
books.google.de
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD,...
20th Workshop on Automotive Software Engineering (ASE' ...KOBV
opus4.kobv.de
von S Kugele · — Dr. Paula Herber. Universität Münster. Prof. Dr. Thomas Kropf. Robert Bosch GmbH. Apl. Prof. Dr. Wolfgang Müller. Uni Paderborn.
Towards Profile-Guided Optimization for Safe and Efficient ...Mines Paris
www.cri.ensmp.fr
Efficient Parallel Stream Processing in Rust. Stefan Sydow, Mohannad Nabelsee, Sabine Glesner, Paula Herber | Software and Embedded Systems Engineering ...
Towards the Verification of Refactorings of Hybrid Simulink ...botik.ru
refal.botik.ru
von S Schlesinger · Zitiert von: 3 — Sebastian Schlesinger, Paula Herber, Thomas Gцthel, Sabine Glesner. Software Engineering for Embedded Systems. Technische Universitдt Berlin ...
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
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).
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.
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 ...
Combining Model Checking and Testing in a Continuous HW/SW...
link.springer.com
SystemC is widely used for modeling and simulation in hardware/software co-design. However, the co-verification techniques used for SystemC designs are mostly...
Model Checking Memory-Related Properties of Hardware/Software...
link.springer.com
Memory safety plays a crucial role in concurrent hardware/software systems and must be guaranteed under all cir…tances. Although there exist some approaches...
Coverage-Driven SLAM Testing4tu.nl
data.4tu.nl
Paula Herber · orcid logo. This dataset contains software to automatically generate high-coverage tests for SLAM algorithms by partitioning of the input ...
Formal Verification of SystemC Designs using the BLAST ...Semantic Scholar
www.semanticscholar.org
Paula Herber, Bettina Hünnemeyer; Published in ACES-MB@MoDELS 2014; Computer Science. SystemC is widely used in hardware/software codesign.
MEMOCODE 2020IIT Jammu
iitjammu.ac.in
Paula Herber and Timm Liebrenz, Automated Partitioning and Compositional Verification of Hardware/Software Codesigns ; Jeremy Pope, Jules Saget and Carl-Johan ...
Automated Selection of Software Refactorings SciTePress
www.scitepress.org
Authors: Nikolai Moesus 1 ; Matthias Scholze 1 ; Sebastian Schlesinger 2 and Paula Herber 2. Affiliations: 1 QMETHODS – Business & IT Consulting GmbH, ...
Information Flow Analysis of Combined Simulink/Stateflow ...itc.ktu.lt › index.php › ITC › article › view
itc.ktu.lt
Marcus Mikulcak Technische Universität Berlin Software and Embedded Systems Engineering Group; Paula Herber University of Münster ...
se2022: Software Engineering 2022EasyChair
easychair.org
Paula Herber, Uni Münster. Rick Rabiser, LIT CPS, Johannes Kepler University Linz. Ruth Breu, University of Innsbruck. Sabine Glesner, TU Berlin.
[PDF] Model checking SystemC designs using timed automata | Semantic...
www.semanticscholar.org
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify...
STATE -- A SystemC to Timed Automata Transformation Engine - Semantic...
www.semanticscholar.org
SystemC is a system level design language that is widely used in hardware/software codesign. As the semantics of SystemC is only informally defined,...
Alle Infos zum Namen "Paula Herber"
sortiert nach Relevanz / Datum