1
0
0
(1 - 42 von 57
)
Programmkomitee - Software Engineering 2022
se-2022.gi.de
Sabine Glesner, TU Berlin. Sibylle Schupp, TU Hamburg. Stefan Biffl, Vienna University of Technology. Uwe Zdun, University of Vienna ... › programmkomitee
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 ...
ContemPlant - GitHubgithub.com › ContemPlant › ContemPlant
github.com
for mentoring and support. and also to the chair of. Prof. Dr. Sabine Glesner Software and Embedded Systems Engineering Technische Universität Berlin ...
Züllighoven, H. (Hrsg): Software Engineering Fach
www.se-rwth.de
von S Glesner · · Zitiert von: 3 — Sabine Glesner,TU Berlin. Stefan Jähnichen, TU Berlin und FhG FIRST. Barbara Paech, Universität Heidelberg. Bernhard Rumpe, TU Braunschweig. › publications
Automatisierte Testplanerstellung für Betriebsstrategien von
books.google.de
Poser. Literaturverzeichnis [Gle07] Prof. Dr. Sabine Glesner, editor. Software ...
Software Engineering and Formal Methods: 12th International...
books.google.de
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble,...
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.
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,...
Berta_Danilo_Pairwise_Graph_v2
www.slideshare.net
LinkedIn SlideShare Sabine Glesner (TU Berlin), IEEE International Conference on Software Maintenance (ICSM)” but with a different ...
Poster r eund_produktlinien
pt.slideshare.net
Fachgebiete Softwaretechnik und Programmierung eingebetteter Systeme http://swt.cs.tu-berlin.de …
www.jblech.de
www.jblech.de
@conference{GlBl:2005, author={Sabine Glesner and Jan Olaf Blech}, title={Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender
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 ...
dblp: Theoretical Aspects of Software Engineering 2013
dblp1.uni-trier.de
Bibliographic content of Theoretical Aspects of Software Engineering 2013
Editors - SICS Software-Intensive Cyber-Physical Systems
www.springer.com
Editor-in-Chief Sabine Glesner Technical University of Berlin, Germany Editorial Board Uwe Borghoff Bundeswehr University, Munich, Germany Björn ... › journal
Sabine Glesner - second.wikisecond.wiki › wiki › sabine_glesner
second.wiki
Sabine Anne Maria Glesner (* ) is a German computer scientist and university lecturer . She heads the Software and Embedded Systems Engineering ...
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...
Efficient Construction and Verification of Embedded Software |...
link.springer.com
Intelligent Computer-Human Interface, Shanghai Jiao Tong University. Authors. Sabine Glesner (5). Author Affiliations. 5. Software Engineering for Embedded ...
Principles of Programming Seminar | Carnegie Mellon University ...csd.cmu.edu › calendar › property-fielddateandtime
csd.cmu.edu
SABINE GLESNER, Professor and Chair /SABINE%20GLESNER. Software has become a central and integral part of many systems and products of the information era.
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 ...
Sabine Glesner - Google Akademik Alıntılar
scholar.google.com.tr
Sabine Glesner. Professor für Informatik, Technische Universität Berlin · Software -Engineering, eingebettete Systeme, Verifikation. tu-berlin.de üzerinde ...
Sabine Glesner - Google Scholar
scholar.google.de
Professor für Informatik, Technische Universität Berlin - mal zitiert - Software-Engineering - eingebettete Systeme - Verifikation
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:.
DROPS - Dagstuhl-Manifest zur Strategischen Bedeutung des Software...
drops.dagstuhl.de
... author = {Manfred Broy and Matthias Jarke and Manfred Nagl and Hans Dieter Rombach and Armin B. Cremers and J{\"u}rgen Ebert and Sabine Glesner and ...
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.
Alfred Winter - Publications List
publicationslist.org
Sabine Glesner, Stefan Jähnichen, Barbara Paech, Bernhard Rumpe, Thomas Wetter, Alfred Winter (2008) Manifest : Strategische Bedeutung des Software ...
Software Engineering CFP - EasyChair
easychair.org
Sabine Glesner, TU Berlin. Sibylle Schupp, TU Hamburg. Stefan Biffl, Vienna University of Technology. Uwe Zdun, University of Vienna ... › cfp
Software Engineering 2007, Fachtagung des GI-Fachbereichs ...subs.emis.de › Home › Vol P-105 (2007)
subs.emis.de
... Engineering für die Medizin. Sabine Glesner , Stefan Jähnichen , Barbara Paech , Bernhard Rumpe , Thomas Wetter and Alfred Winter ...
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 ...
Uni-Professorinnen in der Informatik - Liste
www.informatica-feminale.de
Dr. Sabine Glesner, Professur für Softwaretechnik und theoretische Informatik. Universität Bielefeld (Stand: ) Technische Fakultät › Professorinnen
EAPLS: EAPLS PhD Award 2016–17: Call for Nominations
eapls.org
Derek Dreyer, Max Planck Institute for Software Systems * Maurizio Gabbrielli, University of Bologna * Sabine Glesner, Technische Universität ...
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.
Proceedings. GI-Edition. Software Engineering und DocPlayer.orgdocplayer.org › Proceedings-gi-edition-...
docplayer.org
... Sabine Glesner Comprehensible Decisions in Complex Self-Adaptive Systems ... on LinkedIn www.linkedin.com/in/heiko-schwindt "The challenge.
Lecture Notes in Informatics - EMIS
subs.emis.de
— Logische und softwaretechnische Herausforderungen bei der Verifikationoptimierender Compiler. Sabine Glesner and Jan Olaf Blech ... › LNI › Proceedings64 › article3639
Software Engineering Konferenz Hamburg
www.se-konferenzen.de
SE07, SE 2007, SE, Software Engineering, Software Engineering Konferenz, Hamburg
ArtistDesign NoE - Core Team Leaders
www.artist-embedded.org
Prof. Dr. Sabine Glesner TU Berlin ... Research interests Compilers, Verification, Embedded Systems and Software
Lecture Notes in Informatics
subs.emis.de
3. Nov – Pages: Full Text; Sabine Glesner, Jan Olaf Blech Logische und softwaretechnische Herausforderungen bei der ...
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