International Conference on Software Engineering and Formal Methods

SEFM

CORE rank

CORE rank (raw)

Fields of research

Software Engineering

Papers indexed

929

2003–2025

Best Software Engineering conferences

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
2006	A PVS Based Framework for Validating Compiler Optimizations.	Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
2006	Discern: Towards the Automatic Discovery of Software Contracts.	Yishai A. Feldman, Leon Gendler
2006	Jose: Aspects for Design by Contract80-89.	Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz
2006	Computing Complete Test Graphs for Hierarchical Systems.	Deepak D'Souza, Madhu Gopinathan
2006	Formalizing AspectJ Weaving for Static Pointcuts.	Nadia Belblidia, Mourad Debbabi
2006	Integrating Object-Oriented Design and Deductive Verification of Software.	Bernhard Beckert, Reiner Hhnle, Peter H. Schmitt
2006	Modeling Heterogeneous Real-time Components in BIP.	Ananda Basu, Marius Bozga, Joseph Sifakis
2006	Filtering Retrenchments into Refinements.	Richard Banach, John Derrick
2006	Retrenchment Tutorial.	Richard Banach
2006	On Bisimilarities Induced by Relations on Actions.	S. Arun-Kumar
2006	A Semi-Automatic Methodology for Repairing FaultyWeb Sites.	Mara Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero
2005	Conference Chairs.
2005	External Referees.
2005	Steering Committee.
2005	Program Committee.
2005	Preface.
2005	Copyright.
2005	Title Page.
2005	Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.	Thomas Wilson, Savi Maharaj, Robert G. Clark
2005	Automatic Maintenance of Association Invariants.	James Welch, David Faitelson, Jim Davies
2005	Counting Interface Automata and their Application in Static Analysis of Actor Models.	Ernesto Wandeler, Jrn W. Janneck, Edward A. Lee, Lothar Thiele
2005	Proving Correctness of JavaCard DL Taclets using Bali.	Kerry Trentelman
2005	Use of Verification for Testing and Debugging of Complex Reactive Systems.	Mark B. Trakhtenbrot
2005	Operational Semantics for Real-Time Processes with Action Refinement.	Xiuli Sun, Jinzhao Wu
2005	Using Dominators to Extract Observable Protocol Contexts.	Mahadevan Subramaniam, Jiangfan Shi

801–825 of 929← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.