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 ...
Cyber Physical Systems. Design, Modeling, and Evaluation: 6th...
books.google.co.uk
This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in...
Tests and Proofs: Third International Conference, TAP 2009, Zurich...
books.google.de
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process Paula Herber, Florian Friedemann, and Sabine Glesner Berlin Institute ...
Formal Modeling and Verification of Cyber-Physical Systems: 1st
books.google.de
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic...
EPTCS 199: Verification and Program TransformationarXiv
arxiv.org
von A Lisitsa · — Towards the Verification of Refactorings of Hybrid Simulink Models Sebastian Schlesinger, Paula Herber, Thomas Göthel and Sabine Glesner,
Doctoral Symposium Session 1 Note - formal-analysis.com!formal-analysis.com
formal-analysis.com
— with KeYmaera X (Timm Liebrenz, Paula Herber and. Sabine Glesner). Behaviour-driven Formal Model. Development (Colin Snook, Thai Son Hoang,.
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.
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.
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 ...
Combining Model Checking and Testing in a Continuous ...Springer
link.springer.com
von P Herber · · Zitiert von: 20 — Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. Paula Herber,; Florian Friedemann &; Sabine Glesner. Conference paper.
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...
Proving …ctness of Refactorings for Hybrid Simulink Models with...
link.springer.com
Hybrid models are highly relevant for the development of embedded systems because they cover both their continuous and discrete aspects. To master the...
Alle Infos zum Namen "Paula Herber"
CEUR-WS.org/Vol Model-based Architecting and Construction of...
ceur-ws.org
Paula Herber, Bettina Hünnemeyer; : submitted by Iulia Dragomir : published on CEUR-WS.org |valid HTML5| ...
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.
ICFEM 2018
formal-analysis.com
Timm Liebrenz, Paula Herber and Sabine Glesner, Deductive Verification of Hybrid Control Systems modeled in Simulink with KeYmaera X.
CyPhy 2016
2016.cyphy.org
Sebastian Schlesinger, Paula Herber, Thomas Göthel and Sabine Glesner. Proving …ctness of Refactorings for Hybrid Simulink Models ...
Detailed Program
www.olab-dynamics.net
Marcus Mikulcak, Paula Herber, Thomas Göthel and Sabine Glesner. Information Flow Analysis of Combined Simulink/Stateflow Models. Luigi Novella, Manuela ...
[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...
VPT Program
refal.botik.ru
Sebastian Schlesinger, Paula Herber, Thomas Gothel and Sabine Glesner. Towards the Verification of Refactorings of Hybrid Simulink Models. (Presentation ...
Logos Verlag Berlin: Katalog
www.logos-verlag.de
Paula Herber A Framework for Automated HW/SW Co-Verification of SystemC Designs using Timed Automata. André Hergenhan Analytische Modellierung und ...
sortiert nach Relevanz / Datum