Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By ACM Press

1595931481

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Requirements of an integrated formal method for intelligent swarms

Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 ◽

10.1145/1081180.1081196 ◽

2005 ◽

Author(s):

M. G. Hinchey ◽

C. A. Rouff ◽

J. L. Rash ◽

W. F. Truszkowski

Keyword(s):

Download Full-text

On-the-fly state space reductions for weak equivalences

Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 ◽

10.1145/1081180.1081191 ◽

2005 ◽

Author(s):

Radu Mateescu

Keyword(s):

Download Full-text

Invariants come from templates

Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 ◽

10.1145/1081180.1081192 ◽

2005 ◽

Author(s):

Joni Helin ◽

Pertti Kellomäki

Download Full-text

Quantitative analysis of distributed randomized protocols

Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 ◽

10.1145/1081180.1081182 ◽

2005 ◽

Author(s):

Christel Baier ◽

Frank Ciesinski ◽

Marcus Groesser

Keyword(s):

Quantitative Analysis ◽

Randomized Protocols

Download Full-text

Ten commandments revisited

Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 ◽

10.1145/1081180.1081183 ◽

2005 ◽

Author(s):

Jonathan P. Bowen ◽

Michael G. Hinchey

Keyword(s):

Ten Commandments

Download Full-text

An approach to the pervasive formal specification and verification of an automotive system

Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 ◽

10.1145/1081180.1081195 ◽

2005 ◽

Author(s):

Tom In der Rieden ◽

Steffen Knapp

Keyword(s):

Formal Specification ◽

Formal Specification And Verification ◽

Specification And Verification ◽

Automotive System

Download Full-text

Echo

Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 ◽

10.1145/1081180.1081187 ◽

2005 ◽

Author(s):

Elisabeth A. Strunk ◽

Xiang Yin ◽

John C. Knight

Download Full-text

Developing critical systems with PLD components

Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 ◽

10.1145/1081180.1081190 ◽

2005 ◽

Author(s):

Adrian Hilton ◽

Jon G. Hall

Keyword(s):

Critical Systems

Download Full-text

Enhancing random walk state space exploration

Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 ◽

10.1145/1081180.1081193 ◽

2005 ◽

Author(s):

Radek Pelánek ◽

Tomáš Hanžl ◽

Ivana Černá ◽

Luboš Brim

Keyword(s):

Random Walk ◽

State Space ◽

Space Exploration ◽

State Space Exploration

Download Full-text

Toward a formal model for component interfaces for real-time systems

Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 ◽

10.1145/1081180.1081194 ◽

2005 ◽

Author(s):

Dang Van Hung

Keyword(s):

Real Time ◽

Formal Model ◽

Real Time Systems ◽

Download Full-text