Giuseppe Del Castillo

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