Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,150,979 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
DBL-Browser
Formal methods
Software engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Accurate and Interpretable Factorization Machines
Liang Lan
,
Yu 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…
Expand
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)
P. F. Letón
,
Carmen Baños Capilla
,
+5 authors
R. Blas
2017
Corpus ID: 79736627
Stereotactic Body Radiation Therapy (SBRT) is a radiation technique that has recently been implemented in some centers and its…
Expand
Review
2014
Review
2014
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
D. Giannakopoulou
,
Gwen Salan
2014
Corpus ID: 63466816
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods…
Expand
Review
2009
Review
2009
Synthesis and Composition of Web Services
A. Marconi
,
M. Pistore
International School on Formal Methods for the…
2009
Corpus ID: 18757453
One of the key ideas underlying Web services is that of allowing the combination of existing services published on the Web into a…
Expand
2008
2008
Software engineering and formal methods
B. Aichernig
,
Bernhard Beckert
Journal of Software and Systems Modeling
2008
Corpus ID: 34345747
Formal methods, i.e., technologies for the formal description, construction, analysis, and validation of software—mostly based on…
Expand
2007
2007
SoSyM Special Section on Software Engineering and Formal Methods
Jorge Cuéllar
,
Zhiming Liu
Journal of Software and Systems Modeling
2007
Corpus ID: 6131167
This section of “Software & Systems Modeling” contains three papers presenting current trends on the use of formal methods and…
Expand
2006
2006
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs
B. Jacobs
,
Jan Smans
,
F. Piessens
,
Wolfram Schulte
IEEE International Conference on Formal…
2006
Corpus ID: 16041760
Reasoning about multithreaded object-oriented programs is difficult, due to the non-local nature of object aliasing, data races…
Expand
2006
2006
Symposium on Concurrency, Real-Time, and Distribution in Eiffel-like Languages
R. Paige
,
P. Brooke
2006
Corpus ID: 13815497
SCOOP and Spec# are programming languages that aim to extend Design by Contract to concurrent and reactive systems. In this paper…
Expand
2003
2003
Component-based design and analysis: a case study
Yan Jin
,
C. Lakos
,
R. Esser
First International Conference onSoftware…
2003
Corpus ID: 5747378
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the…
Expand
2003
2003
Proceedings of the First International Conference on Software Engineering and Formal Methods
A. Cerone
,
P. Lindsay
International Conference on Software Engineering
2003
Corpus ID: 57968031
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)
ACCEPT & CONTINUE