Abstract State Machines, Alloy, B and Z

Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

  • Marc Frappier
  • Uwe Glässer
  • Sarfraz Khurshid
  • Régine Laleau
  • Steve Reeves
Conference proceedings ABZ 2010
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5977)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Daniel Jackson, Eunsuk Kang
      Pages 1-1
  3. ASM Papers

    1. Michael Altenhofen, Roozbeh Farahbod
      Pages 47-60
    2. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
      Pages 61-74
    3. Elvinia Riccobene, Patrizia Scandurra
      Pages 75-90
  4. Alloy Papers

    1. Alban Tiberghien, Philippe Merle, Lionel Seinturier
      Pages 91-104
    2. Jeremy L. Jacob
      Pages 105-117
    3. Joseph P. Near, Daniel Jackson
      Pages 118-131
    4. Joud Khoury, Chaouki T. Abdallah, Gregory L. Heileman
      Pages 132-145
    5. Nicolás D’Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera
      Pages 160-173
  5. B Papers

    1. Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic et al.
      Pages 174-188
    2. Andrew Ireland, Gudmund Grov, Michael Butler
      Pages 189-202
    3. Bruno Gomes, David Déharbe, Anamaria Moreira, Katia Moraes
      Pages 203-216
    4. Edd Turner, Michael Butler, Michael Leuschel
      Pages 231-244
    5. Mamoun Filali-Amine, Julia Lawall
      Pages 245-258

About these proceedings

Keywords

Java algorithm analysis automata theory business processes calculus cryptology data structure logic model theory modeling smart cards theoretical computerscience virtual machines

Editors and affiliations

  • Marc Frappier
    • 1
  • Uwe Glässer
    • 2
  • Sarfraz Khurshid
    • 3
  • Régine Laleau
    • 4
  • Steve Reeves
    • 5
  1. 1.Département d’informatique, SherbrookeUniversité de SherbrookeQuébecCanada
  2. 2.School of Computing ScienceSimon Fraser UniversityBurnabyCanada
  3. 3.Department of Electrical and computer EngineeringUniversity of Texas at AustinAustinUSA
  4. 4.Département informatique, Route forestiére HurtaultUniversité Paris-Est Créteil, IUT Sénart/FontainebleauFontainebelauFrance
  5. 5.Department of Computer ScienceThe University of WaikatoHamiltonNew Zealand

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-11811-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-11810-4
  • Online ISBN 978-3-642-11811-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book