Dynamic Slicing of Reaction Systems Based on Assertions and Monitors

This publication has 26 references indexed in Scilit:

• Dependency graphs and mass conservation in reaction systems
  Theoretical Computer Science, 2015
• Using conditional trace slicing for improving Maude programs
  Science of Computer Programming, 2014
• A Comprehensive, Multi-Scale Dynamical Model of ErbB Receptor Signal Transduction in Human Mammary Epithelial Cells
  PLOS ONE, 2013
• An excursion in reaction systems: From computer science to biology
  Theoretical Computer Science, 2012
• A vocabulary of program slicing-based techniques
  ACM Computing Surveys, 2012
• A TOUR OF REACTION SYSTEMS
  International Journal of Foundations of Computer Science, 2011
• Backward Trace Slicing for Rewriting Logic Theories
  2011
• Quantitative Pathway Logic for Computational Biology
  Lecture Notes in Computer Science, 2009
• Dynamic slicing of lazy functional programs based on redex trails
  Higher-Order and Symbolic Computation, 2008
• Dynamic program slicing
  Information Processing Letters, 1988