C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
WIFT
1995
1996
1997
1998
1995
1998
Keyphrases
Publications
1998
Kasilingam Periyasamy
,
Vangalur S. Alagar
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems.
WIFT
(1998)
Lars Mats
Selection Criteria for Automated TTCN Test Case Generation from SDL.
WIFT
(1998)
2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA
WIFT
(1998)
Constance L. Heitmeyer
Using the SCR* Toolset to Specify Software Requirements.
WIFT
(1998)
Erich Mikk
,
Yassine Lakhnech
,
Michael Siegel
,
Gerard J. Holzmann
Implementing Statecharts in PROMELA/SPIN.
WIFT
(1998)
Andy S. Evans
Reasoning with UML Class Diagrams.
WIFT
(1998)
Beat Koch
,
Jens Grabowski
,
Dieter Hogrefe
,
Michael Schmitt
Autolink: A Tool for Automatic Test Generation from SDL Specifications.
WIFT
(1998)
Patrice Godefroid
,
John Kelly
,
Steven P. Miller
,
Frank Weil
Transferring Formal Methods Technology to Industry.
WIFT
(1998)
Steven P. Mille
The Industrial Use of Formal Methods: Was Darwin Right?
WIFT
(1998)
Frank Weil
WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processe.
WIFT
(1998)
Martin S. Feather
,
Julia R. Dunphy
,
Nicolas Rouquette
"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation.
WIFT
(1998)
Mark R. Blackburn
T-VECTM Product Summary.
WIFT
(1998)
Betty H. C. Cheng
A Discussion About Integrated Techniques.
WIFT
(1998)
Shaoying Liu
,
Masashi Asuka
,
Kiyotoshi Komaya
,
Yasuaki Nakamura
Applying SOFL to Specify A Railway Crossing Controller for Industry.
WIFT
(1998)
Siddhartha R. Dalal
,
Ashish Jain
,
Gardner C. Patton
,
Manish Rathi
,
Paul D. Seymour
AETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional Requirements.
WIFT
(1998)
Anthony Hall
What Does Industry Need From Formal Specification Techniques?
WIFT
(1998)
Mark R. Blackburn
,
Robert Busser
Requirements for Industrial-Strength Formal Method Tools.
WIFT
(1998)
Paul Dietz
,
Thomas Weigert
,
Frank Weil
Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications.
WIFT
(1998)
Jean-Michel Bruel
Integrating Formal and Informal Specification Techniques. Why? How?
WIFT
(1998)
Mats Per Erik Heimdahl
,
Constance L. Heitmeyer
Formal Methods For Developing High Assurance Computer Systems: Working Group Report.
WIFT
(1998)
1995
David Hamilton
,
Richard Covington
,
John Kelly
,
Carron Kirkwood
,
Muffy Thomas
,
Alan R. Flora-Holmquist
,
Mark G. Staskauskas
,
Steven P. Miller
,
Mandayam K. Srivas
,
George Cleland
,
Donald MacKenzie
Experiences in applying formal methods to the analysis of software and system requirements.
WIFT
(1995)
Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995
WIFT
(1995)
Carron Kirkwood
,
Muffy Thomas
Experiences with specification and verification in LOTOS: a report on two case studies.
WIFT
(1995)
Alan R. Flora-Holmquist
,
Mark G. Staskauskas
Formal validation of virtual finite state machines.
WIFT
(1995)
C. Minkowitz
,
D. Rann
,
J. H. Turner
A C++ library for implementing specifications.
WIFT
(1995)
Vicky Hartonas-Garmhausen
,
Thomas R. Kurfess
,
Edmund M. Clarke
,
David E. Long
Automatic verification of industrial designs.
WIFT
(1995)
Leonor Maria Melo Torcato Barroca
,
John S. Fitzgerald
,
L. Spencer
The architectural specification of an avionic subsystem.
WIFT
(1995)
Jonathan S. Ostroff
Automated modular specification and verification of real-time reactive systems.
WIFT
(1995)
George Cleland
,
Donald MacKenzie
Inhibiting factors, market structure and the industrial uptake of formal methods.
WIFT
(1995)
Jon Hagar
,
James M. Bieman
Adding formal specifications to a proven V&V process for system-critical flight software.
WIFT
(1995)
Michael Ingleby
,
David J. Mee
A calculus of hazard for railway signalling.
WIFT
(1995)
Lalita Jategaonkar Jagadeesan
,
Carlos Puchol
,
James Von Olnhausen
A formal approach to reactive systems software: a telecommunications application in ESTEREL.
WIFT
(1995)
Sérgio Vale Aguiar Campos
,
Edmund M. Clarke
,
Wilfredo R. Marrero
,
Marius Minea
Timing analysis of industrial real-time systems.
WIFT
(1995)
Steven P. Miller
,
Mandayam K. Srivas
Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods.
WIFT
(1995)