default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 26

> Home > Journals > Formal Methods in System Design

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 26, Number 1, January 2005

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Peled05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Peled05
Doron A. Peled:
Introduction: Special Issue on Partial Order in Formal Methods. 5-6
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AlurMP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AlurMP05
Rajeev Alur, Kenneth L. McMillan, Doron A. Peled:
Deciding Global Partial-Order Properties. 7-25
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Walukiewicz05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Walukiewicz05
Igor Walukiewicz:
Difficult Configurations-On the Complexity of LTrL. 27-43
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Varpaaniemi05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Varpaaniemi05
Kimmo Varpaaniemi:
On Stubborn Sets in the Verification of Linear Time Temporal Properties. 45-67

Volume 26, Number 2, March 2005

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/StollerV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/StollerV05
Scott D. Stoller, Willem Visser:
Foreword. 75-76
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Godefroid05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Godefroid05
Patrice Godefroid:
Software Model Checking: The VeriSoft Approach. 77-101
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/PenixVPPELW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/PenixVPPELW05
John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger:
Verifying Time Partitioning in the DEOS Scheduling Kernel. 103-135
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/IosifDH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/IosifDH05
Radu Iosif, Matthew B. Dwyer, John Hatcliff:
Translating Java for Multiple Model Checkers: The Bandera Back-End. 137-180
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/StollerS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/StollerS05
Scott D. Stoller, Fred B. Schneider:
Automated Analysis of Fault-Tolerance in Distributed Systems. 183-196
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GrumbergHS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GrumbergHS05
Orna Grumberg, Tamir Heyman, Assaf Schuster:
Distributed Symbolic Model Checking for µ-Calculus. 197-219

Volume 26, Number 3, May 2005

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/0002B05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/0002B05
Christian Jacobi, Christoph Berg:
Formal Verification of the VAMP Floating Point Unit. 227-266
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/TripakisYB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/TripakisYB05
Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani:
Checking Timed Büchi Automata Emptiness Efficiently. 267-292
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KarviTK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KarviTK05
T. Karvi, Tienari Tienari, Roope Kaivola:
Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics. 293-317
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BarbutiFSV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BarbutiFSV05
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Reduced Models for Efficient CCS Verification. 319-350

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.