ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)
Latest Publications
TOTAL DOCUMENTS
13
(FIVE YEARS 0)
H-INDEX
4
(FIVE YEARS 0)
Published By IEEE
9781467362924
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
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
Contents
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)
◽
10.1109/formalise.2013.6612268
◽
2013
◽
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
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
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
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
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
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
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close