dblp: STTT, Volume 2 (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

International Journal on Software Tools for Technology Transfer (STTT), Volume 2

• > Home > Journals > International Journal on Software Tools for Technology Transfer

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

Volume 2, Number 1, 1998

The Opinion Corner

• 
  • 
  • 
  • 
  • 
    Gregor Snelting:
    Paul Feyerabend and Software Technology. 1-5

Special Section on Program Analysis Tools

• 
  • 
  • 
  • 
  • 
    Chris Hankin:
    Program Analysis Tools. 6-12
• 
  • 
  • 
  • 
  • 
    Torben Amtoft, Hanne Riis Nielson, Flemming Nielson:
    Behavior Analysis for Validating Communication Patterns. 13-28
• 
  • 
  • 
  • 
  • 
    Michael Codish, Bart Demoen, Konstantinos Sagonas:
    Semantics-Based Program Analysis for Logic-Based Languages Using XSB. 29-45
• 
  • 
  • 
  • 
  • 
    Florian Martin:
    PAG - An Efficient Program Analyzer Generator. 46-67

Regular Contribution

• 
  • 
  • 
  • 
  • 
    Mihaela Sighireanu, Radu Mateescu:
    Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS. 68-88

Volume 2, Number 2, 1998

The Opinion Corner

• 
  • 
  • 
  • 
  • 
    Perdita Stevens:
    A Verification Tool Seveloper's Vade Mecum. 89-94

Special Section on Coloured Petri Nets

• 
  • 
  • 
  • 
  • 
    Kurt Jensen:
    Coloured Petri Nets - Preface by the Section Editor. 95-97
• 
  • 
  • 
  • 
  • 
    Lars Michael Kristensen, Søren Christensen, Kurt Jensen:
    The Practitioner's Guide to Coloured Petri Nets. 98-132
• 
  • 
  • 
  • 
  • 
    Jianli Xu, Juha Kuusela:
    Analyzing the Execution Architecture of Mobile Phone Software with Colored Petri Nets. 133-143
• 
  • 
  • 
  • 
  • 
    Steven Gordon, Jonathan Billington:
    Analysing a Missile Simulator with Coloured Petri Nets. 144-159
• 
  • 
  • 
  • 
  • 
    Gilles Moncelet, Søren Christensen, Hamid Demmou, Mario Paludetto, José Porras:
    Analysing a Mechatronic System with Coloured Petri Nets. 160-167
• 
  • 
  • 
  • 
  • 
    Lee W. Wagenhals, Insub Shin, Alexander H. Levis:
    Creating Executable Models of Influence Nets with Colored Petri Nets. 168-181
• 
  • 
  • 
  • 
  • 
    Frank P. Burns, Albert Koelmans, Alexandre Yakovlev:
    Analysing Superscalar Processor Architectures with Coloured Petri Nets. 182-191

Regular Contribution

• 
  • 
  • 
  • 
  • 
    Amir Pnueli, Ofer Strichman, Michael Siegel:
    The Code Validation Tool CVT: Automatic Verification of a Compilation Process. 192-201

Technical Innovation

• 
  • 
  • 
  • 
  • 
    Thomas Friese, Tiziana Margaria, Alfred Hofmann:
    Integrating Printed and Online Information. 202

Volume 2, Number 3, 1999

The Opinion Corner

• 
  • 
  • 
  • 
  • 
    Steven D. Johnson:
    A Workshop on Formal Methods Education: An Aggregation of Opinions. 203-207

Special Section on Model Checking

• 
  • 
  • 
  • 
  • 
    Rance Cleaveland:
    Pragmatics of Model Checking: An STTT Special Section. 208-218
• 
  • 
  • 
  • 
  • 
    Xiaoqun Du, Scott A. Smolka, Rance Cleaveland:
    Local Model Checking and Protocol Analysis. 219-241
• 
  • 
  • 
  • 
  • 
    Henrik Reif Andersen, Jørn Lind-Nielsen:
    Partial Model Checking of Modal Equations: A Survey. 242-259
• 
  • 
  • 
  • 
  • 
    Sérgio Vale Aguiar Campos, Edmund M. Clarke:
    Analysis and Verification of Real-Time Systems Using Quantitative Symbolic Algorithms. 260-269
• 
  • 
  • 
  • 
  • 
    Gerard J. Holzmann, Anuj Puri:
    A Minimized Automaton Representation of Reachable States. 270-278
• 
  • 
  • 
  • 
  • 
    Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron A. Peled:
    State Space Reduction Using Partial Order Techniques. 279-287
• 
  • 
  • 
  • 
  • 
    Carl Pixley, Vigyan Singhal:
    Model Checking: A Hardware Design Perspective. 288-306

Regular Contribution

• 
  • 
  • 
  • 
  • 
    C. Barry Jay:
    Programming in FISh. 307-315

Volume 2, Number 4, 2000

The Opinion Corner

• 
  • 
  • 
  • 
  • 
    George S. Avrunin, James C. Corbett, Matthew B. Dwyer:
    Benchmarking Finite-State Verifiers. 317-320

Special Section on SPIN

• 
  • 
  • 
  • 
  • 
    Gerard J. Holzmann, Elie Najm, Ahmed Serhrouchni:
    SPIN Model Checking: An Introduction. 321-327
• 
  • 
  • 
  • 
  • 
    Yonit Kesten, Amir Pnueli:
    Control and Data Abstraction: The Cornerstones of Practical Formal Verification. 328-342
• 
  • 
  • 
  • 
  • 
    Lynette I. Millett, Tim Teitelbaum:
    Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation. 343-349
• 
  • 
  • 
  • 
  • 
    Willem Visser, Howard Barringer:
    Practical CTL* Model Checking: Should SPIN be Extended? 350-365
• 
  • 
  • 
  • 
  • 
    Klaus Havelund, Thomas Pressburger:
    Model Checking JAVA Programs using JAVA PathFinder. 366-381
• 
  • 
  • 
  • 
  • 
    René G. de Vries, Jan Tretmans:
    On-the-fly Conformance Testing using SPIN. 382-393
• 
  • 
  • 
  • 
  • 
    Moataz Kamel, Stefan Leue:
    Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. 394-409

Regular Contribution

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: