![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 172
Volume 172, March 2019
- Filippo Bonchi
, Tom van Bussel, Matias David Lee, Jurriaan Rot:
Bisimilarity of open terms in stream GSOS. 1-26 - Lars Luthmann
, Stephan Mennicke
, Malte Lochau
:
Unifying modal interface theories and compositional input/output conformance testing. 27-47 - Christoph Benzmüller
:
Universal (meta-)logical reasoning: Recent successes. 48-62 - Amina Bouraoui
, Imen Gharbi:
Model driven engineering of accessible and multi-platform graphical user interfaces by parameterized model transformations. 63-101 - Calvin Deutschbein
, Tom Fleming, Alan Burns, Sanjoy K. Baruah:
Multi-core cyclic executives for safety-critical systems. 102-116 - Xiao Han
, Tao Tang, Jidong Lv:
A hierarchical verification approach to verify complex safety control systems based on STAMP. 117-134 - Keigo Imai
, Nobuko Yoshida
, Shoji Yuen:
Session-ocaml: A session-based library with polarities and lenses. 135-159 - Angelo Ferrando
:
The early bird catches the worm: First verify, then monitor! 160-179 - Paola Giannini
, Tim Richter
, Marco Servetto, Elena Zucca
:
Tracing sharing in an imperative pure calculus. 180-202 - Ferruccio Damiani, Michael Lienhardt, Luca Paolini
:
A formal model for Multi Software Product Lines. 203-231 - Otto Parra
, Sergio España
, José Ignacio Panach
, Oscar Pastor
:
An empirical comparative evaluation of gestUI to include gesture-based interaction in user interfaces. 232-263 - Luis Emiliano Sanchez
, Jorge Andrés Díaz Pace, Alejandro Zunino:
A family of heuristic search algorithms for feature model optimization. 264-293
![](https://dblp1.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.