Design Principles behind Chiron: A UIMS for Software Environments. - Michal Young; Richard N. Taylor; Dennis B. Troup; Cheryl D. Kelly (ICSE, 1988)

Foundations for the Arcadia Environment Architecture. - Richard N. Taylor; Frank C. Belz; Lori A. Clarke; Leon J. Osterweil; Richard W. Selby; Jack C. Wileden; Alexander L. Wolf; Michal Young (Software Development Environments (SDE), 1988)

Combining Static Concurrency Analysis with Symbolic Execution. - Michal Young; Richard N. Taylor (IEEE Trans. Software Eng., 1988)

Software Environment Architectures and User Interface Facilities. - Michal Young; Richard N. Taylor; Dennis B. Troup (IEEE Trans. Software Eng., 1988)

Rethinking the Taxonomy of Fault Detection Techniques. - Michal Young; Richard N. Taylor (ICSE, 1989)

Integrated Concurrency Analysis in a Software Development Enviornment. - Michal Young; Richard N. Taylor; K. Forester; Debra Brodbeck (Symposium on Testing, Analysis, and Verification, 1989)

Compositional Reachability Analysis Using Process Algebra. - Wei Jen Yeh; Michal Young (Symposium on Testing, Analysis, and Verification, 1991)

Combining Static and Dynamic Analysis of Concurrent Programs. - Frank D. Anger; Rita V. Rodríguez; Michal Young (ICSM, 1994)

State-Space Analysis as an Aid to Testing (Abstract). - Michal Young (ISSTA, 1994)

Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study. - Wei Jen Yeh; Michal Young (Softw. Test. Verification Reliab., 1994)

Two Dimensional Concurrent Program Debugging. - Lu Xu; Michal Young (APSEC, 1995)

Graph Models for Reachability of Concurrent Programs. - Mauro Pezzè; Richard N. Taylor; Michal Young (ACM Trans. Softw. Eng. Methodol., 1995)

A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience. - Michal Young; Richard N. Taylor; David L. Levine; Kari A. Nies; Debra Brodbeck (ACM Trans. Softw. Eng. Methodol., 1995)

Generation of Multi-Formalism State-Space Analysis Tools. - Mauro Pezzè; Michal Young (ISSTA, 1996)

Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. - Mauro Pezzè; Michal Young (ICSE, 1997)

ICSE 97 Doctoral Consortium (Workshop Summary). - Michal Young (ICSE, 1997)

Residual Test Coverage Monitoring. - Christina Pavlopoulou; Michal Young (ICSE, 1999)

Chopping and versioning real-time transactions to avoid remote blocking. - LihChyun Shu; Michal Young (RTCSA, 2000)

Compiler and tool support for debugging object protocols. - Sergey Butkevich; Marco Renedo; Gerald Baumgartner; Michal Young (SIGSOFT FSE, 2000)

High assurance technologies. - Michal Young (ACM SIGSOFT Softw. Eng. Notes, 2000)

Fault-Tolerant Scheduling under Time and Resource Constraints. - LihChyun Shu; Michal Young (IEEE Real Time Technology and Applications Symposium, 2001)

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. - Michal Young (Comput. Syst. Sci. Eng., 2001)

Flow equations as a generic programming tool for manipulation of attributed graphs. - John Howard Eli Fiskio-Lasseter; Michal Young (PASTE, 2002)

Versioning concurrency control for hard real-time systems. - LihChyun Shu; Michal Young (J. Syst. Softw., 2002)

Symbiosis of Static Analysis and Program Testing. - Michal Young (FASE, 2003)

Towards scalable compositional analysis by refactoring design models. - Yung-Pin Cheng; Michal Young; Che-Ling Huang; Chia-Yi Pan (ESEC / SIGSOFT FSE, 2003)

Testing Object Oriented Software. - Mauro Pezzè; Michal Young (ICSE, 2004)

Refining code-design mapping with flow analysis. - Xiaofang Zhang; Michal Young; John Howard Eli Fiskio-Lasseter (SIGSOFT FSE, 2004)

Toward Translating Design Constraints to Run-Time Assertions. - Luciano Baresi; Michal Young (TACoS, 2004)

Software testing and analysis - process, principles and techniques. - Mauro Pezzè; Michal Young (Wiley, 2007)

Transactions with isolation and cooperation. - Yannis Smaragdakis; Anthony Kay; Reimer Behrends; Michal Young (OOPSLA, 2007)

Validating MAS simulation models with mutation. - Emanuela Merelli; Michal Young (Multiagent Grid Syst., 2007)

General and efficient locking without blocking. - Yannis Smaragdakis; Anthony Kay; Reimer Behrends; Michal Young (MSPC, 2008)

SLA Protection models for virtualized data centers. - Alessio Gambi; Mauro Pezzè; Michal Young (SEAMS, 2009)

Computing and Diagnosing Changes in Unit Test Energy Consumption. - Amy J. Ko; Michal Young; Jamie Andrews; Brian P. Robinson; Mark Grechanik (Practical Software Testing: Tool Automation and Human Factors, 2010)

Internationalization of computer science education. - Sarah A. Douglas; Arthur M. Farley; Ginnie Lo; Andrzej Proskurowski; Michal Young (SIGCSE, 2010)

Sharing what we know about software engineering. - Michal Young; Stuart R. Faulk (FoSER, 2010)

SCORE: the first student contest on software engineering. - Dino Mandrioli; Stephen Fickas; Carlo A. Furia; Mehdi Jazayeri; Matteo Rossi 001; Michal Young (ACM SIGSOFT Softw. Eng. Notes, 2010)

Collaborative teaching of globally distributed software development: community building workshop (CTGDSD 2011). - Stuart R. Faulk; Michal Young; David M. Weiss 001; Lian Yu (ICSE, 2011)

SCORE 2011: the second student contest on software engineering. - Matteo Rossi 001; Michal Young (ICSE, 2011)

Teaching Globally Distributed Software Development: An Experience Report. - Eduardo Santana de Almeida; Dali Li; Stuart R. Faulk; Crescencio Lima; Rui Zhang; David M. Weiss 001; Jin Ying; Michal Young; Lian Yu (CSEE&T, 2012)

Intensive international Summer Schools in Global Distributed Software Development. - Arthur M. Farley; Stuart R. Faulk; Virginia Lo; Andrzej Proskurowski; Michal Young (FIE, 2012)

The MGIS: a minimal geographic information system accessible to users who are blind. - Megen E. Brittell; Michal Young; Amy Lobben (SIGSPATIAL/GIS, 2013)

3rd international workshop on collaborative teaching of globally distributed software development (CTGDSD 2013). - Stuart R. Faulk; Michal Young; Rafael Prikladnicki; David M. Weiss 001; Lian Yu (ICSE, 2013)

Second-Order Constraints in Dynamic Invariant Inference. - Kaituo Li; Christoph Reichenbach; Yannis Smaragdakis; Michal Young (Software Engineering, 2014)

Using Process Mining to Measure the Expected Costs of Business Processes. - Bo Hsiao; LihChyun Shu; Michal Young; Hsueh-Ching Yang (PACIS, 2016)

Extending Existing Inference Tools to Mine Dynamic APIs. - Ziyad Alsaeed; Michal Young (WAPI@ICSE, 2018)

Finding Short Slow Inputs Faster with Grammar-Based Search. - Ziyad Alsaeed; Michal Young (ISSTA, 2023)

TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break. - Ziyad Alsaeed; Michal Young (ISSTA, 2023)