☰

Michal Young

Affiliations: 
Purdue University, West Lafayette, IN, United States 
Area:
Computer Science
Google:
"Michal Young"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Yung-Pin Cheng grad student 2000 Purdue

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Baresi L, Young M. (2005) Toward Translating Design Constraints to Run-Time Assertions Electronic Notes in Theoretical Computer Science. 116: 73-84
Young M, Taylor RN, Levine DL, et al. (1995) A concurrency analysis tool suite for Ada programs: rationale, design, and preliminary experience Acm Transactions On Software Engineering and Methodology. 4: 65-106
Young M, Taylor R, Forester K, et al. (1989) Integrated concurrency analysis in a software development enviornment Acm Sigsoft Software Engineering Notes. 14: 200-209
Young M, Taylor RN. (1988) Combining static concurrency analysis with symbolic execution Ieee Transactions On Software Engineering. 14: 1499-1511
See more...