1
0
0
(1 - 30 von 47
)
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
Comprehensible and dependable self-learning self-adaptive systemswww.sciencedirect.com › science › article › abs › pii
www.sciencedirect.com
Sabine Glesner is a full professor at the Technische Universität Berlin, heading the chair Software and Embedded Systems Engineering. Sabine Glesner holds a ...
Search results for "Sabine Glesner" – FacetedDBLP
dblp.l3s.uni-hannover.de
Publications of "Sabine Glesner" ( http://dblp.L3S.de/Authors/Sabine_Glesner ) URL (Homepage): http://www.pes.tu-berlin.de/ Author page on DBLP Author page in RDF ...
Coinductive Verification of Program Optimizations Using ...
www.sciencedirect.com
von S Glesner · · Zitiert von: 6 — Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner. Formal Verification of Dead Code Elimination in Isabelle/HOL. Proc.3rd IEEE Int'l Conf. on Software ... › pii
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.
dblp: BibTeX records: Barbara Paech
dblp.uni-trier.de
List of computer science publications by BibTeX records: Barbara Paech
Holger Giese, Sabine Glesner, Johannes Leitner, Wilhelm ...www.hni.uni-paderborn.de › publikationen
www.hni.uni-paderborn.de
... Model Development, Validation and Verification (MoDeV2a), Genova, Italy - Holger Giese, Sabine Glesner, Johannes Leitner, Wilhelm Schäfer, Robert Wagner.
Liebrenz, Timm — Welcome to SOAMED
www.informatik.hu-berlin.de
Welcome to SOAMED. Faculty of ... Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner (2017): Towards Service-oriented Design …
Bernd J. Krämer - DBLP
dblp.uni-trier.de
Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, ... › Persons › Bernd J. Krämer
dblp: Theoretical Aspects of Software Engineering 2013
dblp1.uni-trier.de
Bibliographic content of Theoretical Aspects of Software Engineering 2013
Daniel Stoehr — Willkommen bei SOAMED
www.informatik.hu-berlin.de
Christine Hundt, Daniel Stöhr and Sabine Glesner: "Optimizing Aspect-oriented Mechanisms for Embedded Applications" Tools Springer, Heidelberg,
dblp: Software Engineering (Workshops)www.informatik.uni-trier.de › ... › Software Engineering
dblp.uni-trier.de
Twitter · Reddit · BibSonomy · LinkedIn · Facebook. persistent URL: https://dblp.org/rec/conf/se/TetzlaffG12. Dirk Tetzlaff, Sabine Glesner:
Forschung
swt.informatik.uni-halle.de
Erstgutachterin: Sabine Glesner (TU Berlin) Composition Operators for Components and Web Services (2011) Bearbeiter: Cuong M. Tran Phd-Thesis University of Manchester
Franziska Bathelt-Tok — Willkommen bei SOAMED
www.informatik.hu-berlin.de
2014: Franziska Bathelt-Tok, Helena Gruhn, Sabine Glesner, Oliver Blankenstein: "Towards the Development of a Smart Network for an Intelligent and Reliable Health
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
Distinguished Lecturer Series (Computer Sciences) continued
www.mscj.uni-jena.de
Febrary – Sabine Glesner (Technische Universität Berlin). Static Analysis and Verification of Embedded and Cyber-Physical Systems ... › dist...
SE 2012
se2012.swt.tu-berlin.de
Ansprechpartner Sabine Glesner, Steffen Helke (TU Berlin) Email: nachwuchs.se2012(AT)swt.tu-berlin.de
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
Armin B. Cremers - DBLPdblp.org › Persons
dblp.org
Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, ...
Call: Wissenschaftliches Hauptprogramm | Konferenz Software...
se19.uni-stuttgart.de
Sie können hier bereits publizierte Konferenz- oder Journalbeiträge noch einmal einem breiten Publikum präsentieren.
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