Advertisement

Leveraging Applications of Formal Methods, Verification, and Validation

4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

  • Tiziana Margaria
  • Bernhard Steffen

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6415)

Table of contents

  1. Front Matter
  2. New Challenges in the Development of Critical Embedded Systems – An “aeromotive” Perspective

    1. Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith
      Pages 1-2
    2. Alain Plantec, Frank Singhoff, Pierre Dissaux, Jérôme Legrand
      Pages 4-17
    3. Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, Martin Wechs
      Pages 18-32
    4. Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig
      Pages 33-46
    5. Raimund Kirner, Stephan Herhut, Sven-Bodo Scholz
      Pages 47-57
  3. Formal Languages and Methods for Designing and Verifying Complex Embedded Systems

    1. Yamine Ait Ameur, Frédéric Boniol, Dominique Mery, Virginie Wiels
      Pages 58-59
    2. Parosh Aziz Abdulla, Jonathan Cederberg, Lisa Kaati
      Pages 60-74
    3. Iakovos Ouranos, Petros Stefaneas, Kazuhiro Ogata
      Pages 75-89
    4. Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna et al.
      Pages 90-105
    5. Daniela da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
      Pages 106-120
  4. Worst-Case Traversal Time (WCTT)

    1. Anne Bouillard, Marc Boyer, Samarjit Chakraborty, Steven Martin, Jean-Luc Scharbarg, Giovanni Stea et al.
      Pages 121-121
    2. Luca Bisti, Luciano Lenzini, Enzo Mingozzi, Giovanni Stea
      Pages 152-168
    3. Jens B. Schmitt, Hao Wang, Ivan Martinovic
      Pages 169-183
    4. Euriell Le Corronc, Bertrand Cottenceau, Laurent Hardouin
      Pages 184-197
    5. Nikolay Stoimenov, Samarjit Chakraborty, Lothar Thiele
      Pages 198-213
    6. Alessandro Lori, Giovanni Stea, Gigliola Vaglini
      Pages 214-227
    7. Michaël Lauer, Jérôme Ermont, Claire Pagetti, Frédéric Boniol
      Pages 243-257
  5. Tools in Scientific Workflow Composition

    1. Joost N. Kok, Anna-Lena Lamprecht, Mark D. Wilkinson
      Pages 258-260
    2. Tolga Dalman, Peter Droste, Michael Weitzel, Wolfgang Wiechert, Katharina Nöh
      Pages 261-275
    3. Jeroen S. de Bruin, Joost N. Kok
      Pages 285-300
    4. David Withers, Edward Kawas, Luke McCarthy, Benjamin Vandervalk, Mark Wilkinson
      Pages 301-312
    5. Vid Podpečan, Monika Žakova, Nada Lavrač
      Pages 313-327
    6. Johan Karlsson, Victoria Martín-Requena, Javier Ríos, Oswaldo Trelles
      Pages 328-339
    7. Marco Roos, Sean Bechhofer, Jun Zhao, Paolo Missier, David R. Newman, David De Roure et al.
      Pages 340-354
  6. Emerging Services and Technologies for a Converging Telecommunications / Web World in Smart Environments of the Internet of Things

    1. Jiehan Zhou, Ekaterina Gilman, Jukka Riekki, Mika Rautiainen, Mika Ylianttila
      Pages 375-389
    2. Wei-Lun Wang, Quincy Wu
      Pages 411-424
  7. Web Science

    1. Maja Vukovic, Claudio Bartolini
      Pages 425-434
    2. Andréa Magalhães Magdaleno, Cláudia Maria Lima Werner, Renata Mendes de Araujo
      Pages 435-446
    3. Donald Cowan, Paulo Alencar, Fred McGarry, Carlos Lucena, Ingrid Nunes
      Pages 447-461
    4. Vanessa C. F. Gonçalves, Priscila M. V. Lima, Nelson Maculan, Felipe M. G. França
      Pages 462-472
    5. Ingrid Nunes, Simone D. J. Barbosa, Carlos J. P. de Lucena
      Pages 473-487
    6. Claudio Bartolini, Karin Breitman, Simone Diniz Junqueira Barbosa, Mathias Salle, Rita Berardi, Glaucia Melissa Campos et al.
      Pages 488-501
    7. Cecilia Englander, Edward Hermann Haeusler
      Pages 502-518
  8. Model Transformation and Analysis for Industrial Scale Validation

    1. Arnab De, Abhik Roychoudhury, Deepak D’Souza
      Pages 519-534
    2. Zhongxing Xu, Ted Kremenek, Jian Zhang
      Pages 535-548
    3. Joy Chakraborty, Deepak D’Souza, K. Narayan Kumar
      Pages 549-563
    4. Anders P. Ravn, Jiří Srba, Saleem Vighio
      Pages 579-593
    5. Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He et al.
      Pages 594-608
    6. Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin
      Pages 609-624

Other volumes

  1. Leveraging Applications of Formal Methods, Verification, and Validation
    4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
  2. 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

About these proceedings

Keywords

Ethernet Internet Routing business process modeling classification cloud computing collaboration colored petri nets communication system crowdsourcing distributed systems embedded systems formal modeling formal semantics formal verification

Editors and affiliations

  • Tiziana Margaria
    • 1
  • Bernhard Steffen
    • 2
  1. 1.Institute for InformaticsUniversity of PotsdamPotsdamGermany
  2. 2.Technical University of DortmundDortmundGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-16558-0
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16557-3
  • Online ISBN 978-3-642-16558-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site