The SCEAS System
Navigation Menu

Search the dblp DataBase


Giuseppe Del Castillo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Giuseppe Del Castillo
    The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Workshop on Abstract State Machines, 1998, pp:139-154 [Conf]
  2. Giuseppe Del Castillo, Wolfram Hardt
    Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models. [Citation Graph (0, 0)][DBLP]
    CODES, 1998, pp:77-81 [Conf]
  3. Giuseppe Del Castillo, Igor Durdanovic, Uwe Glässer
    An Evolving Algebra Abstract Machine. [Citation Graph (0, 0)][DBLP]
    CSL, 1995, pp:191-214 [Conf]
  4. Giuseppe Del Castillo, Uwe Glässer
    Computer-Aided Analysis and Validation of Heterogeneous System Specifications. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 1999, pp:55-79 [Conf]
  5. Giuseppe Del Castillo
    Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:311-325 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:145-148 [Conf]
  7. Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig
    Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:396-401 [Conf]
  8. Wolfram Hardt, Peter Altenbernd, Carsten Böke, Giuseppe Del Castillo, C. Ditze, E. 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. [Citation Graph (0, 0)][DBLP]
    DIPES, 1998, pp:181-190 [Conf]
  9. Giuseppe Del Castillo, Kirsten Winter
    Model Checking Support for the ASM High-Level Language. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:331-346 [Conf]
  10. Giuseppe Del Castillo
    The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:578-581 [Conf]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002