Achim D. Brucker

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 Formal Methods	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 Tests and Proofs	2016-10-19	Paper
On theorem prover-based testing Formal Aspects of Computing	2014-11-11	Paper
An extensible encoding of object-oriented data models in HOL. With an application to IMP++ Journal of Automated Reasoning	2009-11-25	Paper
Semantics, calculi, and analysis for object-oriented specifications Acta Informatica	2009-08-10	Paper
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing Tests and Proofs	2007-10-31	Paper
Formal Approaches to Software Testing Lecture Notes in Computer Science	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