Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. - Egon Börger; Giuseppe Del Castillo; Paola Glavan; Dean Rosenzweig (IFIP Congress (1), 1994)

An Evolving Algebra Abstract Machine. - Giuseppe Del Castillo; Igor Durdanovic; Uwe Glässer (CSL, 1995)

A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study. - Egon Börger; Giuseppe Del Castillo (ICECCS, 1995)

The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines. - Giuseppe Del Castillo (Workshop on Abstract State Machines, 1998)

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models. - Giuseppe Del Castillo; Wolfram Hardt (CODES, 1998)

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. - Giuseppe Del Castillo (FM-Trends, 1998)

Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems. - Wolfram Hardt; Peter Altenbernd; Carsten Böke; Giuseppe Del Castillo; C. Ditze; Edwin Erpenbach; Uwe Glässer; Bernd Kleinjohann; Georg Lehrenfeld; Franz J. Rammig; Carsten Rust; Friedhelm Stappert; et al. (DIPES, 1998)

Towards a Unified Analysis Methodology of HW/SW Systems based on Abstract State Machines: Modelling of Instruction Sets. - Giuseppe Del Castillo; Wolfram Hardt (MBMV, 1998)

Computer-Aided Analysis and Validation of Heterogeneous System Specifications. - Giuseppe Del Castillo; Uwe Glässer (EUROCAST, 1999)

Model Checking Support for the ASM High-Level Language. - Giuseppe Del Castillo; Kirsten Winter (TACAS, 2000)

The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration. - Giuseppe Del Castillo (TACAS, 2001)

The ASM workbench - a tool environment for computer aided analysis and validation of abstract state machine models. - Giuseppe Del Castillo (2001)

Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines. - Giuseppe Del Castillo (ABZ, 2024)