2001 |
10 | EE | Giuseppe Del Castillo:
The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration.
TACAS 2001: 578-581 |
2000 |
9 | EE | Giuseppe Del Castillo,
Kirsten Winter:
Model Checking Support for the ASM High-Level Language.
TACAS 2000: 331-346 |
1999 |
8 | | Giuseppe Del Castillo,
Uwe Glässer:
Computer-Aided Analysis and Validation of Heterogeneous System Specifications.
EUROCAST 1999: 55-79 |
1998 |
7 | EE | Giuseppe Del Castillo,
Wolfram Hardt:
Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models.
CODES 1998: 77-81 |
6 | | 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: 181-190 |
5 | | Giuseppe Del Castillo:
Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture.
FM-Trends 1998: 311-325 |
4 | | Giuseppe Del Castillo:
The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines.
Workshop on Abstract State Machines 1998: 139-154 |
1995 |
3 | | Giuseppe Del Castillo,
Igor Durdanovic,
Uwe Glässer:
An Evolving Algebra Abstract Machine.
CSL 1995: 191-214 |
2 | EE | 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: 145-148 |
1994 |
1 | | 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: 396-401 |