Articles

1. Analysing superscalar processor architectures with coloured Petri nets

   • F.P. Burns
   • A.M. Koelmans
   • A.V. Yakovlev

   Special section on coloured Petri nets Pages: 182 - 191

2. A verification tool developer’s vade mecum

   • Perdita Stevens

   The opinion corner Pages: 89 - 94

3. Analyzing the execution architecture of mobile phone software with colored Petri nets

   • Jianli Xu
   • Juha Kuusela

   Special section on coloured Petri nets Pages: 133 - 143

4. The practitioner’s guide to coloured Petri nets

   • Lars M. Kristensen
   • Soren Christensen
   • Kurt Jensen

   Special section on coloured Petri nets Pages: 98 - 132

5. Analysing a missile simulator with coloured Petri nets

   • Steven Gordon
   • Jonathan Billington

   Special section on coloured Petri nets Pages: 144 - 159

6. Creating executable models of influence nets with colored Petri nets

   • Lee W. Wagenhals
   • Insub Shin
   • Alexander H. Levis

   Special section on coloured Petri nets Pages: 168 - 181

7. The Code Validation Tool (CVT)

   • A. Pnueli
   • O. Shtrichman
   • M. Siegel

   Regular contribution Pages: 192 - 201

8. Program analysis tools

   • Chris Hankin

   Special section on program analysis tools Pages: 6 - 12

9. Paul Feyerabend and software technology

   • Gregor Snelting

   The opinion corner Pages: 1 - 5

10. Semantics-based program analysis for logic-based languages using XSB

    • Michael Codish
    • Bart Demoen
    • Konstantinos Sagonas

    Special section on program analysis tools Pages: 29 - 45

11. Verification of the Link layer protocol of the IEEE-1394 serial bus (FireWire): an experiment with E-LOTOS

    • Mihaela Sighireanu
    • Radu Mateescu

    Regular contribution Pages: 68 - 88

12. Behavior analysis for validating communication patterns

    • Torben Amtoft
    • Hanne Riis Nielson
    • Flemming Nielson

    Special section on program analysis tools Pages: 13 - 28

13. PAG – an efficient program analyzer generator

    • Florian Martin

    Special section on program analysis tools Pages: 46 - 67

14. Protocol verification with the ALDÉBARAN toolset

    • Marius Bozga
    • Jean-Claude Fernandez
    • Laurent Mounier

    Regular contributions 27 February 2014 Pages: 166 - 183

15. OMT and SDL based techniques and tools for design, simulation and test production of distributed systems

    • Philippe Leblanc

    Regular contributions 27 February 2014 Pages: 153 - 165

16. Uppaal in a nutshell

    • Kim G. Larsen
    • Paul Pettersson
    • Wang Yi

    Special section on timed and hybrid systems 27 February 2014 Pages: 134 - 152

17. KRONOS: a verification tool for real-time systems

    • Sergio Yovine

    Special section on timed and hybrid systems 27 February 2014 Pages: 123 - 133

18. HYTECH: a model checker for hybrid systems

    • Thomas A. Henzinger
    • Pei-Hsin Ho
    • Howard Wong-Toi

    Special section on timed and hybrid systems 27 February 2014 Pages: 110 - 122

19. Real-time system = discrete system + clock variables

    • Rajeev Alur
    • Thomas A.

    Special section on timed and hybrid systems 27 February 2014 Pages: 86 - 109

20. Continuous modeling of real-time and hybrid systems: from concepts to tools

    • Kim G. Larsen
    • B. Steffen
    • C. Weise

    Special section on timed and hybrid systems 27 February 2014 Pages: 64 - 85

21. Interacting with ETI: a user session

    • Tiziana Margaria
    • Volker Braun
    • Jürgen Kreileder

    Special section on the Electronic Tool Integration platform 27 February 2014 Pages: 49 - 63

22. Integrating tools in the ETI platform

    • Volker Braun
    • Tiziana Margaria
    • Carsten Weise

    Special section on the Electronic Tool Integration platform 27 February 2014 Pages: 31 - 48

23. The Electronic Tool Integration platform: concepts and design

    • Bernhard Steffen
    • Tiziana Margaria
    • Volker Braun

    Special section on the Electronic Tool Integration platform 27 February 2014 Pages: 9 - 30

24. The meaning of “formal”: from weak to strong formal methods

    • Pierre Wolper

    The opinion corner 27 February 2014 Pages: 6 - 8

25. Editorial

    • W. Rance Cleaveland
    • Tiziana Margaria
    • Bernhard Steffen

    EditorialNotes 27 February 2014 Pages: 1 - 5