default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 41

> 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 41, Number 1, August 2012

Special issue on Computer Aided Verification (CAV '11)

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/VardiHAK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/VardiHAK12
Moshe Y. Vardi, Thomas A. Henzinger, Rajeev Alur, Marta Z. Kwiatkowska:
2011 CAV award announcement. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/GopalakrishnanQ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GopalakrishnanQ12
Ganesh Gopalakrishnan, Shaz Qadeer:
Preface. 3
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/LeeYP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/LeeYP12
Oukseh Lee, Hongseok Yang, Rasmus Petersen:
A divide-and-conquer approach for analysing overlaid data structures. 4-24
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DonaldsonKKTW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DonaldsonKKTW12
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl:
Counterexample-guided abstraction refinement for symmetric concurrent programs. 25-44
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BalabanovJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BalabanovJ12
Valeriy Balabanov, Jie-Hong R. Jiang:
Unified QBF certification and its applications. 45-65
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CookKV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CookKV12
Byron Cook, Eric Koskinen, Moshe Y. Vardi:
Temporal property verification as a program analysis task - Extended Version. 66-82
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HabermehlHRSV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HabermehlHRSV12
Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Forest automata for verification of heap manipulation. 83-106
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BabicRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BabicRS12
Domagoj Babic, Daniel Reynaud, Dawn Song:
Recognizing malicious software behaviors with tree automata inference. 107-128

Volume 41, Number 2, October 2012

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MartensM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MartensM12
Moritz Martens, Mila E. Majster-Cederbaum:
Deadlock-freedom in component systems with architectural constraints. 129-177
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Alglave12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Alglave12
Jade Alglave:
A formal hierarchy of weak memory models. 178-210
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GosslerXG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GosslerXG12
Gregor Gößler, Dana N. Xu, Alain Girault:
Probabilistic contracts for component-based design. 211-231

Volume 41, Number 3, December 2012

Special isue on 'Runtime Verification'

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/SokolskyR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SokolskyR12
Oleg Sokolsky, Grigore Rosu:
Introduction to the special issue on runtime verification. 233-235
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/TabakovRV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/TabakovRV12
Deian Tabakov, Kristin Y. Rozier, Moshe Y. Vardi:
Optimized temporal monitors for SystemC. 236-268
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ColomboPA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ColomboPA12
Christian Colombo, Gordon J. Pace, Patrick Abela:
Safer asynchronous runtime monitoring using compensations. 269-294
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SeysterDHGHSSZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SeysterDHGHSSZ12
Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok:
InterAspect: aspect-oriented instrumentation with GCC. 295-320
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/RamanZSVY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/RamanZSVY12
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav:
Efficient data race detection for async-finish parallelism. 321-347

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.