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
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
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
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
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
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
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
Is this relevant?