More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 50

> 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 50, Number 1, March 2017

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DreossiDP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DreossiDP17
Tommaso Dreossi, Thao Dang, Carla Piazza:
Reachability computation for polynomial dynamical systems. 1-38
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CabodiCMPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CabodiCMPP17
Gianpiero Cabodi, Paolo Camurati, Alan Mishchenko, Marco Palena, Paolo Pasini:
SAT solver management strategies in IC3: an experimental approach. 39-74
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/JeonQSF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/JeonQSF17
Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster:
An empirical study of adaptive concretization for parallel program synthesis. 75-95

Volume 50, Numbers 2-3, June 2017

Special issue on CAV 2015

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/CernyCHRRST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CernyCHRRST17
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach:
From non-preemptive to preemptive scheduling using synchronization synthesis. 97-139
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Durand-Gasselin17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Durand-Gasselin17
Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar:
Model checking parameterized asynchronous shared-memory systems. 140-167
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/DeshmukhMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DeshmukhMP17
Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu:
Quantifying conformance using the Skorokhod metric. 168-206
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/RandourRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/RandourRS17
Mickael Randour, Jean-François Raskin, Ocan Sankur:
Percentile queries in multi-dimensional Markov decision processes. 207-248
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ZhengGSTBDZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ZhengGSTBDZ17
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang:
Z3str2: an efficient solver for strings, regular expressions, and length constraints. 249-288
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/DemyanovaPVZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DemyanovaPVZ17
Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger:
Empirical software metrics for benchmarking of verification tools. 289-316
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChakrabortyKSGH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChakrabortyKSGH17
Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry:
Symbolic trajectory evaluation for word-level verification: theory and implementation. 317-352

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.