Barbara J. Czerny

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2000
j2		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
c4		Barbara J. Czerny, Mats Per Erik Heimdahl: Identifying Domain Axioms Using Binary Decision Diagrams. HASE 1999: 132-140
	1998
j1		Mats Per Erik Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny: Specification and Analysis of Intercomponent Communication. IEEE Computer 31(4): 47-54 (1998)
c3		David 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
c2		Barbara J. Czerny, Mats Per Erik Heimdahl: Automated Integrative Analysis of State-based Requirements. ASE 1998: 125-
	1996
c1		Mats Per Erik Heimdahl, Barbara J. Czerny: Using PVS to analyze hierarchical state-based requirements for completeness and consistency. HASE 1996: 252-262

Coauthor Index

Last update Fri May 24 20:50:39 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page