WIFT - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

1998

2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT 98), October 20-23, 1998, Boca Raton, FL, USAIEEE Computer Society, 1998.

T-VECTM Product SummaryMark R. Blackburn. wift 1998: 86 [doi]

Requirements for Industrial-Strength Formal Method ToolsMark R. Blackburn, Robert Busser. wift 1998: 137 [doi]

Integrating Formal and Informal Specification Techniques. Why? How?Jean-Michel Bruel. wift 1998: 50 [doi]

A Discussion About Integrated TechniquesBetty H. C. Cheng. wift 1998: 65 [doi]

AETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional RequirementsSiddhartha R. Dalal, Ashish Jain, Gardner C. Patton, Manish Rathi, Paul D. Seymour. wift 1998: 84-85 [doi]

Formal Techniques for Automatically Generating Marshalling Code from High-Level SpecificationsPaul Dietz, Thomas Weigert, Frank Weil. wift 1998: 40 [doi]

Reasoning with UML Class DiagramsAndy S. Evans. wift 1998: 102-113 [doi]

Pushbutton Analysis Via Integration Of Industrial Tools With Formal ValidationMartin S. Feather, Julia R. Dunphy, Nicolas Rouquette. wift 1998: 140 [doi]

Transferring Formal Methods Technology to IndustryPatrice Godefroid, John Kelly, Steven P. Miller, Frank Weil. wift 1998: 128 [doi]

What Does Industry Need From Formal Specification Techniques?Anthony Hall. wift 1998: 2 [doi]

Formal Methods For Developing High Assurance Computer Systems: Working Group ReportMats Per Erik Heimdahl, Constance L. Heitmeyer. wift 1998: 60 [doi]

Using the SCR* Toolset to Specify Software RequirementsConstance L. Heitmeyer. wift 1998: 12 [doi]

Autolink: A Tool for Automatic Test Generation from SDL SpecificationsBeat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt II. wift 1998: 114 [doi]

Applying SOFL to Specify A Railway Crossing Controller for IndustryShaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura. wift 1998: 16-27 [doi]

Selection Criteria for Automated TTCN Test Case Generation from SDLLars Mats. wift 1998: 10-11 [doi]

Implementing Statecharts in PROMELA/SPINErich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann. wift 1998: 90-101 [doi]

The Industrial Use of Formal Methods: Was Darwin Right?Steven P. Mille. wift 1998: 74 [doi]

Adding Real-Time Filters to Object-Oriented Specification of Time Critical SystemsKasilingam Periyasamy, Vangalur S. Alagar. wift 1998: 28-39 [doi]

WIFT 98 Working Group Report: Incorporating Formal Methods into Industrial ProcesseFrank Weil. wift 1998: 134 [doi]

1995

Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995IEEE Computer Society, 1995. [doi]

The architectural specification of an avionic subsystemL. M. Barroca, John S. Fitzgerald, L. Spencer. wift 1995: 17-29 [doi]

Timing analysis of industrial real-time systemsSérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea. wift 1995: 97-107 [doi]

Inhibiting factors, market structure and the industrial uptake of formal methodsGeorge Cleland, Donald MacKenzie. wift 1995: 46-60 [doi]

Formal validation of virtual finite state machinesAlan R. Flora-Holmquist, Mark G. Staskauskas. wift 1995: 122-129 [doi]

Adding formal specifications to a proven V&V process for system-critical flight softwareJon Hagar, James M. Bieman. wift 1995: 76-85 [doi]

Experiences in applying formal methods to the analysis of software and system requirementsDavid 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. wift 1995: 30-43 [doi]

Automatic verification of industrial designsVicky Hartonas-Garmhausen, T. Kurfess, Edmund M. Clarke, David E. Long. wift 1995: 88-96 [doi]

A calculus of hazard for railway signallingMichael Ingleby, David J. Mee. wift 1995: 146-158 [doi]

A formal approach to reactive systems software: a telecommunications application in ESTERELLalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen. wift 1995: 132-145 [doi]

Experiences with specification and verification in LOTOS: a report on two case studiesCarron Kirkwood, Muffy Thomas. wift 1995: 159-171 [doi]

Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methodsSteven P. Miller, Mandayam K. Srivas. wift 1995: 2-16 [doi]

A C++ library for implementing specificationsC. Minkowitz, D. Rann, J. H. Turner. wift 1995: 61-75 [doi]

Automated modular specification and verification of real-time reactive systemsJonathan S. Ostroff. wift 1995: 108-121 [doi]

Sign in or sign up to see more results.

runs on WebDSL