Michal Young

	2008
32		Shriram Krishnamurthi, Michal Young: Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008 ACM 2008
31		Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young: General and efficient locking without blocking. MSPC 2008: 1-5
	2007
30		Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young: Transactions with isolation and cooperation. OOPSLA 2007: 191-210
29		Emanuela Merelli, Michal Young: Validating MAS simulation models with mutation. Multiagent and Grid Systems 3(2): 225-243 (2007)
	2006
28		Michal Young, Premkumar T. Devanbu: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2005, Portland, Oregon, USA, November 5-11, 2006 ACM 2006
	2005
27		Luciano Baresi, Michal Young: Toward Translating Design Constraints to Run-Time Assertions. Electr. Notes Theor. Comput. Sci. 116: 73-84 (2005)
	2004
26		Mauro Pezzè, Michal Young: Testing Object Oriented Software. ICSE 2004: 739-740
25		Xiaofang Zhang, Michal Young, John Howard Eli Fiskio-Lasseter: Refining code-design mapping with flow analysis. SIGSOFT FSE 2004: 231-240
	2003
24		Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan: Towards scalable compositional analysis by refactoring design models. ESEC / SIGSOFT FSE 2003: 247-256
23		Michal Young: Symbiosis of Static Analysis and Program Testing. FASE 2003: 1-5
	2002
22		John Howard Eli Fiskio-Lasseter, Michal Young: Flow equations as a generic programming tool for manipulation of attributed graphs. PASTE 2002: 69-76
21		LihChyun Shu, Michal Young: Versioning concurrency control for hard real-time systems. Journal of Systems and Software 63(3): 201-218 (2002)
	2001
20		LihChyun Shu, Michal Young: Fault-Tolerant Scheduling under Time and Resource Constraints. IEEE Real Time Technology and Applications Symposium 2001: 117-119
19		Michal Young: Neat models of messy problems: Notes on the interplay between solution- and problem-centered disciplines, and more particularly on the interaction between Petri net research and software engineering research. Comput. Syst. Sci. Eng. 16(3): 153-155 (2001)
	2000
18		LihChyun Shu, Michal Young: Chopping and versioning real-time transactions to avoid remote blocking. RTCSA 2000: 93-101
17		Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young: Compiler and tool support for debugging object protocols. SIGSOFT FSE 2000: 50-59
	1999
16		Christina Pavlopoulou, Michal Young: Residual Test Coverage Monitoring. ICSE 1999: 277-284
	1997
15		Mauro Pezzè, Michal Young: Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. ICSE 1997: 239-249
14		Michal Young: ICSE 97 Doctoral Consortium (Workshop Summary). ICSE 1997: 680-681
	1996
13		Mauro Pezzè, Michal Young: Generation of Multi-Formalism State-Space Analysis Tools. ISSTA 1996: 172-179
	1995
12		Lu Xu, Michal Young: Two Dimensional Concurrent Program Debugging. APSEC 1995: 76-85
11		Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, Debra Brodbeck: A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience. ACM Trans. Softw. Eng. Methodol. 4(1): 65-106 (1995)
10		Mauro Pezzè, Richard N. Taylor, Michal Young: Graph Models for Reachability of Concurrent Programs. ACM Trans. Softw. Eng. Methodol. 4(2): 171-213 (1995)
	1994
9		Frank D. Anger, Rita V. Rodríguez, Michal Young: Combining Static and Dynamic Analysis of Concurrent Programs. ICSM 1994: 89-98
8		Michal Young: State-Space Analysis as an Aid to Testing (Abstract). ISSTA 1994: 203
	1991
7		Wei Jen Yeh, Michal Young: Compositional Reachability Analysis Using Process Algebra. Symposium on Testing, Analysis, and Verification 1991: 49-59
	1989
6		Michal Young, Richard N. Taylor: Rethinking the Taxonomy of Fault Detection Techniques. ICSE 1989: 53-62
5		Michal Young, Richard N. Taylor, K. Forester, Debra Brodbeck: Integrated Concurrency Analysis in a Software Development Enviornment. Symposium on Testing, Analysis, and Verification 1989: 200-209
	1988
4		Michal Young, Richard N. Taylor, Dennis B. Troup, Cheryl D. Kelly: Design Principles behind Chiron: A UIMS for Software Environments. ICSE 1988: 367-376
3		Richard N. Taylor, Frank C. Belz, Lori A. Clarke, Leon J. Osterweil, Richard W. Selby, Jack C. Wileden, Alexander L. Wolf, Michal Young: Foundations for the Arcadia Environment Architecture. Software Development Environments (SDE) 1988: 1-13
2		Michal Young, Richard N. Taylor: Combining Static Concurrency Analysis with Symbolic Execution. IEEE Trans. Software Eng. 14(10): 1499-1511 (1988)
1		Michal Young, Richard N. Taylor, Dennis B. Troup: Software Environment Architectures and User Interface Facilities. IEEE Trans. Software Eng. 14(6): 697-708 (1988)

Coauthor Index

1	Frank D. Anger	[9]
2	Luciano Baresi	[27]
3	Gerald Baumgartner	[17]
4	Reimer Behrends	[30] [31]
5	Frank C. Belz	[3]
6	Debra Brodbeck	[5] [11]
7	Sergey Butkevich	[17]
8	Yung-Pin Cheng	[24]
9	Lori A. Clarke	[3]
10	Premkumar T. Devanbu	[28]
11	John Howard Eli Fiskio-Lasseter	[22] [25]
12	K. Forester	[5]
13	Che-Ling Huang	[24]
14	Anthony Kay	[30] [31]
15	Cheryl D. Kelly	[4]
16	Shriram Krishnamurthi	[32]
17	David L. Levine	[11]
18	Emanuela Merelli	[29]
19	Kari A. Nies	[11]
20	Leon J. Osterweil	[3]
21	Chia-Yi Pan	[24]
22	Christina Pavlopoulou	[16]
23	Mauro Pezzè	[10] [13] [15] [26]
24	Marco Renedo	[17]
25	Rita V. Rodríguez	[9]
26	Richard W. Selby	[3]
27	LihChyun Shu	[18] [20] [21]
28	Yannis Smaragdakis	[30] [31]
29	Richard N. Taylor	[1] [2] [3] [4] [5] [6] [10] [11]
30	Dennis B. Troup	[1] [4]
31	Jack C. Wileden	[3]
32	Alexander L. Wolf	[3]
33	Lu Xu	[12]
34	Wei Jen Yeh	[7]
35	Xiaofang Zhang	[25]

Colors in the list of coauthors