Logics for Mazurkiewicz traces

von Leucker, Martin
Veröffentlicht 2002

Formal Verification of Neural Networks?

von Leucker, Martin
Veröffentlicht in SBMF (23. : 2020 : Online) Formal methods: foundations and applications (2020)

Truth - a platform for verification of distributed systems

von Leucker, Martin
Veröffentlicht 1998

Message-passing automata are expressively equivalent to EMSO logic

von Bollig, Benedikt
Veröffentlicht 2004

Deciding LTL over Mazurkiewicz traces

von Bollig, Benedikt
Veröffentlicht 2001

TwiMI - Service-Plattform für datenbasierte Medizintechnik-Innovationen : Projektabschluss der TwiMI-Konzeptphase : Laufzeit 01.10.2020-30.05.2021

Veröffentlicht 2021

Runtime verification : 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 ; selected papers

Veröffentlicht 2008

Generalised regular MSC languages

von Bollig, Benedikt
Veröffentlicht 2002

Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions

von Kallwies, Hannes
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)

Local parallel model checking for the alternation free [my]-calculus

von Bollig, Benedikt
Veröffentlicht 2001

Runtime verification : 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings

Veröffentlicht 2018

Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Veröffentlicht 2021

Optimizing Trans-Compilers in Runtime Verification Makes Sense — Sometimes

von Kallwies, Hannes
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (16. : 2022 : Cluj-Napoca) Theoretical aspects of software engineering (2022)

Theoretical aspects of computing - ICTAC 2009 : 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 ; proceedings

Veröffentlicht 2009

Regulatorische Anforderungen an Lösungen der künstlichen Intelligenz im Gesundheitswesen

von Pechmann, Ludwig
Veröffentlicht in Künstliche Intelligenz im Gesundheitswesen (2022)

Anticipatory Recurrent Monitoring with Uncertainty and Assumptions

von Kallwies, Hannes
Veröffentlicht in RV (22. : 2022 : Tiflis; Online) Runtime verification (2022)

Schlussbericht zum Teilvorhaben Nachweis sicherer Systeme des Instituts für Softwaretechnik und Progammiersprachen, Universität zu Lübeck : Laufzeit des Vorhabens: 01.09.2012 bis...

von Leucker, Martin
Veröffentlicht 30102016

Theoretical aspects of computing - ICTAC 2015 : 12th international colloquium, Cali, Colombia, October 29-31, 2015 : proceedings

Veröffentlicht 2015

X-by-Construction Meets Runtime Verification

von Beek, Maurice H. ter
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

IHATEC Durchführbarkeitsstudie Plattform "RoRo-Hafen-4.0" : Schlussbericht = IHATEC Feasibility Study Platform "RoRo-Hafen-4.0" : final report

von Ostanina, Maria
Veröffentlicht 30032020