Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 38

> 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 38, Number 1, February 2011

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DelahayeCL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DelahayeCL11
Benoît Delahaye, Benoît Caillaud, Axel Legay:
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. 1-32
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BlechG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BlechG11
Jan Olaf Blech, Benjamin Grégoire:
Certifying compilers using higher-order theorem provers as certificate checkers. 33-61
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BramanM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BramanM11
Julia M. B. Braman, Richard M. Murray:
Bisimulation conversion and verification procedure for goal-based control systems. 62-95

Volume 38, Number 2, April 2011

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BrimCDGR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BrimCDGR11
Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin:
Faster algorithms for mean-payoff games. 97-118
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/LapadulaPT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/LapadulaPT11
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A WSDL-based type system for asynchronous WS-BPEL processes. 119-157
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BouajjaniBHIMV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BouajjaniBHIMV11
Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar:
Programs with lists are counter automata. 158-192

Volume 38, Number 3, June 2011

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Quaas11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Quaas11
Karin Quaas:
MSO logics for weighted timed automata. 193-222
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FalconeMFR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FalconeMFR11
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier:
Runtime enforcement monitors: composition, synthesis, and enforcement abilities. 223-262
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Maurer11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Maurer11
Peter M. Maurer:
Conjugate symmetry. 263-288

a service of

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.