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

DOI: 10.1007/978-3-642-11811-1

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

  • 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