![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Formal Methods in System Design, Volume 38
Volume 38, Number 1, February 2011
- 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 - Jan Olaf Blech
, Benjamin Grégoire:
Certifying compilers using higher-order theorem provers as certificate checkers. 33-61 - 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
- Lubos Brim
, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin:
Faster algorithms for mean-payoff games. 97-118 - Alessandro Lapadula, Rosario Pugliese
, Francesco Tiezzi:
A WSDL-based type system for asynchronous WS-BPEL processes. 119-157 - 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
- Karin Quaas:
MSO logics for weighted timed automata. 193-222 - Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier:
Runtime enforcement monitors: composition, synthesis, and enforcement abilities. 223-262 - Peter M. Maurer:
Conjugate symmetry. 263-288
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.