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)

Related topics

Related topics

3 relations
DBL-BrowserFormal methodsSoftware engineering

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Accurate and Interpretable Factorization Machines
  • 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
Recomendaciones de la Sociedad Española de Física Médica (SEFM) sobre implementación y uso clínico de radioterapia estereotáxica extracraneal (SBRT)
Stereotactic Body Radiation Therapy (SBRT) is a radiation technique that has recently been implemented in some centers and its… 
Review
2014
Review
2014
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods… 
Review
2009
Review
2009
Synthesis and Composition of Web Services
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
Software engineering and formal methods
Formal methods, i.e., technologies for the formal description, construction, analysis, and validation of software—mostly based on… 
2007
2007
SoSyM Special Section on Software Engineering and Formal Methods
This section of “Software & Systems Modeling” contains three papers presenting current trends on the use of formal methods and… 
2006
2006
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs
Reasoning about multithreaded object-oriented programs is difficult, due to the non-local nature of object aliasing, data races… 
2006
2006
Symposium on Concurrency, Real-Time, and Distribution in Eiffel-like Languages
SCOOP and Spec# are programming languages that aim to extend Design by Contract to concurrent and reactive systems. In this paper… 
2003
2003
Component-based design and analysis: a case study
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the… 
2003
2003
Proceedings of the First International Conference on Software Engineering and Formal Methods
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)