Search Results - "Stauner, T"

Nanoparticles made from novel starch derivatives for transdermal drug delivery by Santander-Ortega, M.J., Stauner, T., Loretz, B., Ortega-Vinuesa, J.L., Bastos-González, D., Wenz, G., Schaefer, U.F., Lehr, C.M.

“…The goal of this paper was aimed to the formulation of nanoparticles by using two different propyl-starch derivatives – referred to as PS-1 and PS-1.45 – with…”
Get full text

1224 POSTER Docetaxel Delivery Mediated by Nanoparticles of Novel Hydrophobic Starch by Dandekar, P, Jain, R, Stauner, T, Loretz, B, Koch, M, Wenz, G, Lehr, C.M

Get full text

1223 POSTER Enhanced Cellular Delivery of Idarubicin by Surface Modification of Propyl Starch Nanoparticles Employing Pteroic Acid Conjugated Polyvinyl Alcohol by Ratnesh, J, Dandekar, P, Loretz, B, Melero, A, Stauner, T, Wenz, G, Koch, M, Lehr, C.M

Get full text

4th International ICSE Workshop on Software Engineering for Automotive Systems by Pretschner, A., Salzmann, C., Schatz, B., Stauner, T.

“…The amount of software in cars grows exponentially. Driving forces of this development are the availability of cheaper and more powerful hardware as well as…”
Get full text

ICSE workshop: software engineering for automotive systems by Salzmann, C., Stauner, T., Pretschner, A.

“…Software is taking a leading role in automotive development and innovation. It is commonly estimated that software and electronics account for 90% of all…”
Get full text

Properties of Hybrid Systems—A Computer Science Perspective by Stauner, Thomas

“…The paper formalizes and classifies important properties of hybrid, i.e. mixed discrete and continuous, systems from a computer science point of view. General…”
Get full text

One evaluation of model-based testing and its automation by Pretschner, A., Prenninger, W., Wagner, S., Kühnel, C., Baumgartner, M., Sostawa, B., Zölch, R., Stauner, T.

“…Model-based testing relies on behavior models for the generation of model traces: input and expected output---test cases---for an implementation. We use the…”
Get full text

Macromolecular Bioscience: A Hydrophobic Starch Polymer for Nanoparticle-Mediated Delivery of Docetaxel by Dandekar, P, Jain, R, Stauner, T, Loretz, B, Koch, M, Wenz, G, Lehr, C.-M

Get full text

Modelling and Verification using Linear Hybrid Automata -- a Case Study by Müller, Olaf, Stauner, Thomas

“…This paper discusses the use of hybrid automata to specify and verify embedded distributed systems, that consist of both discrete and continuous components…”
Get full text

Prototype-based tests for hybrid reactive systems by Philipps, J., Hahn, G., Pretschner, A., Stauner, T.

“…Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as…”
Get full text

Requirements specification of an automotive system with hybrid sequence charts by Grosu, R., Kruger, I., Stauner, T.

“…Outlines the key ideas behind hybrid sequence charts (HySCs), along with an example system taken from the automotive industry. HySCs are a visual description…”
Get full text

Hybrid Sequence Charts by Grosu, R., Kruger, I., Stauner, T.

“…We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the…”
Get full text