2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467362924

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2013.6612268 ◽

2013 ◽

Download Full-text

Automatic validation of infinite real-time systems

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2013.6612278 ◽

2013 ◽

Author(s):

Thomas Gothel ◽

Sabine Glesner

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems ◽

Automatic Validation

Download Full-text

[Front matter]

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2013.6612267 ◽

2013 ◽

Download Full-text

Lightweight formal models of software weaknesses

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2013.6612277 ◽

2013 ◽

Author(s):

Robin Gandhi ◽

Harvey Siy ◽

Yan Wu

Keyword(s):

Formal Models

Download Full-text

Recommendations for improving the usability of formal methods for product lines

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2013.6612276 ◽

2013 ◽

Cited By ~ 4

Author(s):

Joanne M. Atlee ◽

Sandy Beidu ◽

Nancy A. Day ◽

Fathiyeh Faghih ◽

Pourya Shaker

Keyword(s):

Formal Methods ◽

Product Lines

Download Full-text

FME workshop on Formal Methods in Software Engineering FormaliSE 2013

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2013.6612269 ◽

2013 ◽

Keyword(s):

Software Engineering ◽

Formal Methods

Download Full-text

A framework for the rigorous design of highly adaptive timed systems

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2013.6612279 ◽

2013 ◽

Cited By ~ 5

Author(s):

Maxime Cordy ◽

Axel Legay ◽

Pierre-Yves Schobbens ◽

Louis-Marie Traonouez

Keyword(s):

Timed Systems

Download Full-text

Functional SMT solving with Z3 and racket

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2013.6612272 ◽

2013 ◽

Cited By ~ 1

Author(s):

Siddharth Agarwal ◽

Amey Karkare

Keyword(s):

Smt Solving

Download Full-text

Do you speak Z? Formal methods under the perspective of a cross-cultural adaptation problem

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2013.6612271 ◽

2013 ◽

Author(s):

Andreas Bollin

Keyword(s):

Formal Methods ◽

Cultural Adaptation ◽

Cross Cultural ◽

Cross Cultural Adaptation

Download Full-text

An integrated data model verifier with property templates

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) ◽

10.1109/formalise.2013.6612274 ◽

2013 ◽

Cited By ~ 5

Author(s):

Jaideep Nijjar ◽

Ivan Bocic ◽

Tevfik Bultan

Keyword(s):

Data Model

Download Full-text

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Contents

Automatic validation of infinite real-time systems

[Front matter]

Lightweight formal models of software weaknesses

Recommendations for improving the usability of formal methods for product lines

FME workshop on Formal Methods in Software Engineering FormaliSE 2013

A framework for the rigorous design of highly adaptive timed systems

Functional SMT solving with Z3 and racket

Do you speak Z? Formal methods under the perspective of a cross-cultural adaptation problem

An integrated data model verifier with property templates

Export Citation Format

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Contents

Automatic validation of infinite real-time systems

[Front matter]

Lightweight formal models of software weaknesses

Recommendations for improving the usability of formal methods for product lines

FME workshop on Formal Methods in Software Engineering FormaliSE 2013

A framework for the rigorous design of highly adaptive timed systems

Functional SMT solving with Z3 and racket

Do you speak Z? Formal methods under the perspective of a cross-cultural adaptation problem

An integrated data model verifier with property templates

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)
Latest Publications