Andreas Bauer, Martin Leucker, Christian Schallhart The Good
Andreas Bauer, Martin Leucker, Christian Schallhart Runtime Verification
Matching linear and non-linear trace patterns with (2010)
Franz Baader, Andreas Bauer, Alwen Tiu
regular policies
Andreas Bauer, Martin Leucker, Christian Schallhart, Alle Rechte Vorbehalten, Andreas Bauer, Martin Leucker, ...
Nachdruck auch auszugsweise verboten c○2008 Druck: Institut für Informatik der Technischen Universität MünchenThe good, the bad, and the ugly,
A Novel Architecture for Situation Awareness Systems (2009)
Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, ...
Abstract. Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environments....
A decidable policy language for history-based transaction monitoring (2009)
Bauer, Andreas, Gore, Rajeev, Tiu, Alwen
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting, the decision to...
Reduced 5-HT2A receptor signaling following selective bilateral amygdala damage (2009)
Hurlemann, René, Schlaepfer, Thomas E., Matusch, Andreas, Reich, Harald, Shah, Nadim J., Zilles, Karl, ...
Neurobiological evidence implicates the amygdala as well as serotonergic (serotonin, 5-HT) signaling via postsynaptic 5-HT2A receptors as essential substrates of anxiety behaviors. Assuming a...
Christian Kühnel, Andreas Bauer, Michael Tautschnig, Alle Rechte Vorbehalten, Christian Kühnel, Andreas Bauer, ...
Nachdruck auch auszugsweise verboten
Don’t care in SMT—Building flexible yet efficient abstraction/refinement solvers 1 (2008)
Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig
Abstract. This paper describes a method for combining “off-the-shelf ” SAT and constraint solvers for building an efficient Satisfiability Modulo Theories (SMT) solver for a wide range of...
<i>Escherichia coli</i> Sicherheitsstämme sind die weltweit am häufigsten verwendeten Mikroorganismen in Forschungseinrichtungen und biotechnologischen Firmen. Bis heute existiert...
Runtime Verification for LTL and TLTL (2008)
Andreas Bauer, Martin Leucker, Christian Schallhart, Alle Rechte Vorbehalten, Technischen Universität München
Nachdruck auch auszugsweise verboten
Andreas Bauer, Martin Leucker, Christian Schallhart
the bad, and the ugly, but how ugly is ugly?
Don’t care in SMT—Building flexible yet efficient abstraction/refinement solvers (2008)
Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig
Abstract. This paper describes a method for combining “off-the-shelf ” SAT and constraint solvers for building an efficient Satisfiability Modulo Theories (SMT) solver for a wide range of...
SALT—Structured Assertion Language for Temporal Logic (2008)
Andreas Bauer, Martin Leucker, Jonathan Streit
Abstract. This paper presents Salt. Salt is a general purpose specification and assertion language developed for creating concise temporal specifications to be used in industrial verification...
Incremental Development for Automotive Software in AutoMoDe ∗ (2008)
Andreas Bauer, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Pierre Mai, ...
Automotive software development is inherently complex and involves different stakeholders, phases, and disciplines. The AutoMoDe approach to automotive software development defines distinct levels of...
SALT—Structured Assertion Language for Temporal Logic (2008)
Andreas Bauer, Martin Leucker, Jonathan Streit
Abstract. This paper presents Salt. Salt is a general purpose specification and assertion language developed for creating concise temporal specifications to be used in industrial verification...
Simplifying diagnosis using LSAT: a (2008)
Andreas Bauer, Technische Universität München
propositional approach to reasoning from first principles
SALT—Structured Assertion Language for Temporal Logic (2008)
Andreas Bauer, Martin Leucker, Jonathan Streit, Alle Rechte Vorbehalten, Technischen Universität München, Andreas Bauer, ...
Nachdruck auch auszugsweise verboten
Andreas Bauer, Martin Leucker, Christian Schallhart
the bad, and the ugly, but how ugly is ugly?
Loose Synchronization of Event-Triggered Networks for Distribution of Synchronous Programs (2008)
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time semantics and...
Bistability in superconducting rings containing an inhomogeneous Josephson junction (2008)
Gaass, M., Nadj-Perge, S., Radović, Z., Bauer, Andreas, Aprili, M., Wegscheider, Werner, ...
We investigate the magnetic response of a superconducting Nb ring containing a ferromagnetic PdNi Josephson junction and a tunnel junction in parallel. Doubling of the switching frequency is observed...
Bode, Felix J., Stephan, Michael, Suhling, Hendrik, Pabst, Reinhard, Straub, Rainer H., Raber, Kerstin A., ...
Recent clinical studies have highlighted that female sex hormones represent potential neuroprotective mediators against damage caused by acute and chronic brain diseases. This evidence has been...
In this paper the application of chaotic signals in ranging systems is addressed. In [1] the idea of using chaotic signals as ranging signals in continuous wave (CW) systems has been introduced and...
Parameter Space Exploration Algorithms for Nonlinear Dynamical Circuits (2007)
Thomas Falk, Andreas Bauer, Wolfgang Schwarz
This paper describes methods of the behavioural analysis of nonlinear dynamic circuits and systems in electrical engineering. The investigation starts with the network analysis results in the set of...
Generation of Broadband Noise-Like Signals for Measurement and Location Purposes (2007)
Andreas Abel, Andreas Bauer, Thomas Falk, Marco Götz, Kristina Kelber, Torsten Kilias, ...
This paper considers the generation of chaotic signals and selected application fields with emphasis to measurements. Table 1.1 summarises the features for the application of chaotic systems and...
Volterra Kernel for Automatic Analysis and Optimisation of Nonlinear Analogue Circuits (2007)
Andreas Bauer, Wolfgang Schwarz
A major problem in the design of analogue circuits and systems is the analysis of nonlinear dynamical behaviour. Where classical circuit and system level simulators basically rely on numerical...
I. MULTI-USER CHANNELS Objectives and Resources (2007)
Andreas Abel, Andreas Bauer, Kristina Kelber, Wolfgang Schwarz
Abstract This paper gives a tutorial-like intro-duction to the use of chaotic codes in code devision multiple access (CDMA) systems. First, general principles of sharing resources between different...
Tool-support for the analysis of hybrid systems and models (2007)
Andreas Bauer, Markus Pister, Michael Tautschnig
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled using MATLAB/Simulink....
Tool-support for the analysis of hybrid systems and models (2007)
Andreas Bauer, Markus Pister, Michael Tautschnig
Abstract This paper introduces a method and tool-support for theautomatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are oftenmodelled using...
Compatibility and reuse in component-based systems via type and unit inference (2007)
Christian Kühnel, Andreas Bauer, Michael Tautschnig
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MAT-LAB/Simulink. In order to...
C.: Runtime verification for LTL and TLTL (2007)
Andreas Bauer, Martin Leucker, Technische Universität München, Christian Schallhart, Technische Universität Darmstadt
This paper studies runtime verification of properties expressed either in lineartime temporal logic (LTL) or timed lineartime temporal logic (TLTL). It classifies runtime verification in identifying...
Model-Based Runtime Analysis of Distributed Reactive Systems (2006)
Andreas Bauer, Martin Leucker, Christian Schallhart
Reactive distributed systems have pervaded everyday life and objects, but often lack measures to ensure adequate behaviour in the presence of unforeseen events or even errors at runtime. As...
SALT - Structured Assertion Language for Temporal Logic (2006)
Technischen Universität München, Andreas Bauer, Andreas Bauer, Martin Leucker, Martin Leucker, Jonathan Streit, ...
This paper presents Salt. Salt is a general purpose specification and assertion language developed for creating concise temporal specifications to be used in industrial verification environments. It...
Monitoring of real-time properties (2006)
Andreas Bauer, Martin Leucker, Christian Schallhart
Abstract. This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D’Souza’s results, TLTL can be considered a natural...
Model-based runtime analysis of distributed reactive systems (2006)
Andreas Bauer, Martin Leucker, Christian Schallhart
Reactive distributed systems have pervaded everyday life and objects, but often lack measures to ensure adequate behaviour in the presence of unforeseen events or even errors at runtime. As...
Model-based runtime analysis of distributed reactive systems (2006)
Andreas Bauer, Martin Leucker, Christian Schallhart
Abstract Reactive distributed systems have pervaded everyday lifeand objects, but often lack measures to ensure adequate behaviour in the presence of unforeseen events or even errorsat runtime. As...
Model-based runtime analysis of distributed reactive systems (2006)
Andreas Bauer, Martin Leucker, Christian Schallhart
Reactive distributed systems have pervaded everyday life and objects, but often lack measures to ensure adequate behaviour in the presence of unforeseen events or even errors at runtime. As...
Regulation of Notch signalling by non-visual β-arrestin (2005)
Ashim Mukherjee, Alexey Veraksa, Andreas Bauer, Carine Rosse, Jacques Camonis, Spyros Artavanis-Tsakonas
Spontaneous magnetic flux induced by ferromagnetic pi-junctions (2005)
In this thesis the magnetic properties of superconducting loops with an integrated ferromagnetic Josephson junction are investigated. For certain values of the exchange field and layer thickness of...
Lantenois, Sébastien, Lanson, Bruno, Muller, Fabrice, Bauer, Andreas, Jullien, Michel, Plançon, Alain
Interaction between metal Fe and a variety of natural and synthetic smectite samples with contrasting crystal chemistry was studied by scanning electron microscopy and X-ray diffraction from...
Spontaneous magnetic flux induced by ferromagnetic pi-junctions (2005)
In this thesis the magnetic properties of superconducting loops with an integrated ferromagnetic Josephson junction are investigated. For certain values of the exchange field and layer thickness of...
Lantenois, Sébastien, Lanson, Bruno, Muller, Fabrice, Bauer, Andreas, Jullien, Michel, Plançon, Alain
Interaction between metal Fe and a variety of natural and synthetic smectite samples with contrasting crystal chemistry was studied by scanning electron microscopy and X-ray diffraction from...
Lantenois, Sébastien, Lanson, Bruno, Muller, Fabrice, Bauer, Andreas, Jullien, Michel, Plançon, Alain
Interaction between metal Fe and a variety of natural and synthetic smectite samples with contrasting crystal chemistry was studied by scanning electron microscopy and X-ray diffraction from...
AutoMoDe - Model-Based Development of Automotive Software (2005)
Ziegenbein, Dirk, Braun, Peter, Freund, Ulrich, Bauer, Andreas, Romberg, Jan, Schatz, Bernhard
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for model-based development...
AutoMoDe - Model-Based Development of Automotive Software (2005)
Ziegenbein, Dirk, Braun, Peter, Freund, Ulrich, Bauer, Andreas, Romberg, Jan, Schatz, Bernhard
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for model-based development...
Lantenois, Sébastien, Lanson, Bruno, Muller, Fabrice, Bauer, Andreas, Jullien, Michel, Plançon, Alain
Interaction between metal Fe and a variety of natural and synthetic smectite samples with contrasting crystal chemistry was studied by scanning electron microscopy and X-ray diffraction from...
Spontaneous magnetic flux induced by ferromagnetic p-junctions [pi-junctions] / (2005)
Regensburg, University, Diss., 2005 (Nicht für den Austausch).
Runtime Verification Revisited (2005)
Alle Rechte Vorbehalten, Technischen Universität München, Oliver Arafat, Oliver Arafat, Andreas Bauer, Andreas Bauer, ...
In this paper, we address a typical obstacle in runtime verification of linear temporal logic (LTL) formulae: standard models of linear temporal logic are infinite traces, whereas run-time...
Runtime verification revisited (2005)
Alle Rechte Vorbehalten, Technischen Universität München, Oliver Arafat, Oliver Arafat, Andreas Bauer, Andreas Bauer, ...
Nachdruck auch auszugsweise verboten c○2005
AutoMoDe - Model-Based Development of Automotive Software (2005)
Ziegenbein, Dirk, Braun, Peter, Freund, Ulrich, Bauer, Andreas, Romberg, Jan, Schatz, Bernhard
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for model-based development...
Lantenois, Sébastien, Lanson, Bruno, Muller, Fabrice, Bauer, Andreas, Jullien, Michel, Plançon, Alain
Interaction between metal Fe and a variety of natural and synthetic smectite samples with contrasting crystal chemistry was studied by scanning electron microscopy and X-ray diffraction from...
AutoMoDe - Model-Based Development of Automotive Software (2005)
Ziegenbein, Dirk, Braun, Peter, Freund, Ulrich, Bauer, Andreas, Romberg, Jan, Schatz, Bernhard
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for model-based development...
Lantenois, Sébastien, Lanson, Bruno, Muller, Fabrice, Bauer, Andreas, Jullien, Michel, Plançon, Alain
Interaction between metal Fe and a variety of natural and synthetic smectite samples with contrasting crystal chemistry was studied by scanning electron microscopy and X-ray diffraction from...
Spontaneous Supercurrent Induced by Ferromagnetic π Junctions (2004)
Bauer, Andreas, Bentner, Johannes, Aprili, M., Della Rocca, M. L., Reinwald, Matthias, Wegscheider, Werner, ...
We present magnetization measurements of mesoscopic superconducting niobium loops containing a ferromagnetic (PdNi) π junction. The loops are prepared on top of the active area of a micro-Hall...
Strukturverfeinerung von Siliziumkarbid-Polytypen (2004)
Zusammenfassung Im Rahmen dieser Dissertation wurde eine Strukturverfeinerung von Siliziumkarbid-Polytypen mittels Röntgenexperimenten durchgeführt. Die Elementarzellen der einzelnen SiC-Polytypen...
Thesis (doctoral) - Univ., Leipzig, 2003.
Analyseverfahren für nichtlineare Schaltungen und Systeme basierend auf Volterra-Reihen / (2004)
Zugl.: Dresden, Techn. Universiẗat, Diss., 2004.
Beitr. teilw. dt., teilw. engl. - Enth. 11 Sonderabdr. aus verschiedenen Zeitschr.
The electronic components in present-day automobiles are based on networks of electronic control units (ECU) running embedded software. The development of distributed, concurrent software...
The electronic components in present-day automobiles are based on networks of electronic control units (ECU) running embedded software. The development of distributed, concurrent software...
Model-based Deployment: From a High-Level View to Low-Level Implementations (2004)
Andreas Bauer, Jan Romberg, Alle Rechte Vorbehalten, Technischen Universität München, Andreas Bauer, Jan Romberg
The development of distributed applications in the automotive domain based on networks of electronic control units is getting increasingly complex and error-prone. In current practice, system-level...
A brief top-down and bottom-up philosophy on software evolution (2004)
The decision on whether to proceed top-down or bottomup during software development has a strong and underestimated impact on the quality of the final product including its later evolvability....
Die zentrale Rolle der Mikrozirkulation in der Pathogenese und Pathophysiologie von chronischen und akuten Krankheitsbildern ist allgemein akzeptiert und Gegenstand vieler tierexperimenteller und...
Die zentrale Rolle der Mikrozirkulation in der Pathogenese und Pathophysiologie von chronischen und akuten Krankheitsbildern ist allgemein akzeptiert und Gegenstand vieler tierexperimenteller und...
Datenallokation und Anfrageoptimierung in verteilten, föderierten Data-warehouse-Systemen / (2003)
Zugl.: Erlangen, Nürnberg, Univ., Diss.
Düsseldorf, Univ., Diss., 2003.
Strukturverfeinerung von Siliziumkarbid-Polytypen / (2003)
Jena, Universiẗat, Diss., 2003 (Nicht für den Austausch).
München, Univ., Diss., 2003.
The contribution of free software to software evolution (2003)
It is remarkable to think that even without any interest in finding suitable methods and concepts that would allow complex software systems to evolve and remain manageable, the ever growing open...
The Contribution of Free Software to Software Evolution (2003)
It is remarkable to think that even without any interest in finding suitable methods and concepts that would allow complex software systems to evolve and remain manageable, the ever growing open...
ACKNOWLEDGEMENTS Thanks... (2003)
Fakultät Für Informatik, Prof Dr, Manfred Broy, Andreas Bauer, Datum Unterschrift, Prof Dr, ...
to my project instructors — Dr. Markus Pizka, Dr. Clem Baker-Finch, and
The contribution of free software to software evolution (2003)
It is remarkable to think that even without any interest in finding suitable methods and concepts that would allow complex software systems to evolve and remain manageable, the ever growing open...
Transgenic rat model of Huntington's disease (2003)
Von Hörsten, Stephan, Schmitt, Ina, Nguyen, Huu Phuc, Holzmann, Carsten, Schmidt, Thorsten, Walther, Thomas, ...
Huntington's disease (HD) is a late manifesting neurodegenerative disorder in humans caused by an expansion of a CAG trinucleotide repeat of more than 39 units in a gene of unknown function. Several...
Functional organization of the yeast proteome by systematic analysis of protein complexes (2002)
Anne-Claude Gavin, Markus Bösche, Roland Krause, Paola Grandi, Martina Marzioch, Andreas Bauer, ...
Claret, Francis, Bauer, Andreas, Schäfer, Thorsten, Griffault, Lise, Lanson, Bruno
The impact of alkaline solutions (pH = 13.2) on the clay mineralogy of the CallovoOxfordian formation hosting the French underground laboratory for nuclear waste disposal investigation (Meuse-Haute...
Claret, Francis, Bauer, Andreas, Schäfer, Thorsten, Griffault, Lise, Lanson, Bruno
The impact of alkaline solutions (pH = 13.2) on the clay mineralogy of the CallovoOxfordian formation hosting the French underground laboratory for nuclear waste disposal investigation (Meuse-Haute...
Claret, Francis, Bauer, Andreas, Schäfer, Thorsten, Griffault, Lise, Lanson, Bruno
The impact of alkaline solutions (pH = 13.2) on the clay mineralogy of the CallovoOxfordian formation hosting the French underground laboratory for nuclear waste disposal investigation (Meuse-Haute...
Claret, Francis, Bauer, Andreas, Schäfer, Thorsten, Griffault, Lise, Lanson, Bruno
The impact of alkaline solutions (pH = 13.2) on the clay mineralogy of the CallovoOxfordian formation hosting the French underground laboratory for nuclear waste disposal investigation (Meuse-Haute...
Pontin52 and Reptin52 function as antagonistic regulators of β-catenin signalling activity (2000)
Andreas Bauer, Sophie Chauvet, Otmar Huber, Fabrice Usseglio, Ute Rothbächer, Denise Aragnol, ...
Minimizing Total Tardiness on a Single Machine Using Ant Colony Optimization (2000)
Andreas Bauer, Bernd Bullnheimer, Richard F. Hartl, Christine Strauss
Ant Colony Optimization is a relatively new meta-heuristic that has proven its quality and versatility on various combinatorial optimization problems such as the traveling salesman problem, the...
Applying ant colony optimization to solve the single machine total tardiness problem (1999)
Bauer, Andreas, Bullnheimer, Bernd, Hartl, Richard F., Strauss, Christine
Ant Colony Optimization is a relatively new meta-heuristic that has proven its quality and versatility on various combinatorial optimization problems such as the traveling salesman problem, the...
Bauer, Andreas., Forschungszentrum Julich.--Institut Fur Medizin., Forschungszentrum Julich.--Zentralbibliothek., Universitat Dusseldorf.
On cover: Institut fur Medizin.
An Ant Colony Optimization Approach for the Single Machine Total Tardiness Problem (1999)
Andreas Bauer, Bernd Bullnheimer, Richard F. Hartl, Christine Strauß
Machine scheduling is a central task in production planning. In general it means the problem of scheduling job operations on a given number of available machines. In this paper we consider a machine...
München, Techn. Universiẗat, Diss., 1997.
Zugl: München, Techn. Univ., Diss., 1997.
Chaotic Codes For Cdma Applications (1997)
Andreas Abel, Andreas Bauer, Kristina Kelber, Wolfgang Schwarz
This paper gives a tutorial-like introduction to the use of chaotic codes in code devision multiple access (CDMA) systems. First, general principles of sharing resources between different user pairs,...
Generation and Processing of Chaotic Signals in Range Measurement Systems (1997)
. In this paper the application of chaotic signals in continuous wave (CW) ranging systems is addressed. Different chaos generators that can be applied in this application are presented and analysed...
Neue Liganden für die molekulare und supramolekulare Komplexchemie des einwertigen Golds / (1996)
München, Techn. Universiẗat, Diss., 1996.
Mikrofiche-Ausg.: 2 Mikrofiches : 24x.
München, Techn. Universiẗat, Diss., 1994.
United Nations military operations and the German basic law /--by Andreas Bauer. (1991)
Bauer, Andreas., George Washington University.--National Law Center.
Typescript.
Thesis (doctoral)--Rheinisch-Westfälische Technische Hochschule Aachen, 1991.
Beitrag zur Analyse des Tragverhaltens von einfach bewehrten Zweischichtensystemen / (1989)
Zugl.: München, Techn. Univ., Diss., 1989.
Dresden, Techn. Univ., Diss. A, 1987 (Nicht für den Austausch).
Pfannmüller, Eva., Bauer, Andreas.
Heidelberg, Univ., Med. Gesamtfak., Diss. 1974. (Nicht f. d. Austausch.).
Inaug.-Diss.--Würzburg.
Pontin52, an interaction partner of β-catenin, binds to the TATA box binding protein
Bauer, Andreas, Huber, Otmar, Kemler, Rolf
β-catenin, the vertebrate homolog of the Drosophila Armadillo protein, has been shown to have dual cellular functions, as a component of both the cadherin-catenin cell adhesion complex and the Wnt...
Pontin52 and Reptin52 function as antagonistic regulators of β-catenin signalling activity
Bauer, Andreas, Chauvet, Sophie, Huber, Otmar, Usseglio, Fabrice, Rothbächer, Ute, Aragnol, Denise, ...
In Wnt-stimulated cells, β-catenin becomes stabilized in the cytoplasm, enters the nucleus and interacts with HMG box transcription factors of the lymphoid-enhancing factor-1 (LEF-1)/T-cell factor...
Pontin52, an interaction partner of β-catenin, binds to the TATA box binding protein
Bauer, Andreas, Huber, Otmar, Kemler, Rolf
β-catenin, the vertebrate homolog of the Drosophila Armadillo protein, has been shown to have dual cellular functions, as a component of both the cadherin-catenin cell adhesion complex and the Wnt...
Pontin52 and Reptin52 function as antagonistic regulators of β-catenin signalling activity
Bauer, Andreas, Chauvet, Sophie, Huber, Otmar, Usseglio, Fabrice, Rothbächer, Ute, Aragnol, Denise, ...
In Wnt-stimulated cells, β-catenin becomes stabilized in the cytoplasm, enters the nucleus and interacts with HMG box transcription factors of the lymphoid-enhancing factor-1 (LEF-1)/T-cell factor...
Reduced 5-HT2A receptor signaling following selective bilateral amygdala damage
Hurlemann, René, Schlaepfer, Thomas E., Matusch, Andreas, Reich, Harald, Shah, Nadim J., Zilles, Karl, ...
Neurobiological evidence implicates the amygdala as well as serotonergic (serotonin, 5-HT) signaling via postsynaptic 5-HT2A receptors as essential substrates of anxiety behaviors. Assuming a...