1
0
0
News
Netzwerk-Profile
LinkedIn: Hauke Baller | LinkedIn
largest business network, helping professionals like Hauke Baller discover inside
...
LinkedIn: Hauke Baller | LinkedIn
Sehen Sie sich das berufliche Profil von Hauke Baller (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und ...
Firmen-Mitarbeiter
TU Darmstadt
www.es.tu-darmstadt.de
Hauke Baller ; Sascha Lity ; Malte Lochau ; Ina Schaefer (2014): Multi-Objective Test Suite Optimization for Incremental Product Family Testing. In: 7th ...
Technische Universität Braunschweig
www.isf.cs.tu-bs.de
von S Lity · · Zitiert von: 26 — [16] Jochen Kamischke, Malte Lochau, and Hauke Baller Conditioned Model. Slicing of Feature-Annotated State Machines. In Proc. Int'l Workshop Feature ...
Bücher
Biblio | IfIS: Institute for Information Systems at Technische...
www.ifis.cs.tu-bs.de
Filters: Author is Hauke Baller [Clear All Filters] Lochau, M., ...
Biblio | IfIS: Institute for Information Systems at Technische ...Technische Universität Braunschweig
www.ifis.cs.tu-bs.de
Filters: Author is Hauke Baller [Clear All Filters] · A B C D E F G H I J K L M N O P Q R S T U V W X Y Z. L. Lochau, M., S. Mennicke, H. Baller, ... › author
Entwurfsoptimierung von selbst-adaptiven Wartungsmechanismen ...google.lu
books.google.lu
... ich Herrn Stephan Mennicke für die vielen fruchtbaren Diskussionen zu Forschungs- und Lehrthemen sowie für sein stets oenes Ohr. Herrn Dr. Hauke Baller, ...
Leveraging Applications of Formal Methods, Verification and ...google.lu
books.google.lu
320 Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck Coverage Criteria for Behavioural Testing of Software Product Lines .
Dokumente zum Namen
GitHub Pages
haslab.github.io
von C Liu · — Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck. Deltaccs: A core calculus for behavioral change. In Proceedings of the 6th International ...
Grundschule Altmühlstraße
gsaltmhl.alfahosting.org
Nordstadt). Hauke Baller und Team. Samstag 10. Dezember 15: :00. ADVENTSBASTELN (5-10 J.) In der Zeit vor Weihnachten laden wir Kinder im Alter von
SILO of research documents
silo.tips
▫ Hauke Baller, .tu-bs.de. Seminar Programmierung und Reaktive Systeme. 4. Page 5. Seminarablauf. ▫ : Kick-Off Treffen: Vergabe der ...
SZTE Publicatio Repozitórium
publicatio.bibl.u-szeged.hu
von G Ladányi · · Zitiert von: 10 — Sascha Lity, Hauke Baller, and Ina Schaefer — TU Braunschweig, Germany Understanding Software Performance ...
Wissenschaftliche Veröffentlichungen
ScienceDirect.com
www.sciencedirect.com
von M Lochau · · Zitiert von: 28 — ... Author links open overlay panel. Malte Lochau a , Stephan Mennicke b , Hauke Baller b , Lars Ribbeck b. Show more. Add to Mendeley. Share. Cite. https:
DBLPhttps://dblp.uni-trier.de › pidAnne Koziolek
dblp.uni-trier.de
Lukas Märtin, Hauke Baller, Anne Koziolek, Ralf H. Reussner: Fault-aware Pareto Frontier Exploration for Dependable System Architectures. ModComp@MoDELS ...
DBLPhttps://dblp.org › PersonsHauke Baller
dblp.org
— Hauke Baller: Multikriterielle Minimierung und Priorisierung von Test-Suiten für Software-Produktlinien.
DBLPhttps://dblp.uni-trier.de › pidMalte Lochau
dblp.uni-trier.de
Hauke Baller, Malte Lochau: Towards incremental test suite optimization for software product lines. FOSD 2014: [c26]. view. electronic edition via DOI ...
Veröffentlichungen allgemein
Springer
link.springer.com
von M Lochau · · Zitiert von: 23 — Authors and Affiliations · TU Darmstadt, Germany. Malte Lochau · TU Braunschweig, Germany. Stephan Mennicke, Hauke Baller & Lars Ribbeck.
ResearchGate
www.researchgate.net
Hauke Baller · Ina Schaefer. The analysis of nowadays software systems for supporting, e.g., testing, verification or debugging is becoming more challenging ...
researchr.org
researchr.org
... Hauke Baller, Ina Schaefer [doi] · Understanding software performance regressions using differential flame graphsCor-Paul Bezemer, Johan Pouwelse ...
DeltaCCS: A Core Calculus for Behavioral Changespringer.com
link.springer.com
von M Lochau · · Zitiert von: 24 — DeltaCCS: A Core Calculus for Behavioral Change. Malte Lochau,; Stephan Mennicke, … Hauke Baller &; Lars Ribbeck. Show authors. Conference paper. › chapter
Sonstiges
Google Scholar
scholar.google.de
Hauke Baller. Institut für Programmierung und Reaktive Systeme, TU Braunschweig. Bestätigte E-Mail-Adresse bei ips.cs.tu-bs.de. ArtikelZitiert von ...
SlidePlayer
slideplayer.com
... Hauke Baller, Sascha Lity and Ina Schaefer) , Copenhagen. © author(s) of these slides including research results of the research network. 2 ES ...
Boulder Bundesliga
boulder-bundesliga.de
Hauke Baller. 40 Jahre, aus Braunschweig, Greifhaus - Bouldern in Braunschweig. Flash. Marcel Klann. 39 Jahre, aus Berlin, Südbloc Boulderhalle Berlin. Flash.
Bouldersport.de
bouldersport.de
Hauke Baller. 40 Jahre. Greifhaus - Bouldern in Braunschweig. Relax Herren. Hauke Evers. Relax Herren. Hendrik Hummel. Relax Herren. Henning Fruth. 56 Jahre.
Dr. Hut Verlag
www.dr.hut-verlag.de
Hauke Baller Multikriterielle Minimierung und Priorisierung von Test-Suiten für Software-Produktlinien Seiten, Dissertation Technische Universität ...
Karlsruher Institut für Technologie (KIT)
are.ipd.kit.edu
Lukas Märtin, Hauke Baller, Anne Koziolek, and Ralf H. Reussner. Fault-aware pareto frontier exploration for dependable system architectures. In Proceedings ...
Semantic Scholar
www.semanticscholar.org
... Hauke Baller and Anne Koziolek and Ralf H. Reussner}, booktitle={ModComp@MoDELS}, year={2016}, url={https://api.semanticscholar.org/CorpusID: } }.
Szegedi Tudományegyetem
www.inf.u-szeged.hu
Jochen Kamischke, Malte Lochau, and Hauke Baller. Conditioned model slicing of feature-annotated state machines. In Proceedings of the 4th International ...
Uni Ulm
thomas.thüm.de
Hauke Baller, Sascha Lity, Malte Lochau, Ina Schaefer, ICST, 2014, Multi-Objective Test Suite Optimization for Incremental Product Family Testing, test-case ...
Unpaywall
unpaywall.org
[55] Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck Incre- mental model checking of delta-oriented software product lines. J. Log ...
basic-notions.org
www.basic-notions.org
Joint work with Malte Lochau, Hauke Baller, Lars Ribbeck J. Log. Algebraic Methods Program., Towards an I/O Conformance Testing Theory for Software ...
dfg-spp1593.de
www.dfg-spp1593.de
Hauke Baller, M.Sc. Recent Publications. Full list of publications... Projects. ADVERT · DAPS · DECLARE · DoMain · ENSURE 1 & 2 · EvoLine · FYPA²C; IMoTEP 1 & 2.
infona.pl
www.infona.pl
Hauke Baller. TU Braunschweig, Institute for Programming and Reactive Systems, Germany. Lars Ribbeck. TU Braunschweig, Institute for Programming and Reactive ...
lrde.epita
www.lrde.epita.fr
von U Fahrenberga · Zitiert von: 2 — [37] Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck. Incre- mental model checking of delta-oriented software product lines ...
zlibrary.to
zlibrary.to
... Hauke Baller Kamil Khadiev David Roberson Kaspars Balodis Alfred Khayroullin Lorenzo Rosasco Annalisa Barla ...
CEUR-WS
ceur-ws.org
— Lukas Märtin, Hauke Baller, Anne Koziolek, Ralf Reussner; Towards Concern-Oriented Design of Component-Based Systems Jörg Kienzle, Anne ...
Cargo Records
www.cargo-records.de
— Hauke Baller, Braunschweig Andreas Voith, München Thomas Becker, Bad Laasphe Sebastian Busch, Bremen Stephanie Jacobs, Gladbeck T. Adam ...
Grafiati
www.grafiati.com
— Baller, Hauke [Verfasser]. "Multikriterielle Minimierung und Priorisierung von Test-Suiten für Software-Produktlinien / Hauke Baller.
John Benjamins
benjamins.com
— Cited by 1 other publications. Lochau, Malte, Stephan Mennicke, Hauke Baller & Lars Ribbeck DeltaCCS: A Core Calculus for Behavioral ...
SlideServe
www.slideserve.com
— , Copenhagen. Multi- Objective Test Suite Optimization for Incremental Product Family Testing ( joint work with Hauke Baller, Sascha ...
sortiert nach Relevanz / Datum