Publications

List of publications in reverse chronological order

1. Compiling Abstract State Machines to C++
   by J. Schmid
   

   @InProceedings{Schmid01,
     author    = {J. Schmid},
     title     = {Compiling Abstract State Machines to C++},
     booktitle = {Formal Methods and Tools for Computer Science, Eurocast},
     publisher = {Universidad de Las Palmas de Gran Canaria},
     year      = {2001},
     editor    = {R. Moreno-D{\`\i}az and A. Quesanda-Arencibia},
     note      = {Extended Abstract}
   }
   

   [ Postscript | PDF ]
2. Java bytecode verification is not possible
   by R. Stärk, J. Schmid
   

   @InProceedings{StaSch01,
     author    = {R. F. St{\"a}rk and J. Schmid},
     title     = {Java bytecode verification is not possible},
     booktitle = {Formal Methods and Tools for Computer Science, Eurocast},
     publisher = {Universidad de Las Palmas de Gran Canaria},
     year      = {2001},
     editor    = {R. Moreno-D{\`\i}az and A. Quesanda-Arencibia},
     note      = {Extended Abstract}
   }
   

   [ Postscript | PDF ]
3. Java and the Java Virtual Machine [2001]
   by R. Stärk, J. Schmid, E. Börger.
   

   @Book{SSB01,
      author    = {R. F. St{\"a}rk and J. Schmid and E. B{\"o}rger},
      title     = {Java and the Java Virtual Machine: Definition, Verification and Validation},
      publisher = {Springer-Verlag},
      year      = {2001}
   }
   

   [ Jbook Home ]
4. Composition and Submachine Concepts for Sequential ASMs [2000]
   by E. Börger, J. Schmid
   

   @InProceedings{BoeSch00,
     author    =   {E. B\"orger and J. Schmid},
     title     =   {Composition and Submachine Concepts},
     booktitle =   {Computer Science Logic (CSL 2000)},
     series    =   {Lecture Notes in Computer Science},
     editor    =   {P. G. Clote and H. Schwichtenberg},
     number    =   {1862},
     pages     =   {41--60},
     publisher =   {Springer-Verlag},
     year      =   {2000}
   }
   

   [ Postscript | PDF ]
5. Report on a Pratical Application of ASMs in Software Design [2000]
   by E. Börger, P. Päppinghaus, J. Schmid
   

   @InProceedings{BPS00,
     author = 	 {E. B\"orger and P. P\"appinghaus and J. Schmid},
     title  =       {Report on a Practical Application of {ASMs} in Software Design},
     editor =       {Y. Gurevich and P. Kutter and M. Odersky and L. Thiele},
     booktitle =    {Abstract State Machines},
     series =	 {Lecture Notes in Computer Science},
     publisher =    {Springer-Verlag},
     number =       {1912},
     year =	 {2000}
   }
   

   [ Postscript | PDF ]
6. Capturing Requirements by Abstract State Machines: The Light Control Case Study [2000]
   by E. Börger, E. Riccobene, J. Schmid
   

   @Article{BRS00,
     author =       {E. B\"orger and E. Riccobene and J. Schmid},
     title =        {Capturing Requirements by {A}bstract {S}tate {M}achines: The {L}ight {C}ontrol Case Study},
     journal =      {Journal of Universal Computer Science},
     volume =       {6},
     number =       {7},
     year =         {2000}
   }
   

   [ Postscript | PDF ]