Skip to search formSkip to main contentSkip to account menu

International Conference on Software Engineering and Formal Methods

Known as: SEFM 
The International Conference on Software Engineering and Formal Methods (SEFM) is an international academic conference in the field of software… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
  • Liang LanYu Geng
  • AAAI Conference on Artificial Intelligence
  • 2019
  • Corpus ID: 57718132
Factorization Machines (FMs), a general predictor that can efficiently model high-order feature interactions, have been widely… 
2017
2017
Stereotactic Body Radiation Therapy (SBRT) is a radiation technique that has recently been implemented in some centers and its… 
Review
2014
Review
2014
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods… 
Review
2009
Review
2009
One of the key ideas underlying Web services is that of allowing the combination of existing services published on the Web into a… 
2008
2008
Formal methods, i.e., technologies for the formal description, construction, analysis, and validation of software—mostly based on… 
2007
2007
This section of “Software & Systems Modeling” contains three papers presenting current trends on the use of formal methods and… 
2006
2006
Reasoning about multithreaded object-oriented programs is difficult, due to the non-local nature of object aliasing, data races… 
2006
2006
SCOOP and Spec# are programming languages that aim to extend Design by Contract to concurrent and reactive systems. In this paper… 
2003
2003
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the… 
2003
2003