Skip to content

Andreas Bauer

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

36

Venues

26

Active years

1997–2023

Best venue rank

A*

Where they publish

Papers

36 indexed papers, newest first.

YearVenueTitleAuthors
2023ICSTWe Tried and Failed: An Experience Report on a Collaborative Workflow for GUI-based Testing.Andreas Bauer, Emil Algroth
2023IECONMultilayered PCB-Based Axial Flux Motor Windings with Thermal VIAs to Enhance Thermal Utilization.Andreas Bauer, Benjamin H. Zacher, Sven Urschel, Christian Schumann
2023RECiRA: An Open-Source Python Package for Automated Generation of Test Case Descriptions from Natural Language Requirements.Julian Frattini, Jannik Fischbach, Andreas Bauer
2022SIGGRAPHThe use of CG in Japanese animation.Andreas Bauer, Marc Salvati
2021IECONEnhanced Cooling of Multilayer PCB Motor Windings Using Thermal Vias.Andreas Bauer, Benjamin H. Zacher, Christian Schumann
2017SIGGRAPHA new contour method for highly detailed geometry.Andreas Bauer
2015RVMonitoring Real Android Malware.Jan-Christoph Kster, Andreas Bauer
2013RVFrom Propositional to First-Order Monitoring.Andreas Bauer, Jan-Christoph Kster, Gil Vegliach
2013TABLEAUXTableaux for Verification of Data-Centric Processes.Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish
2010CPAn Integrated Modelling, Debugging, and Visualisation Environment for G12.Andreas Bauer, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John K. Slaney
2010ECAILTL Goal Specifications Revisited.Andreas Bauer, Patrik Haslum
2009ICTACA First-Order Policy Language for History-Based Transaction Monitoring.Andreas Bauer, Rajeev Gor, Alwen Tiu
2009LATAMatching Trace Patterns with Regular Policies.Franz Baader, Andreas Bauer, Alwen Tiu
2009TABLEAUXA Novel Architecture for Situation Awareness Systems.Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter
2008ICSESecurity protocols, properties, and their monitoring.Andreas Bauer, Jan Jrjens
2007DATETool-support for the analysis of hybrid systems and models.Andreas Bauer, Markus Pister, Michael Tautschnig
2007ISoLADon't care in SMT-Building flexible yet efficient abstraction/refinement solvers.Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig
2007RVThe Good, the Bad, and the Ugly, But How Ugly Is Ugly?Andreas Bauer, Martin Leucker, Christian Schallhart
2006ICFEMSALT - Structured Assertion Language for Temporal Logic.Andreas Bauer, Martin Leucker, Jonathan Streit
2005CPAIORSimplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles.Andreas Bauer
2005DATEAutoMoDe - Model-Based Development of Automotive Software.Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schtz
2004EMSOFTLoose synchronization of event-triggered networks for distribution of synchronous programs.Jan Romberg, Andreas Bauer
2004GIIntegrierte Entwicklung von Automotive-Software mit AutoFOCUS.Andreas Bauer, Jan Romberg, Bernhard Schtz
2004USENIXCreating a Portable Programming Language Using Open Source Software.Andreas Bauer
2003DOLAPXCube: XML for data warehouses.Wolfgang Hmmer, Andreas Bauer, Gunnar Harde
2003SSDBMOn Solving the View Selection Problem in Distributed Data Warehouse Architectures.Andreas Bauer, Wolfgang Lehner
2002DaWaKA Decathlon in Multidimensional Modeling: Open Issues and Some Solutions.Wolfgang Hmmer, Wolfgang Lehner, Andreas Bauer, Lutz Schlesinger
2002DOLAPOn the problem of generating common predecessors.Wolfgang Lehner, Wolfgang Hmmer, Lutz Schlesinger, Andreas Bauer
2001DOLAPEfficiently Synchronizing Multidimensional Schema Data.Lutz Schlesinger, Andreas Bauer, Wolfgang Lehner, G. Ediberidze, Michael M. Gutzmann
2000DaWaKSupporting Hot Spots with Materialized Views.Jens Albrecht, Andreas Bauer, M. Redert
2000DaWaKAn Alternative Relational OLAP Modeling Approach.Andreas Bauer, Wolfgang Hmmer, Wolfgang Lehner
2000DBSECIdentifying Security Holes in OLAP Applications.Jrgen Steger, Holger Gnzel, Andreas Bauer
2000ISCASCircuit analysis and optimization with automatically derived Volterra kernels.Andreas Bauer, Wowgang Schwarz
1999CECAn ant colony optimization approach for the single machine total tardiness problem.Andreas Bauer, Bernd Bullnheimer, Richard F. Hartl, Christine Strauss
1999IDEASManagement of Multidimensional Aggregates for Efficient Online Analytical Processing.Jens Albrecht, Andreas Bauer, O. Deyerling, Holger Gnzel, Wolfgang Hmmer, Wolfgang Lehner, Lutz Schlesinger
1997DASFAAThe Cube-Query-Languages (CQL) for Multidimensional Statistical and Scientific Database Systems.Andreas Bauer, Wolfgang Lehner