Search Results - "Monitoring-oriented programming"

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP

Authors: Feng Chen Grigore Rosu Marcelo d'Amorim

Source: Electronic Notes in Theoretical Computer Science. 144:3-20

Subject Terms: Java-MOP, MOP, specification, Monitoring-oriented programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Java, Theoretical Computer Science, Computer Science(all)

G.: Monitoring oriented programming - a project overview

Authors: Feng Chen Dongyun Jin Patrick Meredith et al.

Contributors: Feng Chen Dongyun Jin Patrick Meredith et al.

Source: http://fsl.cs.illinois.edu/pubs/chen-jin-meredith-rosu-2009-icicis.pdf.

Subject Terms: General Terms Reliability, Languages, Verification. Keywords monitoring oriented programming, runtime verification

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.3919

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.3919
http://fsl.cs.illinois.edu/pubs/chen-jin-meredith-rosu-2009-icicis.pdf

Efficient Formalism-Independent Monitoring of Parametric Properties

Authors: Chen, Feng Meredith, Patrick O'Neil Jin, Dongyun et al.

Subject Terms: monitoring-oriented programming, aspect-oriented programming, runtime verification

Relation: http://hdl.handle.net/2142/11787

Availability: http://hdl.handle.net/2142/11787

Making runtime monitoring of parametric properties practical

Authors: Jin, Dongyun Rosu, Grigore Havelund, Klaus et al.

Contributors: Jin, Dongyun Rosu, Grigore Havelund, Klaus et al.

Subject Terms: Runtime Monitoring, Parametric Monitoring, Optimization, Scalability, Monitoring Oriented Programming

Relation: http://hdl.handle.net/2142/34333

Availability: http://hdl.handle.net/2142/34333