Advertisement

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
    6. Stefan Hallerstede
      Pages 273-286
    7. Stefan Hallerstede, Michael Leuschel, Daniel Plagge
      Pages 287-301
    8. Steve Dunne, Frank Zeyda
      Pages 302-318
    9. Thai Son Hoang, Jean-Raymond Abrial
      Pages 319-333
  6. Z Papers

    1. Michael Vernon, Frank Zeyda, Ana Cavalcanti
      Pages 334-348
    2. Mark Slaymaker, David Power, Andrew Simpson
      Pages 349-362
    3. Petra Malik, Lindsay Groves, Clare Lenihan
      Pages 377-390
  7. ABZ Short Papers (Abstracts)

    1. David Michel, Frédéric Gervais, Pierre Valarcher
      Pages 391-391
    2. Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry
      Pages 392-393
    3. David Power, Mark Slaymaker, Andrew Simpson
      Pages 394-394
    4. Nicolás Rosner, Juan P. Galeotti, Carlos G. Lopez Pombo, Marcelo F. Frias
      Pages 396-397
    5. Razieh Nokhbeh Zaeem, Sarfraz Khurshid
      Pages 398-399
    6. Waël Hassan, Nadera Slimani, Kamel Adi, Luigi Logrippo
      Pages 400-400
    7. Abderrahman Matoussi, Dorian Petit
      Pages 401-402
    8. Anaheed Ayoub, Ayman Wahba, Ashraf Salem, Mohamed Sheirah
      Pages 403-403
    9. Atif Mashkoor, Abderrahman Matoussi
      Pages 404-404
    10. Issam Maamria, Michael Butler, Andrew Edmunds, Abdolbaghi Rezazadeh
      Pages 407-407
    11. Jacques Julliand, Nicolas Stouls, Pierre-Christope Bué, Pierre-Alain Masson
      Pages 408-408
    12. Jennifer Sorge, Michael Poppleton, Michael Butler
      Pages 409-409
    13. Pascal André, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix
      Pages 410-410
    14. Thiago C. de Sousa, Aryldo G. Russo Jr
      Pages 411-411
    15. Alessandro Cavalcante Gurgel, Valério Gutemberg de Medeiros Jr., Marcel Vinicius Medeiros Oliveira, David Boris Paul Déharbe
      Pages 412-413
    16. James R. Williams, Fiona A. C. Polack, Richard F. Paige
      Pages 414-414
  8. Back Matter

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
  • Buy this book on publisher's site