Achim D. Brucker

From MaRDI portal
Person:470023

Available identifiers

zbMath Open brucker.achim-dMaRDI QIDQ470023

List of research outcomes





PublicationDate of PublicationType
Verifying feedforward neural networks for classification in Isabelle/HOL2023-08-17Paper
Stateful protocol composition2022-08-25Paper
Using the Isabelle ontology framework -- linking the formal with the informal2018-10-18Paper
Monadic Sequence Testing and Explicit Test-Refinements2016-10-19Paper
On theorem prover-based testing2014-11-11Paper
An extensible encoding of object-oriented data models in HOL. With an application to IMP++2009-11-25Paper
Semantics, calculi, and analysis for object-oriented specifications2009-08-10Paper
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing2007-10-31Paper
Formal Approaches to Software Testing2005-12-02Paper
https://portal.mardi4nfdi.de/entity/Q44354602003-11-12Paper
https://portal.mardi4nfdi.de/entity/Q44110462003-07-07Paper
https://portal.mardi4nfdi.de/entity/Q44843352003-06-12Paper

Research outcomes over time

This page was built for person: Achim D. Brucker

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:470023&oldid=7585469"
Powered by MediaWiki