|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kasilingam Periyasamy, Vangalur S. Alagar |
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems.  |
WIFT  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Mats |
Selection Criteria for Automated TTCN Test Case Generation from SDL. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | |
2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA |
WIFT |
1998 |
DBLP BibTeX RDF |
|
| 1 | Constance L. Heitmeyer |
Using the SCR* Toolset to Specify Software Requirements. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann |
Implementing Statecharts in PROMELA/SPIN. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy S. Evans |
Reasoning with UML Class Diagrams. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt 0002 |
Autolink: A Tool for Automatic Test Generation from SDL Specifications. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil |
Transferring Formal Methods Technology to Industry. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven P. Mille |
The Industrial Use of Formal Methods: Was Darwin Right? |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Weil |
WIFT '98 Working Group Report: Incorporating Formal Methods into Industrial Processe. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin S. Feather, Julia R. Dunphy, Nicolas Rouquette |
"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark R. Blackburn |
T-VECTM Product Summary. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng |
A Discussion About Integrated Techniques. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura |
Applying SOFL to Specify A Railway Crossing Controller for Industry. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
formal engineering methods, formal speci_cation, railway crossing controller, Safety-critical systems, functional requirements, safety requirements |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall |
What Does Industry Need From Formal Specification Techniques? |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark R. Blackburn, Robert Busser |
Requirements for Industrial-Strength Formal Method Tools. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Dietz, Thomas Weigert, Frank Weil |
Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Bruel |
Integrating Formal and Informal Specification Techniques. Why? How? |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, Constance L. Heitmeyer |
Formal Methods For Developing High Assurance Computer Systems: Working Group Report. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995 |
WIFT |
1995 |
DBLP BibTeX RDF |
|
| 1 | Carron Kirkwood, Muffy Thomas |
Experiences with specification and verification in LOTOS: a report on two case studies. |
WIFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan R. Flora-Holmquist, Mark G. Staskauskas |
Formal validation of virtual finite state machines. |
WIFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Minkowitz, D. Rann, J. H. Turner |
A C++ library for implementing specifications. |
WIFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Vicky Hartonas-Garmhausen, Thomas R. Kurfess, Edmund M. Clarke, David E. Long |
Automatic verification of industrial designs. |
WIFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonor Maria Melo Torcato Barroca, John S. Fitzgerald, L. Spencer |
The architectural specification of an avionic subsystem. |
WIFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan S. Ostroff |
Automated modular specification and verification of real-time reactive systems. |
WIFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | George Cleland, Donald MacKenzie |
Inhibiting factors, market structure and the industrial uptake of formal methods. |
WIFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Hagar, James M. Bieman |
Adding formal specifications to a proven V&V process for system-critical flight software. |
WIFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Ingleby, David J. Mee |
A calculus of hazard for railway signalling. |
WIFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen |
A formal approach to reactive systems software: a telecommunications application in ESTEREL. |
WIFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea |
Timing analysis of industrial real-time systems. |
WIFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven P. Miller, Mandayam K. Srivas |
Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods. |
WIFT |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license