ask others

Formal Methods in System Design, Volume 45

> Home > Journals > Formal Methods in System Design

Volume 45, Number 1, August 2014

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/RolliniBST14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/RolliniBST14
Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich:
Resolution proof transformation for compression and interpolation. 1-41
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/XieBZL14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/XieBZL14
Dingbao Xie, Lei Bu, Jianhua Zhao, Xuandong Li:
SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata. 42-62
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/AlbertiBGRS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/AlbertiBGRS14
Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
An extension of lazy abstraction with interpolation for programs with arrays. 63-109

Volume 45, Number 2, October 2014

Special issue on FMCAD 2012

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/GoldbergM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/GoldbergM14
Eugene Goldberg, Panagiotis Manolios:
Quantifier elimination by dependency sequents. 111-143
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/XuWMB14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/XuWMB14
Jiazhao Xu, Mark Williams, Hari Mony, Jason Baumgartner:
Scalable reachability analysis via automated dynamic netlist-based hint generation. 144-164
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/CimattiMT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/CimattiMT14
Alessandro Cimatti, Sergio Mover, Stefano Tonetta:
Quantifier-free encoding of invariants for hybrid systems. 165-188
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/LvovLTPSE14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/LvovLTPSE14
Alexey Lvov, Luis Alfonso Lastras-Montaño, Barry M. Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein:
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry. 189-212
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/BrainDGHK14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/BrainDGHK14
Martin Brain, Vijay D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening:
Deciding floating-point logic with abstract conflict driven clause learning. 213-245
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/YanGY14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/YanGY14
Chao Yan, Mark R. Greenstreet, Suwen Yang:
Verifying global start-up for a Möbius ring-oscillator. 246-272
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/AbdullaARS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/AbdullaARS14
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman:
Budget-bounded model-checking pushdown systems. 273-301

Volume 45, Number 3, December 2014

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/FribourgKS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/FribourgKS14
Laurent Fribourg, Ulrich Kühne, Romain Soulat:
Finite controlled invariants for sampled switched systems. 303-329
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/GeeraertsRS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/GeeraertsRS14
Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder:
On regions and zones for event-clock automata. 330-380
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/PinisettyFJMRN14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/PinisettyFJMRN14
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo:
Runtime enforcement of timed properties revisited. 381-422

maintained by

, founded at