dblp.uni-trier.dewww.uni-trier.de

Barbara J. Czerny

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2000
6 Mats Per Erik Heimdahl, Barbara J. Czerny: On the analysis needs when verifying state-based software requirements: an experience report. Sci. Comput. Program. 36(1): 65-96 (2000)
1999
5EEBarbara J. Czerny, Mats Per Erik Heimdahl: Identifying Domain Axioms Using Binary Decision Diagrams. HASE 1999: 132-140
1998
4EEBarbara J. Czerny, Mats Per Erik Heimdahl: Automated Integrative Analysis of State-based Requirements. ASE 1998: 125-
3EEDavid Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill: Checking properties of safety critical specifications using efficient decision procedures. FMSP 1998: 34-43
2 Mats Per Erik Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny: Specification and Analysis of Intercomponent Communication. IEEE Computer 31(4): 47-54 (1998)
1996
1EEMats Per Erik Heimdahl, Barbara J. Czerny: Using PVS to analyze hierarchical state-based requirements for completeness and consistency. HASE 1996: 252-262

Coauthor Index

1David L. Dill [3]
2Mats Per Erik Heimdahl [1] [2] [3] [4] [5] [6]
3David Y. W. Park [3]
4Jens U. Skakkebæk [3]
5Jeffrey M. Thompson [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)