default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 21

> 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 21, Number 1, July 2002

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GrosuS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GrosuS02
Radu Grosu, Thomas Stauner:
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts. 5-38
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FislerV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FislerV02
Kathi Fisler, Moshe Y. Vardi:
Bisimulation Minimization and Symbolic Model Checking. 39-78
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/RaimiL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/RaimiL02
Richard Raimi, James Lear:
Silicon Debug of a PowerPC[tm] Microprocessor Using Model Checking. 79-94
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MukherjeeJTAFF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MukherjeeJTAFF02
Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Jacob A. Abraham, Donald S. Fussell, Masahiro Fujita:
Efficient Combinational Verification Using Overlapping Local BDDs and a Hash Table. 95-101

Volume 21, Number 2, September 2002

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BowmanSBD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BowmanSBD02
Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick:
A Formal Framework for Viewpoint Consistency. 111-166
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MohnkeMM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MohnkeMM02
Janett Mohnke, Paul Molitor, Sharad Malik:
Limits of Using Signatures for Permutation Independent Boolean Comparison. 167-191
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AzizSSBS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AzizSSBS02
Adnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Formula-Dependent Equivalence for Compositional CTL Model Checking. 193-224
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BehrmannLAHL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BehrmannLAHL02
Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen:
Verification of Hierarchical State/Event Systems using Reusability and Compositionality. 225-244

Volume 21, Number 3, November 2002

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KurshanLMPY02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KurshanLMPY02
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün:
Combining Software and Hardware Verification Techniques. 251-280
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BuchholzK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BuchholzK02
Peter Buchholz, Peter Kemper:
Hierarchical Reachability Graph Generation for Petri Nets. 281-315
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HeymanGGS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HeymanGGS02
Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster:
A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits. 317-338

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.