The SCEAS System
Navigation Menu

Journals in DBLP

STTT
2006, volume: 8, number: 6

  1. Tiziana Margaria, Bernhard Steffen
    Special Section on "Leveraging Formal Methods". [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:467-469 [Journal]
  2. Francois Carcenac, Frédéric Boniol
    A formal framework for verifying distributed embedded systems based on abstraction methods. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:471-484 [Journal]
  3. Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen
    Compositional specification of commercial contracts. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:485-516 [Journal]
  4. Erwan Jahier, Pascal Raymond, Philippe Baufreton
    Case studies with Lurette V2. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:517-530 [Journal]
  5. Jens Bæk Jørgensen, Søren Christensen, Antti-Pekka Tuovinen, Jianli Xu
    Tool Support for Estimating the Memory Usage of Mobile Phone Software. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:531-545 [Journal]
  6. Yamine Aït Ameur, Mickaël Baron
    Formal and experimental validation approaches in HCI systems design based on a shared event B model. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:547-563 [Journal]
  7. María Alpuente, Demis Ballis, Moreno Falaschi
    Rule-based verification of Web sites. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:565-585 [Journal]
  8. Christopher A. Rouff, Michael G. Hinchey, Walter F. Truszkowski, James L. Rash
    Experiences applying formal approaches in the development of swarm-based space exploration systems. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:587-603 [Journal]
  9. Peter Buchholz, Joost-Pieter Katoen, Marcel Verhoef
    Guest editors' introduction: quantitative analysis of real-time embedded systems. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:605-606 [Journal]
  10. Joern Ploennigs, Mario Neugebauer, Klaus Kabitzsch
    Automated model generation for performance engineering of building automation networks. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:607-620 [Journal]
  11. Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker
    A formal analysis of bluetooth device discovery. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:621-632 [Journal]
  12. Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager
    Model checker aided design of a controller for a wafer scanner. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:633-647 [Journal]
  13. Ernesto Wandeler, Lothar Thiele, Marcel Verhoef, Paul Lieverse
    System architecture evaluation using modular performance analysis: a case study. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:649-667 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002