Giuseppe Del Castillo

According to our database, Giuseppe Del Castillo authored at least 13 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines.

Giuseppe Del Castillo

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

2001

The ASM workbench - a tool environment for computer aided analysis and validation of abstract state machine models.

Giuseppe Del Castillo

PhD thesis, 2001

The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration.

Giuseppe Del Castillo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000

Model Checking Support for the ASM High-Level Language.

Giuseppe Del Castillo, Kirsten Winter

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

1999

Computer-Aided Analysis and Validation of Heterogeneous System Specifications.

Giuseppe Del Castillo, Uwe Glässer

Proceedings of the Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29, 1999

1998

Towards a Unified Analysis Methodology of HW/SW Systems based on Abstract State Machines: Modelling of Instruction Sets.

Giuseppe Del Castillo, Wolfram Hardt

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 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, Joachim Stroop, Jürgen Tacken

Proceedings of the Distributed and Parallel Embedded Systems, 1998

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture.

Giuseppe Del Castillo

Proceedings of the Applied Formal Methods, 1998

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models.

Giuseppe Del Castillo, Wolfram Hardt

Proceedings of the Sixth International Workshop on Hardware/Software Codesign, 1998

The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines.

Giuseppe Del Castillo

Proceedings of the Fifth International Workshop on Abstract State Machines, 1998

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

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

An Evolving Algebra Abstract Machine.

Giuseppe Del Castillo, Igor Durdanovic, Uwe Glässer

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1994

Towards a Mathematical Specification of the APE100 Architecture: The APESE Model.

Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994