Skip to main content
SpringerLink
Log in

Guest editors’ introduction: quantitative analysis of real-time embedded systems

  • Special Section on Quantitative Analysis of Real-time embedded Systems
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

This special section is devoted to a selection of journal versions of papers that were presented at the first International Symposium On Leveraging Applications of Formal Methods. All papers are relevant to the field of quantitative systems validation. Three papers report on applying state-of-the-art techniques to (industrial) case studies, whereas one paper addresses the evaluation of networks in building automation.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Duflot, M., Kwiatkowska, M.Z., Norman, G., Parker, D.: A formal analysis of Bluetooth device discovery. (This issue) 2006

  2. Hendriks, M., van den Nieuwelaar, B., Vaandrager, F.W.: Model checker aided design of a controller for a wafer scanner. (This issue) 2006

  3. Plönnigs, J., Neugebauer, M., Kabitzsch, K.: Automated model generation from design databases at the example of design automation. (This issue) 2006

  4. Wandeler, E., Thiele, L., Verhoef, M., Lieverse, P.: System architecture evaluation using modular performance analysis – a case study. (This issue) 2006

Download references

Author information

Authors and Affiliations

  1. Informatik IV, University of Dortmund, 44221, Dortmund, Germany

    Peter Buchholz

  2. Software Modeling and Verification Group, RWTH Aachen, 52056, Aachen, Germany

    Joost-Pieter Katoen

  3. Formal Methods and Tools, University of Twente, P.O. Box 217, 7500, AE, Enschede, The Netherlands

    Joost-Pieter Katoen

  4. Chess Information Technology B.V., Nieuwe Gracht 13, 2011, NB, Haarlem, The Netherlands

    Marcel Verhoef

  5. Inst. for Computing and Information Sciences, Radboud University Nijmegen, P.O. Box 9010, 6500, GL, Nijmegen, The Netherlands

    Marcel Verhoef

Authors
  1. Peter Buchholz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joost-Pieter Katoen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marcel Verhoef
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Joost-Pieter Katoen.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Buchholz, P., Katoen, JP. & Verhoef, M. Guest editors’ introduction: quantitative analysis of real-time embedded systems. Int J Softw Tools Technol Transfer 8, 605–606 (2006). https://doi.org/10.1007/s10009-006-0013-y

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-006-0013-y

Keywords

Search

Navigation