FPGA Stream-Monitoring of Real-time Properties von Baumeister, Jan, Finkbeiner, Bernd, Schwenger, Maximilian, Torfah, Hazem

Volltext

Monitoring with verified guarantees von Baumeister, Jan, Dauer, Johann C., Finkbeiner, Bernd, Schirmer, Sebastian

Volltext

Real-Time Visualization of Stream-Based Monitoring Data von Baumeister, Jan, Finkbeiner, Bernd, Gumhold, Stefan, Schledjewski, Malte

Volltext

Automatic Optimizations for Stream-Based Monitoring Languages von Baumeister, Jan, Finkbeiner, Bernd, Kruse, Matthis, Schwenger, Maximilian

Volltext

MILD ANTIMICROBIAL FOAM SOAP COMPRISING MALIC ACID AND LEVULINIC ACID von Flohr, Andreas, Baumeister, Jan

Volltext bestellen

MILD ANTIMICROBIAL FOAM SOAP COMPRISING MALIC ACID AND LEVULINIC ACID von Flohr, Andreas, Baumeister, Jan

Volltext bestellen

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned von Baumeister, Jan, Finkbeiner, Bernd, Kohn, Florian, Löhr, Florian, Manfredi, Guido, Schirmer, Sebastian, Torens, Christoph

Volltext bestellen

Real-time Visualization of Stream-based Monitoring Data von Baumeister, Jan, Finkbeiner, Bernd, Gumhold, Stefan, Schledjewski, Malte

Volltext bestellen

A Temporal Logic for Asynchronous Hyperproperties von Baumeister, Jan, Coenen, Norine, Bonakdarpour, Borzoo, Finkbeiner, Bernd, Sanchez, Cesar

Volltext bestellen

Homo- and heteropolynuclear Ni2+ and Cu2+ complexes of polytopic ligands, consisting of a tren unit substituted with three 12-membered tetraazamacrocycles von Siegfried, Liselotte, McMahon, C Niamh, Baumeister, Jan, Neuburger, Markus, Kaden, Thomas A, Anandaram, Sreekanth, Palivan, Cornelia G

Volltext

Jabón en espuma antimicrobiano suave que comprende ácido málico y ácido levulínico von Flohr, Andreas, Baumeister, Jan

Volltext bestellen

Transition metal complexes with sterically demanding ligands. I. Synthesis and X-ray crystal structure of 1,5-cyclooctadiene palladium methyl triflate, (COD)Pd(Me)(OTf) and its cat... von Burger, Peter, Baumeister, JanM

Volltext

Automatic Optimizations for Stream-based Monitoring Languages von Baumeister, Jan, Finkbeiner, Bernd, Kruse, Matthis, Schwenger, Maximilian

Volltext

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft von Baumeister, Jan, Finkbeiner, Bernd, Schirmer, Sebastian, Schwenger, Maximilian, Torens, Christoph

Volltext bestellen

FPGA Stream-Monitoring of Real-time Properties von Baumeister, Jan, Finkbeiner, Bernd, Schwenger, Maximilian, Torfah, Hazem

Volltext bestellen

SEAT ARRANGEMENT FOR A MOTOR VEHICLE von Meyer, Sebastian, Klein-Hitpass, Thorsten, Baumeister, Jan Marco

Volltext bestellen

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned von Baumeister, Jan, Finkbeiner, Bernd, Kohn, Florian, Löhr, Florian, Manfredi, Guido, Schirmer, Sebastian, Torens, Christoph

Volltext

Real-time Visualization of Stream-based Monitoring Data von Baumeister, Jan, Finkbeiner, Bernd, Gumhold, Stefan, Schledjewski, Malte

Volltext

A Temporal Logic for Asynchronous Hyperproperties von Baumeister, Jan, Coenen, Norine, Bonakdarpour, Borzoo, Finkbeiner, Bernd, Sanchez, Cesar

Volltext

Central vs. peripheral Ag(i) coordination in NS3-open chain and cage ligands von Baumeister, Jan M., Alberto, Roger, Ortner, Kirstin, Spingler, Bernhard, August Schubiger, P., Kaden, Thomas A.

Volltext