| 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 | EE | Yannis Smaragdakis,
Anthony Kay,
Reimer Behrends,
Michal Young:
General and efficient locking without blocking.
MSPC 2008: 1-5 |
| 2007 |
|---|
| 30 | EE | Yannis Smaragdakis,
Anthony Kay,
Reimer Behrends,
Michal Young:
Transactions with isolation and cooperation.
OOPSLA 2007: 191-210 |
| 29 | EE | 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 | EE | Luciano Baresi,
Michal Young:
Toward Translating Design Constraints to Run-Time Assertions.
Electr. Notes Theor. Comput. Sci. 116: 73-84 (2005) |
| 2004 |
|---|
| 26 | EE | Mauro Pezzè,
Michal Young:
Testing Object Oriented Software.
ICSE 2004: 739-740 |
| 25 | EE | Xiaofang Zhang,
Michal Young,
John Howard Eli Fiskio-Lasseter:
Refining code-design mapping with flow analysis.
SIGSOFT FSE 2004: 231-240 |
| 2003 |
|---|
| 24 | EE | 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 | EE | Michal Young:
Symbiosis of Static Analysis and Program Testing.
FASE 2003: 1-5 |
| 2002 |
|---|
| 22 | EE | John Howard Eli Fiskio-Lasseter,
Michal Young:
Flow equations as a generic programming tool for manipulation of attributed graphs.
PASTE 2002: 69-76 |
| 21 | EE | LihChyun Shu,
Michal Young:
Versioning concurrency control for hard real-time systems.
Journal of Systems and Software 63(3): 201-218 (2002) |
| 2001 |
|---|
| 20 | EE | 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 | EE | LihChyun Shu,
Michal Young:
Chopping and versioning real-time transactions to avoid remote blocking.
RTCSA 2000: 93-101 |
| 17 | EE | Sergey Butkevich,
Marco Renedo,
Gerald Baumgartner,
Michal Young:
Compiler and tool support for debugging object protocols.
SIGSOFT FSE 2000: 50-59 |
| 1999 |
|---|
| 16 | EE | Christina Pavlopoulou,
Michal Young:
Residual Test Coverage Monitoring.
ICSE 1999: 277-284 |
| 1997 |
|---|
| 15 | EE | Mauro Pezzè,
Michal Young:
Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models.
ICSE 1997: 239-249 |
| 14 | EE | Michal Young:
ICSE 97 Doctoral Consortium (Workshop Summary).
ICSE 1997: 680-681 |
| 1996 |
|---|
| 13 | EE | Mauro Pezzè,
Michal Young:
Generation of Multi-Formalism State-Space Analysis Tools.
ISSTA 1996: 172-179 |
| 1995 |
|---|
| 12 | EE | Lu Xu,
Michal Young:
Two Dimensional Concurrent Program Debugging.
APSEC 1995: 76-85 |
| 11 | EE | 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 | EE | 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 | EE | Michal Young:
State-Space Analysis as an Aid to Testing (Abstract).
ISSTA 1994: 203 |
| 1991 |
|---|
| 7 | EE | 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 | EE | 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 | EE | Michal Young,
Richard N. Taylor:
Combining Static Concurrency Analysis with Symbolic Execution.
IEEE Trans. Software Eng. 14(10): 1499-1511 (1988) |
| 1 | EE | Michal Young,
Richard N. Taylor,
Dennis B. Troup:
Software Environment Architectures and User Interface Facilities.
IEEE Trans. Software Eng. 14(6): 697-708 (1988) |
