Zobrazeno 1 - 10
of 295
pro vyhledávání: '"Leuschel, Michael"'
Autor:
Roßbach, Jan, Leuschel, Michael
Publikováno v:
EPTCS 395, 2023, pp. 69-76
There is considerable industrial interest in integrating AI techniques into railway systems, notably for fully autonomous train systems. The KI-LOK research project is involved in developing new methods for certifying such AI-based systems. Here we e
Externí odkaz:
http://arxiv.org/abs/2311.09778
Traces are used to show whether a model complies with the intended behavior. A modeler can use trace checking to ensure the preservation of the model behavior during the refinement process. In this paper, we present a trace refinement technique and t
Externí odkaz:
http://arxiv.org/abs/2207.14043
Autor:
Stock, Sebastian, Vu, Fabian, Geleßus, David, Mashkoor, Atif, Leuschel, Michael, Egyed, Alexander
This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.
Externí odkaz:
http://arxiv.org/abs/2205.08988
This report discusses the foundations of the VO approach. Then, it explores multiple directions and argues about structure and applications.
Externí odkaz:
http://arxiv.org/abs/2205.06138
Autor:
Geleßus, David, Leuschel, Michael
Even though the core of the Prolog programming language has been standardized by ISO since 1995, it remains difficult to write complex Prolog programs that can run unmodified on multiple Prolog implementations. Indeed, implementations sometimes devia
Externí odkaz:
http://arxiv.org/abs/2205.04373
Autor:
Körner, Philipp, Leuschel, Michael, Barbosa, João, Costa, Vítor Santos, Dahl, Verónica, Hermenegildo, Manuel V., Morales, Jose F., Wielemaker, Jan, Diaz, Daniel, Abreu, Salvador, Ciatto, Giovanni
Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supporte
Externí odkaz:
http://arxiv.org/abs/2201.10816
Autor:
Reinhardt Sophia, Schmidt Joshua, Schneider Jonas, Schulte Elena, Schüle Christiane, Leuschel Michael, Schipper Jörg
Publikováno v:
Current Directions in Biomedical Engineering, Vol 9, Iss 1, Pp 528-531 (2023)
Dizziness is a common symptom in medicine. The anamnesis and detection of a nystagmus is essential to distinguish a vertigo's pathogenesis. The diagnosis is complex, expensive, and not always available across the board. We present a novel location- a
Externí odkaz:
https://doaj.org/article/b1d3ba0b5d264846ab23f03d2181590e
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming February 2024 137
Traditionally, practitioners use formal methods pre-dominately for one half of the quality-assurance process: verification (do we build the software right?). The other half -- validation (do we build the right software?) -- has been given comparative
Externí odkaz:
http://arxiv.org/abs/2102.06037
The semantics and the recursive execution model of Prolog make it very natural to express language interpreters in form of AST (Abstract Syntax Tree) interpreters where the execution follows the tree representation of a program. An alternative implem
Externí odkaz:
http://arxiv.org/abs/2008.12543