Giuseppe Del Castillo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1995–2001
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | TACAS | The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration. | Giuseppe Del Castillo |
| 2000 | TACAS | Model Checking Support for the ASM High-Level Language. | Giuseppe Del Castillo, Kirsten Winter |
| 1998 | FM | Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. | Giuseppe Del Castillo |
| 1995 | CSL | An Evolving Algebra Abstract Machine. | Giuseppe Del Castillo, Igor Durdanovic, Uwe Glsser |
| 1995 | ICECCS | A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study. | Egon Brger, Giuseppe Del Castillo |