Runtime Monitoring

People 2

Papers 13

Journals 0

Jobs 0

Computer Science

Algorithms

High Performance Computing

Software Engineering

Formal Methods (Formal Verification)

Programming Languages

Functional Programming

Program Semantics

Compilers

Artificial Intelligence

Software Testing

Software Architecture

Formal Semantics

Biologically inspired computing

C++ Programming

Software Verification and Validation

Program testing, debugging, and analysis

Software design, patterns, conceptual modelling

Change Impact Analysis in software engineering

Runtime Monitoring

Formal Specification

Follow Raul

What is Following?

Following Raul's work means that, in your Academia.edu News Feed, you will see Raul's:

status updates
new papers
new research interests

and other research updates.

Raul Santelices

Georgia Institute of Technology

Graduate Student

College of Computing

C++ Programming, Change Impact Analysis in software engineering, Change-effects analysis in software, and Compilers

Follow Reza

What is Following?

Following Reza's work means that, in your Academia.edu News Feed, you will see Reza's:

status updates
new papers
new research interests

and other research updates.

Reza Babaee

University of Kashan

Graduate Student

Computer Engineering Department

Runtime Monitoring, Software Engineering, Software Verification and Validation, and Algorithms

Follow Nataliia

What is Following?

Following Nataliia's work means that, in your Academia.edu News Feed, you will see Nataliia's:

status updates
new papers
new research interests

and other research updates.

Nataliia Bielova

INRIA

Post-Doc

CELTIQUE Department

Computer Security, Formal Methods (Formal Verification), Computer Science, and Functional Programming

Follow Giles

What is Following?

Following Giles's work means that, in your Academia.edu News Feed, you will see Giles's:

status updates
new papers
new research interests

and other research updates.

Giles Reger

The University of Manchester

Graduate Student

Computer Science Department

Computer Science, Formal Methods (Formal Verification), Formal Semantics, and Formal Specification

Follow Rahul

What is Following?

Following Rahul's work means that, in your Academia.edu News Feed, you will see Rahul's:

status updates
new papers
new research interests

and other research updates.

Runtime Monitoring

What is Following?

Raul Santelices

Georgia Institute of Technology

Graduate Student

College of Computing

What is Following?

Reza Babaee

University of Kashan

Graduate Student

Computer Engineering Department

What is Following?

Nataliia Bielova

INRIA

Post-Doc

CELTIQUE Department

What is Following?

Giles Reger

The University of Manchester

Graduate Student

Computer Science Department

What is Following?

Rahul Purandare

University of Nebraska Lincoln

Graduate Student

Computer Science and Engg. Department

Log In

Reset Password