default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 24

> 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 24, Number 1, January 2004

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Strichman04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Strichman04
Ofer Strichman:
Accelerating Bounded Model Checking of Safety Properties. 5-24
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AbdullaIN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AbdullaIN04
Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén:
SAT-Solving the Coverability Problem for Petri Nets. 25-43
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SilvaSB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SilvaSB04
Leila Silva, Augusto Sampaio, Edna Barros:
A Constructive Approach to Hardware/Software Partitioning. 45-90

Volume 24, Number 2, March 2004

Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01)

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HavelundR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HavelundR04
Klaus Havelund, Grigore Rosu:
Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01). 99-100
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FinkbeinerS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FinkbeinerS04
Bernd Finkbeiner, Henny Sipma:
Checking Finite Traces Using Alternating Automata. 101-127
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KimVKLS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KimVKLS04
Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky:
Java-MaC: A Run-Time Assurance Approach for Java Programs. 129-155
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KortenkampSMF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KortenkampSMF04
David Kortenkamp, Reid G. Simmons, Tod Milam, Joaquín Lopez Fernández:
A Suite of Tools for Debugging Distributed Autonomous Systems. 157-188
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HavelundR04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HavelundR04a
Klaus Havelund, Grigore Rosu:
An Overview of the Runtime Verification Tool Java PathExplorer. 189-215

Volume 24, Number 3, May 2004

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Stauner04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Stauner04
Thomas Stauner:
Properties of Hybrid Systems-A Computer Science Perspective. 223-259
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AlurKT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AlurKT04
Rajeev Alur, Sampath Kannan, Salvatore La Torre:
Polyhedral Flows in Hybrid Automata. 261-280
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Bouyer04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Bouyer04
Patricia Bouyer:
Forward Analysis of Updatable Timed Automata. 281-320

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.