Noam Rinetzky, Jörg Bauer, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm
The goal of this work is to develop compile-time algorithms for automatically verifying properties of imperative programs that manipulate dynamically allocated storage. The paper presents an analysis...
Mind the Shapes: Abstraction Refinement via Topology Invariants ⋆ (2008)
Jörg Bauer, Tobe Toben, Bernd Westphal
Abstract. Dynamic Communication Systems (DCS) are infinite state systems where an unbounded number of processes operate in an evolving communication topology. For automated verification of properties...
Verification and Synthesis of OCL Constraints via Topology Analysis A Case (2008)
Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal
Abstract. On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragment of...
1.2 Compilers, Compiler Generators, and Compilation Algorithms (2008)
Thomas Reps, Mooly Sagiv, Jörg Bauer
Reinhard Wilhelm’s career in Computer Science spans more than a third of a century. During this time, he has made numerous research contributions in the areas of programming languages, compilers...
Abstract Interpretation of Graph Grammars ⋆ (2008)
Abstract. Many communication systems, distributed algorithms, or heap manipulating programs are hard to verify due to their inherent unboundedness. Their semantics can be described by evolving...
A Semantics for Procedure Local Heaps (2008)
And Its Ions, Noam Rinetzky, Jörg Bauer, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm
The goal of this work is to develop compile-time algorithms for automatically verifying properties of imperative programs that manipulate dynamically allocated storage. The paper presents an analysis...
Mind the Shapes: Abstraction Refinement via Topology Invariants (2007)
Jörg Bauer, Tobe Toben, Bernd Westphal, Bernd Becker, Werner Damm, Martin Fränzle, ...
Abstract. Dynamic Communication Systems (DCS) are infinite state systems where an unbounded number of processes operate in an evolving communication topology. For automated verification of properties...
Static Analysis of Dynamic Communication Systems by Partner Abstraction (2007)
Abstract. Prominent examples of dynamic communication systems include traffic control systems and ad hoc networks. Dynamic communication systems are hard to verify due to inherent unboundedness....
AtToc90, a New GTP-Binding Component of the Arabidopsis Chloroplast Protein Import Machinery (2006)
Hiltbrunner, Andreas, Grünig, Kathrin, Alvarez-Huerta, Mayte, Infanger, Sibylle, Bauer, Jörg, Kessler, Felix
AtToc159 is a GTP-binding chloroplast protein import receptor. In vivo, atToc159 is required for massive accumulation of photosynthetic proteins during chloroplast biogenesis. Yet, in mutants lacking...
AtToc90, a New GTP-Binding Component of the Arabidopsis Chloroplast Protein Import Machinery (2006)
Hiltbrunner, Andreas, Grünig, Kathrin, Alvarez-Huerta, Mayte, Infanger, Sibylle, Bauer, Jörg, Kessler, Felix
AtToc159 is a GTP-binding chloroplast protein import receptor. In vivo, atToc159 is required for massive accumulation of photosynthetic proteins during chloroplast biogenesis. Yet, in mutants lacking...
The major protein import receptor of plastids is essential for chloroplast biogenesis (2006)
Bauer, Jörg, Chen, Kunhua, Hiltbunner, Andreas, Wehrli, Ernst, Eugster, Monika, Schnell, Danny, ...
Light triggers the developmental programme in plants that leads to the production of photosynthetically active chloroplasts from non-photosynthetic proplastids1. During this chloroplast biogenesis,...
The major protein import receptor of plastids is essential for chloroplast biogenesis (2006)
Bauer, Jörg, Chen, Kunhua, Hiltbunner, Andreas, Wehrli, Ernst, Eugster, Monika, Schnell, Danny, ...
Light triggers the developmental programme in plants that leads to the production of photosynthetically active chloroplasts from non-photosynthetic proplastids1. During this chloroplast biogenesis,...
Analysis of communication topologies by partner abstraction (2006)
Dynamic communication systems are hard to verify due to inherent unboundedness. Unbounded creation and destruction of objects and a dynamically evolving communication topology are characteristic...
Specification and verification of dynamic communication systems (2006)
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing communication...
Abstract Interpretation of Graph Transformation (2006)
Bauer, Jörg, Wilhelm, Reinhard
The semantics of many dynamic systems can be described by evolving graphs. Graph transformation systems (GTS) are a natural, intuitive, and formally defined method to specify systems of evolving...
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction (2006)
Bauer, Jörg, Wilhelm, Reinhard
We propose a new abstraction technique for verifying topology properties of dynamic communicating systems (DCS), a special class of infinite-state systems. DCS are characterized by unbounded creation...
Die zukünftigen Entwicklungen auf dem Gebiet der Glykobiologie hängen wesentlich von der Verfügbarkeit eindeutig definierter, d.h. synthetisch dargestellter Verbindungen ab. Um...
A semantics for procedure local heaps and its abstractions (2005)
Noam Rinetzky, Jörg Bauer, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm
The goal of this work is to develop compile-time algorithms for automatically verifying properties of imperative programs that manipulate dynamically allocated storage. The paper presents an analysis...
A semantics for procedure local heaps and its abstractions (2005)
Noam Rinetzky, Jörg Bauer, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm
The goal of this work is to develop compile-time algorithms for automatically verifying properties of imperative programs that manipulate dynamically allocated storage. The paper presents an analysis...
Critical behavior of trifunctional randomly branched polycyanurates (1992)
Bauer, Jörg, Burchard, Walther
The behavior near the gelation threshold of trifunctional randomly branched polycyanurates is studied by static and dynamic light scattering. By static measurements the critical exponents γ,...
Critical behavior of trifunctional randomly branched polycyanurates (1992)
Bauer, Jörg, Burchard, Walther
The behavior near the gelation threshold of trifunctional randomly branched polycyanurates is studied by static and dynamic light scattering. By static measurements the critical exponents γ,...
Critical behavior of trifunctional randomly branched polycyanurates (1992)
Bauer, Jörg, Burchard, Walther
The behavior near the gelation threshold of trifunctional randomly branched polycyanurates is studied by static and dynamic light scattering. By static measurements the critical exponents γ,...
Abbadi, Amine, Domergue, Fréderic, Bauer, Jörg, Napier, Johnathan A., Welti, Ruth, Zähringer, Ulrich, ...
ω6- and ω3-polyunsaturated C20 fatty acids represent important components of the human diet. A more regular consumption and an accordingly sustainable source of these compounds are highly...
Inaba, Takehito, Alvarez-Huerta, Mayte, Li, Ming, Bauer, Jörg, Ewers, Carolin, Kessler, Felix, ...
The translocon at the inner envelope membrane of chloroplasts (Tic) plays a central role in plastid biogenesis by coordinating the sorting of nucleus-encoded preproteins across the inner membrane and...
Abbadi, Amine, Domergue, Fréderic, Bauer, Jörg, Napier, Johnathan A., Welti, Ruth, Zähringer, Ulrich, ...
ω6- and ω3-polyunsaturated C20 fatty acids represent important components of the human diet. A more regular consumption and an accordingly sustainable source of these compounds are highly...
Inaba, Takehito, Alvarez-Huerta, Mayte, Li, Ming, Bauer, Jörg, Ewers, Carolin, Kessler, Felix, ...
The translocon at the inner envelope membrane of chloroplasts (Tic) plays a central role in plastid biogenesis by coordinating the sorting of nucleus-encoded preproteins across the inner membrane and...
Hiltbrunner, Andreas, Bauer, Jörg, Vidi, Pierre-Alexandre, Infanger, Sibylle, Weibel, Petra, Hohwy, Morten, ...
Chloroplast biogenesis requires the large-scale import of cytosolically synthesized precursor proteins. A trimeric translocon (Toc complex) containing two homologous GTP-binding proteins (atToc33 and...
Bauer, Jörg, Hiltbrunner, Andreas, Weibel, Petra, Vidi, Pierre-Alexandre, Alvarez-Huerta, Mayte, Smith, Matthew D., ...
Two homologous GTP-binding proteins, atToc33 and atToc159, control access of cytosolic precursor proteins to the chloroplast. atToc33 is a constitutive outer chloroplast membrane protein, whereas the...