Stefan Friedrich

Learn More
Neurogenesis in the chiton Mopalia muscosa (Gould, 1846) was investigated by applying differential interference contrast microscopy, semithin serial sectioning combined with reconstruction techniques, as well as confocal laser scanning microscopy for the detection of fluorescence-conjugated antibodies against serotonin and FMRFamide. The ontogeny of(More)
Combined electron microscopy and immunocytochemistry of the larvae of several polyplacophoran species (Chiton olivaceus, Lepidochitona aff. corrugata, Mopalia muscosa) revealed a sensory system new to science, a so-called "ampullary system." The cells of the "ampullary system" are arranged in four symmetrically situated pairs lying dorsolaterally and(More)
Java bytecode verification is traditionally performed by a polynomial time dataflow algorithm. We investigate an alternative based on reducing bytecode verification to model checking. Despite an exponential worst case time complexity, model checking type-correct bytecode is polynomial in practice when carried out using an explicit state, onthe-fly model(More)
Growing load and deterioration of the environment can be interpreted as a result of some external effects interventions. While the positive externalities influence the positive productional and utilizational functions of other subjects, the negative externalities influence the negative ones. Both types of external effects can act as parcial or global(More)
Java bytecode verification is traditionally performed by using dataflow analysis. We investigate an alternative based on reducing bytecode verification to model checking. First, we analyze the complexity and scalability of this approach. We show experimentally that, despite an exponential worst-case time complexity, model checking type-correct bytecode(More)