Barbara J. Czerny

	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
5		Barbara J. Czerny, Mats Per Erik Heimdahl: Identifying Domain Axioms Using Binary Decision Diagrams. HASE 1999: 132-140
	1998
4		Barbara J. Czerny, Mats Per Erik Heimdahl: Automated Integrative Analysis of State-based Requirements. ASE 1998: 125-
3		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
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
1		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

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

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page