Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
This paper (This paper is a brief outline of some of the content of the keynote by the author at the 16 International Conference… Expand
  • figure 7
  • figure 8
  • figure 9
  • figure 7
  • figure 8
Is this relevant?
2017
2017
Stereotactic Body Radiation Therapy (SBRT) is a radiation technique that has recently been implemented in some centers and its… Expand
Is this relevant?
2016
2016
Interval Markov Chains IMCs are the base of a classic probabilistic specification theory introduced by Larsen and Jonsson in 1991… Expand
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
Review
2014
Review
2014
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods… Expand
Is this relevant?
2010
2010
Pattern matching is one of the most attractive features of functional programming languages. Recently, pattern matching has been… Expand
  • figure 3
  • table 1
  • table 2
  • table 3
Is this relevant?
2008
2008
The invention provides a novel method for the finishing treatment of a fabric material with a silicone-containing fabric… Expand
Is this relevant?
Highly Cited
2008
Highly Cited
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
2006
Reasoning about multithreaded object-oriented programs is difficult, due to the non-local nature of object aliasing, data races… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
2006
Stable compositions of PGE and PGE-type compounds are achieved by dissolving these compounds in propylene glycol diesters of… Expand
Is this relevant?
2006
2006
SCOOP and Spec# are programming languages that aim to extend Design by Contract to concurrent and reactive systems. In this paper… Expand
  • figure 3
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?