1
0
0
(1 - 29 von 35
)
Programmeetaps.org › fase › programme
etaps.org
FASE programme · José Luiz Fiadeiro and Antonia Lopes. Heterogeneous and Asynchronous Networks of Timed Systems · Matthias Kowal, Ina Schaefer and ...
Wissenschaftliches Programm | Software Engineering 2016
se2016.conf.tuwien.ac.at
— ... Parameter Spaces in Variability-aware Software Performance Models. Matthias Kowal, Max Tschaikowski, Mirco Tribastone and Ina Schaefer ... › programm › wissensch...
Explaining Satisfiability Queries for Software Product Lines
github.com
Master's thesis, Technische Universität Braunschweig, October [KATS17] Matthias Kowal, Sofia Ananieva, Thomas Thüm, and Ina Schaefer. › TimoGuenther
Sven Peldszus - Veröffentlichungen - RGSE
rgse.uni-koblenz.de
Malte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer: Model-Based Testing. In: Formal Methods for Executable Software Models - 14th International ... › publikationen-peldszus_de
Publications: Echtzeitsystemewww.es.tu-darmstadt.de › team › malte-lochau › publications
www.es.tu-darmstadt.de
Thomas Thüm ; André van Hoorn ; Sven Apel ; Johannes Bürdek ; Sinem Getir ; Robert Heinrich ; Reiner Jung ; Matthias Kowal ; Malte Lochau ; Ina Schaefer ...
KIT - Application-oriented Formal Verification - Research Projects -...
formal.kastel.kit.edu
Matthias Kowal Ina Schaefer Jan Ladiges Alexander Fay Christopher Haubeck Winfried Lamersdorf Sascha Lity Timo Kehrer Matthias Tichy Sinem Getir Mattias Ulbrich
Techniques and Prediction Models for Sustainable Product ...
www.se.cs.uni-saarland.de
Thomas Thüm, André van Hoorn, Sven Apel, Johannes Bürdek, Sinem Getir, Robert Heinrich, Reiner Jung, Matthias Kowal, Malte Lochau, Ina Schaefer, and Jürgen ... › ...
Formal Methods for Executable Software Models: 14th International...
books.google.de
... and Jose Miguel Rojas Model-Based Testing Malte Lochau, Sven Peldszus, Matthias Kowal, and Ina Schaefer Author Index .
Fundamental Approaches to Software Engineering: 17th International ...books.google.de › books
books.google.de
Matthias Kowal, Ina Schaefer, and Mirco Tribastone Static Analysis TouchCost: Cost Analysis of TouchDevelop Scripts Pietro Ferrara, Daniel ...
geplante und gemanagte Softwareevolution / Birgit Vogel ...
www.degruyter.com
Model-based Development and Performance Analysis for Evolving Manufacturing Systems. Matthias Kowal, Christian Prehofer, Ina Schaefer, Mirco Tribastone. › journal › key › auto › html
[ ] Incremental Consistency Checking in Delta-oriented...
arxiv.org
Authors:Matthias Kowal (TU Braunschweig), Ina Schaefer (TU Braunschweig). (Submitted on 1 Apr 2016). Abstract: Automation systems exist in ...
Domain Model-Based Data Stream Validation for Internet of ...
ceur-ws.org
von S Pizonka · Zitiert von: 3 — Sascha Lity, Matthias Tichy, Matthias Kowal, Ina Schaefer, Christopher Haubeck, et al Selected challenges of software evolution for automated ... › Vol-2245
Software Engineering authors/titles Apr 2016
arxiv.org
Authors: Matthias Kowal (TU Braunschweig), Ina Schaefer (TU Braunschweig). Comments: In Proceedings FMSPLE 2016, arXiv: Journal-ref: ...
Matthias Tichy - dblpdblp.uni-trier.de › Persons
dblp.uni-trier.de
... Jan Ladiges, Alexander Fay , Sascha Lity, Matthias Tichy, Matthias Kowal, Ina Schaefer, Christopher Haubeck, Winfried Lamersdorf, Timo Kehrer, Sinem Getir, ...
All publications - Infosun - Universität Passau
www.infosun.fim.uni-passau.de
Thomas Thüm, André van Hoorn, Sven Apel, Johannes Bürdek, Sinem Getir, Robert Heinrich, Reiner Jung, Matthias Kowal, Malte Lochau, Ina Schaefer, ... › ...
Publikationen
vsis-www.informatik.uni-hamburg.de
Autoren: Birgit Vogel-Heuser, Stefan Feldmann, Jens Folmer, Matthias Kowal, Ina Schäfer, Jan Ladiges, Alexander Fay, Christopher Haubeck, Winfried Lamersdorf, …
Family-Based Performance Analysis of Variant-Rich Software ...
link.springer.com
von M Kowal · · Zitiert von: 38 — Family-Based Performance Analysis of Variant-Rich Software Systems. Matthias Kowal,; Ina Schaefer &; Mirco Tribastone. Conference paper Accesses. › chapter
Publications | QUANTICOL - Informatics Blog Service
blog.inf.ed.ac.uk
Matthias Kowal, Ina Schaefer and Mirco Tribastone. Fundamental Approaches to Software Engineering (FASE'14), Lecture Notes in Computer Science 8411, 2014, ... › quanticol
Platzhalter für Bild, Bild auf Titelfolie hinter das Logo einsetzen...
slideplayer.com
Platzhalter für Bild, Bild auf Titelfolie hinter das Logo einsetzen Prof. Dr.-Ing. Ina Schaefer (joint work with Mirco Tribastone and Matthias Kowal) Institute.
FASE accepted papers - Etaps 2022
etaps.org
Matthias Kowal, Ina Schaefer and Mirco Tribastone. Family-Based Performance Analysis of Variant-Rich Software Systems. Pietro Ferrara, Daniel Schweizer and ... › fase › accepted-...
Feature-model interfaces: the highway to compositional ...
typeset.io
52 results — Sofia Ananieva, Matthias Kowal 1, Thomas Thüm 1, Ina Schaefer 1•Institutions (1). 29 Oct Abstract: Developing and maintaining a feature ... › papers
DFG SPP1593: DAPS
www.dfg-spp1593.de
Persons. Prof. Dr.-Ing. Ina Schaefer · Jun.-Prof. Dr. Mirco Tribastone · Prof. Dr. Christian Prehofer · M.Sc. Matthias Kowal. Recent Publications. Full list of ...
Performance Analysis Strategies for Software Variants and ...
www.springerprofessional.de
... André van Hoorn, Sven Apel, Johannes Bürdek, Sinem Getir, Robert Heinrich, Reiner Jung, Matthias Kowal, Malte Lochau, Ina Schaefer, Jürgen Walter. › performance-anal...
Selected challenges of software evolution for automated ...
www.dfg-spp1593.de
... and Jan Ladiges and Alexander Fay and Sascha Lity and Matthias Tichy and Matthias Kowal and Ina Schaefer and Christopher Haubeck and Winfried Lamersdorf ... › lib
Referencescgi.cse.unsw.edu.au › ~eptcs › references › FMS...
cgi.cse.unsw.edu.au
Matthias Kowal, Christoph Legat, David Lorefice, Christian Prehofer, Ina Schaefer & Birgit Vogel-Heuser (2014): Delta Modeling for Variant-rich and Evolving ...
inproceedings_ananieva.bib - Dependability of Software ...
sdq.ipd.kit.edu
@inproceedings{ananieva2016b, author = {Sofia Ananieva and Matthias Kowal and Thomas Th{\"u}m and Ina Schaefer}, booktitle = {7th International Workshop on ... techreport_ananieva.bib. @techreport{kowal2016a, author = {Matthias Kowal and Sofia Ananieva and Thomas Th{\"u}m}, institution = {Braunschweig University of ... › publications
Supporting the Development of Interdisciplinary Product Lines ...
www.semanticscholar.org
— ... author={Matthias Kowal and Sofia Ananieva and Thomas Th{\"u}m and Ina Schaefer}, journal={IFAC-PapersOnLine}, year={2017}, volume={50}, — ... title={Higher-order delta modeling for software product line evolution}, author={Sascha Lity and Matthias Kowal and Ina Schaefer}, ... › ...
Lecture Notes in Informatics
subs.emis.de
Full Text; Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer Scaling size and parameter spaces in variability-aware software ...
Alle Infos zum Namen "Matthias Kowal"
sortiert nach Relevanz / Datum