Publications
List of publications in reverse chronological order
- 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 ] - 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 ] - 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 ] - 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 ] - 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 ] - 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 ]