|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 57 occurrences of 50 keywords
|
|
|
|
|
Results
Found 40 publication records. Showing 40 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matteo Rossi, Michal Young |
SCORE 2011: the second student contest on software engineering.  |
ICSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart R. Faulk, Michal Young, David Weiss, Lian Yu |
Collaborative teaching of globally distributed software development: community building workshop (CTGDSD 2011). |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young |
SCORE: the first student contest on software engineering. |
ACM SIGSOFT Software Engineering Notes |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah A. Douglas, Arthur M. Farley, Ginnie Lo, Andrzej Proskurowski, Michal Young |
Internationalization of computer science education. |
SIGCSE |
2010 |
DBLP DOI BibTeX RDF |
computers in society, computer science education, internationalization |
| 1 | Michal Young, Stuart R. Faulk |
Sharing what we know about software engineering. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Gambi, Mauro Pezzè, Michal Young |
SLA Protection models for virtualized data centers. |
SEAMS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young |
General and efficient locking without blocking. |
MSPC |
2008 |
DBLP DOI BibTeX RDF |
adaptive locks, hybrid locks, transactional memory, nested transactions |
| 1 | Shriram Krishnamurthi, Michal Young (eds.) |
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 |
2008 |
DBLP BibTeX RDF |
|
| 1 | Emanuela Merelli, Michal Young |
Validating MAS simulation models with mutation. |
Multiagent and Grid Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mauro Pezzè, Michal Young |
Software testing and analysis - process, principles and techniques. |
|
2007 |
RDF |
|
| 1 | Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young |
Transactions with isolation and cooperation. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
TIC, open-nesting, transactional memory, nested transactions, punctuation |
| 1 | Michal Young, Premkumar T. Devanbu (eds.) |
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006 |
SIGSOFT FSE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Luciano Baresi, Michal Young |
Toward Translating Design Constraints to Run-Time Assertions. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Pezzè, Michal Young |
Testing Object Oriented Software. (PDF / PS) |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaofang Zhang, Michal Young, John Howard Eli Fiskio-Lasseter |
Refining code-design mapping with flow analysis. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
constraint propagation, flow analysis, architecture recovery |
| 1 | Michal Young |
Symbiosis of Static Analysis and Program Testing. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan |
Towards scalable compositional analysis by refactoring design models. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
refactoring, CCS, compositional analysis, promela |
| 1 | LihChyun Shu, Michal Young |
Versioning concurrency control for hard real-time systems. |
Journal of Systems and Software |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | John Howard Eli Fiskio-Lasseter, Michal Young |
Flow equations as a generic programming tool for manipulation of attributed graphs. |
PASTE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Will Tracz, Michal Young, Jeff Magee (eds.) |
Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA |
ICSE |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2001 |
DBLP BibTeX RDF |
|
| 1 | LihChyun Shu, Michal Young |
Fault-Tolerant Scheduling under Time and Resource Constraints. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | LihChyun Shu, Michal Young |
Chopping and versioning real-time transactions to avoid remote blocking. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
real time transaction versioning, remote blocking, versioning protocols, chopping analysis, pure locking protocols, 1-version serializability, design time information, simple data structures, small bounded overheads, worst case access times, scheduling, real-time systems, protocols, concurrency control, multiprocessors, multiprocessing systems, transaction processing, configuration management, schedulability analysis, hard real time systems, critical sections, locking protocols, database concurrency control |
| 1 | Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young |
Compiler and tool support for debugging object protocols. |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
protocols, debugging, sequencing constraints |
| 1 | Christina Pavlopoulou, Michal Young |
Residual Test Coverage Monitoring. |
ICSE |
1999 |
DBLP BibTeX RDF |
Java, testing, coverage, instrumentation |
| 1 | Michal Young |
ICSE 97 Doctoral Consortium (Workshop Summary). |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Pezzè, Michal Young |
Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
multi-formalism analysis, Ada, concurrency, heterogeneity, state-space analysis |
| 1 | Mauro Pezzè, Michal Young |
Generation of Multi-Formalism State-Space Analysis Tools. |
ISSTA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Pezzè, Richard N. Taylor, Michal Young |
Graph Models for Reachability of Concurrent Programs. |
ACM Trans. Softw. Eng. Methodol. |
1995 |
DBLP DOI BibTeX RDF |
static analysis, process algebra, Ada tasking |
| 1 | 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. |
1995 |
DBLP DOI BibTeX RDF |
Ada, concurrency, static analysis, tool integration, software development environments |
| 1 | Lu Xu, Michal Young |
Two Dimensional Concurrent Program Debugging. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
Concurrent Program Debugging, Program Dependence Analysis, Software Engineering, Dynamic Slice |
| 1 | Michal Young |
State-Space Analysis as an Aid to Testing (Abstract). |
ISSTA |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank D. Anger, Rita V. Rodríguez, Michal Young |
Combining Static and Dynamic Analysis of Concurrent Programs. |
ICSM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Wei Jen Yeh, Michal Young |
Compositional Reachability Analysis Using Process Algebra. |
Symposium on Testing, Analysis, and Verification |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Young, Richard N. Taylor, K. Forester, Debra Brodbeck |
Integrated Concurrency Analysis in a Software Development Enviornment. |
Symposium on Testing, Analysis, and Verification |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Young, Richard N. Taylor |
Rethinking the Taxonomy of Fault Detection Techniques. |
ICSE |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Young, Richard N. Taylor, Dennis B. Troup |
Software Environment Architectures and User Interface Facilities. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
software environment architectures, interactive program structures, user interfaces, user interfaces, programming environments, user interface management system |
| 1 | Michal Young, Richard N. Taylor |
Combining Static Concurrency Analysis with Symbolic Execution. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
static concurrency analysis, synchronization patterns, path selection mechanism, concurrency analysis, parallel programming, program analysis, program testing, program testing, concurrent programs, symbolic execution, software development environment |
| 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. |
Software Development Environments (SDE) |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Young, Richard N. Taylor, Dennis B. Troup, Cheryl D. Kelly |
Design Principles behind Chiron: A UIMS for Software Environments. |
ICSE |
1988 |
DBLP BibTeX RDF |
|
Displaying result #1 - #40 of 40 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")