Giuseppe Del Castillo

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 1

Top Venues

ABZ

University of Paderborn, Germany (PHD)

Education History

University of Paderborn, Germany

PHD

Publications

Giuseppe Del Castillo
Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines. ABZ (2024)
Giuseppe Del Castillo
The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration. TACAS (2001)
Giuseppe Del Castillo, Kirsten Winter
Model Checking Support for the ASM High-Level Language. TACAS (2000)
Giuseppe Del Castillo, Uwe Glässer
Computer-Aided Analysis and Validation of Heterogeneous System Specifications. EUROCAST (1999)
Giuseppe Del Castillo, Wolfram Hardt
Towards a Unified Analysis Methodology of HW/SW Systems based on Abstract State Machines: Modelling of Instruction Sets. MBMV (1998)
Giuseppe Del Castillo
The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines. Workshop on Abstract State Machines (1998)
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, Joachim Stroop, Jürgen Tacken
Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems. DIPES (1998)
Giuseppe Del Castillo
Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. FM-Trends (1998)
Giuseppe Del Castillo, Wolfram Hardt
Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models. CODES (1998)
Giuseppe Del Castillo, Igor Durdanovic, Uwe Glässer
An Evolving Algebra Abstract Machine. CSL (1995)
Egon Börger, Giuseppe Del Castillo
A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study. ICECCS (1995)
Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig
Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. IFIP Congress (1) (1994)

Giuseppe Del Castillo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Giuseppe Del Castillo