Page not found

Perhaps you were looking for one of these?

Publications

• Deadlock Checking by a Behavioral Effect System for Lock Handling

• Audit Trail Analysis for Traffic Intensive Web Application

• Modeling Support for Simulating Traffic Intensive Web Applications

• Pak Pak Serves You: Application on Interactive Dialogue Question Answering

• Research in Interactive Dialogues Question Answering System

Projects

• ARVI: Runtime Verification beyond Monitoring

• UpScale: From Inherent Concurrency to Massive Parallelism through Type-based Optimizations

• Envisage: Engineering Virtualized Services

• GoRETech: Go Runtime Enforcement Techniques

• RvABS: Runtime Verification for ABS Product Lines