ProB: an automated analysis toolset for the B method
Leuschel, Michael, Butler, Michael
Published in International journal on software tools for technology transfer (01.03.2008)
Published in International journal on software tools for technology transfer (01.03.2008)
Get full text
Journal Article
VertiGo – a pilot project in nystagmus detection via webcam
Reinhardt, Sophia, Schmidt, Joshua, Leuschel, Michael, Schüle, Christiane, Schipper, Jörg
Published in Current directions in biomedical engineering (17.09.2020)
Published in Current directions in biomedical engineering (17.09.2020)
Get full text
Journal Article
Update VertiGo – light affection of mobile VNG
Reinhardt, Sophia, Schmidt, Joshua, Leuschel, Michael, Schüle, Christiane, Schipper, Jörg
Published in Current directions in biomedical engineering (01.08.2021)
Published in Current directions in biomedical engineering (01.08.2021)
Get full text
Journal Article
Constraint Logic Programming over Infinite Domains with an Application to Proof
Krings, Sebastian, Leuschel, Michael
Published in Electronic proceedings in theoretical computer science (01.01.2017)
Published in Electronic proceedings in theoretical computer science (01.01.2017)
Get full text
Journal Article
Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB
Witulski, John, Leuschel, Michael
Published in Electronic proceedings in theoretical computer science (26.04.2014)
Published in Electronic proceedings in theoretical computer science (26.04.2014)
Get full text
Journal Article
Who watches the watchers: Validating the ProB Validation Tool
Bendisposto, Jens, Krings, Sebastian, Leuschel, Michael
Published in Electronic proceedings in theoretical computer science (26.04.2014)
Published in Electronic proceedings in theoretical computer science (26.04.2014)
Get full text
Journal Article
SMT solving for the validation of B and Event-B models
Schmidt, Joshua, Leuschel, Michael
Published in International journal on software tools for technology transfer (01.12.2022)
Published in International journal on software tools for technology transfer (01.12.2022)
Get full text
Journal Article
Certified Control for Train Sign Classification
Roßbach, Jan, Leuschel, Michael
Published in Electronic proceedings in theoretical computer science (15.11.2023)
Published in Electronic proceedings in theoretical computer science (15.11.2023)
Get full text
Journal Article
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
HOOS, HOLGER, LINDAUER, MARIUS, SCHAUB, TORSTEN
Published in Theory and practice of logic programming (01.07.2014)
Published in Theory and practice of logic programming (01.07.2014)
Get full text
Journal Article