Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769526780

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formalizing AspectJ Weaving for Static Pointcuts

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.19 ◽

2006 ◽

Cited By ~ 2

Author(s):

N. Belblidia ◽

M. Debbabi

Download Full-text

Modeling Heterogeneous Real-time Components in BIP

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.27 ◽

2006 ◽

Cited By ~ 150

Author(s):

A. Basu ◽

M. Bozga ◽

J. Sifakis

Keyword(s):

Real Time

Download Full-text

Filtering Retrenchments into Refinements

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.17 ◽

2006 ◽

Cited By ~ 3

Author(s):

R. Banach ◽

J. Derrick

Download Full-text

Specifying Data-Flow Requirements for the Automated Composition of Web Services

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.34 ◽

2006 ◽

Cited By ~ 14

Author(s):

A. Marconi ◽

M. Pistore ◽

P. Traverso

Keyword(s):

Web Services ◽

Data Flow ◽

Automated Composition

Download Full-text

A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.1 ◽

2006 ◽

Cited By ~ 1

Author(s):

C.L. Rodrigues ◽

P.E.S. Barbosa ◽

J.M. Cabral ◽

J.C.A. de Figueiredo ◽

D.D.S. Guerrero

Keyword(s):

State Space ◽

Space Exploration ◽

Computational Grids ◽

State Space Exploration

Download Full-text

A Rigorous Approach to Requirements Validation

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.5 ◽

2006 ◽

Cited By ~ 6

Author(s):

S. Sukumaran ◽

A. Sreenivas ◽

R. Venkatesh

Keyword(s):

Requirements Validation ◽

Rigorous Approach

Download Full-text

Formal Modelling and Verification of an Asynchronous DLX Pipeline

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.18 ◽

2006 ◽

Cited By ~ 2

Author(s):

H.K. Kapoor

Keyword(s):

Formal Modelling

Download Full-text

A Theory of Singly-Linked Lists and its Extensible Decision Procedure

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.7 ◽

2006 ◽

Cited By ~ 10

Author(s):

S. Ranise ◽

C. Zarba

Keyword(s):

Decision Procedure ◽

Linked Lists

Download Full-text

VPA-Based Aspects: Better Support for AOP over Protocols

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.39 ◽

2006 ◽

Cited By ~ 1

Author(s):

Dong Ha Nguyen ◽

M. Sudholt

Download Full-text

A Model for Temporal relations between Object Roles

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.3 ◽

2006 ◽

Cited By ~ 1

Author(s):

G. Naresh ◽

B.D. Chaudhary

Keyword(s):

Temporal Relations

Download Full-text

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Formalizing AspectJ Weaving for Static Pointcuts

Modeling Heterogeneous Real-time Components in BIP

Filtering Retrenchments into Refinements

Specifying Data-Flow Requirements for the Automated Composition of Web Services

A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids

A Rigorous Approach to Requirements Validation

Formal Modelling and Verification of an Asynchronous DLX Pipeline

A Theory of Singly-Linked Lists and its Extensible Decision Procedure

VPA-Based Aspects: Better Support for AOP over Protocols

A Model for Temporal relations between Object Roles

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
Latest Publications