Browse by Author "Chen, Feng"

  • d'Amorim, Marcelo; Hills, Mark; Chen, Feng; Rosu, Grigore (2005-12)
    The loss of NASA's Mars climate orbiter is evidence of the importance of units of measurement as a safety policy for software in general and for scientific applications in particular. In this paper we present a static ...

    application/pdf

    application/pdfPDF (244Kb)
  • Dumas, Catherine; LaManna, Daniel; Harrison, Teresa M.; Ravi, S.S.; Hagen, Loni; Kotfila, Christopher; Chen, Feng (iSchools, 2015-03-15)
    In this study, we aim to reveal patterns of e-petition co-signing behavior that are indicative of political mobilization of online “communities” in the case of We the People (WtP), the first web-enabled petitioning system ...

    application/pdf

    application/pdfPDF (1Mb)
  • Chen, Feng; Serbanuta, Traian Florin; Rosu, Grigore (2007-10)
    Predictive runtime analysis has been proposed to improve the effectiveness of concurrent program analysis and testing. Observing an execution, predictive runtime analysis extracts causality which is then used as the model ...

    application/pdf

    application/pdfPDF (283Kb)
  • Chen, Feng; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore (2008-09)
    Efficient monitoring of parametric properties, in spite of increasingly growing interest thanks to applications such as testing and security, imposes a highly non-trivial challenge on monitoring approaches due to the ...

    application/pdf

    application/pdfPDF (202Kb)
  • Chen, Feng; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore (2008-09)
    Efficient monitoring of parametric properties, in spite of increasingly growing interest thanks to applications such as testing and security, imposes a highly non-trivial challenge on monitoring approaches due to the ...

    application/pdf

    application/pdfPDF (202Kb)
  • Chen, Feng; Meredith, Patrick O'Neil; Jin, Dongyun; Rosu, Grigore (2009-05-12)

    application/pdf

    application/pdfPDF (3Mb)
  • Meredith, Patrick O'Neil; Jin, Dongyun; Chen, Feng; Rosu, Grigore (2008-04)
    Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. However, these logics reduce to ordinary finite ...

    application/pdf

    application/pdfPDF (274Kb)
  • Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore (2008-12)
    Extracting causal models from observed executions has proved to be an effective approach to analyze concurrent programs. Most existing causal models are based on happens-before partial orders and/or Mazurkiewicz traces. ...

    application/pdf

    application/pdfPDF (417Kb)
  • Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore (2008-12)
    Extracting causal models from observed executions has proved to be an effective approach to analyze concurrent programs. Most existing causal models are based on happens-before partial orders and/or Mazurkiewicz traces. ...

    application/pdf

    application/pdfPDF (431Kb)
  • ��erb��nu����, Traian Florin; Chen, Feng; Rosu, Grigore (2010-09-22)
    This paper shows that it is possible to build a theoretically maximal and sound causal model for concurrent computations from a given execution trace. For an observed execution, the proposed model comprises all consistent ...

    application/pdf

    application/pdfPDF (489Kb)
  • ��erb��nu����, Traian Florin; Chen, Feng; Rosu, Grigore (2011-10-14)
    This paper shows that it is possible to build a maximal and sound causal model for concurrent computations from a given execution trace. It is sound, in the sense that any program which can generate a trace can also ...

    application/pdf

    application/pdfPDF (590Kb)
  • Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore (2008-09)
    ACM Classification: F.3.2 Semantics of Programming Languages D.2.4 Software/Program Verification D.2.5 Testing and Debugging

    application/pdf

    application/pdfPDF (265Kb)
  • Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore (2008-09)
    ACM Classification: F.3.2 Semantics of Programming Languages D.2.4 Software/Program Verification D.2.5 Testing and Debugging

    application/pdf

    application/pdfPDF (265Kb)
  • Lee, Choonghwan; Chen, Feng; Rosu, Grigore (2010-08-24)
    Specifications carrying formal parameters that are bound to concrete data at runtime can effectively and elegantly capture multi-object behaviors or protocols. Unfortunately, parametric specifications are not easy to ...

    application/pdf

    application/pdfPDF (2Mb)
  • Chen, Feng; Lee, Choonghwan; Rosu, Grigore (2010-03-05)
    Mining formal specifications from program executions has numerous applications in software analysis, from program understanding and modeling to testing and bug detection. Parametric specifications carry parameters that ...

    application/pdf

    application/pdfPDF (919Kb)
  • Chen, Feng; Rosu, Grigore (2008-09)
    This paper presents an approach to mine parametric state-based specifications from execution traces, which can involve multiple components. We first discuss a general framework for mining parametric properties from execution ...

    application/pdf

    application/pdfPDF (163Kb)
  • Chen, Feng; Rosu, Grigore (2008-09)
    This paper presents an approach to mine parametric state-based specifications from execution traces, which can involve multiple components. We first discuss a general framework for mining parametric properties from execution ...

    application/pdf

    application/pdfPDF (163Kb)
  • Chen, Feng (2009-08-17)

    application/pdf

    application/pdfPDF (2Mb)
  • Chen, Feng; d'Amorim, Marcelo; Rosu, Grigore (2004-03)
    This paper presents a tool-supported methodological paradigm for object-oriented software development, called monitoring-oriented programming and abbreviated MOP, in which runtime monitoring is a basic software design ...

    application/pdf

    application/pdfPDF (462Kb)
  • Chen, Feng; Rosu, Grigore (2007-03)
    Monitoring-Oriented Programming (MOP) is a formal framework for software development and analysis, in which the developer specifies desired properties using definable specification formalisms, along with code to execute ...

    application/pdf

    application/pdfPDF (206Kb)