Michal Young

According to our database1, Michal Young authored at least 46 papers between 1988 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Extending Existing Inference Tools to Mine Dynamic APIs.
Proceedings of the 2nd IEEE/ACM International Workshop on API Usage and Evolution, 2018

2016
Using Process Mining to Measure the Expected Costs of Business Processes.
Proceedings of the 20th Pacific Asia Conference on Information Systems, 2016

2014
Second-Order Constraints in Dynamic Invariant Inference.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

2013
3rd international workshop on collaborative teaching of globally distributed software development (CTGDSD 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

The MGIS: a minimal geographic information system accessible to users who are blind.
Proceedings of the 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2013

2012
Intensive international Summer Schools in Global Distributed Software Development.
Proceedings of the IEEE Frontiers in Education Conference, 2012

Teaching Globally Distributed Software Development: An Experience Report.
Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

2011
SCORE 2011: the second student contest on software engineering.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Collaborative teaching of globally distributed software development: community building workshop (CTGDSD 2011).
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
SCORE: the first student contest on software engineering.
ACM SIGSOFT Softw. Eng. Notes, 2010

Sharing what we know about software engineering.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Internationalization of computer science education.
Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Computing and Diagnosing Changes in Unit Test Energy Consumption.
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009
SLA Protection models for virtualized data centers.
Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

2008
General and efficient locking without blocking.
Proceedings of the 2008 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), 2008

2007
Validating MAS simulation models with mutation.
Multiagent Grid Syst., 2007

Transactions with isolation and cooperation.
Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Software testing and analysis - process, principles and techniques.
Wiley, ISBN: 978-0-471-45593-6, 2007

2005
Toward Translating Design Constraints to Run-Time Assertions.
Electron. Notes Theor. Comput. Sci., 2005

2004
Refining code-design mapping with flow analysis.
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Testing Object Oriented Software.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003
Towards scalable compositional analysis by refactoring design models.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Symbiosis of Static Analysis and Program Testing.
Proceedings of the Fundamental Approaches to Software Engineering, 2003

2002
Versioning concurrency control for hard real-time systems.
J. Syst. Softw., 2002

Flow equations as a generic programming tool for manipulation of attributed graphs.
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2002

2001
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

Fault-Tolerant Scheduling under Time and Resource Constraints.
Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001

2000
High assurance technologies.
ACM SIGSOFT Softw. Eng. Notes, 2000

Compiler and tool support for debugging object protocols.
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Chopping and versioning real-time transactions to avoid remote blocking.
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

1999
Residual Test Coverage Monitoring.
Proceedings of the 1999 International Conference on Software Engineering, 1999

1997
ICSE 97 Doctoral Consortium (Workshop Summary).
Proceedings of the Pulling Together, 1997

Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models.
Proceedings of the Pulling Together, 1997

1996
Generation of Multi-Formalism State-Space Analysis Tools.
Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

1995
A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience.
ACM Trans. Softw. Eng. Methodol., 1995

Graph Models for Reachability of Concurrent Programs.
ACM Trans. Softw. Eng. Methodol., 1995

Two Dimensional Concurrent Program Debugging.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994
State-Space Analysis as an Aid to Testing (Abstract).
Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

Combining Static and Dynamic Analysis of Concurrent Programs.
Proceedings of the International Conference on Software Maintenance, 1994

1991
Compositional Reachability Analysis Using Process Algebra.
Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

1989
Integrated Concurrency Analysis in a Software Development Enviornment.
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

Rethinking the Taxonomy of Fault Detection Techniques.
Proceedings of the 11th International Conference on Software Engineering, 1989

1988
Software Environment Architectures and User Interface Facilities.
IEEE Trans. Software Eng., 1988

Combining Static Concurrency Analysis with Symbolic Execution.
IEEE Trans. Software Eng., 1988

Foundations for the Arcadia Environment Architecture.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Design Principles behind Chiron: A UIMS for Software Environments.
Proceedings of the Proceedings, 1988


  Loading...