Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Scitepress - Science And And Technology Publications

9728865031

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

New S/Key System against Dictionary Attack : A Case Study in Casper and CSP/FDR

Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems ◽

10.5220/0002677500750077 ◽

2004 ◽

Keyword(s):

Dictionary Attack

Download Full-text

Model Synthesis from Imprecise Specifications

Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems ◽

10.5220/0002669500200025 ◽

2004 ◽

Keyword(s):

Model Synthesis

Download Full-text

Verifying user interface behaviour with model checking

Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems ◽

10.5220/0002681700870096 ◽

2004 ◽

Keyword(s):

User Interface ◽

Model Checking ◽

Interface Behaviour

Download Full-text

A Hypothesis-Based Approach to Detecting Runtime Violations

Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems ◽

10.5220/0002676400600065 ◽

2004 ◽

Download Full-text

Construction of Verified Models for Systems Represented as Networks

Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems ◽

10.5220/0002685100440049 ◽

2004 ◽

Download Full-text

Systematic Design of Real-Time Systems Based on CSP+T Process Algebra

Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems ◽

10.5220/0002684700810083 ◽

2004 ◽

Keyword(s):

Real Time ◽

Process Algebra ◽

Systematic Design ◽

Real Time Systems ◽

Time Systems

Download Full-text

Fault-based Testing of E-Commerce Applications

Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems ◽

10.5220/0002660800660071 ◽

2004 ◽

Download Full-text

Verification On The Web Of Mobile Systems

Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems ◽

10.5220/0002660300720074 ◽

2004 ◽

Keyword(s):

Mobile Systems ◽

The Web

Download Full-text

Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi Automata

Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems ◽

10.5220/0002680600260033 ◽

2004 ◽

Keyword(s):

Automatic Verification ◽

Büchi Automata ◽

System Properties ◽

Buchi Automata

Download Full-text

Reasoning about the Properties of an Enterprise Information System

Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems ◽

10.5220/0002672000100019 ◽

2004 ◽

Keyword(s):

Information System ◽

Enterprise Information System ◽

Enterprise Information

Download Full-text

Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Scitepress - Science And And Technology Publications

New S/Key System against Dictionary Attack : A Case Study in Casper and CSP/FDR

Model Synthesis from Imprecise Specifications

Verifying user interface behaviour with model checking

A Hypothesis-Based Approach to Detecting Runtime Violations

Construction of Verified Models for Systems Represented as Networks

Systematic Design of Real-Time Systems Based on CSP+T Process Algebra

Fault-based Testing of E-Commerce Applications

Verification On The Web Of Mobile Systems

Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi Automata

Reasoning about the Properties of an Enterprise Information System

Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems
Latest Publications