default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 65

> Home > Journals > Formal Methods in System Design

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 65, Number 1, April 2025

Special Issue on 'Static Analysis Symposium (SAS) 2020 & 2022'

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/PichardieSSU25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/PichardieSSU25
David Pichardie, Mihaela Sighireanu, Gagandeep Singh, Caterina Urban:
Preface of the special issue on the static analysis symposium 2020 and 2022. 1-3
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BuroCM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BuroCM25
Samuele Buro, Roy L. Crole, Isabella Mastroeni:
On multi-language abstraction: Towards a static analysis of multi-language programs. 4-38
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MullerS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MullerS25
Christian Müller, Helmut Seidl:
Stratified guarded first-order transition systems. 39-69
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HarkFG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HarkFG25
Marcel Hark, Florian Frohn, Jürgen Giesl:
Termination of triangular polynomial loops. 70-132
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KimVT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KimVT25
Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur:
Memory-efficient fixpoint computation. 133-162
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AmrollahiBKKMS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AmrollahiBKKMS25
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic:
(Un)Solvable loop analysis. 163-194
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AnandT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AnandT25
Aditya Anand, Manas Thakur:
Partial program analysis for staged compilation systems. 195-230
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BautistaJM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BautistaJM25
Santiago Bautista, Thomas P. Jensen, Benoît Montagu:
An input-output relational domain for algebraic data types and functional arrays. 231-304

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.