Achim D. Brucker

zbMath Openbrucker.achim-dMaRDI QIDQ470023

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verifying feedforward neural networks for classification in Isabelle/HOL	2023-08-17	Paper
Stateful protocol composition	2022-08-25	Paper
Using the Isabelle ontology framework -- linking the formal with the informal	2018-10-18	Paper
Monadic Sequence Testing and Explicit Test-Refinements	2016-10-19	Paper
On theorem prover-based testing	2014-11-11	Paper
An extensible encoding of object-oriented data models in HOL. With an application to IMP++	2009-11-25	Paper
Semantics, calculi, and analysis for object-oriented specifications	2009-08-10	Paper
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing	2007-10-31	Paper
Formal Approaches to Software Testing	2005-12-02	Paper
scientific article; zbMATH DE number 2003150 (Why is no real title available?)	2003-11-12	Paper
scientific article; zbMATH DE number 1946736 (Why is no real title available?)	2003-07-07	Paper
scientific article; zbMATH DE number 1927417 (Why is no real title available?)	2003-06-12	Paper

Research outcomes over time

This page was built for person: Achim D. Brucker