Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769524354

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Building verification condition generators by compositional extensions

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ◽

10.1109/sefm.2005.11 ◽

2005 ◽

Author(s):

I.S.W.B. Prasetya ◽

A.A. Fakultas ◽

T.E.J. Vos ◽

A. van Leeuwen

Keyword(s):

Verification Condition

Download Full-text

A strategy for the formal composition of frameworks

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ◽

10.1109/sefm.2005.5 ◽

2005 ◽

Cited By ~ 2

Author(s):

W. Mesquita ◽

A. Sampaio ◽

A.C.V. de Melo

Download Full-text

Towards the formal verification of a C0 compiler: code generation and implementation correctness

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ◽

10.1109/sefm.2005.51 ◽

2005 ◽

Cited By ~ 24

Author(s):

D. Leinenbach ◽

W. Paul ◽

E. Petrova

Keyword(s):

Formal Verification ◽

Code Generation

Download Full-text

Use of verification for testing and debugging of complex reactive systems

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ◽

10.1109/sefm.2005.52 ◽

2005 ◽

Cited By ~ 1

Author(s):

M. Trakhtenbrot

Keyword(s):

Reactive Systems ◽

Testing And Debugging

Download Full-text

Specifying urgency in timed I/O automata

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ◽

10.1109/sefm.2005.42 ◽

2005 ◽

Cited By ~ 9

Author(s):

B. Gebremichael ◽

F. Vaandrager

Download Full-text

Conference Chairs

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ◽

10.1109/sefm.2005.12 ◽

2005 ◽

Download Full-text

Safe concurrency for aggregate objects with invariants

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ◽

10.1109/sefm.2005.39 ◽

2005 ◽

Cited By ~ 28

Author(s):

B. Jacobs ◽

K.R.M. Leino ◽

F. Piessens ◽

W. Schulte

Download Full-text

Operational semantics for real-time processes with action refinement

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ◽

10.1109/sefm.2005.32 ◽

2005 ◽

Author(s):

Xiuli Sun ◽

J. Wu

Keyword(s):

Real Time ◽

Operational Semantics ◽

Action Refinement

Download Full-text

On the theory of patching

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ◽

10.1109/sefm.2005.31 ◽

2005 ◽

Cited By ~ 3

Author(s):

Z. Pap ◽

G. Csopaki ◽

S. Dibuz

Download Full-text

BRILLANT: an open source and XML-based platform for rigourous software development

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ◽

10.1109/sefm.2005.10 ◽

2005 ◽

Cited By ~ 1

Author(s):

S. Colin ◽

D. Petit ◽

J. Rocheteau ◽

R. Marcano ◽

G. Mariano ◽

...

Keyword(s):

Software Development ◽

Open Source

Download Full-text

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Building verification condition generators by compositional extensions

A strategy for the formal composition of frameworks

Towards the formal verification of a C0 compiler: code generation and implementation correctness

Use of verification for testing and debugging of complex reactive systems

Specifying urgency in timed I/O automata

Conference Chairs

Safe concurrency for aggregate objects with invariants

Operational semantics for real-time processes with action refinement

On the theory of patching

BRILLANT: an open source and XML-based platform for rigourous software development

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
Latest Publications