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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1595931481

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 9

Author(s):

Radu Mateescu

Keyword(s):

State Space

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 ◽

Cited By ~ 10

Author(s):

M. G. Hinchey ◽

C. A. Rouff ◽

J. L. Rash ◽

W. F. Truszkowski

Keyword(s):

Formal Method

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

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 ◽

Cited By ~ 2

Author(s):

Christel Baier ◽

Frank Ciesinski ◽

Marcus Groesser

Keyword(s):

Quantitative Analysis ◽

Randomized Protocols

Ten commandments revisited

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

10.1145/1081180.1081183 ◽

2005 ◽

Cited By ~ 15

Author(s):

Jonathan P. Bowen ◽

Michael G. Hinchey

Keyword(s):

Ten Commandments

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 ◽

Cited By ~ 9

Author(s):

Tom In der Rieden ◽

Steffen Knapp

Keyword(s):

Formal Specification ◽

Formal Specification And Verification ◽

Specification And Verification ◽

Automotive System

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 ◽

Cited By ~ 5

Author(s):

Adrian Hilton ◽

Jon G. Hall

Keyword(s):

Critical Systems

Echo

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

10.1145/1081180.1081187 ◽

2005 ◽

Cited By ~ 6

Author(s):

Elisabeth A. Strunk ◽

Xiang Yin ◽

John C. Knight

Solving scheduling problems by untimed model checking

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

10.1145/1081180.1081188 ◽

2005 ◽

Cited By ~ 4

Author(s):

Anton Wijs ◽

Jaco van de Pol ◽

Elena Bortnik

Keyword(s):

Model Checking ◽

Scheduling Problems

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 ◽

Cited By ~ 3

Author(s):

Dang Van Hung

Keyword(s):

Real Time ◽

Formal Model ◽

Real Time Systems ◽

Time Systems

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

On-the-fly state space reductions for weak equivalences

Requirements of an integrated formal method for intelligent swarms

Invariants come from templates

Quantitative analysis of distributed randomized protocols

Ten commandments revisited

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

Developing critical systems with PLD components

Echo

Solving scheduling problems by untimed model checking

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
Latest Publications