5 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.SE2017★ 3 cited
Source Code Verification for Embedded Systems using Prolog
Frank Flederer, Ludwig Ostermayer, Dietmar Seipel +1
System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their…
cs.DB2017★ 5 cited
Knowledge Engineering for Hybrid Deductive Databases
Dietmar Seipel
Modern knowledge base systems frequently need to combine a collection of databases in different formats: e.g., relational databases, XML databases, rule bases, ontologies, etc. In…