Concepedia

Andreas Bauer

AB

9

Publications

216

Citations

9

H-Index

1990

Active since

Affiliations

Technical University of Munich(Current)

Robert Bosch (Taiwan)

Andreas Bauer is an author at Technical University of Munich specializing in engineering, formal methods, and computer engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationSystems EngineeringComputer EngineeringVerificationSoftware DesignSystem Software

Publications per year

1990–2021

9

Publications

9

Direct extraction of astaxanthin from the microalgae <i>Haematococcus pluvialis</i> using liquid–liquid chromatography

Andreas Bauer, Mirjana Minceva · RSC Advances · 2019 · 61 citations · Full text

AutoMoDe - Notations, Methods, and Tools for Model-Based Development of Automotive Software

Andreas Bauer, Manfred Broy, Jan Romberg et al. · SAE technical papers on CD-ROM/SAE technical paper series · 2005 · 40 citations

Techno-economic analysis of a new downstream process for the production of astaxanthin from the microalgae Haematococcus pluvialis

Andreas Bauer, Mirjana Minceva · Bioresources and Bioprocessing · 2021 · 22 citations · Full text

Loose synchronization of event-triggered networks for distribution of synchronous programs

Jan Romberg, Andreas Bauer · 2004 · 19 citations

Event-driven Architecture, Engineering, Computer Architecture +24

The ins and outs of first-order runtime verification

Andreas Bauer, Jan-Christoph Küster, Gil Vegliach · Formal Methods in System Design · 2015 · 16 citations

Engineering, Runtime Verification, Program Analysis +9

Rows per page

1–5 of 9