1
0
0
(1 - 36 von 44
)
SE 2014: Konferenz Software Engineering – Kiel »...
se2014.kosse-sh.de
... Pohl: Messung der Strukturellen Komplexität von Feature-Modellen; Robert Reicherdt and Sabine Glesner: Methods of Model Quality in the Automotive Area ...
Towards the Automatic Verification of Behavior Preservation at the ...www.hpi.uni-potsdam.de › misc › bibtexbrowser
www.hpi.uni-potsdam.de
... Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner), In Analysis of Model Transformations, AMT (Jürgen Dingel, Sahar Kokaly, ...
Towards the Automatic Verification of Behavior Preservation at ...
www.hpi.uni-potsdam.de
... Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner), In Fourth Workshop on the Analysis of Model Transformations, (To Appear). › ...
CorMorant III - Hasso-Plattner-Instituthpi.de › giese › research › projects › cormorant-iii
hpi.de
Dr. Sabine Glesner ... Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner), In Fourth Workshop on the Analysis of Model Transformations, ...
A Framework for Automated HW/SW Co-Verification of SystemC Designs...
books.google.ca
[HFG08] Paula Herber, Joachim Fellmuth, and Sabine Glesner. Model Checking SystemC Designs Using Timed Automata. In International Conference on ...
Cyber Physical Systems. Design, Modeling, and Evaluation: 6th...
books.google.de
This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in...
Embedded Systems -- Modeling, Technology, and Applications:...
books.google.de
Lecture Notes in Informatics (LNI). [BGG05] Jan Olaf Blech, Lars Gesellensetter, and Sabine Glesner. Formal Verification of Dead Code Elimination in Isabelle/HOL. In Proc. 3rd IEEE International Conference on Software Engineering and Formal Methods, Koblenz, Germany, September IEEE Computer Society Press.
Objects, Models, Components, Patterns: 48th International Conference,...
books.google.de
Hundt, Daniel St ̈ohr, and Sabine Glesner Berlin Institute of Technology (TU ...
EPTCS 199: Verification and Program Transformation
arxiv.org
Verifying Temporal Properties of Reactive Systems by Transformation Geoff Hamilton, 33. Control Flow Analysis for SF Combinator Calculus Martin Lester, 51. Towards the Verification of Refactorings of Hybrid Simulink Models Sebastian Schlesinger, Paula Herber, Thomas Göthel and Sabine Glesner,
Publications - Uni Münster
www.uni-muenster.de
Timm Liebrenz, Paula Herber, Sabine Glesner ' Towards Automated Service-oriented Verification of Embedded Control Software modeled in Simulink . › publ
Sabine Glesner - DBLPdblp.org › Persons
dblp.org
Timm Liebrenz, Paula Herber , Sabine Glesner: Service-oriented decomposition and verification of hybrid system models using feature models and contracts.
ATPS Programm
www.informatik.uni-kiel.de
Model Checking Erlang Programs - LTL-Propositions and Abstract Interpretation. 14:30, Implementierung, Jan Olaf Blech and Sabine Glesner (Karlsruhe) › ~atps04
Robert Reicherdt — Willkommen bei SOAMED
www.informatik.hu-berlin.de
2014: Robert Reicherdt and Sabine Glesner: "Formal Verification of Discrete-Time Matlab/Simulink Models using Boogie" In: Software Engineering and Formal Methods
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...
Formal Verification of Discrete-Time MATLAB/Simulink Models Using...
link.springer.com
Matlab/Simulink is a widely used industrial tool for the development of embedded systems. Many of these systems are safety critical, especially in automotive...
Refinement-Based Verification of Communicating Unstructured Code |...
link.springer.com
Formal model refinement aims at preserving safety and liveness properties of models. However, there is usually a verification gap between model and executed...
Reference Projects | CISMo MES - Model Engineering ...model-engineers.com › references › research-projects
model-engineers.com
Dr. Sabine Glesner. The focus of this project was the development of a process that could be used by industry to analyze the effects of changes to software ...
SFAssist | Research Projects - MES - Model Engineering ...model-engineers.com › company › references › sfas...
model-engineers.com
Sabine Glesner, investigates issues related to the software engineering of embedded and cyber-physical systems. In particular, the department is concerned with ...
Research Projects | eCoSMo MES
model-engineers.com
Dr. Sabine Glesner. The focus of the joint research project "ECoSMO" is the prototypical development of a procedure that can be used by industry to determine the effective complexity of software models, using data-flow analyses as a basis. The procedure, which has been especially designed for the modeling languages ...
ICST Schedule
sites.google.com
... Sequence Generation for Finite State Models and Pushdown Systems, Joachim Hänsel, Daniela Rose, Paula Herber and Sabine Glesner.
University of Paderborn Software Engineering Group Prof. Dr ...slideplayer.com › slide
slideplayer.com
Dr. Wilhelm Schäfer Towards Verified Model Transformations Holger Giese 1, Sabine Glesner 2, Johannes."— Presentation transcript:.
Detailed Programwww.olab-dynamics.net/wetice2018/DetailedProgram.html
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 ...
Automatisch testen und debuggen: Modellbasiert auf Serien ...www.elektroniknet.de › embedded › entwicklungstools › modellbasiert-auf...
www.elektroniknet.de
Dr. Sabine Glesner. Bei ihr hat er promoviert und arbeitet seitdem bei der Firma PikeTec GmbH als Software Engineer und Consultant.
Towards Verified Model Transformations (bibtex)
hpi.de
Towards Verified Model Transformations (Holger Giese, Sabine Glesner, Johannes Leitner, Schafer), In Proc. of the 3rd International Workshop on Model ... › misc › bibtexbrowser
Objektorientierte Sprachen: Übersicht - KIPDF.COM
kipdf.com
Teil 4Grundideen: ModellierungObjektorientierte Sprachen: Übersicht● Objekte kooperieren, indem sie sich Botschaft...
Information Flow Analysis of Combined Simulink/Stateflow Modelsitc.ktu.lt › index.php › ITC › article › view
itc.ktu.lt
· ... and Embedded Systems Engineering Group; Sabine Glesner Technische Universität Berlin Software and Embedded Systems Engineering Group ...
Model Checking Memory-Related Properties of Hardware/Software ...hal.inria.fr › hal
hal.inria.fr
Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner. Model Checking Memory-Related Properties of Hardware/Software Co-designs.
Program | SEFM 2014
sefm2014.inria.fr
Robert Reicherdt and Sabine Glesner. Formal Verification of Discrete-Time MATLAB/Simulink Models using Boogie. Klaus Becker, Bernhard ...
SyDe Summer School on Modeling and Verification of Cyber-Physical...
www.summerschoolsineurope.eu
Bernd Becker, Krish Chakrabarty, Goran Frehse, Sabine Glesner, Sami Haddadin, Klaus Havelund, Anne Haxthausen, Elsa Kirchner, Frédéric Mallet, Jens ...
ZEUS Workshop | Central European Workshop on Services and their...
zeus-workshop.eu
HarmonICS - a Tool for Composing Medical Services; 14:15 Daniel Stöhr and Sabine Glesner. Automated Composition of Timed Services by Planning as Model ...
VPT Program
refal.botik.ru
Sebastian Schlesinger, Paula Herber, Thomas Gothel and Sabine Glesner. Towards the Verification of Refactorings of Hybrid Simulink Models. (Presentation ...
Alle Infos zum Namen "Sabine Glesner"
Verwandte Suchanfragen zu Sabine Glesner
Holger Giese Thomas Göthel Paula Herber | Christine Hundt Jürgen Ebert Manfred Broy | Sebastian Schlesinger Manfred Nagl Elke Salecker |
Personen Vorname "Sabine" (69754) Name "Glesner" (16) |
sortiert nach Relevanz / Datum