Michal Young

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 4

Top Topics

Probabilistic Inference

Business Processes

Application Programming Interfaces

Geographic Information

Top Venues

ESEC/SIGSOFT FSE

Publications

Ziyad Alsaeed, Michal Young
TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break. ISSTA (2023)
Ziyad Alsaeed, Michal Young
Finding Short Slow Inputs Faster with Grammar-Based Search. ISSTA (2023)
Ziyad Alsaeed, Michal Young
Extending Existing Inference Tools to Mine Dynamic APIs. WAPI@ICSE (2018)
Bo Hsiao, LihChyun Shu, Michal Young, Hsueh-Ching Yang
Using Process Mining to Measure the Expected Costs of Business Processes. PACIS (2016)
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young
Second-Order Constraints in Dynamic Invariant Inference. Software Engineering (2014)
Megen E. Brittell, Michal Young, Amy Lobben
The MGIS: a minimal geographic information system accessible to users who are blind. SIGSPATIAL/GIS (2013)
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young
Second-order constraints in dynamic invariant inference. ESEC/SIGSOFT FSE (2013)
Stuart R. Faulk, Michal Young, Rafael Prikladnicki, David M. Weiss, Lian Yu
3rd international workshop on collaborative teaching of globally distributed software development (CTGDSD 2013). ICSE (2013)
Eduardo Santana de Almeida, Dali Li, Stuart R. Faulk, Crescencio Lima, Zhang Rui, David M. Weiss, Jin Ying, Michal Young, Lian Yu
Teaching Globally Distributed Software Development: An Experience Report. CSEE&T (2012)
Arthur M. Farley, Stuart R. Faulk, Virginia Lo, Andrzej Proskurowski, Michal Young
Intensive international Summer Schools in Global Distributed Software Development. FIE (2012)
Stuart R. Faulk, Michal Young, David M. Weiss, Lian Yu
Collaborative teaching of globally distributed software development: community building workshop (CTGDSD 2011). ICSE (2011)
Matteo Rossi, Michal Young
SCORE 2011: the second student contest on software engineering. ICSE (2011)
Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young
SCORE: the first student contest on software engineering. ACM SIGSOFT Softw. Eng. Notes 35 (4) (2010)
Amy J. Ko, Michal Young, Jamie Andrews, Brian P. Robinson, Mark Grechanik
Computing and Diagnosing Changes in Unit Test Energy Consumption. Practical Software Testing: Tool Automation and Human Factors (2010)
Michal Young, Stuart R. Faulk
Sharing what we know about software engineering. FoSER (2010)
Sarah A. Douglas, Arthur M. Farley, Ginnie Lo, Andrzej Proskurowski, Michal Young
Internationalization of computer science education. SIGCSE (2010)
Alessio Gambi, Mauro Pezzè, Michal Young
SLA Protection models for virtualized data centers. SEAMS (2009)
Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young
General and efficient locking without blocking. MSPC (2008)
Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young
Transactions with isolation and cooperation. OOPSLA (2007)
Emanuela Merelli, Michal Young
Validating MAS simulation models with mutation. Multiagent Grid Syst. 3 (2) (2007)
Luciano Baresi, Michal Young
Toward Translating Design Constraints to Run-Time Assertions. Electron. Notes Theor. Comput. Sci. 116 (2005)
Xiaofang Zhang, Michal Young, John Howard Eli Fiskio-Lasseter
Refining code-design mapping with flow analysis. SIGSOFT FSE (2004)
Mauro Pezzè, Michal Young
Testing Object Oriented Software. ICSE (2004)
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan
Towards scalable compositional analysis by refactoring design models. ESEC / SIGSOFT FSE (2003)
Michal Young
Symbiosis of Static Analysis and Program Testing. FASE (2003)
LihChyun Shu, Michal Young
Versioning concurrency control for hard real-time systems. J. Syst. Softw. 63 (3) (2002)
John Howard Eli Fiskio-Lasseter, Michal Young
Flow equations as a generic programming tool for manipulation of attributed graphs. PASTE (2002)
LihChyun Shu, Michal Young
Fault-Tolerant Scheduling under Time and Resource Constraints. IEEE Real Time Technology and Applications Symposium (2001)
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) (2001)
LihChyun Shu, Michal Young
Chopping and versioning real-time transactions to avoid remote blocking. RTCSA (2000)
Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young
Compiler and tool support for debugging object protocols. SIGSOFT FSE (2000)
Michal Young
High assurance technologies. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Christina Pavlopoulou, Michal Young
Residual Test Coverage Monitoring. ICSE (1999)
Michal Young
ICSE 97 Doctoral Consortium (Workshop Summary). ICSE (1997)
Mauro Pezzè, Michal Young
Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. ICSE (1997)
Mauro Pezzè, Michal Young
Generation of Multi-Formalism State-Space Analysis Tools. ISSTA (1996)
Lu Xu, Michal Young
Two Dimensional Concurrent Program Debugging. APSEC (1995)
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) (1995)
Mauro Pezzè, Richard N. Taylor, Michal Young
Graph Models for Reachability of Concurrent Programs. ACM Trans. Softw. Eng. Methodol. 4 (2) (1995)
Frank D. Anger, Rita V. Rodríguez, Michal Young
Combining Static and Dynamic Analysis of Concurrent Programs. ICSM (1994)
Michal Young
State-Space Analysis as an Aid to Testing (Abstract). ISSTA (1994)
Wei Jen Yeh, Michal Young
Compositional Reachability Analysis Using Process Algebra. Symposium on Testing, Analysis, and Verification (1991)
Michal Young, Richard N. Taylor, K. Forester, Debra Brodbeck
Integrated Concurrency Analysis in a Software Development Enviornment. Symposium on Testing, Analysis, and Verification (1989)
Michal Young, Richard N. Taylor
Rethinking the Taxonomy of Fault Detection Techniques. ICSE (1989)
Michal Young, Richard N. Taylor
Combining Static Concurrency Analysis with Symbolic Execution. IEEE Trans. Software Eng. 14 (10) (1988)
Michal Young, Richard N. Taylor, Dennis B. Troup, Cheryl D. Kelly
Design Principles behind Chiron: A UIMS for Software Environments. ICSE (1988)
Michal Young, Richard N. Taylor, Dennis B. Troup
Software Environment Architectures and User Interface Facilities. IEEE Trans. Software Eng. 14 (6) (1988)
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)