Special Section on Leveraging Applications of Formal Methods (pp 467-603); Special Section on Quantitative Analysis of Real-Time Embedded Systems (pp 605-667)
467-469
Special Section on leveraging Applications of Formal Methods
Special Section on “Leveraging Formal Methods”
Tiziana Margaria and Bernhard Steffen
471-484
Special Section on Leveraging Applications of Formal Methods
A formal framework for verifying distributed embedded systems based on abstraction methods
Francois Carcenac and Frederic Boniol
485-516
Special Section on Leveraging Applications of Formal Methods
Compositional specification of commercial contracts
Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen and Christian Stefansen
517-530
Special Section on Leveraging Applications of Formal Methods
Case studies with Lurette V2
Erwan Jahier, Pascal Raymond and Philippe Baufreton
531-545
Special Section on Leveraging Applications of Formal Methods
Tool Support for Estimating the Memory Usage of Mobile Phone Software
Jens Bæk Jørgensen, Søren Christensen, Antti-Pekka Tuovinen and Jianli Xu
547-563
SPECIAL SECTION ON LEVERAGING APPLICATIONS OF FORMAL METHODS
Formal and experimental validation approaches in HCI systems design based on a shared event B model
Yamine Ait-Ameur and Mickael Baron
565-585
Special Section on Leveraging Applications of Formal Methods
Rule-based verification of Web sites
M. Alpuente, D. Ballis and M. Falaschi
587-603
Special Section On Leveraging Applications of Formal Methods
Experiences applying formal approaches in the development of swarm-based space exploration systems
Christopher A. Rouff, Michael G. Hinchey, Walter F. Truszkowski and James L. Rash
605-606
Special Section on Quantitative Analysis of Real-time embedded Systems
Guest editors’ introduction:
quantitative analysis of real-time embedded systems
Peter Buchholz, Joost-Pieter Katoen and Marcel Verhoef
607-620
Special Section on Quantitative Analysis of Real-time Embedded Systems
Automated model generation for performance engineering of building automation networks
Joern Ploennigs, Mario Neugebauer and Klaus Kabitzsch
621-632
Special Section on Quantitative Analysis of Real-time Embedded Systems
A formal analysis of bluetooth device discovery
Marie Duflot, Marta Kwiatkowska, Gethin Norman and David Parker
633-647
Special Section on Quantitative Analysis of Real-time Embedded Systems
Model checker aided design of a controller for a wafer scanner
Martijn Hendriks, Barend van den Nieuwelaar and Frits Vaandrager
649-667
Special Section on Quantitative Analysis of Real-time Embedded Systems
System architecture evaluation using modular performance analysis: a case study
Ernesto Wandeler, Lothar Thiele, Marcel Verhoef and Paul Lieverse