International Conference on Software Engineering and Formal Methods
SEFM
B
CORE rank
CORE rank (raw)
B
Fields of research
Software Engineering
Papers indexed
929
2003–2025
Papers per year
200366 peak2025
Most published authors
SEFM papers
929 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2003 | Refinement Operators and Information Flow Security. | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2003 | The Fallacy of Spec-Based Design. | Rahul Bhatt, Dave LaFollette, Arjun Kapur |
| 2003 | Program Verification Using Change Information. | Bernhard Beckert, Peter H. Schmitt |
| 2003 | Towards a Well-Founded UML-Based Development Method. | Egidio Astesiano, Gianna Reggio |
926–929 of 929← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems