BibTex-Entries of ASM workshops and References
BibTex-Entries of the mentioned ASM Workshop Proceedings 1994-2007 (preceding the merge of those workshops with the user meetings of Z and B to the ABZ Conference, started in 2008) and the references can be found here.
@Proceedings{Asm94,
title = {Technology and {F}oundations. {I}nformation {P}rocessing'94},
year = {1994},
editor = {B. Pehrson and I. Simon},
volume = {{I}, Track 4, Stream C: Evolving Algebras},
series = {},
pages={ 377--441},
publisher = {Elsevier},
address = {Hamburg (Germany)},
note = {Contains Proceedings of First ASM Workshop}
}
@Proceedings{Asm98,
title = {Fifth {I}nternational {W}orkshop on {A}bstract {S}tate {M}achines},
year = {1998},
editor = {U.Gl\"asser and P.Schmitt},
volume = {},
series = {},
publisher = {Otto-von-Guericke-Universit\"at},
address = {Magdeburg (Germany)},
pages = {III+158},
note = {Contains Proceedings of Fifth International ASM Workshop at Informatik'98}
}
@Proceedings{Asm00,
title = {Abstradt {S}tate {M}achines. {T}heory and {A}pplications},
year = {2000},
editor = {Y.Gurevich and P.W.Kutter and M.Odersky and L.Thiele},
volume = {1912},
series = {LNCS},
publisher = {Springer},
address = {Monte Verit\`a (Switzerland)},
note = {Proceedings of 7th International ASM Workshop}
}
@Proceedings{Asm01,
title = {Formal Methods and Tools for Computer Science. Eurocast 2001},
year = {2001},
editor = {R.Moreno-Diaz and A.Quesada-Arencibia},
volume = {},
series = {},
publisher = {IUCTC Universida de Las Palmas de Gran Canaria},
address = {Las Palmas (Spain)},
note = {Contains Extended Abstracts of 8th ASM Workshop. For selected full workshop papers see \cite{BoeGla01}.}
}
@Book{Asm02,
editor = {A.Blass and E.B\"orger and Y.Gurevich},
title = {Theory and Application of Abstract State Machines},
publisher = {Schloss Dagstuhl},
year = {2002},
note = {Seminar Report 336. \url{https://www.dagstuhl.de/02101}}
}
@Proceedings{Asm03,
title = {{Abstract State Machines} 2003. Advances in {T}heory and {P}ractice},
year = {2003},
editor = {E.B\"orger and A.Gargantini and E.Riccobene},
volume = {2589},
series = {LNCS},
publisher = {Springer},
address = {},
note = {Contains Proceedings of 10th ASM Workshop (Taormina, Italy). For a selection of extended workshop papers see \cite{Asm03Tcs}.}
}
@BOOK{Asm03Tcs,
editor = {E.B\"orger},
title = {Abstract {S}tate {M}achines and high-level system design and analysis},
year = {2005},
publisher = {Elsevier},
series = {Theoretical Computer Science (Special Issue)},
volume = {336 (2--3) },
note = {ISSN 0304--3975. Selection of extended papers from ASM'03 (Taormina, Sicily)}
}
@Proceedings{Asm04,
title = {{Abstract State Machines} 2004. Advances in {T}heory and {P}ractice},
year = {2004},
editor = {W.Zimmermann and B.Thalheim},
volume = {3052},
series = {LNCS},
publisher = {Springer},
address = {},
note = {Contains Proceedings of 11th ASM Workshop (Lutherstadt Wittenberg)}
}
@Misc{Asm05,
author = {E.B\"orger and D. Beauquier and A. Slissenko},
title = {Proc. 12th International Workshop on {A}bstract {S}tate {M}achines {ASM}'05},
howpublished = { Universit\'e Paris 12 (France)},
year = {2005},
pages ={424},
note = {For a selection of extended workshop papers see \cite{Asm05FI}}
}
@BOOK{Asm05FI,
editor = {E.B\"orger},
title = {The {A}bstract {S}tate {M}achines method},
year = {2007},
publisher = {IOS Press},
series = {Fundamenta Informaticae (Special Issue)},
volume = {77},
note = {ISSN 0169--2968. Selection of extended papers from ASM'05 (Paris)}
}
@BOOK{Asm07,
editor = {E.B\"orger and A.Prinz},
title = {Quo vadis {A}bstract {S}tate {M}achines?},
year = {2008},
publisher = {},
series = {J. Universal Computer Science (Special Issue)},
volume = {14 (12)},
pages = {1921--2071},
note = {Selection of extended papers from ASM'07 (Grimstadt, Norway)}
}
REFERENCES
[1] @InCollection{Gurevich94b,
author = {Y. Gurevich},
title = {{Evolving algebras 1993: Lipari Guide}},
booktitle = {Specification and Validation Methods},
publisher = {Oxford University Press},
year = {1995},
pages = {9--36},
editor = {E. B{\"o}rger}}
[2] @InProceedings{Boerger03a,
author = {E. B{\"o}rger},
title = {The {ASM} ground model method as a foundation of requirements engineering},
booktitle = {Verification: Theory and Practice},
pages = {145-160},
year = {2003},
editor = {N.Dershowitz},
volume = {2772},
series = {LNCS},
publisher = {Springer-Verlag}}
[3]
@Article{Boerger02b,
author = {E. B{\"o}rger},
title = {The {ASM} Refinement Method},
journal = {Formal Aspects of Computing},
volume = {15},
year = {2003},
pages = {237-257}}
[4] @Book{BoeRas18,
author = {E. B{\"o}rger and A. Raschke},
title = {Modeling Companion for Software Practitioners},
publisher = {Springer},
year = {2018},
note = {ISBN 978-3-662-56641-1. For Corrigenda and lecture material on themes treated in the book see \url{https://modelingbook.informatik.uni-ulm.de}}
[5] @Book{BoeSta03,
author = {E. B{\"o}rger and R. F. St{\"a}rk},
title = {Abstract {S}tate {M}achines. A Method for High-Level System
Design and Analysis},
publisher = {Springer},
year = {2003}}
[6] @Book{StScBo01,
author = {R. F. St{\"a}rk and J. Schmid and E. B{\"o}rger},
title = {Java and the Java Virtual Machine: Definition, Verification, Validation},
publisher = {Springer-Verlag},
year = {2001}}
[7] @Article{Boerger02a,
author = {E. B{\"o}rger},
title = {The Origins and the Development of the {ASM} Method for High-Level System Design and Analysis},
journal = {J.~Universal Computer Science},
volume = {8},
number = {1},
year = {2002},
pages = {2--74}}
[8] @Article{Gurevich00,
author = {Y. Gurevich},
title = {Sequential {Abstract State Machines} Capture Sequential Algorithms},
journal = {ACM Trans. Computational Logic},
year = {2000},
month = {July},
volume = {1},
number = {1},
pages = {77--111}}
[9] @inproceedings{Schewe21,
author = {K.-D. Schewe},
title = {Computation on Structures: Behavioural Theory, Logic, Complexity},
booktitle = {Logic, Computation and Rigorous Methods. Essays Dedicated to Egon B\"orger on the Occasion of His 75th Birthday},
editor = {A.Raschke and E. Riccobene and K.-D. Schewe},
series = {Lecture Notes in Computer Science},
volume = {1275},
publisher = {Springer},
pages = {266--282},
year = {2021}
}