Michal Young - RankMe

58 papers A* 10A 9B 2C 3Journal 10Unranked 18

Year	Rank	Type	Title / Venue / Authors
2023	A	`conf`	Finding Short Slow Inputs Faster with Grammar-Based Search. ISSTA Ziyad Alsaeed, Michal Young
2023	A	`conf`	TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break. ISSTA Ziyad Alsaeed, Michal Young
2018	—	`conf`	Extending Existing Inference Tools to Mine Dynamic APIs. WAPI@ICSE Ziyad Alsaeed, Michal Young
2018	—	`ed.`	Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training, ICSE (SEET) 2018, Gothenburg, Sweden, May 27 - June 03, 2018 ICSE (SEET) Patricia Lago, Michal Young
2016	—	`conf`	Using Process Mining to Measure the Expected Costs of Business Processes. PACIS Bo Hsiao, LihChyun Shu, Michal Young, Hsueh-Ching Yang
2015	A	`ed.`	Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015 ISSTA Michal Young, Tao Xie
2014	C	`conf`	Second-Order Constraints in Dynamic Invariant Inference. Software Engineering Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young
2013	A*	`conf`	3rd international workshop on collaborative teaching of globally distributed software development (CTGDSD 2013). ICSE Stuart R. Faulk, Michal Young, Rafael Prikladnicki, David M. Weiss, Lian Yu
2013	—	`conf`	Second-order constraints in dynamic invariant inference. ESEC/SIGSOFT FSE Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young
2013	—	`conf`	The MGIS: a minimal geographic information system accessible to users who are blind. SIGSPATIAL/GIS Megen E. Brittell, Michal Young, Amy Lobben
2012	C	`conf`	Intensive international Summer Schools in Global Distributed Software Development. FIE Arthur M. Farley, Stuart R. Faulk, Virginia Lo, Andrzej Proskurowski, Michal Young
2012	—	`ed.`	Proceedings of the Second International Workshop on Collaborative Teaching of Globally Distributed Software Development, CTGDSD 2012, Zurich, Switzerland, June 9, 2012 CTGDSD@ICSE Stuart R. Faulk, David M. Weiss, Michal Young, Lian Yu
2012	—	`conf`	Teaching Globally Distributed Software Development: An Experience Report. CSEE&T Eduardo Santana de Almeida, Dali Li, Stuart R. Faulk, Crescencio Lima, Rui Zhang, David M. Weiss, Jin Ying, Michal Young, Lian Yu
2011	A*	`conf`	Collaborative teaching of globally distributed software development: community building workshop (CTGDSD 2011). ICSE Stuart R. Faulk, Michal Young, David M. Weiss, Lian Yu
2011	—	`ed.`	Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development, CTGDSD 2011, Waikiki, Honolulu, HI, USA, May 21-28, 2011 CTGDSD@ICSE Stuart R. Faulk, David M. Weiss, Michal Young, Lian Yu
2011	A*	`conf`	SCORE 2011: the second student contest on software engineering. ICSE Matteo Rossi, Michal Young
2010	—	`conf`	Computing and Diagnosing Changes in Unit Test Energy Consumption. Practical Software Testing: Tool Automation and Human Factors Amy J. Ko, Michal Young, Jamie Andrews, Brian P. Robinson, Mark Grechanik
2010	A	`conf`	Internationalization of computer science education. SIGCSE Sarah A. Douglas, Arthur M. Farley, Ginnie Lo, Andrzej Proskurowski, Michal Young
2010	J	`jnl`	SCORE: the first student contest on software engineering. ACM SIGSOFT Softw. Eng. Notes Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young
2010	—	`conf`	Sharing what we know about software engineering. FoSER Michal Young, Stuart R. Faulk
2009	A	`conf`	SLA Protection models for virtualized data centers. SEAMS Alessio Gambi, Mauro Pezzè, Michal Young
2008	—	`conf`	General and efficient locking without blocking. MSPC Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young
2008	—	`ed.`	Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008 PASTE Shriram Krishnamurthi, Michal Young
2007	—	`book`	Software testing and analysis - process, principles and techniques. Mauro Pezzè, Michal Young
2007	A	`conf`	Transactions with isolation and cooperation. OOPSLA Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young
2007	J	`jnl`	Validating MAS simulation models with mutation. Multiagent Grid Syst. Emanuela Merelli, Michal Young
2006	—	`ed.`	Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006 SIGSOFT FSE Michal Young, Premkumar T. Devanbu
2004	—	`conf`	Refining code-design mapping with flow analysis. SIGSOFT FSE Xiaofang Zhang, Michal Young, John Howard Eli Fiskio-Lasseter
2004	A*	`conf`	Testing Object Oriented Software. ICSE Mauro Pezzè, Michal Young
2004	—	`conf`	Toward Translating Design Constraints to Run-Time Assertions. TACoS Luciano Baresi, Michal Young
2003	B	`conf`	Symbiosis of Static Analysis and Program Testing. FASE Michal Young
2003	—	`conf`	Towards scalable compositional analysis by refactoring design models. ESEC / SIGSOFT FSE Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan
2002	—	`conf`	Flow equations as a generic programming tool for manipulation of attributed graphs. PASTE John Howard Eli Fiskio-Lasseter, Michal Young
2002	A*	`ed.`	Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA ICSE Will Tracz, Michal Young, Jeff Magee
2002	J	`jnl`	Versioning concurrency control for hard real-time systems. J. Syst. Softw. LihChyun Shu, Michal Young
2001	—	`conf`	Fault-Tolerant Scheduling under Time and Resource Constraints. IEEE Real Time Technology and Applications Symposium LihChyun Shu, Michal Young
2001	J	`jnl`	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. Michal Young
2000	B	`conf`	Chopping and versioning real-time transactions to avoid remote blocking. RTCSA LihChyun Shu, Michal Young
2000	—	`conf`	Compiler and tool support for debugging object protocols. SIGSOFT FSE Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young
2000	J	`jnl`	High assurance technologies. ACM SIGSOFT Softw. Eng. Notes Michal Young
1999	A*	`conf`	Residual Test Coverage Monitoring. ICSE Christina Pavlopoulou, Michal Young
1998	A	`ed.`	Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998, Clearwater Beach, Florida, USA, March 2-5, 1998 ISSTA Mary Lou Soffa, Michal Young, Will Tracz
1997	A*	`conf`	Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. ICSE Mauro Pezzè, Michal Young
1997	A*	`conf`	ICSE 97 Doctoral Consortium (Workshop Summary). ICSE Michal Young
1996	A	`conf`	Generation of Multi-Formalism State-Space Analysis Tools. ISSTA Mauro Pezzè, Michal Young
1995	J	`jnl`	A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience. ACM Trans. Softw. Eng. Methodol. Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, Debra Brodbeck
1995	J	`jnl`	Graph Models for Reachability of Concurrent Programs. ACM Trans. Softw. Eng. Methodol. Mauro Pezzè, Richard N. Taylor, Michal Young
1995	C	`conf`	Two Dimensional Concurrent Program Debugging. APSEC Lu Xu, Michal Young
1994	—	`conf`	Combining Static and Dynamic Analysis of Concurrent Programs. ICSM Frank D. Anger, Rita V. Rodríguez, Michal Young
1994	J	`jnl`	Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study. Softw. Test. Verification Reliab. Wei Jen Yeh, Michal Young
1994	A	`conf`	State-Space Analysis as an Aid to Testing (Abstract). ISSTA Michal Young
1991	—	`conf`	Compositional Reachability Analysis Using Process Algebra. Symposium on Testing, Analysis, and Verification Wei Jen Yeh, Michal Young
1989	—	`conf`	Integrated Concurrency Analysis in a Software Development Enviornment. Symposium on Testing, Analysis, and Verification Michal Young, Richard N. Taylor, K. Forester, Debra Brodbeck
1989	A*	`conf`	Rethinking the Taxonomy of Fault Detection Techniques. ICSE Michal Young, Richard N. Taylor
1988	J	`jnl`	Combining Static Concurrency Analysis with Symbolic Execution. IEEE Trans. Software Eng. Michal Young, Richard N. Taylor
1988	A*	`conf`	Design Principles behind Chiron: A UIMS for Software Environments. ICSE Michal Young, Richard N. Taylor, Dennis B. Troup, Cheryl D. Kelly
1988	—	`conf`	Foundations for the Arcadia Environment Architecture. Software Development Environments (SDE) Richard N. Taylor, Frank C. Belz, Lori A. Clarke, Leon J. Osterweil, Richard W. Selby, Jack C. Wileden, Alexander L. Wolf, Michal Young
1988	J	`jnl`	Software Environment Architectures and User Interface Facilities. IEEE Trans. Software Eng. Michal Young, Richard N. Taylor, Dennis B. Troup