Michal Young

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
31EEYannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young: General and efficient locking without blocking. MSPC 2008: 1-5
30EEYannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young: Transactions with isolation and cooperation. OOPSLA 2007: 191-210
29EEEmanuela Merelli, Michal Young: Validating MAS simulation models with mutation. Multiagent and Grid Systems 3(2): 225-243 (2007)
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
27EELuciano Baresi, Michal Young: Toward Translating Design Constraints to Run-Time Assertions. Electr. Notes Theor. Comput. Sci. 116: 73-84 (2005)
26EEMauro Pezzè, Michal Young: Testing Object Oriented Software. ICSE 2004: 739-740
25EEXiaofang Zhang, Michal Young, John Howard Eli Fiskio-Lasseter: Refining code-design mapping with flow analysis. SIGSOFT FSE 2004: 231-240
24EEYung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan: Towards scalable compositional analysis by refactoring design models. ESEC / SIGSOFT FSE 2003: 247-256
23EEMichal Young: Symbiosis of Static Analysis and Program Testing. FASE 2003: 1-5
22EEJohn Howard Eli Fiskio-Lasseter, Michal Young: Flow equations as a generic programming tool for manipulation of attributed graphs. PASTE 2002: 69-76
21EELihChyun Shu, Michal Young: Versioning concurrency control for hard real-time systems. Journal of Systems and Software 63(3): 201-218 (2002)
20EELihChyun 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)
18EELihChyun Shu, Michal Young: Chopping and versioning real-time transactions to avoid remote blocking. RTCSA 2000: 93-101
17EESergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young: Compiler and tool support for debugging object protocols. SIGSOFT FSE 2000: 50-59
16EEChristina Pavlopoulou, Michal Young: Residual Test Coverage Monitoring. ICSE 1999: 277-284
15EEMauro Pezzè, Michal Young: Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. ICSE 1997: 239-249
14EEMichal Young: ICSE 97 Doctoral Consortium (Workshop Summary). ICSE 1997: 680-681
13EEMauro Pezzè, Michal Young: Generation of Multi-Formalism State-Space Analysis Tools. ISSTA 1996: 172-179
12EELu Xu, Michal Young: Two Dimensional Concurrent Program Debugging. APSEC 1995: 76-85
11EEMichal 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)
10EEMauro Pezzè, Richard N. Taylor, Michal Young: Graph Models for Reachability of Concurrent Programs. ACM Trans. Softw. Eng. Methodol. 4(2): 171-213 (1995)
9 Frank D. Anger, Rita V. Rodríguez, Michal Young: Combining Static and Dynamic Analysis of Concurrent Programs. ICSM 1994: 89-98
8EEMichal Young: State-Space Analysis as an Aid to Testing (Abstract). ISSTA 1994: 203
7EEWei Jen Yeh, Michal Young: Compositional Reachability Analysis Using Process Algebra. Symposium on Testing, Analysis, and Verification 1991: 49-59
6 Michal Young, Richard N. Taylor: Rethinking the Taxonomy of Fault Detection Techniques. ICSE 1989: 53-62
5EEMichal 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
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
2EEMichal Young, Richard N. Taylor: Combining Static Concurrency Analysis with Symbolic Execution. IEEE Trans. Software Eng. 14(10): 1499-1511 (1988)
1EEMichal 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)