default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 62

> 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 62, Number 1, June 2024

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/StefanoL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/StefanoL24
Luca Di Stefano, Frédéric Lang:
Compositional verification of priority systems using sharp bisimulation. 1-40
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/BolligLS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BolligLS24
Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder:
Round- and context-bounded control of dynamic pushdown systems. 41-78
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/OsamaWB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/OsamaWB24
Muhammad Osama, Anton Wijs, Armin Biere:
Certified SAT solving with GPU accelerated inprocessing. 79-118
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/JonesB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/JonesB24
Cliff B. Jones, Alan Burns:
Extending rely-guarantee thinking to handle real-time scheduling. 119-140
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ShankarPPRF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ShankarPPRF24
Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone:
Bounded-memory runtime enforcement with probabilistic and performance analysis. 141-180
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/JungesAHJKQV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/JungesAHJKQV24
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk:
Parameter synthesis for Markov models: covering the parameter space. 181-259
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MambakamJBBD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MambakamJBBD24
Akshay Mambakam, José Ignacio Requeno Jarabo, Alexey Bakhirkin, Nicolas Basset, Thao Dang:
Mining of extended signal temporal logic specifications with ParetoLib 2.0. 260-284
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ElderhalliHT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ElderhalliHT24
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
Dynamic dependability analysis of shuffle-exchange networks. 285-325

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.