Michal Young - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Collaborative teaching of globally distributed software development: community building workshop (CTGDSD 2011)Stuart R. Faulk, Michal Young, David Weiss, Lian Yu. ICSE 2011: 1208-1209 [doi]

SCORE 2011: the second student contest on software engineeringMatteo Rossi, Michal Young. ICSE 2011: 1232-1233 [doi]

2010

2009

SLA Protection models for virtualized data centersAlessio Gambi, Mauro Pezzè, Michal Young. ICSE 2009: 10-19 [doi]

2008

Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 08, Atlanta, Georgia, November 9-10, 2008Shriram Krishnamurthi, Michal Young, editors, ACM, 2008.

General and efficient locking without blockingYannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young. asplos 2008: 1-5 [doi]

2007

Validating MAS simulation models with mutationEmanuela Merelli, Michal Young. mags, 3(2):225-243, 2007. [doi]

Software testing and analysis - process, principles and techniquesMauro Pezzè, Michal Young. Wiley, 2007.

Transactions with isolation and cooperationYannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young. OOPSLA 2007: 191-210 [doi]

2006

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2005, Portland, Oregon, USA, November 5-11, 2006Michal Young, Premkumar T. Devanbu, editors, ACM, 2006.

2005

Toward Translating Design Constraints to Run-Time AssertionsLuciano Baresi, Michal Young. ENTCS, 116:73-84, 2005. [doi]

2004

Testing Object Oriented SoftwareMauro Pezzè, Michal Young. ICSE 2004: 739-740 [doi]

Refining code-design mapping with flow analysisXiaofang Zhang, Michal Young, John Howard Eli Fiskio-Lasseter. ESEC/FSE 2004: 231-240 [doi]

2003

Towards scalable compositional analysis by refactoring design modelsYung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan. ESEC/FSE 2003: 247-256 [doi]

Symbiosis of Static Analysis and Program TestingMichal Young. FASE 2003: 1-5 [doi]

2002

Flow equations as a generic programming tool for manipulation of attributed graphsJohn Howard Eli Fiskio-Lasseter, Michal Young. PASTE 2002: 69-76 [doi]

Versioning concurrency control for hard real-time systemsLihChyun Shu, Michal Young. jss, 63(3):201-218, 2002. [doi]

2001

Fault-Tolerant Scheduling under Time and Resource ConstraintsLihChyun Shu, Michal Young. rtas 2001: 117-119 [doi]

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 researchMichal Young. csse, 16(3):153-155, 2001.

2000

Compiler and tool support for debugging object protocolsSergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young. ESEC/FSE 2000: 50-59 [doi]

Chopping and versioning real-time transactions to avoid remote blockingLihChyun Shu, Michal Young. rtcsa 2000: 93-101 [doi]

1999

Residual Test Coverage MonitoringChristina Pavlopoulou, Michal Young. ICSE 1999: 277-284 [doi]

1997

Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of ModelsMauro Pezzè, Michal Young. ICSE 1997: 239-249 [doi]

ICSE 97 Doctoral Consortium (Workshop Summary)Michal Young. ICSE 1997: 680-681 [doi]

1996

Generation of Multi-Formalism State-Space Analysis ToolsMauro Pezzè, Michal Young. ISSTA 1996: 172-179 [doi]

1995

Graph Models for Reachability of Concurrent ProgramsMauro Pezzè, Richard N. Taylor, Michal Young. TOSEM, 4(2):171-213, 1995. [doi]

Two Dimensional Concurrent Program DebuggingLu Xu, Michal Young. apsec 1995: 76-85 [doi]

A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary ExperienceMichal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, Debra Brodbeck. TOSEM, 4(1):65-106, 1995. [doi]

1994

Combining Static and Dynamic Analysis of Concurrent ProgramsFrank D. Anger, Rita V. Rodríguez, Michal Young. ICSM 1994: 89-98

State-Space Analysis as an Aid to Testing (Abstract)Michal Young. ISSTA 1994: 203 [doi]

1991

Compositional Reachability Analysis Using Process AlgebraWei Jen Yeh, Michal Young. ISSTA 1991: 49-59 [doi]

1989

Rethinking the Taxonomy of Fault Detection TechniquesMichal Young, Richard N. Taylor. ICSE 1989: 53-62

Integrated Concurrency Analysis in a Software Development EnviornmentMichal Young, Richard N. Taylor, K. Forester, Debra Brodbeck. ISSTA 1989: 200-209 [doi]

1988