Projects

Note that the project description is incomplete and is permanently under construction.

Past

The following is a list of some of the projects that have been undertaken by my students, collaborators and myself.

Application of formal methods to testing of industrial-size systems
Computer security and denial of service
Events and property patterns
Building and reasoning with 3-valued abstractions
Reasoning about IBM Visual Age C++ compiler
SC(R)3

Present or starting in the near future

We are looking for students to get involved in some of these projects.

Reasoning about changing software
Abstraction and refinement
Reasoning with inconsistency

composing LTSs
model-checking with paraconsistent logics
negotiation

Model exploration with Model-Checking (including query-checking and proof-like counter-examples)
Multi-valued model-checker XChek
Multi-valued logic work
Runtime verification
Analyzing UML for inconsistencies
Testing, Monitoring, Interfaces

A slightly outdated list of projects for new students (2001).

Last updated: Sept. 3, 2003