default search action

combined dblp search
author search
venue search
publication search

ask others

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

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

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 2, Number 1, 1998

The Opinion Corner

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Snelting98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Snelting98
Gregor Snelting:
Paul Feyerabend and Software Technology. 1-5

Special Section on Program Analysis Tools

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Hankin98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Hankin98
Chris Hankin:
Program Analysis Tools. 6-12
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AmtoftNN98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AmtoftNN98
Torben Amtoft, Hanne Riis Nielson, Flemming Nielson:
Behavior Analysis for Validating Communication Patterns. 13-28
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/CodishDS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/CodishDS98
Michael Codish, Bart Demoen, Konstantinos Sagonas:
Semantics-Based Program Analysis for Logic-Based Languages Using XSB. 29-45
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Martin98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Martin98
Florian Martin:
PAG - An Efficient Program Analyzer Generator. 46-67

Regular Contribution

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/SighireanuM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/SighireanuM98
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

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Stevens98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Stevens98
Perdita Stevens:
A Verification Tool Seveloper's Vade Mecum. 89-94

Special Section on Coloured Petri Nets

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Jensen98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Jensen98
Kurt Jensen:
Coloured Petri Nets - Preface by the Section Editor. 95-97
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KristensenCJ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KristensenCJ98
Lars Michael Kristensen, Søren Christensen, Kurt Jensen:
The Practitioner's Guide to Coloured Petri Nets. 98-132
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/XuK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/XuK98
Jianli Xu, Juha Kuusela:
Analyzing the Execution Architecture of Mobile Phone Software with Colored Petri Nets. 133-143
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/GordonB98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/GordonB98
Steven Gordon, Jonathan Billington:
Analysing a Missile Simulator with Coloured Petri Nets. 144-159
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/MonceletCDPP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MonceletCDPP98
Gilles Moncelet, Søren Christensen, Hamid Demmou, Mario Paludetto, José Porras:
Analysing a Mechatronic System with Coloured Petri Nets. 160-167
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/WagenhalsSL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/WagenhalsSL98
Lee W. Wagenhals, Insub Shin, Alexander H. Levis:
Creating Executable Models of Influence Nets with Colored Petri Nets. 168-181
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BurnsKY98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BurnsKY98
Frank P. Burns, Albert Koelmans, Alexandre Yakovlev:
Analysing Superscalar Processor Architectures with Coloured Petri Nets. 182-191

Regular Contribution

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/PnueliSS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/PnueliSS98
Amir Pnueli, Ofer Strichman, Michael Siegel:
The Code Validation Tool CVT: Automatic Verification of a Compilation Process. 192-201

Technical Innovation

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/FrieseMH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FrieseMH98
Thomas Friese, Tiziana Margaria, Alfred Hofmann:
Integrating Printed and Online Information. 202

Volume 2, Number 3, 1999

The Opinion Corner

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Johnson99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Johnson99
Steven D. Johnson:
A Workshop on Formal Methods Education: An Aggregation of Opinions. 203-207

Special Section on Model Checking

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Cleaveland99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Cleaveland99
Rance Cleaveland:
Pragmatics of Model Checking: An STTT Special Section. 208-218
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DuSC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DuSC99
Xiaoqun Du, Scott A. Smolka, Rance Cleaveland:
Local Model Checking and Protocol Analysis. 219-241
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AndersenL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AndersenL99
Henrik Reif Andersen, Jørn Lind-Nielsen:
Partial Model Checking of Modal Equations: A Survey. 242-259
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/CamposC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/CamposC99
Sérgio Vale Aguiar Campos, Edmund M. Clarke:
Analysis and Verification of Real-Time Systems Using Quantitative Symbolic Algorithms. 260-269
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HolzmannP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HolzmannP99
Gerard J. Holzmann, Anuj Puri:
A Minimized Automaton Representation of Reachable States. 270-278
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ClarkeGMP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ClarkeGMP99
Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron A. Peled:
State Space Reduction Using Partial Order Techniques. 279-287
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/PixleyS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/PixleyS99
Carl Pixley, Vigyan Singhal:
Model Checking: A Hardware Design Perspective. 288-306

Regular Contribution

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Jay99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Jay99
C. Barry Jay:
Programming in FISh. 307-315

Volume 2, Number 4, 2000

The Opinion Corner

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AvruninCD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AvruninCD00
George S. Avrunin, James C. Corbett, Matthew B. Dwyer:
Benchmarking Finite-State Verifiers. 317-320

Special Section on SPIN

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HolzmannNS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HolzmannNS00
Gerard J. Holzmann, Elie Najm, Ahmed Serhrouchni:
SPIN Model Checking: An Introduction. 321-327
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KestenP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KestenP00
Yonit Kesten, Amir Pnueli:
Control and Data Abstraction: The Cornerstones of Practical Formal Verification. 328-342
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/MillettT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MillettT00
Lynette I. Millett, Tim Teitelbaum:
Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation. 343-349
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/VisserB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/VisserB00
Willem Visser, Howard Barringer:
Practical CTL^* Model Checking: Should SPIN be Extended? 350-365
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HavelundP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HavelundP00
Klaus Havelund, Thomas Pressburger:
Model Checking JAVA Programs using JAVA PathFinder. 366-381
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/VriesT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/VriesT00
René G. de Vries, Jan Tretmans:
On-the-fly Conformance Testing using SPIN. 382-393
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KamelL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KamelL00
Moataz Kamel, Stefan Leue:
Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. 394-409

Regular Contribution

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/CimattiCGR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/CimattiCGR00
Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri:
NUSMV: A New Symbolic Model Checker. 410-425

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.