Michal Young

	2011
40		Stuart R. Faulk, Michal Young, David Weiss, Lian Yu: Collaborative teaching of globally distributed software development: community building workshop (CTGDSD 2011). ICSE 2011: 1208-1209
39		Matteo Rossi, Michal Young: SCORE 2011: the second student contest on software engineering. ICSE 2011: 1232-1233
	2010
38		Michal Young, Stuart R. Faulk: Sharing what we know about software engineering. FoSER 2010: 439-442
37		Sarah A. Douglas, Arthur M. Farley, Ginnie Lo, Andrzej Proskurowski, Michal Young: Internationalization of computer science education. SIGCSE 2010: 411-415
36		Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young: SCORE: the first student contest on software engineering. ACM SIGSOFT Software Engineering Notes 35(4): 24-30 (2010)
	2009
35		Alessio Gambi, Mauro Pezzè, Michal Young: SLA Protection models for virtualized data centers. SEAMS 2009: 10-19
	2008
34		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
33		Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young: General and efficient locking without blocking. MSPC 2008: 1-5
	2007
32		Mauro Pezzè, Michal Young: Software testing and analysis - process, principles and techniques. Wiley 2007: I-XXII, 1-488
31		Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young: Transactions with isolation and cooperation. OOPSLA 2007: 191-210
30		Emanuela Merelli, Michal Young: Validating MAS simulation models with mutation. Multiagent and Grid Systems 3(2): 225-243 (2007)
	2006
29		Michal Young, Premkumar T. Devanbu: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006 ACM 2006
	2005
28		Luciano Baresi, Michal Young: Toward Translating Design Constraints to Run-Time Assertions. Electr. Notes Theor. Comput. Sci. 116: 73-84 (2005)
	2004
27		Mauro Pezzè, Michal Young: Testing Object Oriented Software. ICSE 2004: 739-740
26		Xiaofang Zhang, Michal Young, John Howard Eli Fiskio-Lasseter: Refining code-design mapping with flow analysis. SIGSOFT FSE 2004: 231-240
	2003
25		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
24		Michal Young: Symbiosis of Static Analysis and Program Testing. FASE 2003: 1-5
	2002
23		Will Tracz, Michal Young, Jeff Magee: Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA ACM 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	[28]
3	Gerald Baumgartner	[17]
4	Reimer Behrends	[31] [33]
5	Frank C. Belz	[3]
6	Debra Brodbeck	[5] [11]
7	Sergey Butkevich	[17]
8	Yung-Pin Cheng	[25]
9	Lori A. Clarke	[3]
10	Premkumar T. Devanbu	[29]
11	Sarah A. Douglas	[37]
12	Arthur M. Farley	[37]
13	Stuart R. Faulk	[38] [40]
14	Stephen Fickas	[36]
15	John Howard Eli Fiskio-Lasseter	[22] [26]
16	K. Forester	[5]
17	Carlo A. Furia	[36]
18	Alessio Gambi	[35]
19	Che-Ling Huang	[25]
20	Mehdi Jazayeri	[36]
21	Anthony Kay	[31] [33]
22	Cheryl D. Kelly	[4]
23	Shriram Krishnamurthi	[34]
24	David L. Levine	[11]
25	Ginnie Lo	[37]
26	Jeff Magee (Jeff N. Magee)	[23]
27	Dino Mandrioli	[36]
28	Emanuela Merelli	[30]
29	Kari A. Nies	[11]
30	Leon J. Osterweil	[3]
31	Chia-Yi Pan	[25]
32	Christina Pavlopoulou	[16]
33	Mauro Pezzè	[10] [13] [15] [27] [32] [35]
34	Andrzej Proskurowski	[37]
35	Marco Renedo	[17]
36	Rita V. Rodríguez	[9]
37	Matteo Rossi	[36] [39]
38	Richard W. Selby	[3]
39	LihChyun Shu	[18] [20] [21]
40	Yannis Smaragdakis	[31] [33]
41	Richard N. Taylor	[1] [2] [3] [4] [5] [6] [10] [11]
42	Will Tracz	[23]
43	Dennis B. Troup	[1] [4]
44	David Weiss	[40]
45	Jack C. Wileden	[3]
46	Alexander L. Wolf	[3]
47	Lu Xu	[12]
48	Wei Jen Yeh	[7]
49	Lian Yu	[40]
50	Xiaofang Zhang	[26]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page