The SCEAS System
Navigation Menu

Search the dblp DataBase


Michal Young: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (3, 0)][DBLP]
    Software Development Environments (SDE), 1988, pp:1-13 [Conf]
  2. Lu Xu, Michal Young
    Two Dimensional Concurrent Program Debugging. [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:76-85 [Conf]
  3. Michal Young
    Symbiosis of Static Analysis and Program Testing. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:1-5 [Conf]
  4. Christina Pavlopoulou, Michal Young
    Residual Test Coverage Monitoring. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:277-284 [Conf]
  5. Mauro Pezzè, Michal Young
    Testing Object Oriented Software. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:739-740 [Conf]
  6. Mauro Pezzè, Michal Young
    Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:239-249 [Conf]
  7. Michal Young
    ICSE 97 Doctoral Consortium (Workshop Summary). [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:680-681 [Conf]
  8. Michal Young, Richard N. Taylor
    Rethinking the Taxonomy of Fault Detection Techniques. [Citation Graph (0, 0)][DBLP]
    ICSE, 1989, pp:53-62 [Conf]
  9. Michal Young, Richard N. Taylor, Dennis B. Troup, Cheryl D. Kelly
    Design Principles behind Chiron: A UIMS for Software Environments. [Citation Graph (0, 0)][DBLP]
    ICSE, 1988, pp:367-376 [Conf]
  10. Frank D. Anger, Rita V. Rodríguez, Michal Young
    Combining Static and Dynamic Analysis of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ICSM, 1994, pp:89-98 [Conf]
  11. Mauro Pezzè, Michal Young
    Generation of Multi-Formalism State-Space Analysis Tools. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:172-179 [Conf]
  12. Wei Jen Yeh, Michal Young
    Compositional Reachability Analysis Using Process Algebra. [Citation Graph (0, 0)][DBLP]
    Symposium on Testing, Analysis, and Verification, 1991, pp:49-59 [Conf]
  13. Michal Young
    State-Space Analysis as an Aid to Testing (Abstract). [Citation Graph (0, 0)][DBLP]
    ISSTA, 1994, pp:203- [Conf]
  14. Michal Young, Richard N. Taylor, K. Forester, Debra Brodbeck
    Integrated Concurrency Analysis in a Software Development Enviornment. [Citation Graph (0, 0)][DBLP]
    Symposium on Testing, Analysis, and Verification, 1989, pp:200-209 [Conf]
  15. John Howard Eli Fiskio-Lasseter, Michal Young
    Flow equations as a generic programming tool for manipulation of attributed graphs. [Citation Graph (0, 0)][DBLP]
    PASTE, 2002, pp:69-76 [Conf]
  16. LihChyun Shu, Michal Young
    Fault-Tolerant Scheduling under Time and Resource Constraints. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 2001, pp:117-119 [Conf]
  17. LihChyun Shu, Michal Young
    Chopping and versioning real-time transactions to avoid remote blocking. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2000, pp:93-101 [Conf]
  18. Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young
    Compiler and tool support for debugging object protocols. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2000, pp:50-59 [Conf]
  19. Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan
    Towards scalable compositional analysis by refactoring design models. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:247-256 [Conf]
  20. Xiaofang Zhang, Michal Young, John Howard Eli Fiskio-Lasseter
    Refining code-design mapping with flow analysis. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:231-240 [Conf]
  21. 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. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2001, v:16, n:3, pp:153-155 [Journal]
  22. Luciano Baresi, Michal Young
    Toward Translating Design Constraints to Run-Time Assertions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:73-84 [Journal]
  23. LihChyun Shu, Michal Young
    Versioning concurrency control for hard real-time systems. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2002, v:63, n:3, pp:201-218 [Journal]
  24. Mauro Pezzè, Richard N. Taylor, Michal Young
    Graph Models for Reachability of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1995, v:4, n:2, pp:171-213 [Journal]
  25. 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. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1995, v:4, n:1, pp:65-106 [Journal]
  26. Michal Young, Richard N. Taylor
    Combining Static Concurrency Analysis with Symbolic Execution. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:10, pp:1499-1511 [Journal]
  27. Michal Young, Richard N. Taylor, Dennis B. Troup
    Software Environment Architectures and User Interface Facilities. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:6, pp:697-708 [Journal]
  28. Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young
    Transactions with isolation and cooperation. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2007, pp:191-210 [Conf]

  29. General and efficient locking without blocking. [Citation Graph (, )][DBLP]

  30. SLA Protection models for virtualized data centers. [Citation Graph (, )][DBLP]

  31. Internationalization of computer science education. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002